91_a_history_of_greece
The Coming of the Ottoman Turks
( (NP (D The;{the})
(N Coming;{coming})
(PP (P-ROLE of;{of})
(NP;{OTTOMANS} (D the;{the})
(NPR Ottoman;{Ottoman})
(NPRS Turks;{Turks}))))
(ID 91_a_history_of_greece))
arc(r_0091_0001__The_r_0091_0002__Coming,r_0091_0004__the_r_0091_0005__Ottoman_r_0091_0006__Turks,r_0091_0003__of).
arc(z_0091_5004,r_0091_0001__The_r_0091_0002__Coming,z_0091_5002).
fof(formula,axiom,
? [R_0091_0004__THE_R_0091_0005__OTTOMAN_R_0091_0006__TURKS,R_0091_0001__THE_R_0091_0002__COMING,Z_0091_5004] :
( r_0091_0004__the_r_0091_0005__Ottoman_r_0091_0006__Turks(R_0091_0004__THE_R_0091_0005__OTTOMAN_R_0091_0006__TURKS)
& z_0091_5004(Z_0091_5004)
& has_z_0091_5002(Z_0091_5004,R_0091_0001__THE_R_0091_0002__COMING)
& r_0091_0001__The_r_0091_0002__Coming(R_0091_0001__THE_R_0091_0002__COMING)
& has_r_0091_0003__of(R_0091_0001__THE_R_0091_0002__COMING,R_0091_0004__THE_R_0091_0005__OTTOMAN_R_0091_0006__TURKS) ) ).