Term corresponds to label.
PermanentFact = False
HiddenFact = False
InternalUniquenessConstraint175
InternalUniquenessConstraint
It is possible that some term corresponds to more than one label
and that for some label, more than one term corresponds to that label.
In each population of term corresponds to label, each term, label combination occurs at most once.