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,
    ? [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_0010__SECOND,R_0122_0009__THE,R_0122_0011__ALMOST,R_0122_0013__US,R_0122_0012__DESTROYED,Z_000_122_A_DICK_1952_2] :
      ( 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)
      & r_0122_0013__us(R_0122_0013__US)
      & z_000_122_a_dick_1952_2(Z_000_122_A_DICK_1952_2)
      & has_conj2(Z_000_122_A_DICK_1952_2,R_0122_0012__DESTROYED)
      & r_0122_0012__destroyed(R_0122_0012__DESTROYED)
      & has_arg1(R_0122_0012__DESTROYED,R_0122_0013__US)
      & has_nim33(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_attrib30(R_0122_0009__THE,R_0122_0010__SECOND)
      & has_conj1(Z_000_122_A_DICK_1952_2,R_0122_0004__PUT)
      & r_0122_0004__put(R_0122_0004__PUT)
      & has_r_0122_0006__out_of_clr20(R_0122_0004__PUT,R_0122_0007__COMMISSION)
      & has_arg1(R_0122_0004__PUT,R_0122_0005__US)
      & has_arg0(R_0122_0004__PUT,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_attrib7(R_0122_0001__THE_R_0122_0003__SHELL,R_0122_0002__FIRST) ) ).

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