arc(r_0061_0004__death, r_0061_0002__Alexander_r_0061_0003___apos_s, gen).
arc(r_0061_0007__lands, r_0061_0002__Alexander_r_0061_0003___apos_s, gen).
arc(r_0061_0008__were, r_0061_0004__death, r_0061_0001__Following_nim5).
arc(r_0061_0008__were, r_0061_0009__divided, scope).
arc(r_0061_0009__divided, r_0061_0007__lands, arg1).
arc(r_0061_0009__divided, r_0061_0012__generals, r_0061_0010__among_clr31).
arc(r_0061_0009__divided, z_000_61_a_history_of_greece_24, arg0).
arc(r_0061_0012__generals, r_0061_0002__Alexander_r_0061_0003___apos_s, gen).

fof(formula,axiom,
    ? [R_61_8_WERE_DIVIDED,Z_61_A_HISTORY_OF_GREECE_24,R_61_7_LANDS,R_61_4_DEATH,R_61_12_GENERALS,R_61_2_ALEXANDER_APOS_S] :
      ( alexander_apos_s(R_61_2_ALEXANDER_APOS_S)
      & were_divided(R_61_8_WERE_DIVIDED,Z_61_A_HISTORY_OF_GREECE_24,R_61_7_LANDS)
      & lands(R_61_7_LANDS)
      & gen(R_61_7_LANDS,R_61_2_ALEXANDER_APOS_S)
      & following_nim5(R_61_8_WERE_DIVIDED,R_61_4_DEATH)
      & death(R_61_4_DEATH)
      & gen(R_61_4_DEATH,R_61_2_ALEXANDER_APOS_S)
      & among_clr31(R_61_8_WERE_DIVIDED,R_61_12_GENERALS)
      & generals(R_61_12_GENERALS)
      & gen(R_61_12_GENERALS,R_61_2_ALEXANDER_APOS_S) ) ).

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