Text: The glossaries originally published with each statement have been codified in a single glossary.
Entailment: The glossaries have all been combined to make one.
Contradiction: There are piles of glossaries and combining them would be senseless.