66_a_history_of_greece
The Byzantine Empire and the Coming of Christianity
( (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))
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_0066_5005,r_0066_0004__and,z_0066_5002).
fof(formula,axiom,
? [R_0066_0001__THE_R_0066_0002__BYZANTINE_R_0066_0003__EMPIRE,R_0066_0008__CHRISTIANITY,R_0066_0005__THE_R_0066_0006__COMING,R_0066_0004__AND,Z_0066_5005] :
( r_0066_0001__The_r_0066_0002__Byzantine_r_0066_0003__Empire(R_0066_0001__THE_R_0066_0002__BYZANTINE_R_0066_0003__EMPIRE)
& r_0066_0008__Christianity(R_0066_0008__CHRISTIANITY)
& z_0066_5005(Z_0066_5005)
& has_z_0066_5002(Z_0066_5005,R_0066_0004__AND)
& r_0066_0004__and(R_0066_0004__AND)
& has_conj2(R_0066_0004__AND,R_0066_0005__THE_R_0066_0006__COMING)
& r_0066_0005__the_r_0066_0006__Coming(R_0066_0005__THE_R_0066_0006__COMING)
& has_r_0066_0007__of(R_0066_0005__THE_R_0066_0006__COMING,R_0066_0008__CHRISTIANITY)
& has_conj1(R_0066_0004__AND,R_0066_0001__THE_R_0066_0002__BYZANTINE_R_0066_0003__EMPIRE) ) ).