A.2.7:2 - Problem
The practitioner needs a reusable relation for a later engineering check, but familiar shorthand collapses four different questions:
- Can an assignment to one system-role kind satisfy an admission condition written for another?
- Are assignments to two system-role kinds incompatible under a stated holder, Work, and time rule?
- Must assignments to a finite set of system-role kinds be present together, and how may holders be allocated?
- Does one kind monotonically narrow another, or does the restriction require a different relation?
Calling every answer a hierarchy loses the predicate. Calling the answer a role part introduces mereology without constructive assembly or a meta-holon transition. Calling the answer a policy, chart, taxonomy, or scheme confuses a relation with an episteme or convention that describes or interprets it. The receiving check then cannot show which premise it used or what change would invalidate the outcome.