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_0273_0003__YOU,R_0273_0005__WE,R_0273_0008__A_R_0273_0009__SIGNPOST,R_0273_0006__MIGHT_R_0273_0007__FIND,R_0273_0002__DO_R_0273_0004__THINK] :
      ( r_0273_0003__you(R_0273_0003__YOU)
      & r_0273_0005__we(R_0273_0005__WE)
      & r_0273_0008__a_r_0273_0009__signpost(R_0273_0008__A_R_0273_0009__SIGNPOST)
      & r_0273_0002__Do_r_0273_0004__think(R_0273_0002__DO_R_0273_0004__THINK)
      & has_arg1(R_0273_0002__DO_R_0273_0004__THINK,R_0273_0006__MIGHT_R_0273_0007__FIND)
      & r_0273_0006__might_r_0273_0007__find(R_0273_0006__MIGHT_R_0273_0007__FIND)
      & has_arg1(R_0273_0006__MIGHT_R_0273_0007__FIND,R_0273_0008__A_R_0273_0009__SIGNPOST)
      & has_arg0(R_0273_0006__MIGHT_R_0273_0007__FIND,R_0273_0005__WE)
      & has_arg0(R_0273_0002__DO_R_0273_0004__THINK,R_0273_0003__YOU) ) ).

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