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_0015__body body r_0559_0004__the_r_0559_0005__Captain the Captain r_0559_0015__body->r_0559_0004__the_r_0559_0005__Captain [gen] r_0559_0012__had_r_0559_0013__ignited had ignited 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_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_0009__and and r_0559_0009__and->r_0559_0012__had_r_0559_0013__ignited [conj2] r_0559_0006__had_r_0559_0007__died had died r_0559_0009__and->r_0559_0006__had_r_0559_0007__died [conj1] r_0559_0006__had_r_0559_0007__died->r_0559_0004__the_r_0559_0005__Captain [arg0] 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] 
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__1_1_1_1_1_1 During n559_a_dick_1952__1_1_1_1_2_1_1 the n559_a_dick_1952__1_1_1_1_2_2_1 night n559_a_dick_1952__1_1_1_2_1_1 the n559_a_dick_1952__1_1_1_2_2_1 Captain n559_a_dick_1952__1_1_1_3_1 had n559_a_dick_1952__1_1_1_4_1_1 died n559_a_dick_1952__1_1_2_1 , n559_a_dick_1952__1_1_3_1_1 and n559_a_dick_1952__1_1_3_2_1_1_1 the n559_a_dick_1952__1_1_3_2_1_2_1 crew n559_a_dick_1952__1_1_3_2_2_1 had n559_a_dick_1952__1_1_3_2_3_1_1 ignited n559_a_dick_1952__1_1_3_2_3_2_1_1_1 his n559_a_dick_1952__1_1_3_2_3_2_2_1 body n559_a_dick_1952__1_1_3_2_3_3_1 , n559_a_dick_1952__1_1_3_2_3_4_1_1 according_to n559_a_dick_1952__1_1_3_2_3_4_2_1_1 custom n559_a_dick_1952__1_2_1 . n559_a_dick_1952__1 IP-MAT n559_a_dick_1952__1_1 ILYR n559_a_dick_1952__1->n559_a_dick_1952__1_1 n559_a_dick_1952__1_2 PUNC n559_a_dick_1952__1->n559_a_dick_1952__1_2 n559_a_dick_1952__1_1_1 ILYR n559_a_dick_1952__1_1->n559_a_dick_1952__1_1_1 n559_a_dick_1952__1_1_2 PUNC n559_a_dick_1952__1_1->n559_a_dick_1952__1_1_2 n559_a_dick_1952__1_1_3 CONJP n559_a_dick_1952__1_1->n559_a_dick_1952__1_1_3 n559_a_dick_1952__1_1_1_1 PP-NIM n559_a_dick_1952__1_1_1->n559_a_dick_1952__1_1_1_1 n559_a_dick_1952__1_1_1_2 NP-SBJ n559_a_dick_1952__1_1_1->n559_a_dick_1952__1_1_1_2 n559_a_dick_1952__1_1_1_3 HVD;_cat_Ve_ n559_a_dick_1952__1_1_1->n559_a_dick_1952__1_1_1_3 n559_a_dick_1952__1_1_1_4 IP-PPL-CAT n559_a_dick_1952__1_1_1->n559_a_dick_1952__1_1_1_4 n559_a_dick_1952__1_1_1_1_1 P-ROLE n559_a_dick_1952__1_1_1_1->n559_a_dick_1952__1_1_1_1_1 n559_a_dick_1952__1_1_1_1_2 NP n559_a_dick_1952__1_1_1_1->n559_a_dick_1952__1_1_1_1_2 n559_a_dick_1952__1_1_1_1_1->n559_a_dick_1952__1_1_1_1_1_1 n559_a_dick_1952__1_1_1_1_2_1 D n559_a_dick_1952__1_1_1_1_2->n559_a_dick_1952__1_1_1_1_2_1 n559_a_dick_1952__1_1_1_1_2_2 N n559_a_dick_1952__1_1_1_1_2->n559_a_dick_1952__1_1_1_1_2_2 n559_a_dick_1952__1_1_1_1_2_1->n559_a_dick_1952__1_1_1_1_2_1_1 n559_a_dick_1952__1_1_1_1_2_2->n559_a_dick_1952__1_1_1_1_2_2_1 n559_a_dick_1952__1_1_1_2_1 D n559_a_dick_1952__1_1_1_2->n559_a_dick_1952__1_1_1_2_1 n559_a_dick_1952__1_1_1_2_2 N n559_a_dick_1952__1_1_1_2->n559_a_dick_1952__1_1_1_2_2 n559_a_dick_1952__1_1_1_2_1->n559_a_dick_1952__1_1_1_2_1_1 n559_a_dick_1952__1_1_1_2_2->n559_a_dick_1952__1_1_1_2_2_1 n559_a_dick_1952__1_1_1_3->n559_a_dick_1952__1_1_1_3_1 n559_a_dick_1952__1_1_1_4_1 VVN;_I_ n559_a_dick_1952__1_1_1_4->n559_a_dick_1952__1_1_1_4_1 n559_a_dick_1952__1_1_1_4_1->n559_a_dick_1952__1_1_1_4_1_1 n559_a_dick_1952__1_1_2->n559_a_dick_1952__1_1_2_1 n559_a_dick_1952__1_1_3_1 CONJ n559_a_dick_1952__1_1_3->n559_a_dick_1952__1_1_3_1 n559_a_dick_1952__1_1_3_2 ILYR n559_a_dick_1952__1_1_3->n559_a_dick_1952__1_1_3_2 n559_a_dick_1952__1_1_3_1->n559_a_dick_1952__1_1_3_1_1 n559_a_dick_1952__1_1_3_2_1 NP-SBJ n559_a_dick_1952__1_1_3_2->n559_a_dick_1952__1_1_3_2_1 n559_a_dick_1952__1_1_3_2_2 HVD;_cat_Ve_ n559_a_dick_1952__1_1_3_2->n559_a_dick_1952__1_1_3_2_2 n559_a_dick_1952__1_1_3_2_3 IP-PPL-CAT n559_a_dick_1952__1_1_3_2->n559_a_dick_1952__1_1_3_2_3 n559_a_dick_1952__1_1_3_2_1_1 D n559_a_dick_1952__1_1_3_2_1->n559_a_dick_1952__1_1_3_2_1_1 n559_a_dick_1952__1_1_3_2_1_2 N n559_a_dick_1952__1_1_3_2_1->n559_a_dick_1952__1_1_3_2_1_2 n559_a_dick_1952__1_1_3_2_1_1->n559_a_dick_1952__1_1_3_2_1_1_1 n559_a_dick_1952__1_1_3_2_1_2->n559_a_dick_1952__1_1_3_2_1_2_1 n559_a_dick_1952__1_1_3_2_2->n559_a_dick_1952__1_1_3_2_2_1 n559_a_dick_1952__1_1_3_2_3_1 VVN;_Tn_ n559_a_dick_1952__1_1_3_2_3->n559_a_dick_1952__1_1_3_2_3_1 n559_a_dick_1952__1_1_3_2_3_2 NP-OB1 n559_a_dick_1952__1_1_3_2_3->n559_a_dick_1952__1_1_3_2_3_2 n559_a_dick_1952__1_1_3_2_3_3 PUNC n559_a_dick_1952__1_1_3_2_3->n559_a_dick_1952__1_1_3_2_3_3 n559_a_dick_1952__1_1_3_2_3_4 PP-NIM n559_a_dick_1952__1_1_3_2_3->n559_a_dick_1952__1_1_3_2_3_4 n559_a_dick_1952__1_1_3_2_3_1->n559_a_dick_1952__1_1_3_2_3_1_1 n559_a_dick_1952__1_1_3_2_3_2_1 NP-GEN n559_a_dick_1952__1_1_3_2_3_2->n559_a_dick_1952__1_1_3_2_3_2_1 n559_a_dick_1952__1_1_3_2_3_2_2 N n559_a_dick_1952__1_1_3_2_3_2->n559_a_dick_1952__1_1_3_2_3_2_2 n559_a_dick_1952__1_1_3_2_3_2_1_1 PRO;_genm_ n559_a_dick_1952__1_1_3_2_3_2_1->n559_a_dick_1952__1_1_3_2_3_2_1_1 n559_a_dick_1952__1_1_3_2_3_2_1_1->n559_a_dick_1952__1_1_3_2_3_2_1_1_1 n559_a_dick_1952__1_1_3_2_3_2_2->n559_a_dick_1952__1_1_3_2_3_2_2_1 n559_a_dick_1952__1_1_3_2_3_3->n559_a_dick_1952__1_1_3_2_3_3_1 n559_a_dick_1952__1_1_3_2_3_4_1 P-ROLE n559_a_dick_1952__1_1_3_2_3_4->n559_a_dick_1952__1_1_3_2_3_4_1 n559_a_dick_1952__1_1_3_2_3_4_2 NP n559_a_dick_1952__1_1_3_2_3_4->n559_a_dick_1952__1_1_3_2_3_4_2 n559_a_dick_1952__1_1_3_2_3_4_1->n559_a_dick_1952__1_1_3_2_3_4_1_1 n559_a_dick_1952__1_1_3_2_3_4_2_1 N n559_a_dick_1952__1_1_3_2_3_4_2->n559_a_dick_1952__1_1_3_2_3_4_2_1 n559_a_dick_1952__1_1_3_2_3_4_2_1->n559_a_dick_1952__1_1_3_2_3_4_2_1_1 n559_a_dick_1952__1_2->n559_a_dick_1952__1_2_1 
( (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))