SYSML21 — Inconsistent compartment labels

In subclause 7.20.1, Table 19, example "Requirement" the compartment labels "require constraints" and "assume constraints" and their content are misleading and inconsistent.

• Besides pure "require ConstraintUsage" statements a "require constraints" compartment may also contain "require RequirementUsage" statements. Furthermore, a "require RequirementUsage" has the same semantics as a composite RequirementUsage owned by a containing RequirementUsage (see explanation in subclause 7.20.2). Therefore a better compartment name is possibly "requires".
• Similarly besides pure "assume ConstraintUsage" statement an "assume constraints" compartment may also contain "assume RequirementUsage" statements. Therefore a better compartment name is possibly "assumes".