U11ttNNU21ttMNsplusNMandttXXisNat0ttisNatplusV1V2andisNatV1isNatV2isNatsV1isNatV1plusN0U11isNatNNplusNsMU21andisNatMisNatNMNU1121tt0U2131s11plus212and21isNat100FULL./TRS/CSR_Maude/peanoSimple/MYNAT_nokinds.trs