( (CP-QUE-MAT (PULQ <ldquo>)
              (IP-SUB (ADVP-NIM (WADV Why;{why}))
                      (NEG not;{not})
                      (NP-OB1 (NS people;{people})))
              (PUNC ?)
              (PURQ <rdquo>))
  (ID 132_a_dick_1952))

arc(r_0132_0003__not,z_0132_5006,keep_scope).
arc(z_0132_5006,r_0132_0002__Why,nim).
arc(z_0132_5006,r_0132_0004__people,arg1).
arc(z_0132_5006,z_0132_5002,arg0).

fof(formula,axiom,
    ~ ? [R_0132_0002__WHY,R_0132_0004__PEOPLE,Z_0132_5002,Z_0132_5006] :
        ( r_0132_0002__Why(R_0132_0002__WHY)
        & r_0132_0004__people(R_0132_0004__PEOPLE)
        & z_0132_5002(Z_0132_5002)
        & z_0132_5006(Z_0132_5006)
        & has_arg0(Z_0132_5006,Z_0132_5002)
        & has_arg1(Z_0132_5006,R_0132_0004__PEOPLE)
        & has_nim(Z_0132_5006,R_0132_0002__WHY) ) ).