Acronym is involved in glossary contains acronym.
For each acronym, it is obligatory that that acronym is involved in some glossary contains acronym.
PermanentFact = False
HiddenFact = False
InternalUniquenessConstraint137
InternalUniquenessConstraint
Each glossary contains acronym involves at most one acronym.