"PositionIsInvolvedInContainerLogicallyContainsStructuralElementAtPosition"
Fact Type ↑
Summary

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

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

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