"ContextIsASubtypeOfStructuralElement"
Fact Type ↑
Summary

Each context is an instance of structural element.
Role Players
Constraints
InternalUniquenessConstraint49
Type:
InternalUniquenessConstraint
Verbalization:

Each context is at most one structural element.
InternalUniquenessConstraint53
Type:
InternalUniquenessConstraint
Verbalization:

Each structural element is at most one context.
SimpleMandatoryConstraint72
Type:
SimpleMandatoryConstraint
Verbalization:

Each context is some structural element.