arc(r_0604_0003___apos_ll, r_0604_0004__lead, scope).
arc(r_0604_0004__lead, r_0604_0002__You, arg0).
arc(r_0604_0004__lead, r_0604_0005__us, arg1).
arc(r_0604_0004__lead, r_0604_0006__back, clr15).
arc(r_0604_0004__lead, r_0604_0007__there, nim18).
arc(r_0604_0009__as, r_0604_0003___apos_ll, scope).
arc(r_0604_0009__as, r_0604_0013__should, restriction).
arc(r_0604_0010__a_r_0604_0012__captain, r_0604_0011__good, attrib30).
arc(r_0604_0013__should, r_0604_1001____star__, scope).
arc(r_0604_1001____star__, r_0604_0010__a_r_0604_0012__captain, arg0).

fof(formula,axiom,
    ? [R_604_9_AS,R_604_13_SHOULD__STAR_,R_604_10_A_CAPTAIN,R_604_11_GOOD,R_604_3__APOS_LL_LEAD,R_604_2_YOU,R_604_5_US,R_604_6_BACK,R_604_7_THERE] :
      ( good(R_604_11_GOOD)
      & you(R_604_2_YOU)
      & us(R_604_5_US)
      & back(R_604_6_BACK)
      & there(R_604_7_THERE)
      & as(R_604_9_AS)
      & conj1(R_604_9_AS,R_604_13_SHOULD__STAR_)
      & should__star_(R_604_13_SHOULD__STAR_,R_604_10_A_CAPTAIN)
      & a_captain(R_604_10_A_CAPTAIN)
      & attrib30(R_604_10_A_CAPTAIN,R_604_11_GOOD)
      & conj2(R_604_9_AS,R_604_3__APOS_LL_LEAD)
      & _apos_ll_lead(R_604_3__APOS_LL_LEAD,R_604_2_YOU,R_604_5_US)
      & clr15(R_604_3__APOS_LL_LEAD,R_604_6_BACK)
      & nim18(R_604_3__APOS_LL_LEAD,R_604_7_THERE) ) ).

( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{DORLE} (PRO You;{you}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (VB;_Tn.p_ lead;{lead[back]})
                      (NP-OB1;{TRESPASSERS} (PRO us;{we}))
                      (ADVP-CLR (RP back;{back}))
                      (ADVP-NIM (ADV there;{there})))
          (PUNC ,)
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ (D a;{a})
                                   (ADJP (ADJ good;{good}))
                                   (N captain;{captain}))
                           (MD;_cat_Vi_ should;{shall})
                           (IP-INF-CAT (VB _*_))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 604_a_dick_1952))