Context                Previous, Next                Top


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.

%3 r_0079_0001__While While r_0079_0004__was was r_0079_0001__While->r_0079_0004__was [restriction] r_0079_0010__no_quant no [quant] r_0079_0001__While->r_0079_0010__no_quant [scope] r_0079_0005__being being r_0079_0004__was->r_0079_0005__being [scope] r_0079_0008__there_r_0079_0009__was there was r_0079_0010__no_quant->r_0079_0008__there_r_0079_0009__was [scope] r_0079_0011__one one r_0079_0010__no_quant->r_0079_0011__one [restriction] r_0079_0003__land land r_0079_0002__Byzantine Byzantine r_0079_0003__land->r_0079_0002__Byzantine [attrib] r_0079_0006__divided divided r_0079_0005__being->r_0079_0006__divided [scope] r_0079_0006__divided->r_0079_0003__land [arg1] z_000_79_a_history_of_greece_20 r_0079_0006__divided->z_000_79_a_history_of_greece_20 [arg0] r_0079_0008__there_r_0079_0009__was->r_0079_0011__one [arg0] r_0079_0013__control control r_0079_0008__there_r_0079_0009__was->r_0079_0013__control in [clr] r_0079_0015__the_r_0079_0016__seas the seas r_0079_0013__control->r_0079_0015__the_r_0079_0016__seas of r_0079_0020__raided raided r_0079_0018__so so r_0079_0020__raided->r_0079_0018__so [nim] r_0079_0019__pirates pirates r_0079_0020__raided->r_0079_0019__pirates [arg0] r_0079_0021__towns towns r_0079_0020__raided->r_0079_0021__towns [arg1] z_000_79_a_history_of_greece_67 r_0079_0021__towns->z_000_79_a_history_of_greece_67 on r_0079_0023__many many z_000_79_a_history_of_greece_67->r_0079_0023__many [attrib] r_0079_0025__the_r_0079_0026__islands the islands z_000_79_a_history_of_greece_67->r_0079_0025__the_r_0079_0026__islands of z_000_79_a_history_of_greece_2 z_000_79_a_history_of_greece_2->r_0079_0001__While [conj1] z_000_79_a_history_of_greece_2->r_0079_0020__raided [conj2] 
arc(r_0079_0001__While, r_0079_0004__was, restriction).
arc(r_0079_0001__While, r_0079_0010__no_quant, scope).
arc(r_0079_0003__land, r_0079_0002__Byzantine, attrib9).
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_000_79_a_history_of_greece_20, arg0).
arc(r_0079_0008__there_r_0079_0009__was, r_0079_0011__one, arg0).
arc(r_0079_0008__there_r_0079_0009__was, r_0079_0013__control, r_0079_0012__in_clr38).
arc(r_0079_0010__no_quant, r_0079_0008__there_r_0079_0009__was, 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, nim53).
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_000_79_a_history_of_greece_67, r_0079_0022__on).
arc(z_000_79_a_history_of_greece_2, r_0079_0001__While, conj1).
arc(z_000_79_a_history_of_greece_2, r_0079_0020__raided, conj2).
arc(z_000_79_a_history_of_greece_67, r_0079_0023__many, attrib68).
arc(z_000_79_a_history_of_greece_67, r_0079_0025__the_r_0079_0026__islands, r_0079_0024__of).


