577_a_dick_1952
The ship had been badly hurt, much had been damaged and lost.

%3 r_0577_0003__had had r_0577_0004__been been r_0577_0003__had->r_0577_0004__been [scope] r_0577_0006__hurt hurt r_0577_0004__been->r_0577_0006__hurt [scope] r_0577_0001__The_r_0577_0002__ship The ship r_0577_0006__hurt->r_0577_0001__The_r_0577_0002__ship [arg1] r_0577_0005__badly badly r_0577_0006__hurt->r_0577_0005__badly [nim] z_000_577_a_dick_1952_15 r_0577_0006__hurt->z_000_577_a_dick_1952_15 [arg0] r_0577_0009__had had r_0577_0010__been been r_0577_0009__had->r_0577_0010__been [scope] r_0577_0012__and and r_0577_0010__been->r_0577_0012__and [scope] r_0577_0011__damaged damaged r_0577_0012__and->r_0577_0011__damaged [conj1] r_0577_0013__lost lost r_0577_0012__and->r_0577_0013__lost [conj2] z_000_577_a_dick_1952_26 r_0577_0011__damaged->z_000_577_a_dick_1952_26 [arg1] z_000_577_a_dick_1952_38 r_0577_0011__damaged->z_000_577_a_dick_1952_38 [arg0] r_0577_0008__much much z_000_577_a_dick_1952_26->r_0577_0008__much [attrib] r_0577_0013__lost->z_000_577_a_dick_1952_26 [arg1] z_000_577_a_dick_1952_46 r_0577_0013__lost->z_000_577_a_dick_1952_46 [arg0] z_000_577_a_dick_1952_2 z_000_577_a_dick_1952_2->r_0577_0003__had [conj1] z_000_577_a_dick_1952_2->r_0577_0009__had [conj2]
arc(r_0577_0003__had, r_0577_0004__been, scope).
arc(r_0577_0004__been, r_0577_0006__hurt, scope).
arc(r_0577_0006__hurt, r_0577_0001__The_r_0577_0002__ship, arg1).
arc(r_0577_0006__hurt, r_0577_0005__badly, nim17).
arc(r_0577_0006__hurt, z_000_577_a_dick_1952_15, arg0).
arc(r_0577_0009__had, r_0577_0010__been, scope).
arc(r_0577_0010__been, r_0577_0012__and, scope).
arc(r_0577_0011__damaged, z_000_577_a_dick_1952_26, arg1).
arc(r_0577_0011__damaged, z_000_577_a_dick_1952_38, arg0).
arc(r_0577_0012__and, r_0577_0011__damaged, conj1).
arc(r_0577_0012__and, r_0577_0013__lost, conj2).
arc(r_0577_0013__lost, z_000_577_a_dick_1952_26, arg1).
arc(r_0577_0013__lost, z_000_577_a_dick_1952_46, arg0).
arc(z_000_577_a_dick_1952_2, r_0577_0003__had, conj1).
arc(z_000_577_a_dick_1952_2, r_0577_0009__had, conj2).
arc(z_000_577_a_dick_1952_26, r_0577_0008__much, attrib27).



