A.2.7:4.8 - Recover Apparent Decomposition
When ordinary wording says subrole, role part, or combined role, start from the engineering question:
| Engineering question | Recovered object |
|---|---|
| May this assignment satisfy a condition written for another system-role kind? | directional admission-substitution relation |
| Does every true narrower classification imply the broader classification? | C.3.1 U.SubkindOf after independent paired judgments |
| Does one kind restrict another without monotonicity? | residual system-role-kind qualification relation |
| Must assignments to two kinds not overlap under an exact condition? | symmetric incompatibility relation |
| Must assignments to several kinds be present together under an allocation rule? | order-insensitive bundle relation |
| Which system is assigned, and for which interval? | exact direct species under U.SystemRoleAssignment; use A.2.1 to recover it |
| Does an assignment satisfy a Work-admitting state condition? | SystemRoleAssignmentStateRelation; use A.2.5 to recover it |
| Can the holder perform within an operating envelope? | capability and capability-fit relations under A.2.2 |
| Are ways of doing or Work occurrences composed? | Method composition under A.3 and B.1.5, or Work structure under A.15 |
| Did one actual bounded change occur? | one U.Transformation under A.3.4, with its affected entity, boundary, precondition, postcondition, and obtaining relations |
This recovery introduces no system-role mereology. Recover exact kinds, relations, assignments, predicates, Methods, and Work through the direct patterns above.