arc(r_0107_0003__do_r_0107_0005__suppose, r_0107_0004__you, arg0).
arc(r_0107_0003__do_r_0107_0005__suppose, r_0107_0009__would, arg1).
arc(r_0107_0009__would, r_0107_0010__find, scope).
arc(r_0107_0010__find, r_0107_0002__What, arg1).
arc(r_0107_0010__find, r_0107_0006__an_r_0107_0007__exploring_r_0107_0008__party, arg0).

fof(formula,axiom,
    ? [R_107_3_DO_SUPPOSE,R_107_4_YOU,R_107_9_WOULD_FIND,R_107_6_AN_EXPLORING_PARTY,R_107_2_WHAT] :
      ( you(R_107_4_YOU)
      & an_exploring_party(R_107_6_AN_EXPLORING_PARTY)
      & what(R_107_2_WHAT)
      & do_suppose(R_107_3_DO_SUPPOSE,R_107_4_YOU,R_107_9_WOULD_FIND)
      & would_find(R_107_9_WOULD_FIND,R_107_6_AN_EXPLORING_PARTY,R_107_2_WHAT) ) ).

( (CP-QUE-MAT (PULQ <ldquo>)
              (IP-SUB (NP-165 (WPRO What;{what}))
                      (DOP do;{do})
                      (NP-SBJ;{FOMAR} (PRO you;{you}))
                      (VB;_Tf_ suppose;{suppose})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ (D an;{an})
                                                  (N exploring;{exploring})
                                                  (N party;{party}))
                                          (MD;_cat_Vi_ would;{will})
                                          (IP-INF-CAT (NP-OB1 *ICH*-165)
                                                      (VB;_Tn_ find;{find})))))
              (PUNC ?)
              (PURQ <rdquo>))
  (ID 107_a_dick_1952))