U11 tt N activate N U21 tt M N s plus activate N activate M U31 tt 0 U41 tt M N plus x activate N activate M activate N and tt X activate X isNat n__0 tt isNat n__plus V1 V2 and isNat activate V1 n__isNat activate V2 isNat n__s V1 isNat activate V1 isNat n__x V1 V2 and isNat activate V1 n__isNat activate V2 plus N 0 U11 isNat N N plus N s M U21 and isNat M n__isNat N M N x N 0 U31 isNat N x N s M U41 and isNat M n__isNat N M N 0 n__0 plus X1 X2 n__plus X1 X2 isNat X n__isNat X s X n__s X x X1 X2 n__x X1 X2 activate n__0 0 activate n__plus X1 X2 plus X1 X2 activate n__isNat X isNat X activate n__s X s X activate n__x X1 X2 x X1 X2 activate X X U11 2 tt 0 activate 1 U21 3 s 1 plus 2 U31 1 0 0 U41 3 x 2 and 2 isNat 1 n__0 0 n__plus 2 n__isNat 1 n__s 1 n__x 2 FULL ./TRS/TRCSR/MYNAT_nokinds_Z.trs