TSPC 601_a_dick

601_a_dick_1952
“Next time it won't be there to shoot us down.

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

arc(r_0601_0003__time,r_0601_0002__Next,attrib).
arc(r_0601_0005__wo,r_0601_0003__time,nim).
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,clr).
arc(r_0601_0008__there,r_0601_0010__shoot_r_0601_0012__down,emb).
arc(r_0601_0010__shoot_r_0601_0012__down,r_0601_0011__us,arg1).
arc(r_0601_0010__shoot_r_0601_0012__down,z_0601_5007,arg0).

fof(formula,axiom,
    ~ ? [R_0601_0002__NEXT,R_0601_0003__TIME,R_0601_0004__IT,R_0601_0011__US,Z_0601_5007,R_0601_0010__SHOOT_R_0601_0012__DOWN,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)
        & z_0601_5007(Z_0601_5007)
        & r_0601_0005__wo_r_0601_0007__be(R_0601_0005__WO_R_0601_0007__BE)
        & has_clr(R_0601_0005__WO_R_0601_0007__BE,R_0601_0008__THERE)
        & r_0601_0008__there(R_0601_0008__THERE)
        & has_emb(R_0601_0008__THERE,R_0601_0010__SHOOT_R_0601_0012__DOWN)
        & r_0601_0010__shoot_r_0601_0012__down(R_0601_0010__SHOOT_R_0601_0012__DOWN)
        & has_arg0(R_0601_0010__SHOOT_R_0601_0012__DOWN,Z_0601_5007)
        & has_arg1(R_0601_0010__SHOOT_R_0601_0012__DOWN,R_0601_0011__US)
        & has_arg0(R_0601_0005__WO_R_0601_0007__BE,R_0601_0004__IT)
        & has_nim(R_0601_0005__WO_R_0601_0007__BE,R_0601_0003__TIME)
        & r_0601_0003__time(R_0601_0003__TIME)
        & has_attrib(R_0601_0003__TIME,R_0601_0002__NEXT) ) ).