TSPC 79_a_history_of

79_a_history_of_greece
While Byzantine land was being divided, there was no one in control of the seas, so pirates raided towns on many of the islands.

( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN While;{while})
                               (IP-ADV (NP-SBJ (ADJP (ADJ Byzantine;{byzantine}))
                                               (N land;{land}))
                                       (BED;_cat_Vg_ was;{be})
                                       (IP-PPL-CAT (BAG;_cat_VePASS_ being;{be})
                                                   (IP-PPL-CAT (NP-LGS *)
                                                               (VVN;_Tn_ divided;{divide})))))
                      (PUNC ,)
                      (EX there;{there})
                      (BED;_ex_Vpr_ was;{be})
                      (NP-ESBJ (Q no;{no})
                               (N one;{one}))
                      (PP-CLR (P-ROLE in;{in})
                              (NP (N control;{control})
                                  (PP (P-ROLE of;{of})
                                      (NP (D the;{the})
                                          (NS seas;{sea}))))))
                (PUNC ,)
                (CONJP (ILYR;{RAIDS} (ADVP-NIM (ADV so;{so}))
                                     (NP-SBJ (NS pirates;{pirate}))
                                     (VBD;_Tn_ raided;{raid})
                                     (NP-OB1 (NS towns;{town})
                                             (PP (P-ROLE on;{on})
                                                 (NP (ADJP (ADJ many;{many}))
                                                     (PP (P-ROLE of;{of})
                                                         (NP (D the;{the})
                                                             (NS islands;{island})))))))))
          (PUNC .))
  (ID 79_a_history_of_greece))

arc(r_0079_0001__While,r_0079_0004__was,restriction).
arc(r_0079_0001__While,r_0079_0009__was_r_0079_0012__in,scope).
arc(r_0079_0003__land,r_0079_0002__Byzantine,attrib).
arc(r_0079_0004__was,r_0079_0005__being,scope).
arc(r_0079_0005__being,r_0079_0006__divided,scope).
arc(r_0079_0006__divided,r_0079_0003__land,arg1).
arc(r_0079_0006__divided,z_0079_5011___star_,arg0).
arc(r_0079_0009__was_r_0079_0012__in,r_0079_0011__one,arg0).
arc(r_0079_0009__was_r_0079_0012__in,r_0079_0013__control,arg1).
arc(r_0079_0010__no__quant,r_0079_0001__While,scope).
arc(r_0079_0010__no__quant,r_0079_0011__one,restriction).
arc(r_0079_0013__control,r_0079_0015__the_r_0079_0016__seas,r_0079_0014__of).
arc(r_0079_0020__raided,r_0079_0018__so,nim).
arc(r_0079_0020__raided,r_0079_0019__pirates,arg0).
arc(r_0079_0020__raided,r_0079_0021__towns,arg1).
arc(r_0079_0021__towns,z_0079_5022,r_0079_0022__on).
arc(z_0079_5001,r_0079_0010__no__quant,conj1).
arc(z_0079_5001,r_0079_0020__raided,conj2).
arc(z_0079_5022,r_0079_0023__many,attrib).
arc(z_0079_5022,r_0079_0025__the_r_0079_0026__islands,r_0079_0024__of).

fof(formula,axiom,
    ? [R_0079_0018__SO,R_0079_0019__PIRATES,R_0079_0023__MANY,R_0079_0025__THE_R_0079_0026__ISLANDS,Z_0079_5022,R_0079_0021__TOWNS,R_0079_0020__RAIDED,Z_0079_5001] :
      ( r_0079_0018__so(R_0079_0018__SO)
      & r_0079_0019__pirates(R_0079_0019__PIRATES)
      & r_0079_0023__many(R_0079_0023__MANY)
      & r_0079_0025__the_r_0079_0026__islands(R_0079_0025__THE_R_0079_0026__ISLANDS)
      & z_0079_5001(Z_0079_5001)
      & has_conj2(Z_0079_5001,R_0079_0020__RAIDED)
      & r_0079_0020__raided(R_0079_0020__RAIDED)
      & has_arg1(R_0079_0020__RAIDED,R_0079_0021__TOWNS)
      & r_0079_0021__towns(R_0079_0021__TOWNS)
      & has_r_0079_0022__on(R_0079_0021__TOWNS,Z_0079_5022)
      & z_0079_5022(Z_0079_5022)
      & has_r_0079_0024__of(Z_0079_5022,R_0079_0025__THE_R_0079_0026__ISLANDS)
      & has_attrib(Z_0079_5022,R_0079_0023__MANY)
      & has_arg0(R_0079_0020__RAIDED,R_0079_0019__PIRATES)
      & has_nim(R_0079_0020__RAIDED,R_0079_0018__SO)
      & ! [R_0079_0011__ONE] :
          ( r_0079_0011__one(R_0079_0011__ONE)
         => ? [R_0079_0002__BYZANTINE,R_0079_0003__LAND,Z_0079_5011___STAR_,R_0079_0004__WAS_R_0079_0005__BEING_R_0079_0006__DIVIDED,R_0079_0015__THE_R_0079_0016__SEAS,R_0079_0013__CONTROL,R_0079_0009__WAS_R_0079_0012__IN,R_0079_0001__WHILE] :
              ( r_0079_0002__Byzantine(R_0079_0002__BYZANTINE)
              & r_0079_0015__the_r_0079_0016__seas(R_0079_0015__THE_R_0079_0016__SEAS)
              & z_0079_5011___star_(Z_0079_5011___STAR_)
              & r_0079_0001__While(R_0079_0001__WHILE)
              & has_conj2(R_0079_0001__WHILE,R_0079_0009__WAS_R_0079_0012__IN)
              & r_0079_0009__was_r_0079_0012__in(R_0079_0009__WAS_R_0079_0012__IN)
              & has_arg1(R_0079_0009__WAS_R_0079_0012__IN,R_0079_0013__CONTROL)
              & r_0079_0013__control(R_0079_0013__CONTROL)
              & has_r_0079_0014__of(R_0079_0013__CONTROL,R_0079_0015__THE_R_0079_0016__SEAS)
              & has_arg0(R_0079_0009__WAS_R_0079_0012__IN,R_0079_0011__ONE)
              & has_conj1(R_0079_0001__WHILE,R_0079_0004__WAS_R_0079_0005__BEING_R_0079_0006__DIVIDED)
              & r_0079_0004__was_r_0079_0005__being_r_0079_0006__divided(R_0079_0004__WAS_R_0079_0005__BEING_R_0079_0006__DIVIDED)
              & has_arg0(R_0079_0004__WAS_R_0079_0005__BEING_R_0079_0006__DIVIDED,Z_0079_5011___STAR_)
              & has_arg1(R_0079_0004__WAS_R_0079_0005__BEING_R_0079_0006__DIVIDED,R_0079_0003__LAND)
              & r_0079_0003__land(R_0079_0003__LAND)
              & has_attrib(R_0079_0003__LAND,R_0079_0002__BYZANTINE) ) ) ) ).