TSPC 88_a_history_of

88_a_history_of_greece
They began the process of building their strong citadels, and reinforcing the Christian faith on the islands.

( (IP-MAT (NP-SBJ;{KNIGHTS} (PRO They;{they}))
          (VBD;_Tn_ began;{begin})
          (NP-OB1 (D the;{the})
                  (N process;{process})
                  (PP (P-ROLE of;{of})
                      (IP-PPL (ILYR (ILYR (VAG;_Tn_ building;{build})
                                          (NP-OB1 (NP-GEN;{KNIGHTS} (PRO;_genm_ their;{their}))
                                                  (ADJP (ADJ strong;{strong}))
                                                  (NS citadels;{citadel})))
                                    (PUNC ,)
                                    (CONJP (CONJ and;{and})
                                           (ILYR (VAG;_Tn_ reinforcing;{reinforce})
                                                 (NP-OB1 (D the;{the})
                                                         (ADJP (ADJ Christian;{christian}))
                                                         (N faith;{faith})
                                                         (PP (P-ROLE on;{on})
                                                             (NP (D the;{the})
                                                                 (NS islands;{island}))))))))))
          (PUNC .))
  (ID 88_a_history_of_greece))

arc(r_0088_0002__began,r_0088_0001__They,arg0).
arc(r_0088_0002__began,r_0088_0003__the_r_0088_0004__process,arg1).
arc(r_0088_0003__the_r_0088_0004__process,r_0088_0011__and,r_0088_0005__of).
arc(r_0088_0006__building,r_0088_0009__citadels,arg1).
arc(r_0088_0006__building,z_0088_5004,arg0).
arc(r_0088_0009__citadels,r_0088_0001__They,gen).
arc(r_0088_0009__citadels,r_0088_0008__strong,attrib).
arc(r_0088_0011__and,r_0088_0006__building,conj1).
arc(r_0088_0011__and,r_0088_0012__reinforcing,conj2).
arc(r_0088_0012__reinforcing,r_0088_0013__the_r_0088_0015__faith,arg1).
arc(r_0088_0012__reinforcing,z_0088_5004,arg0).
arc(r_0088_0013__the_r_0088_0015__faith,r_0088_0014__Christian,attrib).
arc(r_0088_0013__the_r_0088_0015__faith,r_0088_0017__the_r_0088_0018__islands,r_0088_0016__on).

fof(formula,axiom,
    ? [R_0088_0001__THEY,R_0088_0008__STRONG,R_0088_0009__CITADELS,Z_0088_5004,R_0088_0006__BUILDING,R_0088_0014__CHRISTIAN,R_0088_0017__THE_R_0088_0018__ISLANDS,R_0088_0013__THE_R_0088_0015__FAITH,R_0088_0012__REINFORCING,R_0088_0011__AND,R_0088_0003__THE_R_0088_0004__PROCESS,R_0088_0002__BEGAN] :
      ( r_0088_0001__They(R_0088_0001__THEY)
      & r_0088_0008__strong(R_0088_0008__STRONG)
      & r_0088_0014__Christian(R_0088_0014__CHRISTIAN)
      & r_0088_0017__the_r_0088_0018__islands(R_0088_0017__THE_R_0088_0018__ISLANDS)
      & z_0088_5004(Z_0088_5004)
      & r_0088_0002__began(R_0088_0002__BEGAN)
      & has_arg1(R_0088_0002__BEGAN,R_0088_0003__THE_R_0088_0004__PROCESS)
      & r_0088_0003__the_r_0088_0004__process(R_0088_0003__THE_R_0088_0004__PROCESS)
      & has_r_0088_0005__of(R_0088_0003__THE_R_0088_0004__PROCESS,R_0088_0011__AND)
      & r_0088_0011__and(R_0088_0011__AND)
      & has_conj2(R_0088_0011__AND,R_0088_0012__REINFORCING)
      & r_0088_0012__reinforcing(R_0088_0012__REINFORCING)
      & has_arg0(R_0088_0012__REINFORCING,Z_0088_5004)
      & has_arg1(R_0088_0012__REINFORCING,R_0088_0013__THE_R_0088_0015__FAITH)
      & r_0088_0013__the_r_0088_0015__faith(R_0088_0013__THE_R_0088_0015__FAITH)
      & has_r_0088_0016__on(R_0088_0013__THE_R_0088_0015__FAITH,R_0088_0017__THE_R_0088_0018__ISLANDS)
      & has_attrib(R_0088_0013__THE_R_0088_0015__FAITH,R_0088_0014__CHRISTIAN)
      & has_conj1(R_0088_0011__AND,R_0088_0006__BUILDING)
      & r_0088_0006__building(R_0088_0006__BUILDING)
      & has_arg0(R_0088_0006__BUILDING,Z_0088_5004)
      & has_arg1(R_0088_0006__BUILDING,R_0088_0009__CITADELS)
      & r_0088_0009__citadels(R_0088_0009__CITADELS)
      & has_attrib(R_0088_0009__CITADELS,R_0088_0008__STRONG)
      & has_gen(R_0088_0009__CITADELS,R_0088_0001__THEY)
      & has_arg0(R_0088_0002__BEGAN,R_0088_0001__THEY) ) ).