A sequence variable in a KIF expression.
For every sequence variable $omega$, there is an axiom asserting that it is a
sequence variable. Each such axiom is a defining axiom for the {tt seqvar}
relation.