*Published structural element is superseeded by obsolescence if and only if
that published structural element represents the last publication of some configuration item that is obsolete
and it is not true that (that published structural element- is superseeded by a new version).
PermanentFact = False
HiddenFact = False
InternalUniquenessConstraint70
InternalUniquenessConstraint
In each population of published structural element is superseeded by obsolescence, each published structural element occurs at most once.