Structural element is involved in container logically contains structural element at position.
PermanentFact = False
HiddenFact = False
InternalUniquenessConstraint45
InternalUniquenessConstraint
Each container logically contains structural element at position involves at most one structural element.