and tt X X plus N 0 N plus N s M s plus N M and 2 1 tt 0 plus 2 1 2 0 0 s 1 1 FULL ./TRS/CSR_Maude/peanoSimple/MYNAT_nosorts.trs