A.6.6:4.3 - Reusable declaration only for a named reuse

Use the direct relation’s A.6.0 RelationSignature only after the relation kind is already admitted and at least two named consumers need the same reusable declaration content. That signature states the participant meanings, predicate, applicability, and occurrence-identity rule. A.6.5 SlotSpecs belong inside that reusable declaration; they are not required in an ordinary one-case assertion.

If no direct pattern supplies the relation kind, participants, or predicate, keep the exact local claim or return the A.6.RCD missing-governor result. Do not repair the gap by minting a generic BaseRelation kind or token, SlotSpecs, or a scoped-record type.