A.2:4.6 - Relations around the Kind and Assignment
| Current claim | Subject pattern | Kept distinct |
|---|---|---|
| Local kind, declaration, classification, and extension | C.3, C.3.1, C.3.2 | system-role kind, KindSignature, four-input judgment, optional extension, and kind-continuity decision |
| System-role assignment | A.2.1, A.6.5, A.6.REL | direct species, exact participants, predicate, applicability, and uninterrupted occurrence identity |
| Assignment state | A.2.5 | exact assignment occurrence, SystemRoleAssignmentStatePredicate, SystemRoleAssignmentStateRelation occurrence, and its maximal truth interval; target evaluation window, assertion polarity, evidence, and reliance remain separate |
| Capability | A.2.2 | holder, qualified ability claim, work conditions, attained bounds, currentness and fit predicate |
| Relations among system-role kinds | A.2.7, C.3.1 | exact kind participants and substitution, incompatibility, bundle, or monotonic qualification relation |
| Description and naming | F.4, F.5, F.18 | kind, SystemRoleKindDescription, names, and publication or access carrier |
| Method and Work | A.3, A.13, A.15.1, F.6 | Method and MethodDescription; exact actual performer recovered through A.13; independently admitted Work occurrence; assignment and F.6 attribution only when precise assignment-bound attribution is expressly consumed |
| Responsibility, commitment, permission, or authority | direct domain pattern, A.2.8, A.2.8.PER, or missing-governor | actual bearer, exact relation participants, predicate, and instituting or permission basis |
| Evidence, reliance, or publication | A.10, A.15.4, B.3, C.2.1, E.17, F.10 | episteme, evidenced claim, reliance, provenance, currentness, and publication relation |
Select only the objects needed by the current claim. None of these values is a “part of the role”.
SystemRoleKindDescription is an F.4 description episteme whose exact EntityOfConcern is one system-role kind. An episteme about an assignment or a relation among kinds has that assignment or relation as its EntityOfConcern instead.