A.1 | Keeps systems distinct from kinds, assignments, relation occurrences, and selected structures; only admitted systems act. |
A.1.1 | Use for a selected BoundedModelUseStructure when interpretation truly depends on it. |
A.2 and C.3 | Use for exact context-local system-role kinds, their descriptions, membership, and classification. |
C.3.1 | Use for monotonic U.SubkindOf, its three-valued judgment discipline, effective-reference-scheme edition, obtaining, and identity. |
A.2.1 | Use for direct U.SystemRoleAssignment species and occurrences supplied to receiving checks. |
A.2.2 and A.2.5 | Use for capability and assignment-state predicates and relations that remain separate from kind relations. |
A.3.1, B.1.5, and A.15 | Use for Method and Work identity, composition, planning, participation, and performance. |
A.3.4 | Use when current facts require one actual bounded change as a separate U.Transformation; it supplies neither a transformation-composition predicate nor holonhood. |
A.6.0, A.6.5, and A.6.REL | Use for exact signatures, declaration-local SlotSpecs, relation obtaining, and progressive occurrence individuation. |
A.22 | Use to recover SystemRoleKindRelationStructure as a dependent non-agentive U.Structure over exact kinds and relations. |
A.6.9, F.9, C.2.1, A.10, and B.3 | Use for cross-scheme Bridges, bounded-use assertions, evidence reliance, and assurance without preserving local relation identity by form. |
A.2.4, C.27, and G.11 | Use for evidence-use relations, currentness, and support for assertions consumed by a receiving check. |
C.29 | Use for graph, table, matrix, algebra, and embedding representations and their preserved or lost structure. |
E.24.UK | Use to avoid admitting a selected structure, local relation slot, or convenient bundle name as a root U-kind by punctuation. |
E.10.ROLE, F.5, and F.18 | Use for recovery of ambiguous source wording and durable naming after the exact object is known. |
F.19 | Test any optional explanatory overread against the intended reader and use. |