%3 r_0079_0001__While While r_0079_0004__was_r_0079_0005__being_r_0079_0006__divided was being divided r_0079_0001__While->r_0079_0004__was_r_0079_0005__being_r_0079_0006__divided [conj1] r_0079_0010__no_quant no [quant] r_0079_0001__While->r_0079_0010__no_quant [conj2] r_0079_0003__land land r_0079_0004__was_r_0079_0005__being_r_0079_0006__divided->r_0079_0003__land [arg1] z_000_79_a_history_of_greece_20 r_0079_0004__was_r_0079_0005__being_r_0079_0006__divided->z_000_79_a_history_of_greece_20 [arg0] r_0079_0008__there_r_0079_0009__was there was r_0079_0010__no_quant->r_0079_0008__there_r_0079_0009__was [scope] r_0079_0011__one one r_0079_0010__no_quant->r_0079_0011__one [restriction] r_0079_0002__Byzantine Byzantine r_0079_0003__land->r_0079_0002__Byzantine [attrib] r_0079_0008__there_r_0079_0009__was->r_0079_0011__one [arg0] r_0079_0013__control control r_0079_0008__there_r_0079_0009__was->r_0079_0013__control in [clr] r_0079_0015__the_r_0079_0016__seas the seas r_0079_0013__control->r_0079_0015__the_r_0079_0016__seas of r_0079_0020__raided raided r_0079_0018__so so r_0079_0020__raided->r_0079_0018__so [nim] r_0079_0019__pirates pirates r_0079_0020__raided->r_0079_0019__pirates [arg0] r_0079_0021__towns towns r_0079_0020__raided->r_0079_0021__towns [arg1] z_000_79_a_history_of_greece_67 r_0079_0021__towns->z_000_79_a_history_of_greece_67 on r_0079_0023__many many z_000_79_a_history_of_greece_67->r_0079_0023__many [attrib] r_0079_0025__the_r_0079_0026__islands the islands z_000_79_a_history_of_greece_67->r_0079_0025__the_r_0079_0026__islands of z_000_79_a_history_of_greece_2 z_000_79_a_history_of_greece_2->r_0079_0001__While [conj1] z_000_79_a_history_of_greece_2->r_0079_0020__raided [conj2] 
fof(formula,axiom,
    ? [Z_79_A_HISTORY_OF_GREECE_2,R_79_1_WHILE,R_79_4_WAS_BEING_DIVIDED,Z_79_A_HISTORY_OF_GREECE_20,R_79_3_LAND,R_79_2_BYZANTINE,R_79_20_RAIDED,R_79_19_PIRATES,R_79_21_TOWNS,Z_79_A_HISTORY_OF_GREECE_67,R_79_23_MANY,R_79_25_THE_ISLANDS,R_79_18_SO] :
      ( byzantine(R_79_2_BYZANTINE)
      & pirates(R_79_19_PIRATES)
      & many(R_79_23_MANY)
      & the_islands(R_79_25_THE_ISLANDS)
      & so(R_79_18_SO)
      & z_79_a_history_of_greece_2(Z_79_A_HISTORY_OF_GREECE_2)
      & conj1(Z_79_A_HISTORY_OF_GREECE_2,R_79_1_WHILE)
      & ! [R_79_11_ONE] :
          ( one(R_79_11_ONE)
         => ? [R_79_8_THERE_WAS,R_79_13_CONTROL,R_79_15_THE_SEAS] :
              ( the_seas(R_79_15_THE_SEAS)
              & there_was(R_79_8_THERE_WAS,R_79_11_ONE)
              & in_clr38(R_79_8_THERE_WAS,R_79_13_CONTROL)
              & control(R_79_13_CONTROL)
              & of(R_79_13_CONTROL,R_79_15_THE_SEAS) ) )
      & conj2(CONJ2)
      & while(R_79_1_WHILE)
      & conj1(R_79_1_WHILE,R_79_4_WAS_BEING_DIVIDED)
      & was_being_divided(R_79_4_WAS_BEING_DIVIDED,Z_79_A_HISTORY_OF_GREECE_20,R_79_3_LAND)
      & land(R_79_3_LAND)
      & attrib9(R_79_3_LAND,R_79_2_BYZANTINE)
      & conj2(Z_79_A_HISTORY_OF_GREECE_2,R_79_20_RAIDED)
      & raided(R_79_20_RAIDED,R_79_19_PIRATES,R_79_21_TOWNS)
      & towns(R_79_21_TOWNS)
      & on(R_79_21_TOWNS,Z_79_A_HISTORY_OF_GREECE_67)
      & z_79_a_history_of_greece_67(Z_79_A_HISTORY_OF_GREECE_67)
      & attrib68(Z_79_A_HISTORY_OF_GREECE_67,R_79_23_MANY)
      & of(Z_79_A_HISTORY_OF_GREECE_67,R_79_25_THE_ISLANDS)
      & nim53(R_79_20_RAIDED,R_79_18_SO) ) ).


