61_a_history_of_greece
Following Alexander's death, his lands were divided among his generals.
( (IP-MAT (PP-NIM (P-ROLE Following;{following})
(NP (NP-GEN;{ALEXANDER} (NPR Alexander;{Alexander})
(GENM <apos>s))
(N death;{death})))
(PUNC ,)
(NP-SBJ;{ALEXANDER_LANDS} (NP-GEN;{ALEXANDER} (PRO;_genm_ his;{his}))
(NS lands;{land}))
(BED;_cat_VePASS_ were;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ divided;{divide[among]})
(PP-CLR (P-ROLE among;{among})
(NP (NP-GEN;{ALEXANDER} (PRO;_genm_ his;{his}))
(NS generals;{general}))))
(PUNC .))
(ID 61_a_history_of_greece))
arc(r_0061_0004__death,r_0061_0002__Alexander,gen).
arc(r_0061_0007__lands,r_0061_0002__Alexander,gen).
arc(r_0061_0008__were,r_0061_0004__death,r_0061_0001__Following__nim).
arc(r_0061_0008__were,r_0061_0009__divided_r_0061_0010__among,scope).
arc(r_0061_0009__divided_r_0061_0010__among,r_0061_0007__lands,arg1).
arc(r_0061_0009__divided_r_0061_0010__among,r_0061_0012__generals,arg2).
arc(r_0061_0009__divided_r_0061_0010__among,z_0061_5007___star_,arg0).
arc(r_0061_0012__generals,r_0061_0002__Alexander,gen).
fof(formula,axiom,
? [R_0061_0002__ALEXANDER,R_0061_0004__DEATH,R_0061_0007__LANDS,R_0061_0012__GENERALS,Z_0061_5007___STAR_,R_0061_0008__WERE_R_0061_0009__DIVIDED_R_0061_0010__AMONG] :
( r_0061_0002__Alexander(R_0061_0002__ALEXANDER)
& z_0061_5007___star_(Z_0061_5007___STAR_)
& r_0061_0008__were_r_0061_0009__divided_r_0061_0010__among(R_0061_0008__WERE_R_0061_0009__DIVIDED_R_0061_0010__AMONG)
& has_arg0(R_0061_0008__WERE_R_0061_0009__DIVIDED_R_0061_0010__AMONG,Z_0061_5007___STAR_)
& has_arg2(R_0061_0008__WERE_R_0061_0009__DIVIDED_R_0061_0010__AMONG,R_0061_0012__GENERALS)
& r_0061_0012__generals(R_0061_0012__GENERALS)
& has_gen(R_0061_0012__GENERALS,R_0061_0002__ALEXANDER)
& has_arg1(R_0061_0008__WERE_R_0061_0009__DIVIDED_R_0061_0010__AMONG,R_0061_0007__LANDS)
& r_0061_0007__lands(R_0061_0007__LANDS)
& has_gen(R_0061_0007__LANDS,R_0061_0002__ALEXANDER)
& has_r_0061_0001__Following__nim(R_0061_0008__WERE_R_0061_0009__DIVIDED_R_0061_0010__AMONG,R_0061_0004__DEATH)
& r_0061_0004__death(R_0061_0004__DEATH)
& has_gen(R_0061_0004__DEATH,R_0061_0002__ALEXANDER) ) ).