"StructuralElementIsInvolvedInContainerLogicallyContainsStructuralElementAtPosition"
Fact Type ↑
Summary

Structural element is involved in container logically contains structural element at position.
PermanentFact = False
HiddenFact = False
Role Players
Constraints
InternalUniquenessConstraint45
Type:
InternalUniquenessConstraint
Verbalization:

Each container logically contains structural element at position involves at most one structural element.
SimpleMandatoryConstraint23
Type:
SimpleMandatoryConstraint
Verbalization:

Each container logically contains structural element at position involves some structural element.