U11ttNNU21ttMNsplusNMU31tt0U41ttMNplusxNMNandttXXisNat0ttisNatplusV1V2andisNatV1isNatV2isNatsV1isNatV1isNatxV1V2andisNatV1isNatV2plusN0U11isNatNNplusNsMU21andisNatMisNatNMNxN0U31isNatNxNsMU41andisNatMisNatNMNU1121tt0U2131s11plus212U311100U4131x212and21isNat1FULL./TRS/CSR_Maude/my-nat/MYNAT_nokinds.trs