( (IP-MAT (PP-SCON (P-CONN As_soon_as;{as_soon_as})
                   (IP-ADV (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                           (VBP;_Tn_ leave;{leave})
                           (NP-OB1 (D the;{the})
                                   (N ground;{ground}))))
          (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_phr_Vp_ shot;{shoot})
                                  (RP down;{down})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 514_a_dick_1952))

arc(r_0514_0001__As_soon_as,r_0514_0003__leave,restriction).
arc(r_0514_0001__As_soon_as,r_0514_0007___apos_ll,scope).
arc(r_0514_0003__leave,r_0514_0002__we,arg0).
arc(r_0514_0003__leave,r_0514_0004__the_r_0514_0005__ground,arg1).
arc(r_0514_0007___apos_ll,r_0514_0008__be,scope).
arc(r_0514_0008__be,r_0514_0009__shot_r_0514_0010__down,scope).
arc(r_0514_0009__shot_r_0514_0010__down,r_0514_0002__we,arg1).
arc(r_0514_0009__shot_r_0514_0010__down,z_0514_5007___star_,arg0).

fof(formula,axiom,
    ? [R_0514_0002__WE,R_0514_0004__THE_R_0514_0005__GROUND,R_0514_0003__LEAVE,Z_0514_5007___STAR_,R_0514_0007___APOS_LL_R_0514_0008__BE_R_0514_0009__SHOT_R_0514_0010__DOWN,R_0514_0001__AS_SOON_AS] :
      ( r_0514_0002__we(R_0514_0002__WE)
      & r_0514_0004__the_r_0514_0005__ground(R_0514_0004__THE_R_0514_0005__GROUND)
      & z_0514_5007___star_(Z_0514_5007___STAR_)
      & r_0514_0001__As_soon_as(R_0514_0001__AS_SOON_AS)
      & has_conj2(R_0514_0001__AS_SOON_AS,R_0514_0007___APOS_LL_R_0514_0008__BE_R_0514_0009__SHOT_R_0514_0010__DOWN)
      & r_0514_0007___apos_ll_r_0514_0008__be_r_0514_0009__shot_r_0514_0010__down(R_0514_0007___APOS_LL_R_0514_0008__BE_R_0514_0009__SHOT_R_0514_0010__DOWN)
      & has_arg0(R_0514_0007___APOS_LL_R_0514_0008__BE_R_0514_0009__SHOT_R_0514_0010__DOWN,Z_0514_5007___STAR_)
      & has_arg1(R_0514_0007___APOS_LL_R_0514_0008__BE_R_0514_0009__SHOT_R_0514_0010__DOWN,R_0514_0002__WE)
      & has_conj1(R_0514_0001__AS_SOON_AS,R_0514_0003__LEAVE)
      & r_0514_0003__leave(R_0514_0003__LEAVE)
      & has_arg1(R_0514_0003__LEAVE,R_0514_0004__THE_R_0514_0005__GROUND)
      & has_arg0(R_0514_0003__LEAVE,R_0514_0002__WE) ) ).