Context                Previous, Next                Top


559_a_dick_1952
During the night the Captain had died, and the crew had ignited his body, according to custom.

%3 r_0559_0006__had had r_0559_0002__the_r_0559_0003__night the night r_0559_0006__had->r_0559_0002__the_r_0559_0003__night During [nim] r_0559_0007__died died r_0559_0006__had->r_0559_0007__died [scope] r_0559_0004__the_r_0559_0005__Captain the Captain r_0559_0007__died->r_0559_0004__the_r_0559_0005__Captain [arg0] r_0559_0009__and and r_0559_0009__and->r_0559_0006__had [conj1] r_0559_0012__had had r_0559_0009__and->r_0559_0012__had [conj2] r_0559_0013__ignited ignited r_0559_0012__had->r_0559_0013__ignited [scope] r_0559_0010__the_r_0559_0011__crew the crew r_0559_0013__ignited->r_0559_0010__the_r_0559_0011__crew [arg0] r_0559_0015__body body r_0559_0013__ignited->r_0559_0015__body [arg1] r_0559_0018__custom custom r_0559_0013__ignited->r_0559_0018__custom according to [nim] r_0559_0015__body->r_0559_0004__the_r_0559_0005__Captain [gen] 
arc(r_0559_0006__had, r_0559_0002__the_r_0559_0003__night, r_0559_0001__During_nim7).
arc(r_0559_0006__had, r_0559_0007__died, scope).
arc(r_0559_0007__died, r_0559_0004__the_r_0559_0005__Captain, arg0).
arc(r_0559_0009__and, r_0559_0006__had, conj1).
arc(r_0559_0009__and, r_0559_0012__had, conj2).
arc(r_0559_0012__had, r_0559_0013__ignited, scope).
arc(r_0559_0013__ignited, r_0559_0010__the_r_0559_0011__crew, arg0).
arc(r_0559_0013__ignited, r_0559_0015__body, arg1).
arc(r_0559_0013__ignited, r_0559_0018__custom, r_0559_0017__according_to_nim49).
arc(r_0559_0015__body, r_0559_0004__the_r_0559_0005__Captain, gen).


%3 r_0559_0006__had_r_0559_0007__died had died r_0559_0002__the_r_0559_0003__night the night r_0559_0006__had_r_0559_0007__died->r_0559_0002__the_r_0559_0003__night During [nim] r_0559_0004__the_r_0559_0005__Captain the Captain r_0559_0006__had_r_0559_0007__died->r_0559_0004__the_r_0559_0005__Captain [arg0] r_0559_0009__and and r_0559_0009__and->r_0559_0006__had_r_0559_0007__died [conj1] r_0559_0012__had_r_0559_0013__ignited had ignited r_0559_0009__and->r_0559_0012__had_r_0559_0013__ignited [conj2] r_0559_0010__the_r_0559_0011__crew the crew r_0559_0012__had_r_0559_0013__ignited->r_0559_0010__the_r_0559_0011__crew [arg0] r_0559_0015__body body r_0559_0012__had_r_0559_0013__ignited->r_0559_0015__body [arg1] r_0559_0018__custom custom r_0559_0012__had_r_0559_0013__ignited->r_0559_0018__custom according to [nim] r_0559_0015__body->r_0559_0004__the_r_0559_0005__Captain [gen] 
fof(formula,axiom,
    ? [R_559_9_AND,R_559_6_HAD_DIED,R_559_2_THE_NIGHT,R_559_12_HAD_IGNITED,R_559_10_THE_CREW,R_559_15_BODY,R_559_4_THE_CAPTAIN,R_559_18_CUSTOM] :
      ( the_night(R_559_2_THE_NIGHT)
      & the_crew(R_559_10_THE_CREW)
      & the_Captain(R_559_4_THE_CAPTAIN)
      & custom(R_559_18_CUSTOM)
      & and(R_559_9_AND)
      & conj1(R_559_9_AND,R_559_6_HAD_DIED)
      & had_died(R_559_6_HAD_DIED,R_559_4_THE_CAPTAIN)
      & during_nim7(R_559_6_HAD_DIED,R_559_2_THE_NIGHT)
      & conj2(R_559_9_AND,R_559_12_HAD_IGNITED)
      & had_ignited(R_559_12_HAD_IGNITED,R_559_10_THE_CREW,R_559_15_BODY)
      & body(R_559_15_BODY)
      & gen(R_559_15_BODY,R_559_4_THE_CAPTAIN)
      & according_to_nim49(R_559_12_HAD_IGNITED,R_559_18_CUSTOM) ) ).


