A.2.1:4.5 - Assignment and Classification Are Independent
A C.3.2 judgment classifies one system under one local system-role kind for one signature edition and slice. An assignment occurrence relates participants under its species predicate. Either can be current without the other.
An assignment can be one membership feature only when the exact local KindSignature explicitly cites that independently obtaining predicate. RoboticsAssignment-1 alone establishes neither a RoboticsEngineerSystemRole nor an EngineerSystemRole membership judgment. A later U.SubkindOf result records monotonic implication among independently evaluated judgments; it creates no broader assignment.