appappandtruetruetrueappappandtruefalsefalseappappandfalsetruefalseappappandfalsefalsefalseappapportruetruetrueappapportruefalsetrueappapporfalsetruetrueappapporfalsefalsefalseappappforallpniltrueappappforallpappappconsxxsappappandapppxappappforallpxsappappforsomepnilfalseappappforsomepappappconsxxsappapporapppxappappforsomepxs2.0appforsome0forsome0forsome1forsome2cons0cons0cons1cons2nil0nil0forall0forall0forall1forall2or0or0or1or2false0false0true0true0and0and0and1and2appand1x3x4and2x3x4appand0x3and1x3appor1x8x9or2x8x9appor0x8or1x8appforall1x11x12forall2x11x12appforall0x11forall1x11appcons1x15x16cons2x15x16appcons0x15cons1x15appforsome1x18x19forsome2x18x19appforsome0x18forsome1x18and2true0true0true0and2true0false0false0and2false0true0false0and2false0false0false0or2true0true0true0or2true0false0true0or2false0true0true0or2false0false0false0forall2pnil0true0forall2pcons2xxsand2apppxforall2pxsforsome2pnil0false0forsome2pcons2xxsor2apppxforsome2pxsappand1x3x4and2x3x4appand0x3and1x3appor1x8x9or2x8x9appor0x8or1x8appforall1x11x12forall2x11x12appforall0x11forall1x11appcons1x15x16cons2x15x16appcons0x15cons1x15appforsome1x18x19forsome2x18x19appforsome0x18forsome1x18forall2pcons2xxsforall2pxsforall2pcons2xxsapppxforall2pcons2xxsand2apppxforall2pxsforsome2pcons2xxsforsome2pxsforsome2pcons2xxsapppxforsome2pcons2xxsor2apppxforsome2pxsappand1x3x4and2x3x4appor1x8x9or2x8x9appforall1x11x12forall2x11x12appforsome1x18x19forsome2x18x19trueforsome2pcons2xxsforsome2pxsforsome2pcons2xxsapppxappforsome1x18x19forsome2x18x19appforall1x11x12forall2x11x12forall2pcons2xxsapppxforall2pcons2xxsforall2pxstrueforall222app22forsome222appforsome1x18x19forsome2x18x19appforall1x11x12forall2x11x12appforsome1x18x19forsome2x18x19falseappforall1x11x12forall2x11x12falseappand1x3x4and2x3x4falseappor1x8x9or2x8x9falseforall2pcons2xxsand2apppxforall2pxsfalseforsome2pcons2xxsor2apppxforsome2pxsfalse