TSPC 568_a_dick

568_a_dick_1952
Finally the warheads themselves were carried off and the firing pins removed.

arc(r_0568_0005__were, r_0568_0001__Finally, nim4).
arc(r_0568_0005__were, r_0568_0004__themselves, nim12).
arc(r_0568_0005__were, r_0568_0006__carried_r_0568_0007__off, scope).
arc(r_0568_0006__carried_r_0568_0007__off, r_0568_0002__the_r_0568_0003__warheads, arg1).
arc(r_0568_0006__carried_r_0568_0007__off, z_000_568_a_dick_1952_18, arg0).
arc(r_0568_0008__and, r_0568_0005__were, conj1).
arc(r_0568_0008__and, z_000_568_a_dick_1952_27, conj2).
arc(r_0568_0012__removed, r_0568_0009__the_r_0568_0010__firing_r_0568_0011__pins, arg1).
arc(r_0568_0012__removed, z_000_568_a_dick_1952_36, arg0).
arc(z_000_568_a_dick_1952_27, r_0568_0012__removed, scope).

fof(formula,axiom,
    ? [R_0568_0001__FINALLY,R_0568_0004__THEMSELVES,R_0568_0002__THE_R_0568_0003__WARHEADS,Z_000_568_A_DICK_1952_18,R_0568_0005__WERE_R_0568_0006__CARRIED_R_0568_0007__OFF,R_0568_0009__THE_R_0568_0010__FIRING_R_0568_0011__PINS,Z_000_568_A_DICK_1952_36,Z_000_568_A_DICK_1952_27_R_0568_0012__REMOVED,R_0568_0008__AND] :
      ( r_0568_0001__Finally(R_0568_0001__FINALLY)
      & r_0568_0002__the_r_0568_0003__warheads(R_0568_0002__THE_R_0568_0003__WARHEADS)
      & r_0568_0004__themselves(R_0568_0004__THEMSELVES)
      & r_0568_0009__the_r_0568_0010__firing_r_0568_0011__pins(R_0568_0009__THE_R_0568_0010__FIRING_R_0568_0011__PINS)
      & z_000_568_a_dick_1952_18(Z_000_568_A_DICK_1952_18)
      & z_000_568_a_dick_1952_36(Z_000_568_A_DICK_1952_36)
      & r_0568_0008__and(R_0568_0008__AND)
      & has_conj2(R_0568_0008__AND,Z_000_568_A_DICK_1952_27_R_0568_0012__REMOVED)
      & z_000_568_a_dick_1952_27_r_0568_0012__removed(Z_000_568_A_DICK_1952_27_R_0568_0012__REMOVED)
      & has_arg0(Z_000_568_A_DICK_1952_27_R_0568_0012__REMOVED,Z_000_568_A_DICK_1952_36)
      & has_arg1(Z_000_568_A_DICK_1952_27_R_0568_0012__REMOVED,R_0568_0009__THE_R_0568_0010__FIRING_R_0568_0011__PINS)
      & has_conj1(R_0568_0008__AND,R_0568_0005__WERE_R_0568_0006__CARRIED_R_0568_0007__OFF)
      & r_0568_0005__were_r_0568_0006__carried_r_0568_0007__off(R_0568_0005__WERE_R_0568_0006__CARRIED_R_0568_0007__OFF)
      & has_arg0(R_0568_0005__WERE_R_0568_0006__CARRIED_R_0568_0007__OFF,Z_000_568_A_DICK_1952_18)
      & has_arg1(R_0568_0005__WERE_R_0568_0006__CARRIED_R_0568_0007__OFF,R_0568_0002__THE_R_0568_0003__WARHEADS)
      & has_nim12(R_0568_0005__WERE_R_0568_0006__CARRIED_R_0568_0007__OFF,R_0568_0004__THEMSELVES)
      & has_nim4(R_0568_0005__WERE_R_0568_0006__CARRIED_R_0568_0007__OFF,R_0568_0001__FINALLY) ) ).

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Finally;{finally}))
                      (NP-SBJ (D the;{the})
                              (NS warheads;{warhead}))
                      (NP-RFL (PNX themselves;{themselves}))
                      (BED;_cat_VePASS_ were;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_phr_Vn<=>p_ carried;{carry[off]})
                                  (RP off;{off})))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N firing;{firing})
                                     (NS pins;{pin}))
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;_Tn_ removed;{remove})))))
          (PUNC .))
  (ID 568_a_dick_1952))