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_26, r_0577_0008__much, attrib27).
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).


%3 r_0577_0003__had_r_0577_0004__been_r_0577_0006__hurt had been hurt 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_0005__badly badly r_0577_0003__had_r_0577_0004__been_r_0577_0006__hurt->r_0577_0005__badly [nim] 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_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_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_r_0577_0004__been_r_0577_0006__hurt [conj1] z_000_577_a_dick_1952_2->r_0577_0009__had_r_0577_0010__been [conj2] 
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_6 The n577_a_dick_1952_8 ship n577_a_dick_1952_10 had n577_a_dick_1952_13 been n577_a_dick_1952_16 * n577_a_dick_1952_19 badly n577_a_dick_1952_21 hurt n577_a_dick_1952_23 , n577_a_dick_1952_29 much n577_a_dick_1952_31 had n577_a_dick_1952_34 been n577_a_dick_1952_39 * n577_a_dick_1952_41 damaged n577_a_dick_1952_44 and n577_a_dick_1952_47 * n577_a_dick_1952_49 lost n577_a_dick_1952_51 . n577_a_dick_1952_1 IP-MAT n577_a_dick_1952_2 ILYR n577_a_dick_1952_1->n577_a_dick_1952_2 n577_a_dick_1952_50 PUNC n577_a_dick_1952_1->n577_a_dick_1952_50 n577_a_dick_1952_3 ILYR n577_a_dick_1952_2->n577_a_dick_1952_3 n577_a_dick_1952_22 PUNC n577_a_dick_1952_2->n577_a_dick_1952_22 n577_a_dick_1952_24 CONJP n577_a_dick_1952_2->n577_a_dick_1952_24 n577_a_dick_1952_4 NP-SBJ n577_a_dick_1952_3->n577_a_dick_1952_4 n577_a_dick_1952_9 HVD;_cat_Ve_ n577_a_dick_1952_3->n577_a_dick_1952_9 n577_a_dick_1952_11 IP-PPL-CAT n577_a_dick_1952_3->n577_a_dick_1952_11 n577_a_dick_1952_5 D n577_a_dick_1952_4->n577_a_dick_1952_5 n577_a_dick_1952_7 N n577_a_dick_1952_4->n577_a_dick_1952_7 n577_a_dick_1952_5->n577_a_dick_1952_6 n577_a_dick_1952_7->n577_a_dick_1952_8 n577_a_dick_1952_9->n577_a_dick_1952_10 n577_a_dick_1952_12 BEN;_cat_VePASS_ n577_a_dick_1952_11->n577_a_dick_1952_12 n577_a_dick_1952_14 IP-PPL-CAT n577_a_dick_1952_11->n577_a_dick_1952_14 n577_a_dick_1952_12->n577_a_dick_1952_13 n577_a_dick_1952_15 NP-LGS n577_a_dick_1952_14->n577_a_dick_1952_15 n577_a_dick_1952_17 ADVP-NIM n577_a_dick_1952_14->n577_a_dick_1952_17 n577_a_dick_1952_20 VVN;_Tn_ n577_a_dick_1952_14->n577_a_dick_1952_20 n577_a_dick_1952_15->n577_a_dick_1952_16 n577_a_dick_1952_18 ADV n577_a_dick_1952_17->n577_a_dick_1952_18 n577_a_dick_1952_18->n577_a_dick_1952_19 n577_a_dick_1952_20->n577_a_dick_1952_21 n577_a_dick_1952_22->n577_a_dick_1952_23 n577_a_dick_1952_25 ILYR n577_a_dick_1952_24->n577_a_dick_1952_25 n577_a_dick_1952_26 NP-SBJ n577_a_dick_1952_25->n577_a_dick_1952_26 n577_a_dick_1952_30 HVD;_cat_Ve_ n577_a_dick_1952_25->n577_a_dick_1952_30 n577_a_dick_1952_32 IP-PPL-CAT n577_a_dick_1952_25->n577_a_dick_1952_32 n577_a_dick_1952_27 ADJP n577_a_dick_1952_26->n577_a_dick_1952_27 n577_a_dick_1952_28 ADJ n577_a_dick_1952_27->n577_a_dick_1952_28 n577_a_dick_1952_28->n577_a_dick_1952_29 n577_a_dick_1952_30->n577_a_dick_1952_31 n577_a_dick_1952_33 BEN;_cat_VePASS_ n577_a_dick_1952_32->n577_a_dick_1952_33 n577_a_dick_1952_35 IP-PPL-CAT n577_a_dick_1952_32->n577_a_dick_1952_35 n577_a_dick_1952_33->n577_a_dick_1952_34 n577_a_dick_1952_36 ILYR n577_a_dick_1952_35->n577_a_dick_1952_36 n577_a_dick_1952_37 ILYR n577_a_dick_1952_36->n577_a_dick_1952_37 n577_a_dick_1952_42 CONJP n577_a_dick_1952_36->n577_a_dick_1952_42 n577_a_dick_1952_38 NP-LGS n577_a_dick_1952_37->n577_a_dick_1952_38 n577_a_dick_1952_40 VVN;_Tn_ n577_a_dick_1952_37->n577_a_dick_1952_40 n577_a_dick_1952_38->n577_a_dick_1952_39 n577_a_dick_1952_40->n577_a_dick_1952_41 n577_a_dick_1952_43 CONJ n577_a_dick_1952_42->n577_a_dick_1952_43 n577_a_dick_1952_45 ILYR n577_a_dick_1952_42->n577_a_dick_1952_45 n577_a_dick_1952_43->n577_a_dick_1952_44 n577_a_dick_1952_46 NP-LGS n577_a_dick_1952_45->n577_a_dick_1952_46 n577_a_dick_1952_48 VVN;_Tn_ n577_a_dick_1952_45->n577_a_dick_1952_48 n577_a_dick_1952_46->n577_a_dick_1952_47 n577_a_dick_1952_48->n577_a_dick_1952_49 n577_a_dick_1952_50->n577_a_dick_1952_51 
( (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))