testsRelation
P127964
predicate
Indicates a relationship where one entity evaluates, examines, or verifies another entity, typically to assess its properties, behavior, or correctness.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| checksRelation | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
| ST_Within | within ⓘ |
| FDR model checker | implementation refines specification via predicate surface "checksRelation" ⓘ |