notnotXXnotorYUandnotYnotUnotandVWornotVnotWandPorX1Y1orandPX1andPY1andorV1W1U1orandU1V1andU1W1mapJ1nilnilmapF2consY2U2consF2Y2mapF2U2filterH2nilnilfilterI2consP2X3filter2I2P2I2P2X3filter2trueZ3U3V3consU3filterZ3V3filter2falseI3P3X4filterI3X4XaYaUaVaWaPaX1aY1aU1aV1aW1aJ1ccF2ccY2cU2dH2cbI2cbP2cX3dZ3cbU3cV3dI3cbP3cX4dandaaaconscddfalsebfiltercbddfilter2bcbcddmapccddnildnotaaoraaatruebFULLbenchmarks/applicative/Applicative_first_order_05__12.atrs