"PublishedStructuralElementIsSuperseededByANewVersion"
Fact Type ↑
Summary

*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
Role Players
Constraints
InternalUniquenessConstraint150
Type:
InternalUniquenessConstraint
Verbalization:

In each population of published structural element- is superseeded by a new version, each published structural element occurs at most once.