!colon !colon X Y U !colon X !colon Y U !colon !plus V W P !plus !colon V P !colon W P !colon V1 !plus Y1 F1 U1 !colon g V1 U1 !plus Y1 a map I1 nil nil map J1 cons X2 Y2 cons J1 X2 map J1 Y2 filter G2 nil nil filter H2 cons W2 P2 filter2 H2 W2 H2 W2 P2 filter2 true F3 Y3 U3 cons Y3 filter F3 U3 filter2 false H3 W3 P3 filter H3 P3 X b Y b U b V b W b P b F1 a b Y1 b U1 a V1 b I1 d d J1 d d X2 d Y2 e G2 d c H2 d c W2 d P2 e F3 d c Y3 d U3 e H3 d c W3 d P3 e !colon b b b !plus b b b a b cons d e e false c filter d c e e filter2 c d c d e e g b a b map d d e e nil e true c FULL benchmarks/applicative/Applicative_first_order_05__31.atrs