A.2.5:13 - Relations

Related pattern	Relation
`A.2` and `C.3`	Govern exact context-local system-role kinds and their `KindSignature`s; assignment-state predicates may name those kinds and signatures without making them relation participants.
`A.2.1`	Use for the declared `U.SystemRoleAssignment` species and the obtaining occurrence referenced by every state relation.
`A.2.2`	Governs capability and operating-envelope claims that a state predicate may reference but does not replace.
`A.2.4` and `A.10`	Govern compact evidence use and full evidence-provenance support for a state assertion.
`A.2.7`	Use for relations among system-role kinds that may consume current assignment-state results without merging kinds, assignments, or states.
`A.6.REL`	Governs progressive relation-occurrence individuation and occurrence-as-participant use.
`A.6.5`	Governs SlotKind, ValueKind, and reference-mode discipline for the direct declaration.
`A.19` and `C.16`	Govern characteristic spaces, predicates over measured coordinates, measurement, and comparability when used by a state predicate.
`A.15`, `A.15.1`, `A.15.2`, and `A.21`	Govern Method participation, performed or planned Work, and gate outcomes that consume state claims.
`A.1.1`	Use for any selected `BoundedModelUseStructure`; A.2.5 includes its exact edition in predicate identity only when meaning depends on it.
`C.27` and `G.11`	Govern temporal currentness, decay, and evidence refresh when those claims are current.