arc(r_0273_0002__Do_r_0273_0004__think, r_0273_0003__you, arg0).
arc(r_0273_0002__Do_r_0273_0004__think, r_0273_0006__might, arg1).
arc(r_0273_0006__might, r_0273_0007__find, scope).
arc(r_0273_0007__find, r_0273_0005__we, arg0).
arc(r_0273_0007__find, r_0273_0008__a_r_0273_0009__signpost, arg1).

fof(formula,axiom,
    ? [R_273_2_DO_THINK,R_273_3_YOU,R_273_6_MIGHT_FIND,R_273_5_WE,R_273_8_A_SIGNPOST] :
      ( you(R_273_3_YOU)
      & we(R_273_5_WE)
      & a_signpost(R_273_8_A_SIGNPOST)
      & do_think(R_273_2_DO_THINK,R_273_3_YOU,R_273_6_MIGHT_FIND)
      & might_find(R_273_6_MIGHT_FIND,R_273_5_WE,R_273_8_A_SIGNPOST) ) ).

( (CP-QUE-MAT (PULQ <ldquo>)
              (IP-SUB (DOP Do;{do})
                      (NP-SBJ;{DORLE_TANCE} (PRO you;{you}))
                      (VB;_Tf_ think;{think})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ;{DORLE_NASHA_TANCE} (PRO we;{we}))
                                          (MD;_cat_Vi_ might;{may})
                                          (IP-INF-CAT (VB;_Tn_ find;{find})
                                                      (NP-OB1 (D a;{a})
                                                              (N signpost;{signpost}))))))
              (PUNC ?))
  (ID 273_a_dick_1952))