U11 tt N U21 tt s plus N M U41 tt plus x N M N and tt X U31 tt 0 isNat tt isNat and isNat isNat isNat plus N 0 U11 isNat plus N s M U21 and isNat x N 0 U31 isNat x N s M U41 and isNat U11 1 tt 0 U21 1 s 1 plus 2 U41 1 x 2 and 1 U31 1 0 0 isNat 0 FULL ./TRS/TRCSR/MYNAT_nokinds_L.trs