n79_a_history_of_greece n79_a_history_of_greece_6 While n79_a_history_of_greece_11 Byzantine n79_a_history_of_greece_13 land n79_a_history_of_greece_15 was n79_a_history_of_greece_18 being n79_a_history_of_greece_21 * n79_a_history_of_greece_23 divided n79_a_history_of_greece_25 , n79_a_history_of_greece_27 there n79_a_history_of_greece_29 was n79_a_history_of_greece_32 no n79_a_history_of_greece_34 one n79_a_history_of_greece_37 in n79_a_history_of_greece_40 control n79_a_history_of_greece_43 of n79_a_history_of_greece_46 the n79_a_history_of_greece_48 seas n79_a_history_of_greece_50 , n79_a_history_of_greece_55 so n79_a_history_of_greece_58 pirates n79_a_history_of_greece_60 raided n79_a_history_of_greece_63 towns n79_a_history_of_greece_66 on n79_a_history_of_greece_70 many n79_a_history_of_greece_73 of n79_a_history_of_greece_76 the n79_a_history_of_greece_78 islands n79_a_history_of_greece_80 . n79_a_history_of_greece_1 IP-MAT n79_a_history_of_greece_2 ILYR n79_a_history_of_greece_1->n79_a_history_of_greece_2 n79_a_history_of_greece_79 PUNC n79_a_history_of_greece_1->n79_a_history_of_greece_79 n79_a_history_of_greece_3 ILYR n79_a_history_of_greece_2->n79_a_history_of_greece_3 n79_a_history_of_greece_49 PUNC n79_a_history_of_greece_2->n79_a_history_of_greece_49 n79_a_history_of_greece_51 CONJP n79_a_history_of_greece_2->n79_a_history_of_greece_51 n79_a_history_of_greece_4 PP-SCON n79_a_history_of_greece_3->n79_a_history_of_greece_4 n79_a_history_of_greece_24 PUNC n79_a_history_of_greece_3->n79_a_history_of_greece_24 n79_a_history_of_greece_26 EX n79_a_history_of_greece_3->n79_a_history_of_greece_26 n79_a_history_of_greece_28 BED;_ex_Vpr_ n79_a_history_of_greece_3->n79_a_history_of_greece_28 n79_a_history_of_greece_30 NP-ESBJ n79_a_history_of_greece_3->n79_a_history_of_greece_30 n79_a_history_of_greece_35 PP-CLR n79_a_history_of_greece_3->n79_a_history_of_greece_35 n79_a_history_of_greece_5 P-CONN n79_a_history_of_greece_4->n79_a_history_of_greece_5 n79_a_history_of_greece_7 IP-ADV n79_a_history_of_greece_4->n79_a_history_of_greece_7 n79_a_history_of_greece_5->n79_a_history_of_greece_6 n79_a_history_of_greece_8 NP-SBJ n79_a_history_of_greece_7->n79_a_history_of_greece_8 n79_a_history_of_greece_14 BED;_cat_Vg_ n79_a_history_of_greece_7->n79_a_history_of_greece_14 n79_a_history_of_greece_16 IP-PPL-CAT n79_a_history_of_greece_7->n79_a_history_of_greece_16 n79_a_history_of_greece_9 ADJP n79_a_history_of_greece_8->n79_a_history_of_greece_9 n79_a_history_of_greece_12 N n79_a_history_of_greece_8->n79_a_history_of_greece_12 n79_a_history_of_greece_10 ADJ n79_a_history_of_greece_9->n79_a_history_of_greece_10 n79_a_history_of_greece_10->n79_a_history_of_greece_11 n79_a_history_of_greece_12->n79_a_history_of_greece_13 n79_a_history_of_greece_14->n79_a_history_of_greece_15 n79_a_history_of_greece_17 BAG;_cat_VePASS_ n79_a_history_of_greece_16->n79_a_history_of_greece_17 n79_a_history_of_greece_19 IP-PPL-CAT n79_a_history_of_greece_16->n79_a_history_of_greece_19 n79_a_history_of_greece_17->n79_a_history_of_greece_18 n79_a_history_of_greece_20 NP-LGS n79_a_history_of_greece_19->n79_a_history_of_greece_20 n79_a_history_of_greece_22 VVN;_Tn_ n79_a_history_of_greece_19->n79_a_history_of_greece_22 n79_a_history_of_greece_20->n79_a_history_of_greece_21 n79_a_history_of_greece_22->n79_a_history_of_greece_23 n79_a_history_of_greece_24->n79_a_history_of_greece_25 n79_a_history_of_greece_26->n79_a_history_of_greece_27 n79_a_history_of_greece_28->n79_a_history_of_greece_29 n79_a_history_of_greece_31 Q n79_a_history_of_greece_30->n79_a_history_of_greece_31 n79_a_history_of_greece_33 N n79_a_history_of_greece_30->n79_a_history_of_greece_33 n79_a_history_of_greece_31->n79_a_history_of_greece_32 n79_a_history_of_greece_33->n79_a_history_of_greece_34 n79_a_history_of_greece_36 P-ROLE n79_a_history_of_greece_35->n79_a_history_of_greece_36 n79_a_history_of_greece_38 NP n79_a_history_of_greece_35->n79_a_history_of_greece_38 n79_a_history_of_greece_36->n79_a_history_of_greece_37 n79_a_history_of_greece_39 N n79_a_history_of_greece_38->n79_a_history_of_greece_39 n79_a_history_of_greece_41 PP n79_a_history_of_greece_38->n79_a_history_of_greece_41 n79_a_history_of_greece_39->n79_a_history_of_greece_40 n79_a_history_of_greece_42 P-ROLE n79_a_history_of_greece_41->n79_a_history_of_greece_42 n79_a_history_of_greece_44 NP n79_a_history_of_greece_41->n79_a_history_of_greece_44 n79_a_history_of_greece_42->n79_a_history_of_greece_43 n79_a_history_of_greece_45 D n79_a_history_of_greece_44->n79_a_history_of_greece_45 n79_a_history_of_greece_47 NS n79_a_history_of_greece_44->n79_a_history_of_greece_47 n79_a_history_of_greece_45->n79_a_history_of_greece_46 n79_a_history_of_greece_47->n79_a_history_of_greece_48 n79_a_history_of_greece_49->n79_a_history_of_greece_50 n79_a_history_of_greece_52 ILYR n79_a_history_of_greece_51->n79_a_history_of_greece_52 n79_a_history_of_greece_53 ADVP-NIM n79_a_history_of_greece_52->n79_a_history_of_greece_53 n79_a_history_of_greece_56 NP-SBJ n79_a_history_of_greece_52->n79_a_history_of_greece_56 n79_a_history_of_greece_59 VBD;_Tn_ n79_a_history_of_greece_52->n79_a_history_of_greece_59 n79_a_history_of_greece_61 NP-OB1 n79_a_history_of_greece_52->n79_a_history_of_greece_61 n79_a_history_of_greece_54 ADV n79_a_history_of_greece_53->n79_a_history_of_greece_54 n79_a_history_of_greece_54->n79_a_history_of_greece_55 n79_a_history_of_greece_57 NS n79_a_history_of_greece_56->n79_a_history_of_greece_57 n79_a_history_of_greece_57->n79_a_history_of_greece_58 n79_a_history_of_greece_59->n79_a_history_of_greece_60 n79_a_history_of_greece_62 NS n79_a_history_of_greece_61->n79_a_history_of_greece_62 n79_a_history_of_greece_64 PP n79_a_history_of_greece_61->n79_a_history_of_greece_64 n79_a_history_of_greece_62->n79_a_history_of_greece_63 n79_a_history_of_greece_65 P-ROLE n79_a_history_of_greece_64->n79_a_history_of_greece_65 n79_a_history_of_greece_67 NP n79_a_history_of_greece_64->n79_a_history_of_greece_67 n79_a_history_of_greece_65->n79_a_history_of_greece_66 n79_a_history_of_greece_68 ADJP n79_a_history_of_greece_67->n79_a_history_of_greece_68 n79_a_history_of_greece_71 PP n79_a_history_of_greece_67->n79_a_history_of_greece_71 n79_a_history_of_greece_69 ADJ n79_a_history_of_greece_68->n79_a_history_of_greece_69 n79_a_history_of_greece_69->n79_a_history_of_greece_70 n79_a_history_of_greece_72 P-ROLE n79_a_history_of_greece_71->n79_a_history_of_greece_72 n79_a_history_of_greece_74 NP n79_a_history_of_greece_71->n79_a_history_of_greece_74 n79_a_history_of_greece_72->n79_a_history_of_greece_73 n79_a_history_of_greece_75 D n79_a_history_of_greece_74->n79_a_history_of_greece_75 n79_a_history_of_greece_77 NS n79_a_history_of_greece_74->n79_a_history_of_greece_77 n79_a_history_of_greece_75->n79_a_history_of_greece_76 n79_a_history_of_greece_77->n79_a_history_of_greece_78 n79_a_history_of_greece_79->n79_a_history_of_greece_80 
( (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))