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_0006__we, arg1).
arc(r_0514_0009__shot_r_0514_0010__down, z_000_514_a_dick_1952_25, arg0).

fof(formula,axiom,
    ? [R_0514_0002__WE,R_0514_0004__THE_R_0514_0005__GROUND,R_0514_0003__LEAVE,R_0514_0006__WE,Z_000_514_A_DICK_1952_25,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)
      & r_0514_0006__we(R_0514_0006__WE)
      & z_000_514_a_dick_1952_25(Z_000_514_A_DICK_1952_25)
      & 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_000_514_A_DICK_1952_25)
      & has_arg1(R_0514_0007___APOS_LL_R_0514_0008__BE_R_0514_0009__SHOT_R_0514_0010__DOWN,R_0514_0006__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) ) ).

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