( (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))

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_0107_0004__YOU,R_0107_0002__WHAT,R_0107_0006__AN_R_0107_0007__EXPLORING_R_0107_0008__PARTY,R_0107_0009__WOULD_R_0107_0010__FIND,R_0107_0003__DO_R_0107_0005__SUPPOSE] :
      ( r_0107_0002__What(R_0107_0002__WHAT)
      & r_0107_0004__you(R_0107_0004__YOU)
      & r_0107_0006__an_r_0107_0007__exploring_r_0107_0008__party(R_0107_0006__AN_R_0107_0007__EXPLORING_R_0107_0008__PARTY)
      & r_0107_0003__do_r_0107_0005__suppose(R_0107_0003__DO_R_0107_0005__SUPPOSE)
      & has_arg1(R_0107_0003__DO_R_0107_0005__SUPPOSE,R_0107_0009__WOULD_R_0107_0010__FIND)
      & r_0107_0009__would_r_0107_0010__find(R_0107_0009__WOULD_R_0107_0010__FIND)
      & has_arg0(R_0107_0009__WOULD_R_0107_0010__FIND,R_0107_0006__AN_R_0107_0007__EXPLORING_R_0107_0008__PARTY)
      & has_arg1(R_0107_0009__WOULD_R_0107_0010__FIND,R_0107_0002__WHAT)
      & has_arg0(R_0107_0003__DO_R_0107_0005__SUPPOSE,R_0107_0004__YOU) ) ).