*Published structural element is under revision if and only if
that published structural element can be superseeded by some structural element.
PermanentFact = False
HiddenFact = False
InternalUniquenessConstraint139
InternalUniquenessConstraint
In each population of published structural element is under revision, each published structural element occurs at most once.