TSPC 559_a_dick

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

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

arc(r_0559_0006__had,r_0559_0002__the_r_0559_0003__night,r_0559_0001__During__nim).
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__nim).
arc(r_0559_0015__body,r_0559_0004__the_r_0559_0005__Captain,gen).

fof(formula,axiom,
    ? [R_0559_0002__THE_R_0559_0003__NIGHT,R_0559_0004__THE_R_0559_0005__CAPTAIN,R_0559_0006__HAD_R_0559_0007__DIED,R_0559_0010__THE_R_0559_0011__CREW,R_0559_0015__BODY,R_0559_0018__CUSTOM,R_0559_0012__HAD_R_0559_0013__IGNITED,R_0559_0009__AND] :
      ( r_0559_0002__the_r_0559_0003__night(R_0559_0002__THE_R_0559_0003__NIGHT)
      & r_0559_0004__the_r_0559_0005__Captain(R_0559_0004__THE_R_0559_0005__CAPTAIN)
      & r_0559_0010__the_r_0559_0011__crew(R_0559_0010__THE_R_0559_0011__CREW)
      & r_0559_0018__custom(R_0559_0018__CUSTOM)
      & r_0559_0009__and(R_0559_0009__AND)
      & has_conj2(R_0559_0009__AND,R_0559_0012__HAD_R_0559_0013__IGNITED)
      & r_0559_0012__had_r_0559_0013__ignited(R_0559_0012__HAD_R_0559_0013__IGNITED)
      & has_r_0559_0017__according_to__nim(R_0559_0012__HAD_R_0559_0013__IGNITED,R_0559_0018__CUSTOM)
      & has_arg1(R_0559_0012__HAD_R_0559_0013__IGNITED,R_0559_0015__BODY)
      & r_0559_0015__body(R_0559_0015__BODY)
      & has_gen(R_0559_0015__BODY,R_0559_0004__THE_R_0559_0005__CAPTAIN)
      & has_arg0(R_0559_0012__HAD_R_0559_0013__IGNITED,R_0559_0010__THE_R_0559_0011__CREW)
      & has_conj1(R_0559_0009__AND,R_0559_0006__HAD_R_0559_0007__DIED)
      & r_0559_0006__had_r_0559_0007__died(R_0559_0006__HAD_R_0559_0007__DIED)
      & has_arg0(R_0559_0006__HAD_R_0559_0007__DIED,R_0559_0004__THE_R_0559_0005__CAPTAIN)
      & has_r_0559_0001__During__nim(R_0559_0006__HAD_R_0559_0007__DIED,R_0559_0002__THE_R_0559_0003__NIGHT) ) ).