ides into two parts: a core part and a convenience part. The
core part consists of terms such as, 'class', 'relation', 'top', 'null',
'union', 'intersection', 'complement', 'empty', 'subclass', 'difference',
'subrelation-of', 'transitive', 'symmetric', 'reflexive-on', 'functional',
'disjoint', 'unary', 'binary', 'ternary', 'posint', 'negint', 'nonnegint',
'=&lt;', '&gt;=', 'integer', '+', 'sequence', 'length', 'weave', 'seq', 'arity',
and 'signature'. The convenience part might consist of terms such as:
'in