SYSML2_ — 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. A "require RequirementUsage" has the same semantics as a RequirementUsage contained (isComposite==true) by a containing RequirementUsage (see explanation in subclause 7.20.2). Therefore a better compartment name is possibly "requires".

The same problem applies to other compartment names for reference usages. The full list of compartments to be made consistent is:
asserts, assumes, assert, exhibits, performs, requires, satisfies, verifies, include use cases. (Note: frames and frame concerns not included)