Context                Previous, Next                Top


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,
    ? [Z_577_A_DICK_1952_2,R_577_3_HAD_BEEN_HURT,Z_577_A_DICK_1952_15,R_577_1_THE_SHIP,R_577_5_BADLY] :
      ( the_ship(R_577_1_THE_SHIP)
      & badly(R_577_5_BADLY)
      & z_577_a_dick_1952_2(Z_577_A_DICK_1952_2)
      & conj1(Z_577_A_DICK_1952_2,R_577_3_HAD_BEEN_HURT)
      & had_been_hurt(R_577_3_HAD_BEEN_HURT,Z_577_A_DICK_1952_15,R_577_1_THE_SHIP)
      & nim17(R_577_3_HAD_BEEN_HURT,R_577_5_BADLY)
      & conj2(Z_577_A_DICK_1952_2,R_577_9_HAD_BEEN)
      & ~ ? [R_577_12_AND,R_577_11_DAMAGED,Z_577_A_DICK_1952_38,R_577_13_LOST,Z_577_A_DICK_1952_46,Z_577_A_DICK_1952_26,R_577_8_MUCH] :
            ( much(R_577_8_MUCH)
            & and(R_577_12_AND)
            & conj1(R_577_12_AND,R_577_11_DAMAGED)
            & damaged(R_577_11_DAMAGED,Z_577_A_DICK_1952_38,Z_577_A_DICK_1952_26)
            & z_577_a_dick_1952_26(Z_577_A_DICK_1952_26)
            & attrib27(Z_577_A_DICK_1952_26,R_577_8_MUCH)
            & conj2(R_577_12_AND,R_577_13_LOST)
            & lost(R_577_13_LOST,Z_577_A_DICK_1952_46,Z_577_A_DICK_1952_26) ) ) ).


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