Terms

A term is introduced by the Term keyword followed by the term. Terms are represented in the usual infix notation and must be built upon the signature and the set of variables.