TSPC 97_a_dick

97_a_dick_1952
He resumed his work, hammering the bent metal hull of the ship back into place.

arc(r_0097_0002__resumed, r_0097_0001__He, arg0).
arc(r_0097_0002__resumed, r_0097_0004__work, arg1).
arc(r_0097_0004__work, r_0097_0001__He, gen).
arc(r_0097_0006__hammering, r_0097_0001__He, arg0).
arc(r_0097_0006__hammering, r_0097_0007__the_r_0097_0009__metal_r_0097_0010__hull, arg1).
arc(r_0097_0006__hammering, r_0097_0014__back, clr39).
arc(r_0097_0007__the_r_0097_0009__metal_r_0097_0010__hull, r_0097_0012__the_r_0097_0013__ship, r_0097_0011__of).
arc(r_0097_0008__bent, r_0097_0007__the_r_0097_0009__metal_r_0097_0010__hull, arg1).
arc(r_0097_0008__bent, z_000_97_a_dick_1952_23, arg0).
arc(r_0097_0014__back, r_0097_0016__place, r_0097_0015__into).
arc(z_000_97_a_dick_1952_15, r_0097_0002__resumed, scope).
arc(z_000_97_a_dick_1952_15, r_0097_0006__hammering, restriction).

fof(formula,axiom,
    ? [R_0097_0012__THE_R_0097_0013__SHIP,R_0097_0007__THE_R_0097_0009__METAL_R_0097_0010__HULL,Z_000_97_A_DICK_1952_23,R_0097_0008__BENT,R_0097_0001__HE,R_0097_0004__WORK,R_0097_0002__RESUMED,R_0097_0016__PLACE,R_0097_0014__BACK,R_0097_0006__HAMMERING,Z_000_97_A_DICK_1952_15] :
      ( r_0097_0001__He(R_0097_0001__HE)
      & r_0097_0012__the_r_0097_0013__ship(R_0097_0012__THE_R_0097_0013__SHIP)
      & r_0097_0016__place(R_0097_0016__PLACE)
      & z_000_97_a_dick_1952_23(Z_000_97_A_DICK_1952_23)
      & z_000_97_a_dick_1952_15(Z_000_97_A_DICK_1952_15)
      & has_conj1(Z_000_97_A_DICK_1952_15,R_0097_0006__HAMMERING)
      & r_0097_0006__hammering(R_0097_0006__HAMMERING)
      & has_clr39(R_0097_0006__HAMMERING,R_0097_0014__BACK)
      & r_0097_0014__back(R_0097_0014__BACK)
      & has_r_0097_0015__into(R_0097_0014__BACK,R_0097_0016__PLACE)
      & has_arg1(R_0097_0006__HAMMERING,R_0097_0007__THE_R_0097_0009__METAL_R_0097_0010__HULL)
      & r_0097_0007__the_r_0097_0009__metal_r_0097_0010__hull(R_0097_0007__THE_R_0097_0009__METAL_R_0097_0010__HULL)
      & has_r_0097_0011__of(R_0097_0007__THE_R_0097_0009__METAL_R_0097_0010__HULL,R_0097_0012__THE_R_0097_0013__SHIP)
      & has_arg0(R_0097_0006__HAMMERING,R_0097_0001__HE)
      & has_conj2(Z_000_97_A_DICK_1952_15,R_0097_0002__RESUMED)
      & r_0097_0002__resumed(R_0097_0002__RESUMED)
      & has_arg1(R_0097_0002__RESUMED,R_0097_0004__WORK)
      & r_0097_0004__work(R_0097_0004__WORK)
      & has_gen(R_0097_0004__WORK,R_0097_0001__HE)
      & has_arg0(R_0097_0002__RESUMED,R_0097_0001__HE)
      & r_0097_0008__bent(R_0097_0008__BENT)
      & has_arg0(R_0097_0008__BENT,Z_000_97_A_DICK_1952_23)
      & has_arg1(R_0097_0008__BENT,R_0097_0007__THE_R_0097_0009__METAL_R_0097_0010__HULL) ) ).

( (IP-MAT (NP-SBJ;{DORLE} (PRO He;{he}))
          (VBD;_Tn_ resumed;{resume})
          (NP-OB1 (NP-GEN;{DORLE} (PRO;_genm_ his;{his}))
                  (N work;{work}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn.p_ hammering;{hammer[back]})
                            (NP-OB1 (D the;{the})
                                    (IP-PPL (NP-LGS *)
                                            (VVN;_Tn_ bent;{bent}))
                                    (N metal;{metal})
                                    (N hull;{hull})
                                    (PP (P-ROLE of;{of})
                                        (NP (D the;{the})
                                            (N ship;{ship}))))
                            (ADVP-CLR (ADV back;{back})
                                      (PP (P-ROLE into;{into})
                                          (NP (N place;{place}))))))
          (PUNC .))
  (ID 97_a_dick_1952))