PRD-303 — inspects
Canonical predicate of the Verification family, published by OCR-007.
Registry entry
- Predicate ID
- PRD-303
- Canonical form
- inspects
- Family
- Verification
- Semantic stability
- Fixed
- Surface forms
- 5
- Edges in current projection
- 5
Surface forms
| Form | Status | Direction | Emits edge | Source |
|---|---|---|---|---|
| checked_by | Derived | inverse | yes | OCR-007 §4 |
| inspected_by | Derived | inverse | yes | OCR-007 §4 |
| inspects | Domain | forward | yes | OCR-007 §5 |
| recomputes | Alias | forward | yes | OCR-007 §6 |
| validated_by | Derived | inverse | yes | OCR-007 §4 |