66_a_history_of_greece
The Byzantine Empire and the Coming of Christianity
arc(r_0066_0004__and, r_0066_0001__The_r_0066_0002__Byzantine_r_0066_0003__Empire, conj1).
arc(r_0066_0004__and, r_0066_0005__the_r_0066_0006__Coming, conj2).
arc(r_0066_0005__the_r_0066_0006__Coming, r_0066_0008__Christianity, r_0066_0007__of).
arc(z_000_66_a_history_of_greece_1, r_0066_0004__and, nim2).
fof(formula,axiom,
? [Z_66_A_HISTORY_OF_GREECE_1,R_66_4_AND,R_66_1_THE_BYZANTINE_EMPIRE,R_66_5_THE_COMING,R_66_8_CHRISTIANITY] :
( the_Byzantine_Empire(R_66_1_THE_BYZANTINE_EMPIRE)
& christianity(R_66_8_CHRISTIANITY)
& z_66_a_history_of_greece_1(Z_66_A_HISTORY_OF_GREECE_1)
& nim2(Z_66_A_HISTORY_OF_GREECE_1,R_66_4_AND)
& and(R_66_4_AND)
& conj1(R_66_4_AND,R_66_1_THE_BYZANTINE_EMPIRE)
& conj2(R_66_4_AND,R_66_5_THE_COMING)
& the_Coming(R_66_5_THE_COMING)
& of(R_66_5_THE_COMING,R_66_8_CHRISTIANITY) ) ).
( (FRAG (NP (NLYR (NLYR (D The;{the})
(NPR Byzantine;{Byzantine})
(NPR Empire;{Empire}))
(CONJP (CONJ and;{and})
(NLYR (D the;{the})
(N Coming;{coming})
(PP (P-ROLE of;{of})
(NP (NPR Christianity;{Christianity}))))))))
(ID 66_a_history_of_greece))