aves a total
of 632 terms that are introduced in the four namespace documents. This
total breaks down as follows. The type language namespace document
introduces 328 terms: 96 terms are basic or special, 39 terms are used
for expressions, 20 terms for interpretations, 123 terms for language
colimits, and 50 terms for the truth concept lattice of theories for
languages. The theory namespace document introduces 172 terms: 39 terms
are basic or special, 96 terms are used for theory colimits, and 37
terms are u