app
app
and
true
true
true
app
app
and
x
false
false
app
app
and
false
y
false
app
app
or
true
y
true
app
app
or
x
true
true
app
app
or
false
false
false
app
app
forall
p
nil
true
app
app
forall
p
app
app
cons
x
xs
app
app
and
app
p
x
app
app
forall
p
xs
app
app
forsome
p
nil
false
app
app
forsome
p
app
app
cons
x
xs
app
app
or
app
p
x
app
app
forsome
p
xs
app
2
and
0
true
0
false
0
or
0
forall
0
nil
0
cons
0
forsome
0
FULL
TRS/higher-order/AotoYam/012.trs