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