Trss

A trs is introduced by the TRS keyword followed by the name of the TRS and by the list of rules.

Each rule has a left-handside and a right-handside separated by ->. Both the left-handside and the right-handside are terms.