!dot 1 X X !dot Y 1 Y !dot i U U 1 !dot V i V 1 !dot i W !dot W P P !dot X1 !dot i X1 Y1 Y1 !dot !dot U1 V1 W1 !dot U1 !dot V1 W1 i 1 1 i i P1 P1 i !dot X2 Y2 !dot i Y2 i X2 map G2 nil nil map H2 cons W2 P2 cons H2 W2 map H2 P2 filter F3 nil nil filter Z3 cons U3 V3 filter2 Z3 U3 Z3 U3 V3 filter2 true I3 P3 X4 cons P3 filter I3 X4 filter2 false Z4 U4 V4 filter Z4 V4 X a Y a U a V a W a P a X1 a Y1 a U1 a V1 a W1 a P1 a X2 a Y2 a G2 c c H2 c c W2 c P2 d F3 c b Z3 c b U3 c V3 d I3 c b P3 c X4 d Z4 c b U4 c V4 d !dot a a a 1 a cons c d d false b filter c b d d filter2 b c b c d d i a a map c c d d nil d true b FULL benchmarks/applicative/Applicative_first_order_05__17.atrs