120_a_history_of_greece
Finally, Greece was ousted from its new territory in Asia Minor, which became part of the new Turkish state.
( (IP-MAT (ADVP-NIM (ADV Finally;{finally}))
(PUNC ,)
(NP-SBJ;{GREECE} (NPR Greece;{Greece}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ ousted;{oust[from]})
(PP-CLR (P-ROLE from;{from})
(NP (NP-GEN;{GREECE} (PRO;_genm_ its;{its}))
(ADJP (ADJ new;{new}))
(N territory;{territory})
(PP (P-ROLE in;{in})
(NP (NPR Asia;{Asia})
(NPR Minor;{Minor})))
(PUNC ,)
(IP-REL (NP-SBJ (RPRO which;{which}))
(VBD;_Ln_ became;{become})
(NP-PRD (N part;{part})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(ADJP (ADJ new;{new}))
(ADJP (ADJ Turkish;{turkish}))
(N state;{state}))))))))
(PUNC .))
(ID 120_a_history_of_greece))
arc(r_0120_0004__was,r_0120_0001__Finally,nim).
arc(r_0120_0004__was,r_0120_0005__ousted_r_0120_0006__from,scope).
arc(r_0120_0005__ousted_r_0120_0006__from,r_0120_0003__Greece,arg1).
arc(r_0120_0005__ousted_r_0120_0006__from,r_0120_0009__territory,arg2).
arc(r_0120_0005__ousted_r_0120_0006__from,z_0120_5011___star_,arg0).
arc(r_0120_0009__territory,r_0120_0003__Greece,gen).
arc(r_0120_0009__territory,r_0120_0008__new,attrib).
arc(r_0120_0009__territory,r_0120_0011__Asia_r_0120_0012__Minor,r_0120_0010__in).
arc(r_0120_0015__became,r_0120_0009__territory,arg0).
arc(r_0120_0015__became,r_0120_0016__part,prd).
arc(r_0120_0016__part,r_0120_0018__the_r_0120_0021__state,r_0120_0017__of).
arc(r_0120_0018__the_r_0120_0021__state,r_0120_0019__new,attrib).
arc(r_0120_0018__the_r_0120_0021__state,r_0120_0020__Turkish,attrib).
fof(formula,axiom,
? [R_0120_0001__FINALLY,R_0120_0003__GREECE,R_0120_0008__NEW,R_0120_0011__ASIA_R_0120_0012__MINOR,R_0120_0009__TERRITORY,Z_0120_5011___STAR_,R_0120_0004__WAS_R_0120_0005__OUSTED_R_0120_0006__FROM,R_0120_0019__NEW,R_0120_0020__TURKISH,R_0120_0018__THE_R_0120_0021__STATE,R_0120_0016__PART,R_0120_0015__BECAME] :
( r_0120_0001__Finally(R_0120_0001__FINALLY)
& r_0120_0003__Greece(R_0120_0003__GREECE)
& r_0120_0008__new(R_0120_0008__NEW)
& r_0120_0011__Asia_r_0120_0012__Minor(R_0120_0011__ASIA_R_0120_0012__MINOR)
& r_0120_0019__new(R_0120_0019__NEW)
& r_0120_0020__Turkish(R_0120_0020__TURKISH)
& z_0120_5011___star_(Z_0120_5011___STAR_)
& r_0120_0015__became(R_0120_0015__BECAME)
& has_prd(R_0120_0015__BECAME,R_0120_0016__PART)
& r_0120_0016__part(R_0120_0016__PART)
& has_r_0120_0017__of(R_0120_0016__PART,R_0120_0018__THE_R_0120_0021__STATE)
& r_0120_0018__the_r_0120_0021__state(R_0120_0018__THE_R_0120_0021__STATE)
& has_attrib(R_0120_0018__THE_R_0120_0021__STATE,R_0120_0020__TURKISH)
& has_attrib(R_0120_0018__THE_R_0120_0021__STATE,R_0120_0019__NEW)
& has_arg0(R_0120_0015__BECAME,R_0120_0009__TERRITORY)
& r_0120_0009__territory(R_0120_0009__TERRITORY)
& has_r_0120_0010__in(R_0120_0009__TERRITORY,R_0120_0011__ASIA_R_0120_0012__MINOR)
& has_attrib(R_0120_0009__TERRITORY,R_0120_0008__NEW)
& has_gen(R_0120_0009__TERRITORY,R_0120_0003__GREECE)
& r_0120_0004__was_r_0120_0005__ousted_r_0120_0006__from(R_0120_0004__WAS_R_0120_0005__OUSTED_R_0120_0006__FROM)
& has_arg0(R_0120_0004__WAS_R_0120_0005__OUSTED_R_0120_0006__FROM,Z_0120_5011___STAR_)
& has_arg2(R_0120_0004__WAS_R_0120_0005__OUSTED_R_0120_0006__FROM,R_0120_0009__TERRITORY)
& has_arg1(R_0120_0004__WAS_R_0120_0005__OUSTED_R_0120_0006__FROM,R_0120_0003__GREECE)
& has_nim(R_0120_0004__WAS_R_0120_0005__OUSTED_R_0120_0006__FROM,R_0120_0001__FINALLY) ) ).