app
app
and
true
true
true
app
app
and
true
false
false
app
app
and
false
true
false
app
app
and
false
false
false
app
app
or
true
true
true
app
app
or
true
false
true
app
app
or
false
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
INNERMOST
./TRS/higher-order/AotoYam/009.trs