TSPC 154_a_dick

154_a_dick_1952
They fired on us once without even knowing who we were or what we came for.

( (IP-MAT (NP-SBJ;{INHABITANTS} (PRO They;{they}))
          (VBD;_Ipr_ fired;{fire[on]})
          (PP-CLR (P-ROLE on;{on})
                  (NP;{TRESPASSERS} (PRO us;{we})))
          (ADVP-NIM (ADV once;{once}))
          (PP-NIM (P-ROLE without;{without})
                  (IP-PPL2 (ADVP-NIM (ADV even;{even}))
                           (VAG;_Tw_ knowing;{know})
                           (CP-QUE-OB1 (IP-SUB (ILYR (ILYR (NP-PRD (WPRO who;{who}))
                                                           (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                                                           (BED;_Ln_ were;{be}))
                                                     (CONJP (CONJ or;{or})
                                                            (ILYR (NP-126 (WPRO what;{what}))
                                                                  (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                                                                  (VBD;_Ipr_ came;{come[for]})
                                                                  (PP-CLR (P-ROLE for;{for})
                                                                          (NP *ICH*-126)))))))))
          (PUNC .))
  (ID 154_a_dick_1952))

arc(r_0154_0002__fired_r_0154_0003__on,r_0154_0001__They,arg0).
arc(r_0154_0002__fired_r_0154_0003__on,r_0154_0004__us,arg1).
arc(r_0154_0002__fired_r_0154_0003__on,r_0154_0005__once,nim).
arc(r_0154_0002__fired_r_0154_0003__on,r_0154_0008__knowing,r_0154_0006__without__nim).
arc(r_0154_0008__knowing,r_0154_0001__They,arg0).
arc(r_0154_0008__knowing,r_0154_0007__even,nim).
arc(r_0154_0008__knowing,r_0154_0012__or,arg1).
arc(r_0154_0011__were,r_0154_0004__us,arg0).
arc(r_0154_0011__were,r_0154_0009__who,prd).
arc(r_0154_0012__or,r_0154_0011__were,conj1).
arc(r_0154_0012__or,r_0154_0015__came_r_0154_0016__for,conj2).
arc(r_0154_0015__came_r_0154_0016__for,r_0154_0004__us,arg0).
arc(r_0154_0015__came_r_0154_0016__for,r_0154_0013__what,arg1).

fof(formula,axiom,
    ? [R_0154_0001__THEY,R_0154_0004__US,R_0154_0005__ONCE,R_0154_0007__EVEN,R_0154_0009__WHO,R_0154_0011__WERE,R_0154_0013__WHAT,R_0154_0015__CAME_R_0154_0016__FOR,R_0154_0012__OR,R_0154_0008__KNOWING,R_0154_0002__FIRED_R_0154_0003__ON] :
      ( r_0154_0001__They(R_0154_0001__THEY)
      & r_0154_0004__us(R_0154_0004__US)
      & r_0154_0005__once(R_0154_0005__ONCE)
      & r_0154_0007__even(R_0154_0007__EVEN)
      & r_0154_0009__who(R_0154_0009__WHO)
      & r_0154_0013__what(R_0154_0013__WHAT)
      & r_0154_0002__fired_r_0154_0003__on(R_0154_0002__FIRED_R_0154_0003__ON)
      & has_r_0154_0006__without__nim(R_0154_0002__FIRED_R_0154_0003__ON,R_0154_0008__KNOWING)
      & r_0154_0008__knowing(R_0154_0008__KNOWING)
      & has_arg1(R_0154_0008__KNOWING,R_0154_0012__OR)
      & r_0154_0012__or(R_0154_0012__OR)
      & has_conj2(R_0154_0012__OR,R_0154_0015__CAME_R_0154_0016__FOR)
      & r_0154_0015__came_r_0154_0016__for(R_0154_0015__CAME_R_0154_0016__FOR)
      & has_arg1(R_0154_0015__CAME_R_0154_0016__FOR,R_0154_0013__WHAT)
      & has_arg0(R_0154_0015__CAME_R_0154_0016__FOR,R_0154_0004__US)
      & has_conj1(R_0154_0012__OR,R_0154_0011__WERE)
      & r_0154_0011__were(R_0154_0011__WERE)
      & has_prd(R_0154_0011__WERE,R_0154_0009__WHO)
      & has_arg0(R_0154_0011__WERE,R_0154_0004__US)
      & has_nim(R_0154_0008__KNOWING,R_0154_0007__EVEN)
      & has_arg0(R_0154_0008__KNOWING,R_0154_0001__THEY)
      & has_nim(R_0154_0002__FIRED_R_0154_0003__ON,R_0154_0005__ONCE)
      & has_arg1(R_0154_0002__FIRED_R_0154_0003__ON,R_0154_0004__US)
      & has_arg0(R_0154_0002__FIRED_R_0154_0003__ON,R_0154_0001__THEY) ) ).