and
true
true
true
and
X
false
false
and
false
Y
false
or
true
U
true
or
V
true
true
or
false
false
false
forall
I
nil
true
forall
J
cons
X1
Y1
and
J
X1
forall
J
Y1
forsome
G1
nil
false
forsome
H1
cons
W1
P1
or
H1
W1
forsome
H1
P1
X
c
Y
c
U
c
V
c
I
a
c
J
a
c
X1
a
Y1
b
G1
a
c
H1
a
c
W1
a
P1
b
and
c
c
c
cons
a
b
b
false
c
forall
a
c
b
c
forsome
a
c
b
c
nil
b
or
c
c
c
true
c
FULL
benchmarks/applicative/AotoYamada_05__012.atrs