A.2.7:1 - Problem Frame

A system applying a maintenance-admission Method may admit a current assignment to SeniorHydraulicsTechnicianSystemRole where the MethodDescription names HydraulicsTechnicianSystemRole. A system applying a safety Method may reject overlapping author and approver assignments. A clinical MethodDescription may state a joint condition over three assignments. A classification review may ask whether every true RoboticsEngineerSystemRole judgment implies a true EngineerSystemRole judgment.

These uses all concern exact system-role kinds, but they do not concern the same relation. The assignment occurrences used by a receiving check are also not participants of the kind relation. They remain independently obtaining A.2.1 relations whose holder, exact assigned kind, extent, and any real domain participant are recovered under their direct species.

A system-role-kind description or taxonomy episteme may state a relation claim, and its reference scheme may help interpret that claim. The world-side relation obtains under its direct predicate. When a KindSignature, scheme, Bridge, or other edition changes the relation rule, include that edition in the predicate’s semantic basis; otherwise keep it as interpretation material outside occurrence identity.

SystemRoleKindRelationStructure is the selected organization among exact kinds and exact obtaining relations. For any checking Work, identify the acting system and dated Work under their direct patterns; the selected structure supplies only the organization used by that check.