not
x
if
x
false
true
and
x
y
if
x
y
false
or
x
y
if
x
true
y
implies
x
y
if
x
y
true
=
x
x
true
=
x
y
if
x
y
not
y
if
true
x
y
x
if
false
x
y
y
if
x
x
if
x
false
true
true
=
x
y
if
x
y
if
y
false
true
not
1
if
3
false
0
true
0
and
2
or
2
implies
2
=
2
INNERMOST
./TRS/SK90/2.32.trs