*Published structural element- is superseeded by a new version if and only if
that published structural element can be superseeded by some structural element that is published.
PermanentFact = False
HiddenFact = False
InternalUniquenessConstraint150
InternalUniquenessConstraint
In each population of published structural element- is superseeded by a new version, each published structural element occurs at most once.