111_a_history_of_greece
The Turks lost a short war with Italy, and were forced to relinquish the Dodecanese islands to the Italians.
( (IP-MAT (NP-SBJ (D The;{the})
(NPRS Turks;{Turks}))
(ILYR (ILYR;{DEBACLE} (VBD;_Tn_ lost;{lose})
(NP-OB1 (D a;{a})
(ADJP (ADJ short;{short}))
(N war;{war})
(PP (P-ROLE with;{with})
(NP (NPR Italy;{Italy})))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (BED;_cat_VePASS_ were;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Cn.t_ forced;{force})
(IP-INF-PRD (TO to;{to})
(VB;_Tn.pr_ relinquish;{relinquish[to]})
(NP-OB1 (D the;{the})
(NPR Dodecanese;{Dodecanese})
(NS islands;{island}))
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(NPRS Italians;{Italians}))))))))
(PUNC .))
(ID 111_a_history_of_greece))
arc(r_0111_0003__lost,r_0111_0001__The_r_0111_0002__Turks,arg0).
arc(r_0111_0003__lost,r_0111_0004__a_r_0111_0006__war,arg1).
arc(r_0111_0004__a_r_0111_0006__war,r_0111_0005__short,attrib).
arc(r_0111_0004__a_r_0111_0006__war,r_0111_0008__Italy,r_0111_0007__with).
arc(r_0111_0010__and,r_0111_0003__lost,conj1).
arc(r_0111_0010__and,r_0111_0011__were,conj2).
arc(r_0111_0011__were,r_0111_0012__forced,scope).
arc(r_0111_0012__forced,r_0111_0001__The_r_0111_0002__Turks,arg1).
arc(r_0111_0012__forced,r_0111_0014__relinquish_r_0111_0018__to,prd).
arc(r_0111_0012__forced,z_0111_5010___star_,arg0).
arc(r_0111_0014__relinquish_r_0111_0018__to,r_0111_0015__the_r_0111_0016__Dodecanese_r_0111_0017__islands,arg1).
arc(r_0111_0014__relinquish_r_0111_0018__to,r_0111_0019__the_r_0111_0020__Italians,arg2).
arc(r_0111_0014__relinquish_r_0111_0018__to,z_0111_5007,arg0).
fof(formula,axiom,
? [R_0111_0001__THE_R_0111_0002__TURKS,R_0111_0005__SHORT,R_0111_0008__ITALY,R_0111_0004__A_R_0111_0006__WAR,R_0111_0003__LOST,R_0111_0015__THE_R_0111_0016__DODECANESE_R_0111_0017__ISLANDS,R_0111_0019__THE_R_0111_0020__ITALIANS,Z_0111_5007,R_0111_0014__RELINQUISH_R_0111_0018__TO,Z_0111_5010___STAR_,R_0111_0011__WERE_R_0111_0012__FORCED,R_0111_0010__AND] :
( r_0111_0001__The_r_0111_0002__Turks(R_0111_0001__THE_R_0111_0002__TURKS)
& r_0111_0005__short(R_0111_0005__SHORT)
& r_0111_0008__Italy(R_0111_0008__ITALY)
& r_0111_0015__the_r_0111_0016__Dodecanese_r_0111_0017__islands(R_0111_0015__THE_R_0111_0016__DODECANESE_R_0111_0017__ISLANDS)
& r_0111_0019__the_r_0111_0020__Italians(R_0111_0019__THE_R_0111_0020__ITALIANS)
& z_0111_5007(Z_0111_5007)
& z_0111_5010___star_(Z_0111_5010___STAR_)
& r_0111_0010__and(R_0111_0010__AND)
& has_conj2(R_0111_0010__AND,R_0111_0011__WERE_R_0111_0012__FORCED)
& r_0111_0011__were_r_0111_0012__forced(R_0111_0011__WERE_R_0111_0012__FORCED)
& has_arg0(R_0111_0011__WERE_R_0111_0012__FORCED,Z_0111_5010___STAR_)
& has_prd(R_0111_0011__WERE_R_0111_0012__FORCED,R_0111_0014__RELINQUISH_R_0111_0018__TO)
& r_0111_0014__relinquish_r_0111_0018__to(R_0111_0014__RELINQUISH_R_0111_0018__TO)
& has_arg0(R_0111_0014__RELINQUISH_R_0111_0018__TO,Z_0111_5007)
& has_arg2(R_0111_0014__RELINQUISH_R_0111_0018__TO,R_0111_0019__THE_R_0111_0020__ITALIANS)
& has_arg1(R_0111_0014__RELINQUISH_R_0111_0018__TO,R_0111_0015__THE_R_0111_0016__DODECANESE_R_0111_0017__ISLANDS)
& has_arg1(R_0111_0011__WERE_R_0111_0012__FORCED,R_0111_0001__THE_R_0111_0002__TURKS)
& has_conj1(R_0111_0010__AND,R_0111_0003__LOST)
& r_0111_0003__lost(R_0111_0003__LOST)
& has_arg1(R_0111_0003__LOST,R_0111_0004__A_R_0111_0006__WAR)
& r_0111_0004__a_r_0111_0006__war(R_0111_0004__A_R_0111_0006__WAR)
& has_r_0111_0007__with(R_0111_0004__A_R_0111_0006__WAR,R_0111_0008__ITALY)
& has_attrib(R_0111_0004__A_R_0111_0006__WAR,R_0111_0005__SHORT)
& has_arg0(R_0111_0003__LOST,R_0111_0001__THE_R_0111_0002__TURKS) ) ).