Glossary contains acronym.
PermanentFact = False
HiddenFact = False
InternalUniquenessConstraint85
InternalUniquenessConstraint
It is possible that some glossary contains more than one acronym
and that some acronym belongs to more than one glossary.
In each population of glossary contains acronym, each glossary, acronym combination occurs at most once.
This association with glossary, acronym provides the preferred identification scheme for glossary contains acronym.