!times
X
!plus
Y
U
!plus
!times
X
Y
!times
X
U
!times
!plus
W
P
V
!plus
!times
V
W
!times
V
P
!times
!times
X1
Y1
U1
!times
X1
!times
Y1
U1
!plus
!plus
V1
W1
P1
!plus
V1
!plus
W1
P1
map
F2
nil
nil
map
Z2
cons
U2
V2
cons
Z2
U2
map
Z2
V2
filter
I2
nil
nil
filter
J2
cons
X3
Y3
filter2
J2
X3
J2
X3
Y3
filter2
true
G3
V3
W3
cons
V3
filter
G3
W3
filter2
false
J3
X4
Y4
filter
J3
Y4
X
a
Y
a
U
a
V
a
W
a
P
a
X1
a
Y1
a
U1
a
V1
a
W1
a
P1
a
F2
c
c
Z2
c
c
U2
c
V2
d
I2
c
b
J2
c
b
X3
c
Y3
d
G3
c
b
V3
c
W3
d
J3
c
b
X4
c
Y4
d
!plus
a
a
a
!times
a
a
a
cons
c
d
d
false
b
filter
c
b
d
d
filter2
b
c
b
c
d
d
map
c
c
d
d
nil
d
true
b
FULL
benchmarks/applicative/Applicative_first_order_05__13.atrs