"ReleasedStructuralElementHasReleasedStructuralElementUserIdentifier"
Fact Type ↑
Summary

*Released structural element has released structural element user identifier if and only if
that released structural element is some structural element that is released
and has that structural element user identifier.


PermanentFact = False
HiddenFact = False
Role Players
Constraints
InternalUniquenessConstraint184
Type:
InternalUniquenessConstraint
Verbalization:

Each released structural element has at most one released structural element user identifier.
InternalUniquenessConstraint186
Type:
InternalUniquenessConstraint
Verbalization:

For each released structural element user identifier, at most one released structural element has that released structural element user identifier.