U11 tt M N U12 tt M N U12 tt M N s plus N M plus N 0 N plus N s M U11 tt M N U11 3 1 tt 0 U12 3 1 s 1 1 plus 2 1 2 0 0 FULL ./TRS/CSR_Maude/peanoSimple/MYNAT_nosorts-noand.trs