TSPC 122_a_dick

122_a_dick_1952
The first shell put us out of commission, the second almost destroyed us.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{SHELL1} (D The;{the})
                                       (ADJP (ADJ first;{first}))
                                       (N shell;{shell}))
                      (VBD;_Tn.pr_ put;{put[out_of]})
                      (NP-OB1;{TRESPASSERS} (PRO us;{we}))
                      (PP-CLR (P-ROLE out_of;{out_of})
                              (NP (N commission;{commission}))))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ;{SHELL2} (D the;{the})
                                              (ADJP (ADJ second;{second})))
                             (ADVP-NIM (ADV almost;{almost}))
                             (VBD;_Tn_ destroyed;{destroy})
                             (NP-OB1;{TRESPASSERS} (PRO us;{we})))))
          (PUNC .))
  (ID 122_a_dick_1952))

arc(r_0122_0001__The_r_0122_0003__shell,r_0122_0002__first,attrib).
arc(r_0122_0004__put_r_0122_0006__out_of,r_0122_0001__The_r_0122_0003__shell,arg0).
arc(r_0122_0004__put_r_0122_0006__out_of,r_0122_0005__us,arg1).
arc(r_0122_0004__put_r_0122_0006__out_of,r_0122_0007__commission,arg2).
arc(r_0122_0009__the,r_0122_0010__second,attrib).
arc(r_0122_0012__destroyed,r_0122_0005__us,arg1).
arc(r_0122_0012__destroyed,r_0122_0009__the,arg0).
arc(r_0122_0012__destroyed,r_0122_0011__almost,nim).
arc(z_0122_5001,r_0122_0004__put_r_0122_0006__out_of,conj1).
arc(z_0122_5001,r_0122_0012__destroyed,conj2).

fof(formula,axiom,
    ? [R_0122_0002__FIRST,R_0122_0001__THE_R_0122_0003__SHELL,R_0122_0005__US,R_0122_0007__COMMISSION,R_0122_0004__PUT_R_0122_0006__OUT_OF,R_0122_0010__SECOND,R_0122_0009__THE,R_0122_0011__ALMOST,R_0122_0012__DESTROYED,Z_0122_5001] :
      ( r_0122_0002__first(R_0122_0002__FIRST)
      & r_0122_0005__us(R_0122_0005__US)
      & r_0122_0007__commission(R_0122_0007__COMMISSION)
      & r_0122_0010__second(R_0122_0010__SECOND)
      & r_0122_0011__almost(R_0122_0011__ALMOST)
      & z_0122_5001(Z_0122_5001)
      & has_conj2(Z_0122_5001,R_0122_0012__DESTROYED)
      & r_0122_0012__destroyed(R_0122_0012__DESTROYED)
      & has_nim(R_0122_0012__DESTROYED,R_0122_0011__ALMOST)
      & has_arg0(R_0122_0012__DESTROYED,R_0122_0009__THE)
      & r_0122_0009__the(R_0122_0009__THE)
      & has_attrib(R_0122_0009__THE,R_0122_0010__SECOND)
      & has_arg1(R_0122_0012__DESTROYED,R_0122_0005__US)
      & has_conj1(Z_0122_5001,R_0122_0004__PUT_R_0122_0006__OUT_OF)
      & r_0122_0004__put_r_0122_0006__out_of(R_0122_0004__PUT_R_0122_0006__OUT_OF)
      & has_arg2(R_0122_0004__PUT_R_0122_0006__OUT_OF,R_0122_0007__COMMISSION)
      & has_arg1(R_0122_0004__PUT_R_0122_0006__OUT_OF,R_0122_0005__US)
      & has_arg0(R_0122_0004__PUT_R_0122_0006__OUT_OF,R_0122_0001__THE_R_0122_0003__SHELL)
      & r_0122_0001__The_r_0122_0003__shell(R_0122_0001__THE_R_0122_0003__SHELL)
      & has_attrib(R_0122_0001__THE_R_0122_0003__SHELL,R_0122_0002__FIRST) ) ).