n559_a_dick_1952 n559_a_dick_1952_6 During n559_a_dick_1952_9 the n559_a_dick_1952_11 night n559_a_dick_1952_14 the n559_a_dick_1952_16 Captain n559_a_dick_1952_18 had n559_a_dick_1952_21 died n559_a_dick_1952_23 , n559_a_dick_1952_26 and n559_a_dick_1952_30 the n559_a_dick_1952_32 crew n559_a_dick_1952_34 had n559_a_dick_1952_37 ignited n559_a_dick_1952_41 his n559_a_dick_1952_43 body n559_a_dick_1952_45 , n559_a_dick_1952_48 according_to n559_a_dick_1952_51 custom n559_a_dick_1952_53 . n559_a_dick_1952_1 IP-MAT n559_a_dick_1952_2 ILYR n559_a_dick_1952_1->n559_a_dick_1952_2 n559_a_dick_1952_52 PUNC n559_a_dick_1952_1->n559_a_dick_1952_52 n559_a_dick_1952_3 ILYR n559_a_dick_1952_2->n559_a_dick_1952_3 n559_a_dick_1952_22 PUNC n559_a_dick_1952_2->n559_a_dick_1952_22 n559_a_dick_1952_24 CONJP n559_a_dick_1952_2->n559_a_dick_1952_24 n559_a_dick_1952_4 PP-NIM n559_a_dick_1952_3->n559_a_dick_1952_4 n559_a_dick_1952_12 NP-SBJ n559_a_dick_1952_3->n559_a_dick_1952_12 n559_a_dick_1952_17 HVD;_cat_Ve_ n559_a_dick_1952_3->n559_a_dick_1952_17 n559_a_dick_1952_19 IP-PPL-CAT n559_a_dick_1952_3->n559_a_dick_1952_19 n559_a_dick_1952_5 P-ROLE n559_a_dick_1952_4->n559_a_dick_1952_5 n559_a_dick_1952_7 NP n559_a_dick_1952_4->n559_a_dick_1952_7 n559_a_dick_1952_5->n559_a_dick_1952_6 n559_a_dick_1952_8 D n559_a_dick_1952_7->n559_a_dick_1952_8 n559_a_dick_1952_10 N n559_a_dick_1952_7->n559_a_dick_1952_10 n559_a_dick_1952_8->n559_a_dick_1952_9 n559_a_dick_1952_10->n559_a_dick_1952_11 n559_a_dick_1952_13 D n559_a_dick_1952_12->n559_a_dick_1952_13 n559_a_dick_1952_15 N n559_a_dick_1952_12->n559_a_dick_1952_15 n559_a_dick_1952_13->n559_a_dick_1952_14 n559_a_dick_1952_15->n559_a_dick_1952_16 n559_a_dick_1952_17->n559_a_dick_1952_18 n559_a_dick_1952_20 VVN;_I_ n559_a_dick_1952_19->n559_a_dick_1952_20 n559_a_dick_1952_20->n559_a_dick_1952_21 n559_a_dick_1952_22->n559_a_dick_1952_23 n559_a_dick_1952_25 CONJ n559_a_dick_1952_24->n559_a_dick_1952_25 n559_a_dick_1952_27 ILYR n559_a_dick_1952_24->n559_a_dick_1952_27 n559_a_dick_1952_25->n559_a_dick_1952_26 n559_a_dick_1952_28 NP-SBJ n559_a_dick_1952_27->n559_a_dick_1952_28 n559_a_dick_1952_33 HVD;_cat_Ve_ n559_a_dick_1952_27->n559_a_dick_1952_33 n559_a_dick_1952_35 IP-PPL-CAT n559_a_dick_1952_27->n559_a_dick_1952_35 n559_a_dick_1952_29 D n559_a_dick_1952_28->n559_a_dick_1952_29 n559_a_dick_1952_31 N n559_a_dick_1952_28->n559_a_dick_1952_31 n559_a_dick_1952_29->n559_a_dick_1952_30 n559_a_dick_1952_31->n559_a_dick_1952_32 n559_a_dick_1952_33->n559_a_dick_1952_34 n559_a_dick_1952_36 VVN;_Tn_ n559_a_dick_1952_35->n559_a_dick_1952_36 n559_a_dick_1952_38 NP-OB1 n559_a_dick_1952_35->n559_a_dick_1952_38 n559_a_dick_1952_44 PUNC n559_a_dick_1952_35->n559_a_dick_1952_44 n559_a_dick_1952_46 PP-NIM n559_a_dick_1952_35->n559_a_dick_1952_46 n559_a_dick_1952_36->n559_a_dick_1952_37 n559_a_dick_1952_39 NP-GEN n559_a_dick_1952_38->n559_a_dick_1952_39 n559_a_dick_1952_42 N n559_a_dick_1952_38->n559_a_dick_1952_42 n559_a_dick_1952_40 PRO;_genm_ n559_a_dick_1952_39->n559_a_dick_1952_40 n559_a_dick_1952_40->n559_a_dick_1952_41 n559_a_dick_1952_42->n559_a_dick_1952_43 n559_a_dick_1952_44->n559_a_dick_1952_45 n559_a_dick_1952_47 P-ROLE n559_a_dick_1952_46->n559_a_dick_1952_47 n559_a_dick_1952_49 NP n559_a_dick_1952_46->n559_a_dick_1952_49 n559_a_dick_1952_47->n559_a_dick_1952_48 n559_a_dick_1952_50 N n559_a_dick_1952_49->n559_a_dick_1952_50 n559_a_dick_1952_50->n559_a_dick_1952_51 n559_a_dick_1952_52->n559_a_dick_1952_53 
( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE During;{during})
                              (NP (D the;{the})
                                  (N night;{night})))
                      (NP-SBJ;{CAPTAIN} (D the;{the})
                                        (N Captain;{captain}))
                      (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (VVN;_I_ died;{die})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{CREW} (D the;{the})
                                            (N crew;{crew}))
                             (HVD;_cat_Ve_ had;{have})
                             (IP-PPL-CAT (VVN;_Tn_ ignited;{ignite})
                                         (NP-OB1;{CAPTAIN_BODY} (NP-GEN;{CAPTAIN} (PRO;_genm_ his;{his}))
                                                                (N body;{body}))
                                         (PUNC ,)
                                         (PP-NIM (P-ROLE according_to;{according_to})
                                                 (NP (N custom;{custom})))))))
          (PUNC .))
  (ID 559_a_dick_1952))