( (IP-MAT (NP-SBJ;{OTTOMANS} (D The;{the})
                             (NPRS Ottomans;{Ottomans}))
          (BED;_Ln_ were;{be})
          (NP-PRD (IP-PPL (VAG;_I_ roving;{rove}))
                  (NS invaders;{invader})
                  (IP-REL (NP-SBJ (RPRO who;{who}))
                          (VBD;_Ipr_ came;{come[from]})
                          (PP-CLR (P-ROLE from;{from})
                                  (NP (D the;{the})
                                      (N east;{east})))
                          (PUNC ,)
                          (PP-SCON (IP-PPL2 (VAG;_Tn_ taking;{take})
                                            (NP-OB1 (N land;{land})
                                                    (PP (P-ROLE in;{in})
                                                        (NP (IP-REL (NP-SBJ (RPRO what;{what}))
                                                                    (BEP;_Ln_ is;{be})
                                                                    (ADVP-NIM (ADV now;{now}))
                                                                    (NP-PRD (NPR Turkey;{Turkey}))))))))))
          (PUNC .))
  (ID 92_a_history_of_greece))

arc(r_0092_0003__were,r_0092_0001__The_r_0092_0002__Ottomans,arg0).
arc(r_0092_0003__were,r_0092_0005__invaders,prd).
arc(r_0092_0004__roving,r_0092_0005__invaders,inv_arg0).
arc(r_0092_0007__came_r_0092_0008__from,r_0092_0005__invaders,arg0).
arc(r_0092_0007__came_r_0092_0008__from,r_0092_0009__the_r_0092_0010__east,arg1).
arc(r_0092_0012__taking,r_0092_0005__invaders,arg0).
arc(r_0092_0012__taking,r_0092_0013__land,arg1).
arc(r_0092_0013__land,r_0092_0015__what,r_0092_0014__in).
arc(r_0092_0016__is,r_0092_0015__what,arg0).
arc(r_0092_0016__is,r_0092_0017__now,nim).
arc(r_0092_0016__is,r_0092_0018__Turkey,prd).
arc(z_0092_5004,r_0092_0007__came_r_0092_0008__from,scope).
arc(z_0092_5004,r_0092_0012__taking,restriction).

fof(formula,axiom,
    ? [R_0092_0001__THE_R_0092_0002__OTTOMANS,R_0092_0004__ROVING,R_0092_0005__INVADERS,R_0092_0003__WERE,R_0092_0015__WHAT,R_0092_0017__NOW,R_0092_0018__TURKEY,R_0092_0016__IS,R_0092_0009__THE_R_0092_0010__EAST,R_0092_0007__CAME_R_0092_0008__FROM,R_0092_0013__LAND,R_0092_0012__TAKING,Z_0092_5004] :
      ( r_0092_0001__The_r_0092_0002__Ottomans(R_0092_0001__THE_R_0092_0002__OTTOMANS)
      & r_0092_0004__roving(R_0092_0004__ROVING)
      & r_0092_0009__the_r_0092_0010__east(R_0092_0009__THE_R_0092_0010__EAST)
      & r_0092_0015__what(R_0092_0015__WHAT)
      & r_0092_0017__now(R_0092_0017__NOW)
      & r_0092_0018__Turkey(R_0092_0018__TURKEY)
      & z_0092_5004(Z_0092_5004)
      & has_conj1(Z_0092_5004,R_0092_0012__TAKING)
      & r_0092_0012__taking(R_0092_0012__TAKING)
      & has_arg1(R_0092_0012__TAKING,R_0092_0013__LAND)
      & r_0092_0013__land(R_0092_0013__LAND)
      & has_r_0092_0014__in(R_0092_0013__LAND,R_0092_0015__WHAT)
      & has_arg0(R_0092_0012__TAKING,R_0092_0005__INVADERS)
      & r_0092_0005__invaders(R_0092_0005__INVADERS)
      & has_inv_arg0(R_0092_0005__INVADERS,R_0092_0004__ROVING)
      & has_conj2(Z_0092_5004,R_0092_0007__CAME_R_0092_0008__FROM)
      & r_0092_0007__came_r_0092_0008__from(R_0092_0007__CAME_R_0092_0008__FROM)
      & has_arg1(R_0092_0007__CAME_R_0092_0008__FROM,R_0092_0009__THE_R_0092_0010__EAST)
      & has_arg0(R_0092_0007__CAME_R_0092_0008__FROM,R_0092_0005__INVADERS)
      & r_0092_0016__is(R_0092_0016__IS)
      & has_prd(R_0092_0016__IS,R_0092_0018__TURKEY)
      & has_nim(R_0092_0016__IS,R_0092_0017__NOW)
      & has_arg0(R_0092_0016__IS,R_0092_0015__WHAT)
      & r_0092_0003__were(R_0092_0003__WERE)
      & has_prd(R_0092_0003__WERE,R_0092_0005__INVADERS)
      & has_arg0(R_0092_0003__WERE,R_0092_0001__THE_R_0092_0002__OTTOMANS) ) ).