122_a_dick_1952
The first shell put us out of commission, the second almost destroyed us.
arc(r_0122_0001__The_r_0122_0003__shell, r_0122_0002__first, attrib7).
arc(r_0122_0004__put, r_0122_0001__The_r_0122_0003__shell, arg0).
arc(r_0122_0004__put, r_0122_0005__us, arg1).
arc(r_0122_0004__put, r_0122_0007__commission, r_0122_0006__out_of_clr20).
arc(r_0122_0009__the, r_0122_0010__second, attrib30).
arc(r_0122_0012__destroyed, r_0122_0009__the, arg0).
arc(r_0122_0012__destroyed, r_0122_0011__almost, nim33).
arc(r_0122_0012__destroyed, r_0122_0013__us, arg1).
arc(z_000_122_a_dick_1952_2, r_0122_0004__put, conj1).
arc(z_000_122_a_dick_1952_2, r_0122_0012__destroyed, conj2).
fof(formula,axiom,
? [Z_122_A_DICK_1952_2,R_122_4_PUT,R_122_1_THE_SHELL,R_122_2_FIRST,R_122_5_US,R_122_7_COMMISSION,R_122_12_DESTROYED,R_122_9_THE,R_122_10_SECOND,R_122_13_US,R_122_11_ALMOST] :
( first(R_122_2_FIRST)
& us(R_122_5_US)
& commission(R_122_7_COMMISSION)
& second(R_122_10_SECOND)
& us(R_122_13_US)
& almost(R_122_11_ALMOST)
& z_122_a_dick_1952_2(Z_122_A_DICK_1952_2)
& conj1(Z_122_A_DICK_1952_2,R_122_4_PUT)
& put(R_122_4_PUT,R_122_1_THE_SHELL,R_122_5_US)
& the_shell(R_122_1_THE_SHELL)
& attrib7(R_122_1_THE_SHELL,R_122_2_FIRST)
& out_of_clr20(R_122_4_PUT,R_122_7_COMMISSION)
& conj2(Z_122_A_DICK_1952_2,R_122_12_DESTROYED)
& destroyed(R_122_12_DESTROYED,R_122_9_THE,R_122_13_US)
& the(R_122_9_THE)
& attrib30(R_122_9_THE,R_122_10_SECOND)
& nim33(R_122_12_DESTROYED,R_122_11_ALMOST) ) ).
( (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))