*Published structural element has published structural element user identifier if and only if
that published structural element is some structural element that is published
and has that structural element user identifier.
PermanentFact = False
HiddenFact = False
InternalUniquenessConstraint185
InternalUniquenessConstraint
Each published structural element has at most one published structural element user identifier.