%3 r_0577_0009__had_r_0577_0010__been had been r_0577_0012__and and r_0577_0009__had_r_0577_0010__been->r_0577_0012__and [keep_scope] r_0577_0013__lost lost r_0577_0012__and->r_0577_0013__lost [conj2] r_0577_0011__damaged damaged r_0577_0012__and->r_0577_0011__damaged [conj1] z_000_577_a_dick_1952_26 r_0577_0008__much much z_000_577_a_dick_1952_26->r_0577_0008__much [attrib] z_000_577_a_dick_1952_2 z_000_577_a_dick_1952_2->r_0577_0009__had_r_0577_0010__been [conj2] r_0577_0003__had_r_0577_0004__been_r_0577_0006__hurt had been hurt z_000_577_a_dick_1952_2->r_0577_0003__had_r_0577_0004__been_r_0577_0006__hurt [conj1] z_000_577_a_dick_1952_15 r_0577_0003__had_r_0577_0004__been_r_0577_0006__hurt->z_000_577_a_dick_1952_15 [arg0] r_0577_0005__badly badly r_0577_0003__had_r_0577_0004__been_r_0577_0006__hurt->r_0577_0005__badly [nim] r_0577_0001__The_r_0577_0002__ship The ship r_0577_0003__had_r_0577_0004__been_r_0577_0006__hurt->r_0577_0001__The_r_0577_0002__ship [arg1] r_0577_0013__lost->z_000_577_a_dick_1952_26 [arg1] z_000_577_a_dick_1952_46 r_0577_0013__lost->z_000_577_a_dick_1952_46 [arg0] r_0577_0011__damaged->z_000_577_a_dick_1952_26 [arg1] z_000_577_a_dick_1952_38 r_0577_0011__damaged->z_000_577_a_dick_1952_38 [arg0]
fof(formula,axiom,
    ? [R_0577_0001__THE_R_0577_0002__SHIP,R_0577_0005__BADLY,Z_000_577_A_DICK_1952_15,R_0577_0003__HAD_R_0577_0004__BEEN_R_0577_0006__HURT,R_0577_0008__MUCH,Z_000_577_A_DICK_1952_26,Z_000_577_A_DICK_1952_38,R_0577_0011__DAMAGED,Z_000_577_A_DICK_1952_46,R_0577_0013__LOST,R_0577_0012__AND,R_0577_0009__HAD_R_0577_0010__BEEN,Z_000_577_A_DICK_1952_2] :
      ( r_0577_0001__The_r_0577_0002__ship(R_0577_0001__THE_R_0577_0002__SHIP)
      & r_0577_0005__badly(R_0577_0005__BADLY)
      & r_0577_0008__much(R_0577_0008__MUCH)
      & z_000_577_a_dick_1952_15(Z_000_577_A_DICK_1952_15)
      & z_000_577_a_dick_1952_38(Z_000_577_A_DICK_1952_38)
      & z_000_577_a_dick_1952_46(Z_000_577_A_DICK_1952_46)
      & z_000_577_a_dick_1952_2(Z_000_577_A_DICK_1952_2)
      & has_conj2(Z_000_577_A_DICK_1952_2,R_0577_0009__HAD_R_0577_0010__BEEN)
      & r_0577_0009__had_r_0577_0010__been(R_0577_0009__HAD_R_0577_0010__BEEN)
      & has_keep_scope(R_0577_0009__HAD_R_0577_0010__BEEN,R_0577_0012__AND)
      & r_0577_0012__and(R_0577_0012__AND)
      & has_conj2(R_0577_0012__AND,R_0577_0013__LOST)
      & r_0577_0013__lost(R_0577_0013__LOST)
      & has_arg0(R_0577_0013__LOST,Z_000_577_A_DICK_1952_46)
      & has_arg1(R_0577_0013__LOST,Z_000_577_A_DICK_1952_26)
      & z_000_577_a_dick_1952_26(Z_000_577_A_DICK_1952_26)
      & has_attrib27(Z_000_577_A_DICK_1952_26,R_0577_0008__MUCH)
      & has_conj1(R_0577_0012__AND,R_0577_0011__DAMAGED)
      & r_0577_0011__damaged(R_0577_0011__DAMAGED)
      & has_arg0(R_0577_0011__DAMAGED,Z_000_577_A_DICK_1952_38)
      & has_arg1(R_0577_0011__DAMAGED,Z_000_577_A_DICK_1952_26)
      & has_conj1(Z_000_577_A_DICK_1952_2,R_0577_0003__HAD_R_0577_0004__BEEN_R_0577_0006__HURT)
      & r_0577_0003__had_r_0577_0004__been_r_0577_0006__hurt(R_0577_0003__HAD_R_0577_0004__BEEN_R_0577_0006__HURT)
      & has_arg0(R_0577_0003__HAD_R_0577_0004__BEEN_R_0577_0006__HURT,Z_000_577_A_DICK_1952_15)
      & has_nim17(R_0577_0003__HAD_R_0577_0004__BEEN_R_0577_0006__HURT,R_0577_0005__BADLY)
      & has_arg1(R_0577_0003__HAD_R_0577_0004__BEEN_R_0577_0006__HURT,R_0577_0001__THE_R_0577_0002__SHIP) ) ).



