Term Rewriting
CALCULATE
RESET
Expression
Symbol
Number of args