U11
tt
M
N
U12
tt
M
N
U12
tt
M
N
s
plus
N
M
U21
tt
M
N
U22
tt
M
N
U22
tt
M
N
plus
x
N
M
N
plus
N
0
N
plus
N
s
M
U11
tt
M
N
x
N
0
0
x
N
s
M
U21
tt
M
N
U11
3
1
tt
0
U12
3
1
s
1
1
plus
2
1
2
U21
3
1
U22
3
1
x
2
1
2
0
0
FULL
./TRS/CSR_Maude/my-nat/MYNAT_nosorts-noand.trs