TSPC 75_a_history_of

75_a_history_of_greece
As the Byzantine Empire weakened at the end of the first millennium, Crusader forces were sent from Western Europe to counter the Muslim forces and retake Jerusalem for the Christian faith.

( (IP-MAT (PP-SCON (P-CONN As;{as})
                   (IP-ADV (NP-SBJ;{BYZANTINE_EMPIRE} (D the;{the})
                                                      (NPR Byzantine;{Byzantine})
                                                      (NPR Empire;{Empire}))
                           (VBD;_I_ weakened;{weaken})
                           (PP-NIM (P-ROLE at;{at})
                                   (NP (D the;{the})
                                       (N end;{end})
                                       (PP (P-ROLE of;{of})
                                           (NP (D the;{the})
                                               (ADJP (ADJ first;{first}))
                                               (N millennium;{millennium})))))))
          (PUNC ,)
          (NP-SBJ;{CRUSADERS} (NPR Crusader;{Crusader})
                              (NS forces;{force}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ sent;{send[from]})
                      (PP-CLR (P-ROLE from;{from})
                              (NP (NPR Western;{Western})
                                  (NPR Europe;{Europe}))))
          (PP-SCON (IP-INF (TO to;{to})
                           (ILYR (ILYR (VB;_Tn_ counter;{counter})
                                       (NP-OB1 (D the;{the})
                                               (ADJP (ADJ Muslim;{muslim}))
                                               (NS forces;{force})))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (VB;_Tn_ retake;{retake})
                                              (NP-OB1 (NPR Jerusalem;{Jerusalem}))
                                              (PP-NIM (P-ROLE for;{for})
                                                      (NP (D the;{the})
                                                          (ADJP (ADJ Christian;{christian}))
                                                          (N faith;{faith}))))))))
          (PUNC .))
  (ID 75_a_history_of_greece))

arc(r_0075_0001__As,r_0075_0005__weakened,restriction).
arc(r_0075_0001__As,z_0075_5007,scope).
arc(r_0075_0005__weakened,r_0075_0002__the_r_0075_0003__Byzantine_r_0075_0004__Empire,arg0).
arc(r_0075_0005__weakened,r_0075_0007__the_r_0075_0008__end,r_0075_0006__at__nim).
arc(r_0075_0007__the_r_0075_0008__end,r_0075_0010__the_r_0075_0012__millennium,r_0075_0009__of).
arc(r_0075_0010__the_r_0075_0012__millennium,r_0075_0011__first,attrib).
arc(r_0075_0016__were,r_0075_0017__sent_r_0075_0018__from,scope).
arc(r_0075_0017__sent_r_0075_0018__from,r_0075_0014__Crusader_r_0075_0015__forces,arg1).
arc(r_0075_0017__sent_r_0075_0018__from,r_0075_0019__Western_r_0075_0020__Europe,arg2).
arc(r_0075_0017__sent_r_0075_0018__from,z_0075_5017___star_,arg0).
arc(r_0075_0022__counter,r_0075_0014__Crusader_r_0075_0015__forces,arg0).
arc(r_0075_0022__counter,r_0075_0023__the_r_0075_0025__forces,arg1).
arc(r_0075_0023__the_r_0075_0025__forces,r_0075_0024__Muslim,attrib).
arc(r_0075_0026__and,r_0075_0022__counter,conj1).
arc(r_0075_0026__and,r_0075_0027__retake,conj2).
arc(r_0075_0027__retake,r_0075_0014__Crusader_r_0075_0015__forces,arg0).
arc(r_0075_0027__retake,r_0075_0028__Jerusalem,arg1).
arc(r_0075_0027__retake,r_0075_0030__the_r_0075_0032__faith,r_0075_0029__for__nim).
arc(r_0075_0030__the_r_0075_0032__faith,r_0075_0031__Christian,attrib).
arc(z_0075_5007,r_0075_0016__were,scope).
arc(z_0075_5007,r_0075_0026__and,restriction).

