andtruetruetrueandXfalsefalseandfalseYfalseortrueUtrueorVtruetrueorfalsefalsefalseforallIniltrueforallJconsX1Y1andJX1forallJY1forsomeG1nilfalseforsomeH1consW1P1orH1W1forsomeH1P1XcYcUcVcIacJacX1aY1bG1acH1acW1aP1bandcccconsabbfalsecforallacbcforsomeacbcnilborccctruecFULLbenchmarks/applicative/AotoYamada_05__012.atrs