( (IP-MAT (NP-SBJ;{TRESPASSERS} (PRO We;{we}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (Q no;{no})
                  (N choice;{choice}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 511_a_dick_1952))

arc(r_0511_0002__have,r_0511_0001__We,arg0).
arc(r_0511_0002__have,r_0511_0004__choice,arg1).
arc(r_0511_0003__no__quant,r_0511_0002__have,scope).
arc(r_0511_0003__no__quant,r_0511_0004__choice,restriction).

fof(formula,axiom,
    ! [R_0511_0004__CHOICE] :
      ( r_0511_0004__choice(R_0511_0004__CHOICE)
     => ? [R_0511_0001__WE,R_0511_0002__HAVE] :
          ( r_0511_0001__We(R_0511_0001__WE)
          & r_0511_0002__have(R_0511_0002__HAVE)
          & has_arg1(R_0511_0002__HAVE,R_0511_0004__CHOICE)
          & has_arg0(R_0511_0002__HAVE,R_0511_0001__WE) ) ) ).