( (IP-MAT (PULQ <ldquo>)
          (INTJ Well)
          (PUNC ,)
          (NP-SBJ;{FOMAR} (PRO I;{I}))
          (MD;_cat_Vi_ wo;{will})
          (NEG;_clitic_ n<apos>t;{not})
          (IP-INF-CAT (VB;_Tn.p_ find;{find[there]})
                      (NP-OB1 (D any;{any})
                              (NS legumes;{legume}))
                      (ADVP-CLR (ADV there;{there})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 28_a_dick_1952))

arc(r_0028_0005__wo,r_0028_0007__find_r_0028_0010__there,scope).
arc(r_0028_0006__n_apos_t,r_0028_0005__wo,keep_scope).
arc(r_0028_0007__find_r_0028_0010__there,r_0028_0004__I,arg0).
arc(r_0028_0007__find_r_0028_0010__there,r_0028_0008__any_r_0028_0009__legumes,arg1).

fof(formula,axiom,
    ~ ? [R_0028_0004__I,R_0028_0008__ANY_R_0028_0009__LEGUMES,R_0028_0005__WO_R_0028_0007__FIND_R_0028_0010__THERE] :
        ( r_0028_0004__I(R_0028_0004__I)
        & r_0028_0008__any_r_0028_0009__legumes(R_0028_0008__ANY_R_0028_0009__LEGUMES)
        & r_0028_0005__wo_r_0028_0007__find_r_0028_0010__there(R_0028_0005__WO_R_0028_0007__FIND_R_0028_0010__THERE)
        & has_arg1(R_0028_0005__WO_R_0028_0007__FIND_R_0028_0010__THERE,R_0028_0008__ANY_R_0028_0009__LEGUMES)
        & has_arg0(R_0028_0005__WO_R_0028_0007__FIND_R_0028_0010__THERE,R_0028_0004__I) ) ).