p
s
X
X
fact
0
s
0
fact
s
Y
!times
s
Y
fact
p
s
Y
!times
0
U
0
!times
s
V
W
!plus
!times
V
W
W
!plus
P
0
P
!plus
X1
s
Y1
s
!plus
X1
Y1
map
G1
nil
nil
map
H1
cons
W1
P1
cons
H1
W1
map
H1
P1
filter
F2
nil
nil
filter
Z2
cons
U2
V2
filter2
Z2
U2
Z2
U2
V2
filter2
true
I2
P2
X3
cons
P2
filter
I2
X3
filter2
false
Z3
U3
V3
filter
Z3
V3
X
a
Y
a
U
a
V
a
W
a
P
a
X1
a
Y1
a
G1
c
c
H1
c
c
W1
c
P1
d
F2
c
b
Z2
c
b
U2
c
V2
d
I2
c
b
P2
c
X3
d
Z3
c
b
U3
c
V3
d
!plus
a
a
a
!times
a
a
a
0
a
cons
c
d
d
fact
a
a
false
b
filter
c
b
d
d
filter2
b
c
b
c
d
d
map
c
c
d
d
nil
d
p
a
a
s
a
a
true
b
FULL
benchmarks/applicative/Applicative_first_order_05__21.atrs