U11
tt
V2
U12
isNat
V2
U12
tt
tt
U21
tt
tt
U31
tt
V2
U32
isNat
V2
U32
tt
tt
U41
tt
N
N
U51
tt
M
N
U52
isNat
N
M
N
U52
tt
M
N
s
plus
N
M
U61
tt
0
U71
tt
M
N
U72
isNat
N
M
N
U72
tt
M
N
plus
x
N
M
N
isNat
0
tt
isNat
plus
V1
V2
U11
isNat
V1
V2
isNat
s
V1
U21
isNat
V1
isNat
x
V1
V2
U31
isNat
V1
V2
plus
N
0
U41
isNat
N
N
plus
N
s
M
U51
isNat
M
M
N
x
N
0
U61
isNat
N
x
N
s
M
U71
isNat
M
M
N
U11
2
1
tt
0
U12
1
1
isNat
1
U21
1
1
U31
2
1
U32
1
1
U41
2
1
U51
3
1
U52
3
1
s
1
1
plus
2
1
2
U61
1
1
0
0
U71
3
1
U72
3
1
x
2
1
2
FULL
./TRS/CSR_Maude/my-nat/MYNAT_nokinds-noand.trs