86_a_history_of_greece
After a final bloody defeat by the Muslims in 1309, Christian forces were forced from 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))
arc(r_0086_0002__a_r_0086_0005__defeat,r_0086_0003__final,attrib).
arc(r_0086_0002__a_r_0086_0005__defeat,r_0086_0004__bloody,attrib).
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,attrib).
arc(r_0086_0014__were,r_0086_0002__a_r_0086_0005__defeat,r_0086_0001__After__nim).
arc(r_0086_0014__were,r_0086_0015__forced_r_0086_0016__from,scope).
arc(r_0086_0015__forced_r_0086_0016__from,r_0086_0013__forces,arg1).
arc(r_0086_0015__forced_r_0086_0016__from,r_0086_0017__the_r_0086_0018__Holy_r_0086_0019__Land,arg2).
arc(r_0086_0015__forced_r_0086_0016__from,z_0086_5007___star_,arg0).
fof(formula,axiom,
? [R_0086_0003__FINAL,R_0086_0004__BLOODY,R_0086_0007__THE_R_0086_0008__MUSLIMS,R_0086_0010__1309,R_0086_0002__A_R_0086_0005__DEFEAT,R_0086_0012__CHRISTIAN,R_0086_0013__FORCES,R_0086_0017__THE_R_0086_0018__HOLY_R_0086_0019__LAND,Z_0086_5007___STAR_,R_0086_0014__WERE_R_0086_0015__FORCED_R_0086_0016__FROM] :
( r_0086_0003__final(R_0086_0003__FINAL)
& r_0086_0004__bloody(R_0086_0004__BLOODY)
& r_0086_0007__the_r_0086_0008__Muslims(R_0086_0007__THE_R_0086_0008__MUSLIMS)
& r_0086_0010__1309(R_0086_0010__1309)
& r_0086_0012__Christian(R_0086_0012__CHRISTIAN)
& r_0086_0017__the_r_0086_0018__Holy_r_0086_0019__Land(R_0086_0017__THE_R_0086_0018__HOLY_R_0086_0019__LAND)
& z_0086_5007___star_(Z_0086_5007___STAR_)
& r_0086_0014__were_r_0086_0015__forced_r_0086_0016__from(R_0086_0014__WERE_R_0086_0015__FORCED_R_0086_0016__FROM)
& has_arg0(R_0086_0014__WERE_R_0086_0015__FORCED_R_0086_0016__FROM,Z_0086_5007___STAR_)
& has_arg2(R_0086_0014__WERE_R_0086_0015__FORCED_R_0086_0016__FROM,R_0086_0017__THE_R_0086_0018__HOLY_R_0086_0019__LAND)
& has_arg1(R_0086_0014__WERE_R_0086_0015__FORCED_R_0086_0016__FROM,R_0086_0013__FORCES)
& r_0086_0013__forces(R_0086_0013__FORCES)
& has_attrib(R_0086_0013__FORCES,R_0086_0012__CHRISTIAN)
& has_r_0086_0001__After__nim(R_0086_0014__WERE_R_0086_0015__FORCED_R_0086_0016__FROM,R_0086_0002__A_R_0086_0005__DEFEAT)
& r_0086_0002__a_r_0086_0005__defeat(R_0086_0002__A_R_0086_0005__DEFEAT)
& has_r_0086_0009__in(R_0086_0002__A_R_0086_0005__DEFEAT,R_0086_0010__1309)
& has_r_0086_0006__by(R_0086_0002__A_R_0086_0005__DEFEAT,R_0086_0007__THE_R_0086_0008__MUSLIMS)
& has_attrib(R_0086_0002__A_R_0086_0005__DEFEAT,R_0086_0004__BLOODY)
& has_attrib(R_0086_0002__A_R_0086_0005__DEFEAT,R_0086_0003__FINAL) ) ).