124_a_history_of_greece
After the war, in 1949, the Dodecanese islands finally became part of the Greek nation.
arc(r_0124_0012__became, r_0124_0002__the_r_0124_0003__war, r_0124_0001__After_nim5).
arc(r_0124_0012__became, r_0124_0006__1949, r_0124_0005__in_nim15).
arc(r_0124_0012__became, r_0124_0008__the_r_0124_0009__Dodecanese_r_0124_0010__islands, arg0).
arc(r_0124_0012__became, r_0124_0011__finally, nim27).
arc(r_0124_0012__became, r_0124_0013__part, prd).
arc(r_0124_0013__part, r_0124_0015__the_r_0124_0017__nation, r_0124_0014__of).
arc(r_0124_0015__the_r_0124_0017__nation, r_0124_0016__Greek, attrib41).
fof(formula,axiom,
? [R_124_12_BECAME,R_124_8_THE_DODECANESE_ISLANDS,R_124_11_FINALLY,R_124_13_PART,R_124_15_THE_NATION,R_124_16_GREEK,R_124_2_THE_WAR,R_124_6_1949] :
( the_Dodecanese_islands(R_124_8_THE_DODECANESE_ISLANDS)
& finally(R_124_11_FINALLY)
& greek(R_124_16_GREEK)
& the_war(R_124_2_THE_WAR)
& 1949(R_124_6_1949)
& became(R_124_12_BECAME,R_124_8_THE_DODECANESE_ISLANDS,R_124_13_PART)
& part(R_124_13_PART)
& of(R_124_13_PART,R_124_15_THE_NATION)
& the_nation(R_124_15_THE_NATION)
& attrib41(R_124_15_THE_NATION,R_124_16_GREEK)
& nim27(R_124_12_BECAME,R_124_11_FINALLY)
& after_nim5(R_124_12_BECAME,R_124_2_THE_WAR)
& in_nim15(R_124_12_BECAME,R_124_6_1949) ) ).
( (IP-MAT (PP-NIM (P-ROLE After;{after})
(NP (D the;{the})
(N war;{war})))
(PUNC ,)
(PP-NIM (P-ROLE in;{in})
(NP (NPR 1949)))
(PUNC ,)
(NP-SBJ (D the;{the})
(NPR Dodecanese;{Dodecanese})
(NS islands;{island}))
(ADVP-NIM (ADV finally;{finally}))
(VBD;_Ln_ became;{become})
(NP-PRD (N part;{part})
(PP (P-ROLE of;{of})
(NP;{GREEK_NATION} (D the;{the})
(ADJP (ADJ Greek;{greek}))
(N nation;{nation}))))
(PUNC .))
(ID 124_a_history_of_greece))