n entity classification whose
instance set is the universe of discourse, and there is a relation
classification whose instance set is the tuple space. These two
classifications provide a traditional interpretative semantics via
their extent functions. The notion of entity classification is the same
as entity typing. The notion of relational classification includes
relational typing as a proper sub-classification, and is the relational
composition of reverse subtupling with relation typing. The context of
mo