A.6.REL:4.1.1 - World-side objects
| Canonical FPF name | What this object is | Direct relation to preserve | Naming rule | Subject pattern |
|---|---|---|---|---|
| actual relation participant | one exact U.Entity; this is a relation-qualified use of the entity, not a new kind | the entity participates in this relation occurrence under one relation-participant meaning | use the entity’s direct kind and current name; use a governed designator only when naming or reference is current; in relation prose add the domain participant meaning, as in Robot-7 as the holder system | the participant’s direct pattern and the direct relation pattern |
| relation occurrence | one obtaining occurrence admitted under U.Relation | the occurrence has the actual participants and is classified by the direct relation kind; it obtains when those participants satisfy the relation obtaining predicate within its applicability | use the readable direct relation sentence until stable occurrence reference is needed; then use a relation-occurrence designator assigned after the identity rule is applicable | the direct relation pattern and A.6.REL |
The phrase actual relation participant therefore never replaces the entity’s own name. It says how that entity participates in this occurrence. Likewise, the readable sentence Robot-7 is assigned as inspector through InspectionAssignment-17 can state the direct assignment without first creating a relation-occurrence description episteme.