n577_a_dick_1952 n577_a_dick_1952__1_1_1_1_1_1 The n577_a_dick_1952__1_1_1_1_2_1 ship n577_a_dick_1952__1_1_1_2_1 had n577_a_dick_1952__1_1_1_3_1_1 been n577_a_dick_1952__1_1_1_3_2_1_1 * n577_a_dick_1952__1_1_1_3_2_2_1_1 badly n577_a_dick_1952__1_1_1_3_2_3_1 hurt n577_a_dick_1952__1_1_2_1 , n577_a_dick_1952__1_1_3_1_1_1_1_1 much n577_a_dick_1952__1_1_3_1_2_1 had n577_a_dick_1952__1_1_3_1_3_1_1 been n577_a_dick_1952__1_1_3_1_3_2_1_1_1_1 * n577_a_dick_1952__1_1_3_1_3_2_1_1_2_1 damaged n577_a_dick_1952__1_1_3_1_3_2_1_2_1_1 and n577_a_dick_1952__1_1_3_1_3_2_1_2_2_1_1 * n577_a_dick_1952__1_1_3_1_3_2_1_2_2_2_1 lost n577_a_dick_1952__1_2_1 . n577_a_dick_1952__1 IP-MAT n577_a_dick_1952__1_1 ILYR n577_a_dick_1952__1->n577_a_dick_1952__1_1 n577_a_dick_1952__1_2 PUNC n577_a_dick_1952__1->n577_a_dick_1952__1_2 n577_a_dick_1952__1_1_1 ILYR n577_a_dick_1952__1_1->n577_a_dick_1952__1_1_1 n577_a_dick_1952__1_1_2 PUNC n577_a_dick_1952__1_1->n577_a_dick_1952__1_1_2 n577_a_dick_1952__1_1_3 CONJP n577_a_dick_1952__1_1->n577_a_dick_1952__1_1_3 n577_a_dick_1952__1_1_1_1 NP-SBJ n577_a_dick_1952__1_1_1->n577_a_dick_1952__1_1_1_1 n577_a_dick_1952__1_1_1_2 HVD;_cat_Ve_ n577_a_dick_1952__1_1_1->n577_a_dick_1952__1_1_1_2 n577_a_dick_1952__1_1_1_3 IP-PPL-CAT n577_a_dick_1952__1_1_1->n577_a_dick_1952__1_1_1_3 n577_a_dick_1952__1_1_1_1_1 D n577_a_dick_1952__1_1_1_1->n577_a_dick_1952__1_1_1_1_1 n577_a_dick_1952__1_1_1_1_2 N n577_a_dick_1952__1_1_1_1->n577_a_dick_1952__1_1_1_1_2 n577_a_dick_1952__1_1_1_1_1->n577_a_dick_1952__1_1_1_1_1_1 n577_a_dick_1952__1_1_1_1_2->n577_a_dick_1952__1_1_1_1_2_1 n577_a_dick_1952__1_1_1_2->n577_a_dick_1952__1_1_1_2_1 n577_a_dick_1952__1_1_1_3_1 BEN;_cat_VePASS_ n577_a_dick_1952__1_1_1_3->n577_a_dick_1952__1_1_1_3_1 n577_a_dick_1952__1_1_1_3_2 IP-PPL-CAT n577_a_dick_1952__1_1_1_3->n577_a_dick_1952__1_1_1_3_2 n577_a_dick_1952__1_1_1_3_1->n577_a_dick_1952__1_1_1_3_1_1 n577_a_dick_1952__1_1_1_3_2_1 NP-LGS n577_a_dick_1952__1_1_1_3_2->n577_a_dick_1952__1_1_1_3_2_1 n577_a_dick_1952__1_1_1_3_2_2 ADVP-NIM n577_a_dick_1952__1_1_1_3_2->n577_a_dick_1952__1_1_1_3_2_2 n577_a_dick_1952__1_1_1_3_2_3 VVN;_Tn_ n577_a_dick_1952__1_1_1_3_2->n577_a_dick_1952__1_1_1_3_2_3 n577_a_dick_1952__1_1_1_3_2_1->n577_a_dick_1952__1_1_1_3_2_1_1 n577_a_dick_1952__1_1_1_3_2_2_1 ADV n577_a_dick_1952__1_1_1_3_2_2->n577_a_dick_1952__1_1_1_3_2_2_1 n577_a_dick_1952__1_1_1_3_2_2_1->n577_a_dick_1952__1_1_1_3_2_2_1_1 n577_a_dick_1952__1_1_1_3_2_3->n577_a_dick_1952__1_1_1_3_2_3_1 n577_a_dick_1952__1_1_2->n577_a_dick_1952__1_1_2_1 n577_a_dick_1952__1_1_3_1 ILYR n577_a_dick_1952__1_1_3->n577_a_dick_1952__1_1_3_1 n577_a_dick_1952__1_1_3_1_1 NP-SBJ n577_a_dick_1952__1_1_3_1->n577_a_dick_1952__1_1_3_1_1 n577_a_dick_1952__1_1_3_1_2 HVD;_cat_Ve_ n577_a_dick_1952__1_1_3_1->n577_a_dick_1952__1_1_3_1_2 n577_a_dick_1952__1_1_3_1_3 IP-PPL-CAT n577_a_dick_1952__1_1_3_1->n577_a_dick_1952__1_1_3_1_3 n577_a_dick_1952__1_1_3_1_1_1 ADJP n577_a_dick_1952__1_1_3_1_1->n577_a_dick_1952__1_1_3_1_1_1 n577_a_dick_1952__1_1_3_1_1_1_1 ADJ n577_a_dick_1952__1_1_3_1_1_1->n577_a_dick_1952__1_1_3_1_1_1_1 n577_a_dick_1952__1_1_3_1_1_1_1->n577_a_dick_1952__1_1_3_1_1_1_1_1 n577_a_dick_1952__1_1_3_1_2->n577_a_dick_1952__1_1_3_1_2_1 n577_a_dick_1952__1_1_3_1_3_1 BEN;_cat_VePASS_ n577_a_dick_1952__1_1_3_1_3->n577_a_dick_1952__1_1_3_1_3_1 n577_a_dick_1952__1_1_3_1_3_2 IP-PPL-CAT n577_a_dick_1952__1_1_3_1_3->n577_a_dick_1952__1_1_3_1_3_2 n577_a_dick_1952__1_1_3_1_3_1->n577_a_dick_1952__1_1_3_1_3_1_1 n577_a_dick_1952__1_1_3_1_3_2_1 ILYR n577_a_dick_1952__1_1_3_1_3_2->n577_a_dick_1952__1_1_3_1_3_2_1 n577_a_dick_1952__1_1_3_1_3_2_1_1 ILYR n577_a_dick_1952__1_1_3_1_3_2_1->n577_a_dick_1952__1_1_3_1_3_2_1_1 n577_a_dick_1952__1_1_3_1_3_2_1_2 CONJP n577_a_dick_1952__1_1_3_1_3_2_1->n577_a_dick_1952__1_1_3_1_3_2_1_2 n577_a_dick_1952__1_1_3_1_3_2_1_1_1 NP-LGS n577_a_dick_1952__1_1_3_1_3_2_1_1->n577_a_dick_1952__1_1_3_1_3_2_1_1_1 n577_a_dick_1952__1_1_3_1_3_2_1_1_2 VVN;_Tn_ n577_a_dick_1952__1_1_3_1_3_2_1_1->n577_a_dick_1952__1_1_3_1_3_2_1_1_2 n577_a_dick_1952__1_1_3_1_3_2_1_1_1->n577_a_dick_1952__1_1_3_1_3_2_1_1_1_1 n577_a_dick_1952__1_1_3_1_3_2_1_1_2->n577_a_dick_1952__1_1_3_1_3_2_1_1_2_1 n577_a_dick_1952__1_1_3_1_3_2_1_2_1 CONJ n577_a_dick_1952__1_1_3_1_3_2_1_2->n577_a_dick_1952__1_1_3_1_3_2_1_2_1 n577_a_dick_1952__1_1_3_1_3_2_1_2_2 ILYR n577_a_dick_1952__1_1_3_1_3_2_1_2->n577_a_dick_1952__1_1_3_1_3_2_1_2_2 n577_a_dick_1952__1_1_3_1_3_2_1_2_1->n577_a_dick_1952__1_1_3_1_3_2_1_2_1_1 n577_a_dick_1952__1_1_3_1_3_2_1_2_2_1 NP-LGS n577_a_dick_1952__1_1_3_1_3_2_1_2_2->n577_a_dick_1952__1_1_3_1_3_2_1_2_2_1 n577_a_dick_1952__1_1_3_1_3_2_1_2_2_2 VVN;_Tn_ n577_a_dick_1952__1_1_3_1_3_2_1_2_2->n577_a_dick_1952__1_1_3_1_3_2_1_2_2_2 n577_a_dick_1952__1_1_3_1_3_2_1_2_2_1->n577_a_dick_1952__1_1_3_1_3_2_1_2_2_1_1 n577_a_dick_1952__1_1_3_1_3_2_1_2_2_2->n577_a_dick_1952__1_1_3_1_3_2_1_2_2_2_1 n577_a_dick_1952__1_2->n577_a_dick_1952__1_2_1
( (IP-MAT (ILYR (ILYR (NP-SBJ;{SHIP} (D The;{the})
                                     (N ship;{ship}))
                      (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                  (IP-PPL-CAT (NP-LGS *)
                                              (ADVP-NIM (ADV badly;{badly}))
                                              (VVN;_Tn_ hurt;{hurt}))))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (ADJP (ADJ much;{much})))
                             (HVD;_cat_Ve_ had;{have})
                             (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                         (IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
                                                                 (VVN;_Tn_ damaged;{damage}))
                                                           (CONJP (CONJ and;{and})
                                                                  (ILYR (NP-LGS *)
                                                                        (VVN;_Tn_ lost;{lose})))))))))
          (PUNC .))
  (ID 577_a_dick_1952))