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
N
N
U41
tt
M
N
s
plus
N
M
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
isNatKind
0
tt
isNatKind
plus
V1
V2
and
isNatKind
V1
isNatKind
V2
isNatKind
s
V1
isNatKind
V1
plus
N
0
U31
and
isNat
N
isNatKind
N
N
plus
N
s
M
U41
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
2
1
U41
3
1
s
1
1
plus
2
1
2
and
2
1
0
0
isNatKind
1
FULL
./TRS/CSR_Maude/peanoSimple/MYNAT_complete.trs