arc(r_0601_0003__time, r_0601_0002__Next, attrib5).
arc(r_0601_0005__wo, r_0601_0003__time, nim4).
arc(r_0601_0005__wo, r_0601_0007__be, scope).
arc(r_0601_0006__n_apos_t, r_0601_0005__wo, keep_scope).
arc(r_0601_0007__be, r_0601_0004__it, arg0).
arc(r_0601_0007__be, r_0601_0008__there, clr20).
arc(r_0601_0008__there, r_0601_0009__to_r_0601_0010__shoot, emb23).
arc(r_0601_0009__to_r_0601_0010__shoot, r_0601_0011__us, arg1).
arc(r_0601_0009__to_r_0601_0010__shoot, r_0601_0012__down, clr31).
arc(r_0601_0009__to_r_0601_0010__shoot, z_000_601_a_dick_1952_23, arg0).

fof(formula,axiom,
    ~ ? [R_0601_0002__NEXT,R_0601_0003__TIME,R_0601_0004__IT,R_0601_0011__US,R_0601_0012__DOWN,Z_000_601_A_DICK_1952_23,R_0601_0009__TO_R_0601_0010__SHOOT,R_0601_0008__THERE,R_0601_0005__WO_R_0601_0007__BE] :
        ( r_0601_0002__Next(R_0601_0002__NEXT)
        & r_0601_0004__it(R_0601_0004__IT)
        & r_0601_0011__us(R_0601_0011__US)
        & r_0601_0012__down(R_0601_0012__DOWN)
        & z_000_601_a_dick_1952_23(Z_000_601_A_DICK_1952_23)
        & r_0601_0005__wo_r_0601_0007__be(R_0601_0005__WO_R_0601_0007__BE)
        & has_clr20(R_0601_0005__WO_R_0601_0007__BE,R_0601_0008__THERE)
        & r_0601_0008__there(R_0601_0008__THERE)
        & has_emb23(R_0601_0008__THERE,R_0601_0009__TO_R_0601_0010__SHOOT)
        & r_0601_0009__to_r_0601_0010__shoot(R_0601_0009__TO_R_0601_0010__SHOOT)
        & has_arg0(R_0601_0009__TO_R_0601_0010__SHOOT,Z_000_601_A_DICK_1952_23)
        & has_clr31(R_0601_0009__TO_R_0601_0010__SHOOT,R_0601_0012__DOWN)
        & has_arg1(R_0601_0009__TO_R_0601_0010__SHOOT,R_0601_0011__US)
        & has_arg0(R_0601_0005__WO_R_0601_0007__BE,R_0601_0004__IT)
        & has_nim4(R_0601_0005__WO_R_0601_0007__BE,R_0601_0003__TIME)
        & r_0601_0003__time(R_0601_0003__TIME)
        & has_attrib5(R_0601_0003__TIME,R_0601_0002__NEXT) ) ).

( (IP-MAT (PULQ <ldquo>)
          (NP-NIM (ADJP (ADJ Next;{next}))
                  (N time;{time}))
          (NP-SBJ;{GUN} (PRO it;{it}))
          (MD;_cat_Vi_ wo;{will})
          (NEG;_clitic_ n<apos>t;{not})
          (IP-INF-CAT (BE;_Ip_ be;{be})
                      (ADVP-CLR (ADV there;{there})
                                (IP-INF (TO to;{to})
                                        (VB;_Tn.p_ shoot;{shoot[down]})
                                        (NP-OB1;{TRESPASSERS} (PRO us;{we}))
                                        (ADVP-CLR (RP down;{down})))))
          (PUNC .))
  (ID 601_a_dick_1952))