Context                Previous, Next                Top


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

%3 r_0097_0002__resumed resumed r_0097_0001__He He r_0097_0002__resumed->r_0097_0001__He [arg0] r_0097_0004__work work r_0097_0002__resumed->r_0097_0004__work [arg1] r_0097_0004__work->r_0097_0001__He [gen] r_0097_0006__hammering hammering r_0097_0006__hammering->r_0097_0001__He [arg0] r_0097_0007__the_r_0097_0009__metal_r_0097_0010__hull the metal hull r_0097_0006__hammering->r_0097_0007__the_r_0097_0009__metal_r_0097_0010__hull [arg1] r_0097_0014__back back r_0097_0006__hammering->r_0097_0014__back [clr] r_0097_0012__the_r_0097_0013__ship the ship r_0097_0007__the_r_0097_0009__metal_r_0097_0010__hull->r_0097_0012__the_r_0097_0013__ship of r_0097_0016__place place r_0097_0014__back->r_0097_0016__place into r_0097_0008__bent bent r_0097_0008__bent->r_0097_0007__the_r_0097_0009__metal_r_0097_0010__hull [arg1] z_000_97_a_dick_1952_23 r_0097_0008__bent->z_000_97_a_dick_1952_23 [arg0] z_000_97_a_dick_1952_15 z_000_97_a_dick_1952_15->r_0097_0002__resumed [scope] z_000_97_a_dick_1952_15->r_0097_0006__hammering [restriction] 
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).


%3 z_000_97_a_dick_1952_15 r_0097_0006__hammering hammering z_000_97_a_dick_1952_15->r_0097_0006__hammering [conj1] r_0097_0002__resumed resumed z_000_97_a_dick_1952_15->r_0097_0002__resumed [conj2] r_0097_0014__back back r_0097_0006__hammering->r_0097_0014__back [clr] r_0097_0007__the_r_0097_0009__metal_r_0097_0010__hull the metal hull r_0097_0006__hammering->r_0097_0007__the_r_0097_0009__metal_r_0097_0010__hull [arg1] r_0097_0001__He He r_0097_0006__hammering->r_0097_0001__He [arg0] r_0097_0002__resumed->r_0097_0001__He [arg0] r_0097_0004__work work r_0097_0002__resumed->r_0097_0004__work [arg1] r_0097_0016__place place r_0097_0014__back->r_0097_0016__place into r_0097_0008__bent bent z_000_97_a_dick_1952_23 r_0097_0008__bent->z_000_97_a_dick_1952_23 [arg0] r_0097_0008__bent->r_0097_0007__the_r_0097_0009__metal_r_0097_0010__hull [arg1] r_0097_0012__the_r_0097_0013__ship the ship r_0097_0007__the_r_0097_0009__metal_r_0097_0010__hull->r_0097_0012__the_r_0097_0013__ship of r_0097_0004__work->r_0097_0001__He [gen] 
fof(formula,axiom,
    ? [R_97_8_BENT,Z_97_A_DICK_1952_23,Z_97_A_DICK_1952_15,R_97_6_HAMMERING,R_97_7_THE_METAL_HULL,R_97_12_THE_SHIP,R_97_14_BACK,R_97_16_PLACE,R_97_2_RESUMED,R_97_4_WORK,R_97_1_HE] :
      ( the_ship(R_97_12_THE_SHIP)
      & place(R_97_16_PLACE)
      & he(R_97_1_HE)
      & bent(R_97_8_BENT,Z_97_A_DICK_1952_23,R_97_7_THE_METAL_HULL)
      & the_metal_hull(R_97_7_THE_METAL_HULL)
      & of(R_97_7_THE_METAL_HULL,R_97_12_THE_SHIP)
      & z_97_a_dick_1952_15(Z_97_A_DICK_1952_15)
      & conj1(Z_97_A_DICK_1952_15,R_97_6_HAMMERING)
      & hammering(R_97_6_HAMMERING,R_97_1_HE,R_97_7_THE_METAL_HULL)
      & clr39(R_97_6_HAMMERING,R_97_14_BACK)
      & back(R_97_14_BACK)
      & into(R_97_14_BACK,R_97_16_PLACE)
      & conj2(Z_97_A_DICK_1952_15,R_97_2_RESUMED)
      & resumed(R_97_2_RESUMED,R_97_1_HE,R_97_4_WORK)
      & work(R_97_4_WORK)
      & gen(R_97_4_WORK,R_97_1_HE) ) ).


