"ContainerIsInvolvedInContainerLogicallyContainsStructuralElementAtPosition"
Fact Type ↑
Summary

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

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

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