( (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 (ADVP (RP back;{back}))
                                (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})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 604_a_dick_1952))

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_0007__there,clr).
arc(r_0604_0007__there,r_0604_0006__back,qual).
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,attrib).
arc(r_0604_0013__should,r_0604_0010__a_r_0604_0012__captain,arg0).

fof(formula,axiom,
    ? [R_0604_0002__YOU,R_0604_0005__US,R_0604_0006__BACK,R_0604_0007__THERE,R_0604_0003___APOS_LL_R_0604_0004__LEAD,R_0604_0011__GOOD,R_0604_0010__A_R_0604_0012__CAPTAIN,R_0604_0013__SHOULD,R_0604_0009__AS] :
      ( r_0604_0002__You(R_0604_0002__YOU)
      & r_0604_0005__us(R_0604_0005__US)
      & r_0604_0006__back(R_0604_0006__BACK)
      & r_0604_0011__good(R_0604_0011__GOOD)
      & r_0604_0009__as(R_0604_0009__AS)
      & has_conj1(R_0604_0009__AS,R_0604_0013__SHOULD)
      & r_0604_0013__should(R_0604_0013__SHOULD)
      & has_arg0(R_0604_0013__SHOULD,R_0604_0010__A_R_0604_0012__CAPTAIN)
      & r_0604_0010__a_r_0604_0012__captain(R_0604_0010__A_R_0604_0012__CAPTAIN)
      & has_attrib(R_0604_0010__A_R_0604_0012__CAPTAIN,R_0604_0011__GOOD)
      & has_conj2(R_0604_0009__AS,R_0604_0003___APOS_LL_R_0604_0004__LEAD)
      & r_0604_0003___apos_ll_r_0604_0004__lead(R_0604_0003___APOS_LL_R_0604_0004__LEAD)
      & has_clr(R_0604_0003___APOS_LL_R_0604_0004__LEAD,R_0604_0007__THERE)
      & r_0604_0007__there(R_0604_0007__THERE)
      & has_qual(R_0604_0007__THERE,R_0604_0006__BACK)
      & has_arg1(R_0604_0003___APOS_LL_R_0604_0004__LEAD,R_0604_0005__US)
      & has_arg0(R_0604_0003___APOS_LL_R_0604_0004__LEAD,R_0604_0002__YOU) ) ).