Term Rewriting

RESET
Symbol Number of args