86_a_history_of_greece
After a final bloody defeat by the Muslims in 1309, Christian forces were forced from the Holy Land.
arc(r_0086_0002__a_r_0086_0005__defeat, r_0086_0003__final, attrib8).
arc(r_0086_0002__a_r_0086_0005__defeat, r_0086_0004__bloody, attrib11).
arc(r_0086_0002__a_r_0086_0005__defeat, r_0086_0007__the_r_0086_0008__Muslims, r_0086_0006__by).
arc(r_0086_0002__a_r_0086_0005__defeat, r_0086_0010__1309, r_0086_0009__in).
arc(r_0086_0013__forces, r_0086_0012__Christian, attrib33).
arc(r_0086_0014__were, r_0086_0002__a_r_0086_0005__defeat, r_0086_0001__After_nim5).
arc(r_0086_0014__were, r_0086_0015__forced, scope).
arc(r_0086_0015__forced, r_0086_0013__forces, arg1).
arc(r_0086_0015__forced, r_0086_0017__the_r_0086_0018__Holy_r_0086_0019__Land, r_0086_0016__from_clr48).
arc(r_0086_0015__forced, z_000_86_a_history_of_greece_41, arg0).
fof(formula,axiom,
? [R_86_14_WERE_FORCED,Z_86_A_HISTORY_OF_GREECE_41,R_86_13_FORCES,R_86_12_CHRISTIAN,R_86_2_A_DEFEAT,R_86_4_BLOODY,R_86_3_FINAL,R_86_7_THE_MUSLIMS,R_86_10_1309,R_86_17_THE_HOLY_LAND] :
( christian(R_86_12_CHRISTIAN)
& bloody(R_86_4_BLOODY)
& final(R_86_3_FINAL)
& the_Muslims(R_86_7_THE_MUSLIMS)
& 1309(R_86_10_1309)
& the_Holy_Land(R_86_17_THE_HOLY_LAND)
& were_forced(R_86_14_WERE_FORCED,Z_86_A_HISTORY_OF_GREECE_41,R_86_13_FORCES)
& forces(R_86_13_FORCES)
& attrib33(R_86_13_FORCES,R_86_12_CHRISTIAN)
& after_nim5(R_86_14_WERE_FORCED,R_86_2_A_DEFEAT)
& a_defeat(R_86_2_A_DEFEAT)
& attrib11(R_86_2_A_DEFEAT,R_86_4_BLOODY)
& attrib8(R_86_2_A_DEFEAT,R_86_3_FINAL)
& by(R_86_2_A_DEFEAT,R_86_7_THE_MUSLIMS)
& in(R_86_2_A_DEFEAT,R_86_10_1309)
& from_clr48(R_86_14_WERE_FORCED,R_86_17_THE_HOLY_LAND) ) ).
( (IP-MAT (PP-NIM (P-ROLE After;{after})
(NP (D a;{a})
(ADJP (ADJ final;{final}))
(ADJP (ADJ bloody;{bloody}))
(N defeat;{defeat})
(PP (P-ROLE by;{by})
(NP (D the;{the})
(NPRS Muslims;{Muslims})))
(PP (P-ROLE in;{in})
(NP (NPR 1309)))))
(PUNC ,)
(NP-SBJ (ADJP (ADJ Christian;{christian}))
(NS forces;{force}))
(BED;_cat_VePASS_ were;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ forced;{force[from]})
(PP-CLR (P-ROLE from;{from})
(NP (D the;{the})
(NPR Holy;{Holy})
(NPR Land;{Land}))))
(PUNC .))
(ID 86_a_history_of_greece))