U11
tt
N
N
U21
tt
M
N
s
plus
N
M
U31
tt
0
U41
tt
M
N
plus
x
N
M
N
and
tt
X
X
isNat
0
tt
isNat
plus
V1
V2
and
isNat
V1
isNat
V2
isNat
s
V1
isNat
V1
isNat
x
V1
V2
and
isNat
V1
isNat
V2
plus
N
0
U11
isNat
N
N
plus
N
s
M
U21
and
isNat
M
isNat
N
M
N
x
N
0
U31
isNat
N
x
N
s
M
U41
and
isNat
M
isNat
N
M
N
U11
2
1
tt
0
U21
3
1
s
1
1
plus
2
1
2
U31
1
1
0
0
U41
3
1
x
2
1
2
and
2
1
isNat
1
FULL
./TRS/CSR_Maude/my-nat/MYNAT_nokinds.trs