65_a_history_of_greece
The Greek Hellenistic Empire was gradually, and peacefully, absorbed into the Roman Empire.
arc(r_0065_0005__was, r_0065_0008__and, nim13).
arc(r_0065_0005__was, r_0065_0011__absorbed, scope).
arc(r_0065_0008__and, r_0065_0006__gradually, conj1).
arc(r_0065_0008__and, r_0065_0009__peacefully, conj2).
arc(r_0065_0011__absorbed, r_0065_0001__The_r_0065_0002__Greek_r_0065_0003__Hellenistic_r_0065_0004__Empire, arg1).
arc(r_0065_0011__absorbed, r_0065_0013__the_r_0065_0014__Roman_r_0065_0015__Empire, r_0065_0012__into_nim36).
arc(r_0065_0011__absorbed, z_000_65_a_history_of_greece_29, arg0).
fof(formula,axiom,
? [R_65_5_WAS_ABSORBED,Z_65_A_HISTORY_OF_GREECE_29,R_65_1_THE_GREEK_HELLENISTIC_EMPIRE,R_65_8_AND,R_65_6_GRADUALLY,R_65_9_PEACEFULLY,R_65_13_THE_ROMAN_EMPIRE] :
( the_Greek_Hellenistic_Empire(R_65_1_THE_GREEK_HELLENISTIC_EMPIRE)
& gradually(R_65_6_GRADUALLY)
& peacefully(R_65_9_PEACEFULLY)
& the_Roman_Empire(R_65_13_THE_ROMAN_EMPIRE)
& was_absorbed(R_65_5_WAS_ABSORBED,Z_65_A_HISTORY_OF_GREECE_29,R_65_1_THE_GREEK_HELLENISTIC_EMPIRE)
& nim13(R_65_5_WAS_ABSORBED,R_65_8_AND)
& and(R_65_8_AND)
& conj1(R_65_8_AND,R_65_6_GRADUALLY)
& conj2(R_65_8_AND,R_65_9_PEACEFULLY)
& into_nim36(R_65_5_WAS_ABSORBED,R_65_13_THE_ROMAN_EMPIRE) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(NPR Greek;{Greek})
(NPR Hellenistic;{Hellenistic})
(NPR Empire;{Empire}))
(BED;_cat_VePASS_ was;{be})
(ADVP-NIM (AVLYR (AVLYR (ADV gradually;{gradually}))
(PUNC ,)
(CONJP (CONJ and;{and})
(AVLYR (ADV peacefully;{peacefully})))))
(PUNC ,)
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ absorbed;{absorb})
(PP-NIM (P-ROLE into;{into})
(NP (D the;{the})
(NPR Roman;{Roman})
(NPR Empire;{Empire}))))
(PUNC .))
(ID 65_a_history_of_greece))