TSPC 568_a_dick

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

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

arc(r_0568_0005__were,r_0568_0001__Finally,nim).
arc(r_0568_0005__were,r_0568_0004__themselves,rfl).
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_0568_5004___star_,arg0).
arc(r_0568_0008__and,r_0568_0005__were,conj1).
arc(r_0568_0008__and,z_0568_5011,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_0568_5009___star_,arg0).
arc(z_0568_5011,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_0568_5004___STAR_,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_0568_5009___STAR_,Z_0568_5011_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_0568_5004___star_(Z_0568_5004___STAR_)
      & z_0568_5009___star_(Z_0568_5009___STAR_)
      & r_0568_0008__and(R_0568_0008__AND)
      & has_conj2(R_0568_0008__AND,Z_0568_5011_R_0568_0012__REMOVED)
      & z_0568_5011_r_0568_0012__removed(Z_0568_5011_R_0568_0012__REMOVED)
      & has_arg0(Z_0568_5011_R_0568_0012__REMOVED,Z_0568_5009___STAR_)
      & has_arg1(Z_0568_5011_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_0568_5004___STAR_)
      & has_arg1(R_0568_0005__WERE_R_0568_0006__CARRIED_R_0568_0007__OFF,R_0568_0002__THE_R_0568_0003__WARHEADS)
      & has_rfl(R_0568_0005__WERE_R_0568_0006__CARRIED_R_0568_0007__OFF,R_0568_0004__THEMSELVES)
      & has_nim(R_0568_0005__WERE_R_0568_0006__CARRIED_R_0568_0007__OFF,R_0568_0001__FINALLY) ) ).