U11 tt V2 U12 isNat V2 U12 tt tt U21 tt tt U31 tt N N U41 tt M N U42 isNat N M N U42 tt M N s plus N M isNat 0 tt isNat plus V1 V2 U11 isNat V1 V2 isNat s V1 U21 isNat V1 plus N 0 U31 isNat N N plus N s M U41 isNat M M N U11 2 1 tt 0 U12 1 1 isNat 1 U21 1 1 U31 2 1 U41 3 1 U42 3 1 s 1 1 plus 2 1 2 0 0 FULL ./TRS/CSR_Maude/peanoSimple/MYNAT_nokinds-noand.trs