*Structural element1 can superseed published structural element if and only if
that structural element1 directly logically modifies some previous structural element2 that is that published structural element
or directly logically modifies some previous structural element3 that can superseed that published structural element.
PermanentFact = False
HiddenFact = False
InternalUniquenessConstraint152
InternalUniquenessConstraint
Each structural element can superseed at most one published structural element.