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, z_000_601_a_dick_1952_23, 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_0009__to_r_0601_0010__shoot, r_0601_0004__it, arg0).
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, clr32).
arc(z_000_601_a_dick_1952_23, r_0601_0007__be, scope).
arc(z_000_601_a_dick_1952_23, r_0601_0009__to_r_0601_0010__shoot, restriction).

fof(formula,axiom,
    ~ ? [R_601_3_TIME,R_601_2_NEXT] :
        ( next(R_601_2_NEXT)
        & ? [Z_601_A_DICK_1952_23,R_601_9_TO_SHOOT,R_601_11_US,R_601_12_DOWN,R_601_7_BE,R_601_4_IT,R_601_8_THERE] :
            ( us(R_601_11_US)
            & down(R_601_12_DOWN)
            & it(R_601_4_IT)
            & there(R_601_8_THERE)
            & z_601_a_dick_1952_23(Z_601_A_DICK_1952_23)
            & conj1(Z_601_A_DICK_1952_23,R_601_9_TO_SHOOT)
            & to_shoot(R_601_9_TO_SHOOT,R_601_4_IT,R_601_11_US)
            & clr32(R_601_9_TO_SHOOT,R_601_12_DOWN)
            & conj2(Z_601_A_DICK_1952_23,R_601_7_BE)
            & be(R_601_7_BE,R_601_4_IT)
            & clr20(R_601_7_BE,R_601_8_THERE) ) ) ).

( (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[there]})
                      (ADVP-CLR (ADV there;{there}))
                      (PP-SCON (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))