fof(formula,axiom,
    ? [R_0075_0002__THE_R_0075_0003__BYZANTINE_R_0075_0004__EMPIRE,R_0075_0011__FIRST,R_0075_0010__THE_R_0075_0012__MILLENNIUM,R_0075_0007__THE_R_0075_0008__END,R_0075_0005__WEAKENED,R_0075_0014__CRUSADER_R_0075_0015__FORCES,R_0075_0019__WESTERN_R_0075_0020__EUROPE,Z_0075_5017___STAR_,R_0075_0016__WERE_R_0075_0017__SENT_R_0075_0018__FROM,R_0075_0024__MUSLIM,R_0075_0023__THE_R_0075_0025__FORCES,R_0075_0022__COUNTER,R_0075_0028__JERUSALEM,R_0075_0031__CHRISTIAN,R_0075_0030__THE_R_0075_0032__FAITH,R_0075_0027__RETAKE,R_0075_0026__AND,Z_0075_5007,R_0075_0001__AS] :
      ( r_0075_0002__the_r_0075_0003__Byzantine_r_0075_0004__Empire(R_0075_0002__THE_R_0075_0003__BYZANTINE_R_0075_0004__EMPIRE)
      & r_0075_0011__first(R_0075_0011__FIRST)
      & r_0075_0014__Crusader_r_0075_0015__forces(R_0075_0014__CRUSADER_R_0075_0015__FORCES)
      & r_0075_0019__Western_r_0075_0020__Europe(R_0075_0019__WESTERN_R_0075_0020__EUROPE)
      & r_0075_0024__Muslim(R_0075_0024__MUSLIM)
      & r_0075_0028__Jerusalem(R_0075_0028__JERUSALEM)
      & r_0075_0031__Christian(R_0075_0031__CHRISTIAN)
      & z_0075_5017___star_(Z_0075_5017___STAR_)
      & r_0075_0001__As(R_0075_0001__AS)
      & has_conj2(R_0075_0001__AS,Z_0075_5007)
      & z_0075_5007(Z_0075_5007)
      & has_conj1(Z_0075_5007,R_0075_0026__AND)
      & r_0075_0026__and(R_0075_0026__AND)
      & has_conj2(R_0075_0026__AND,R_0075_0027__RETAKE)
      & r_0075_0027__retake(R_0075_0027__RETAKE)
      & has_r_0075_0029__for__nim(R_0075_0027__RETAKE,R_0075_0030__THE_R_0075_0032__FAITH)
      & r_0075_0030__the_r_0075_0032__faith(R_0075_0030__THE_R_0075_0032__FAITH)
      & has_attrib(R_0075_0030__THE_R_0075_0032__FAITH,R_0075_0031__CHRISTIAN)
      & has_arg1(R_0075_0027__RETAKE,R_0075_0028__JERUSALEM)
      & has_arg0(R_0075_0027__RETAKE,R_0075_0014__CRUSADER_R_0075_0015__FORCES)
      & has_conj1(R_0075_0026__AND,R_0075_0022__COUNTER)
      & r_0075_0022__counter(R_0075_0022__COUNTER)
      & has_arg1(R_0075_0022__COUNTER,R_0075_0023__THE_R_0075_0025__FORCES)
      & r_0075_0023__the_r_0075_0025__forces(R_0075_0023__THE_R_0075_0025__FORCES)
      & has_attrib(R_0075_0023__THE_R_0075_0025__FORCES,R_0075_0024__MUSLIM)
      & has_arg0(R_0075_0022__COUNTER,R_0075_0014__CRUSADER_R_0075_0015__FORCES)
      & has_conj2(Z_0075_5007,R_0075_0016__WERE_R_0075_0017__SENT_R_0075_0018__FROM)
      & r_0075_0016__were_r_0075_0017__sent_r_0075_0018__from(R_0075_0016__WERE_R_0075_0017__SENT_R_0075_0018__FROM)
      & has_arg0(R_0075_0016__WERE_R_0075_0017__SENT_R_0075_0018__FROM,Z_0075_5017___STAR_)
      & has_arg2(R_0075_0016__WERE_R_0075_0017__SENT_R_0075_0018__FROM,R_0075_0019__WESTERN_R_0075_0020__EUROPE)
      & has_arg1(R_0075_0016__WERE_R_0075_0017__SENT_R_0075_0018__FROM,R_0075_0014__CRUSADER_R_0075_0015__FORCES)
      & has_conj1(R_0075_0001__AS,R_0075_0005__WEAKENED)
      & r_0075_0005__weakened(R_0075_0005__WEAKENED)
      & has_r_0075_0006__at__nim(R_0075_0005__WEAKENED,R_0075_0007__THE_R_0075_0008__END)
      & r_0075_0007__the_r_0075_0008__end(R_0075_0007__THE_R_0075_0008__END)
      & has_r_0075_0009__of(R_0075_0007__THE_R_0075_0008__END,R_0075_0010__THE_R_0075_0012__MILLENNIUM)
      & r_0075_0010__the_r_0075_0012__millennium(R_0075_0010__THE_R_0075_0012__MILLENNIUM)
      & has_attrib(R_0075_0010__THE_R_0075_0012__MILLENNIUM,R_0075_0011__FIRST)
      & has_arg0(R_0075_0005__WEAKENED,R_0075_0002__THE_R_0075_0003__BYZANTINE_R_0075_0004__EMPIRE) ) ).