Acronym is involved in acronym is used in context.
For each acronym, that acronym is involved in some acronym is used in context.
PermanentFact = False
HiddenFact = False
InternalUniquenessConstraint64
InternalUniquenessConstraint
Each acronym is used in context involves at most one acronym.