A.1.1:4.2a - Use the settled public relation names
The direct definitions, SlotSpecs, obtaining constraints, and occurrence-identity rules above govern the three relation kinds. A.1.1 uses only the settled Tech labels and their shortest Plain relation sentences:
| Tech label | Plain relation sentence | Nearest non-use |
|---|---|---|
ModelApplicabilityRelation | this model applies to this holon within this claim scope | not scope membership, an applicability assertion, or the derived interval |
ModelUseRelation | this assignment’s holder uses this model during this Work concerning this holon | not availability, method application, Work, assignment, or a use record |
ModelExpressionCoherenceRelation | this model content and this expression content satisfy this declared coherence criterion under this comparison scheme | not maintenance, implementation, evaluation, evidence, or the predicate value itself |
F.18 and F.17 carry candidate-name history, public-row state, lineage, and refresh evidence. ModelExpressionCoherencePredicate remains an A.1.1-local five-part criterion ValueKind; it has no public F.17 row unless a later durable naming use independently reopens F.18.