U11 tt V1 V2 U12 isNat V1 V2 U12 tt V2 U13 isNat V2 U13 tt tt U21 tt V1 U22 isNat V1 U22 tt tt U31 tt V1 V2 U32 isNat V1 V2 U32 tt V2 U33 isNat V2 U33 tt tt U41 tt N N U51 tt M N s plus N M U61 tt 0 U71 tt M N plus x N M N and tt X X isNat 0 tt isNat plus V1 V2 U11 and isNatKind V1 isNatKind V2 V1 V2 isNat s V1 U21 isNatKind V1 V1 isNat x V1 V2 U31 and isNatKind V1 isNatKind V2 V1 V2 isNatKind 0 tt isNatKind plus V1 V2 and isNatKind V1 isNatKind V2 isNatKind s V1 isNatKind V1 isNatKind x V1 V2 and isNatKind V1 isNatKind V2 plus N 0 U41 and isNat N isNatKind N N plus N s M U51 and and isNat M isNatKind M and isNat N isNatKind N M N x N 0 U61 and isNat N isNatKind N x N s M U71 and and isNat M isNatKind M and isNat N isNatKind N M N U11 3 1 tt 0 U12 2 1 isNat 1 U13 1 1 U21 2 1 U22 1 1 U31 3 1 U32 2 1 U33 1 1 U41 2 1 U51 3 1 s 1 1 plus 2 1 2 U61 1 1 0 0 U71 3 1 x 2 1 2 and 2 1 isNatKind 1 FULL ./TRS/CSR_Maude/my-nat/MYNAT_complete.trs