EQUAL
ITE
SKOLEM
VARIABLE
TUPLE