n97_a_dick_1952 n97_a_dick_1952__1_1_1_1 He n97_a_dick_1952__1_2_1 resumed n97_a_dick_1952__1_3_1_1_1 his n97_a_dick_1952__1_3_2_1 work n97_a_dick_1952__1_4_1 , n97_a_dick_1952__1_5_1_1_1 hammering n97_a_dick_1952__1_5_1_2_1_1 the n97_a_dick_1952__1_5_1_2_2_1_1 * n97_a_dick_1952__1_5_1_2_2_2_1 bent n97_a_dick_1952__1_5_1_2_3_1 metal n97_a_dick_1952__1_5_1_2_4_1 hull n97_a_dick_1952__1_5_1_2_5_1_1 of n97_a_dick_1952__1_5_1_2_5_2_1_1 the n97_a_dick_1952__1_5_1_2_5_2_2_1 ship n97_a_dick_1952__1_5_1_3_1_1 back n97_a_dick_1952__1_5_1_3_2_1_1 into n97_a_dick_1952__1_5_1_3_2_2_1_1 place n97_a_dick_1952__1_6_1 . n97_a_dick_1952__1 IP-MAT n97_a_dick_1952__1_1 NP-SBJ n97_a_dick_1952__1->n97_a_dick_1952__1_1 n97_a_dick_1952__1_2 VBD;_Tn_ n97_a_dick_1952__1->n97_a_dick_1952__1_2 n97_a_dick_1952__1_3 NP-OB1 n97_a_dick_1952__1->n97_a_dick_1952__1_3 n97_a_dick_1952__1_4 PUNC n97_a_dick_1952__1->n97_a_dick_1952__1_4 n97_a_dick_1952__1_5 PP-SCON n97_a_dick_1952__1->n97_a_dick_1952__1_5 n97_a_dick_1952__1_6 PUNC n97_a_dick_1952__1->n97_a_dick_1952__1_6 n97_a_dick_1952__1_1_1 PRO n97_a_dick_1952__1_1->n97_a_dick_1952__1_1_1 n97_a_dick_1952__1_1_1->n97_a_dick_1952__1_1_1_1 n97_a_dick_1952__1_2->n97_a_dick_1952__1_2_1 n97_a_dick_1952__1_3_1 NP-GEN n97_a_dick_1952__1_3->n97_a_dick_1952__1_3_1 n97_a_dick_1952__1_3_2 N n97_a_dick_1952__1_3->n97_a_dick_1952__1_3_2 n97_a_dick_1952__1_3_1_1 PRO;_genm_ n97_a_dick_1952__1_3_1->n97_a_dick_1952__1_3_1_1 n97_a_dick_1952__1_3_1_1->n97_a_dick_1952__1_3_1_1_1 n97_a_dick_1952__1_3_2->n97_a_dick_1952__1_3_2_1 n97_a_dick_1952__1_4->n97_a_dick_1952__1_4_1 n97_a_dick_1952__1_5_1 IP-PPL2 n97_a_dick_1952__1_5->n97_a_dick_1952__1_5_1 n97_a_dick_1952__1_5_1_1 VAG;_Tn.p_ n97_a_dick_1952__1_5_1->n97_a_dick_1952__1_5_1_1 n97_a_dick_1952__1_5_1_2 NP-OB1 n97_a_dick_1952__1_5_1->n97_a_dick_1952__1_5_1_2 n97_a_dick_1952__1_5_1_3 ADVP-CLR n97_a_dick_1952__1_5_1->n97_a_dick_1952__1_5_1_3 n97_a_dick_1952__1_5_1_1->n97_a_dick_1952__1_5_1_1_1 n97_a_dick_1952__1_5_1_2_1 D n97_a_dick_1952__1_5_1_2->n97_a_dick_1952__1_5_1_2_1 n97_a_dick_1952__1_5_1_2_2 IP-PPL n97_a_dick_1952__1_5_1_2->n97_a_dick_1952__1_5_1_2_2 n97_a_dick_1952__1_5_1_2_3 N n97_a_dick_1952__1_5_1_2->n97_a_dick_1952__1_5_1_2_3 n97_a_dick_1952__1_5_1_2_4 N n97_a_dick_1952__1_5_1_2->n97_a_dick_1952__1_5_1_2_4 n97_a_dick_1952__1_5_1_2_5 PP n97_a_dick_1952__1_5_1_2->n97_a_dick_1952__1_5_1_2_5 n97_a_dick_1952__1_5_1_2_1->n97_a_dick_1952__1_5_1_2_1_1 n97_a_dick_1952__1_5_1_2_2_1 NP-LGS n97_a_dick_1952__1_5_1_2_2->n97_a_dick_1952__1_5_1_2_2_1 n97_a_dick_1952__1_5_1_2_2_2 VVN;_Tn_ n97_a_dick_1952__1_5_1_2_2->n97_a_dick_1952__1_5_1_2_2_2 n97_a_dick_1952__1_5_1_2_2_1->n97_a_dick_1952__1_5_1_2_2_1_1 n97_a_dick_1952__1_5_1_2_2_2->n97_a_dick_1952__1_5_1_2_2_2_1 n97_a_dick_1952__1_5_1_2_3->n97_a_dick_1952__1_5_1_2_3_1 n97_a_dick_1952__1_5_1_2_4->n97_a_dick_1952__1_5_1_2_4_1 n97_a_dick_1952__1_5_1_2_5_1 P-ROLE n97_a_dick_1952__1_5_1_2_5->n97_a_dick_1952__1_5_1_2_5_1 n97_a_dick_1952__1_5_1_2_5_2 NP n97_a_dick_1952__1_5_1_2_5->n97_a_dick_1952__1_5_1_2_5_2 n97_a_dick_1952__1_5_1_2_5_1->n97_a_dick_1952__1_5_1_2_5_1_1 n97_a_dick_1952__1_5_1_2_5_2_1 D n97_a_dick_1952__1_5_1_2_5_2->n97_a_dick_1952__1_5_1_2_5_2_1 n97_a_dick_1952__1_5_1_2_5_2_2 N n97_a_dick_1952__1_5_1_2_5_2->n97_a_dick_1952__1_5_1_2_5_2_2 n97_a_dick_1952__1_5_1_2_5_2_1->n97_a_dick_1952__1_5_1_2_5_2_1_1 n97_a_dick_1952__1_5_1_2_5_2_2->n97_a_dick_1952__1_5_1_2_5_2_2_1 n97_a_dick_1952__1_5_1_3_1 ADV n97_a_dick_1952__1_5_1_3->n97_a_dick_1952__1_5_1_3_1 n97_a_dick_1952__1_5_1_3_2 PP n97_a_dick_1952__1_5_1_3->n97_a_dick_1952__1_5_1_3_2 n97_a_dick_1952__1_5_1_3_1->n97_a_dick_1952__1_5_1_3_1_1 n97_a_dick_1952__1_5_1_3_2_1 P-ROLE n97_a_dick_1952__1_5_1_3_2->n97_a_dick_1952__1_5_1_3_2_1 n97_a_dick_1952__1_5_1_3_2_2 NP n97_a_dick_1952__1_5_1_3_2->n97_a_dick_1952__1_5_1_3_2_2 n97_a_dick_1952__1_5_1_3_2_1->n97_a_dick_1952__1_5_1_3_2_1_1 n97_a_dick_1952__1_5_1_3_2_2_1 N n97_a_dick_1952__1_5_1_3_2_2->n97_a_dick_1952__1_5_1_3_2_2_1 n97_a_dick_1952__1_5_1_3_2_2_1->n97_a_dick_1952__1_5_1_3_2_2_1_1 n97_a_dick_1952__1_6->n97_a_dick_1952__1_6_1 
( (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))