42_a_history_of_greece
From a power base in Anatolia, the Persians overran the eastern Aegean Islands and set their sights on the Cyclades.

%3 r_0042_0002__a_r_0042_0003__power_r_0042_0004__base a power base r_0042_0006__Anatolia Anatolia r_0042_0002__a_r_0042_0003__power_r_0042_0004__base->r_0042_0006__Anatolia in r_0042_0010__overran overran r_0042_0010__overran->r_0042_0002__a_r_0042_0003__power_r_0042_0004__base From [nim] r_0042_0008__the_r_0042_0009__Persians the Persians r_0042_0010__overran->r_0042_0008__the_r_0042_0009__Persians [arg0] r_0042_0011__the_r_0042_0013__Aegean_r_0042_0014__Islands the Aegean Islands r_0042_0010__overran->r_0042_0011__the_r_0042_0013__Aegean_r_0042_0014__Islands [arg1] r_0042_0012__eastern eastern r_0042_0011__the_r_0042_0013__Aegean_r_0042_0014__Islands->r_0042_0012__eastern [attrib] r_0042_0015__and and r_0042_0015__and->r_0042_0010__overran [conj1] r_0042_0016__set set r_0042_0015__and->r_0042_0016__set [conj2] r_0042_0016__set->r_0042_0002__a_r_0042_0003__power_r_0042_0004__base From [nim] r_0042_0016__set->r_0042_0008__the_r_0042_0009__Persians [arg0] r_0042_0018__sights sights r_0042_0016__set->r_0042_0018__sights [arg1] r_0042_0018__sights->r_0042_0008__the_r_0042_0009__Persians [gen] r_0042_0020__the_r_0042_0021__Cyclades the Cyclades r_0042_0018__sights->r_0042_0020__the_r_0042_0021__Cyclades on
arc(r_0042_0002__a_r_0042_0003__power_r_0042_0004__base, r_0042_0006__Anatolia, r_0042_0005__in).
arc(r_0042_0010__overran, r_0042_0002__a_r_0042_0003__power_r_0042_0004__base, r_0042_0001__From_nim5).
arc(r_0042_0010__overran, r_0042_0008__the_r_0042_0009__Persians, arg0).
arc(r_0042_0010__overran, r_0042_0011__the_r_0042_0013__Aegean_r_0042_0014__Islands, arg1).
arc(r_0042_0011__the_r_0042_0013__Aegean_r_0042_0014__Islands, r_0042_0012__eastern, attrib32).
arc(r_0042_0015__and, r_0042_0010__overran, conj1).
arc(r_0042_0015__and, r_0042_0016__set, conj2).
arc(r_0042_0016__set, r_0042_0002__a_r_0042_0003__power_r_0042_0004__base, r_0042_0001__From_nim5).
arc(r_0042_0016__set, r_0042_0008__the_r_0042_0009__Persians, arg0).
arc(r_0042_0016__set, r_0042_0018__sights, arg1).
arc(r_0042_0018__sights, r_0042_0008__the_r_0042_0009__Persians, gen).
arc(r_0042_0018__sights, r_0042_0020__the_r_0042_0021__Cyclades, r_0042_0019__on).



%3 r_0042_0002__a_r_0042_0003__power_r_0042_0004__base a power base r_0042_0006__Anatolia Anatolia r_0042_0002__a_r_0042_0003__power_r_0042_0004__base->r_0042_0006__Anatolia in r_0042_0010__overran overran r_0042_0010__overran->r_0042_0002__a_r_0042_0003__power_r_0042_0004__base From [nim] r_0042_0008__the_r_0042_0009__Persians the Persians r_0042_0010__overran->r_0042_0008__the_r_0042_0009__Persians [arg0] r_0042_0011__the_r_0042_0013__Aegean_r_0042_0014__Islands the Aegean Islands r_0042_0010__overran->r_0042_0011__the_r_0042_0013__Aegean_r_0042_0014__Islands [arg1] r_0042_0012__eastern eastern r_0042_0011__the_r_0042_0013__Aegean_r_0042_0014__Islands->r_0042_0012__eastern [attrib] r_0042_0015__and and r_0042_0015__and->r_0042_0010__overran [conj1] r_0042_0016__set set r_0042_0015__and->r_0042_0016__set [conj2] r_0042_0016__set->r_0042_0002__a_r_0042_0003__power_r_0042_0004__base From [nim] r_0042_0016__set->r_0042_0008__the_r_0042_0009__Persians [arg0] r_0042_0018__sights sights r_0042_0016__set->r_0042_0018__sights [arg1] r_0042_0018__sights->r_0042_0008__the_r_0042_0009__Persians [gen] r_0042_0020__the_r_0042_0021__Cyclades the Cyclades r_0042_0018__sights->r_0042_0020__the_r_0042_0021__Cyclades on
fof(formula,axiom,
    ? [R_42_15_AND,R_42_10_OVERRAN,R_42_11_THE_AEGEAN_ISLANDS,R_42_12_EASTERN,R_42_16_SET,R_42_18_SIGHTS,R_42_8_THE_PERSIANS,R_42_20_THE_CYCLADES,R_42_2_A_POWER_BASE,R_42_6_ANATOLIA] :
      ( eastern(R_42_12_EASTERN)
      & the_Persians(R_42_8_THE_PERSIANS)
      & the_Cyclades(R_42_20_THE_CYCLADES)
      & anatolia(R_42_6_ANATOLIA)
      & and(R_42_15_AND)
      & conj1(R_42_15_AND,R_42_10_OVERRAN)
      & overran(R_42_10_OVERRAN,R_42_8_THE_PERSIANS,R_42_11_THE_AEGEAN_ISLANDS)
      & the_Aegean_Islands(R_42_11_THE_AEGEAN_ISLANDS)
      & attrib32(R_42_11_THE_AEGEAN_ISLANDS,R_42_12_EASTERN)
      & from_nim5(R_42_10_OVERRAN,R_42_2_A_POWER_BASE)
      & a_power_base(R_42_2_A_POWER_BASE)
      & in(R_42_2_A_POWER_BASE,R_42_6_ANATOLIA)
      & conj2(R_42_15_AND,R_42_16_SET)
      & set(R_42_16_SET,R_42_8_THE_PERSIANS,R_42_18_SIGHTS)
      & sights(R_42_18_SIGHTS)
      & gen(R_42_18_SIGHTS,R_42_8_THE_PERSIANS)
      & on(R_42_18_SIGHTS,R_42_20_THE_CYCLADES)
      & from_nim5(R_42_16_SET,R_42_2_A_POWER_BASE) ) ).



n42_a_history_of_greece n42_a_history_of_greece_4 From n42_a_history_of_greece_7 a n42_a_history_of_greece_9 power n42_a_history_of_greece_11 base n42_a_history_of_greece_14 in n42_a_history_of_greece_17 Anatolia n42_a_history_of_greece_19 , n42_a_history_of_greece_22 the n42_a_history_of_greece_24 Persians n42_a_history_of_greece_28 overran n42_a_history_of_greece_31 the n42_a_history_of_greece_34 eastern n42_a_history_of_greece_36 Aegean n42_a_history_of_greece_38 Islands n42_a_history_of_greece_41 and n42_a_history_of_greece_44 set n42_a_history_of_greece_48 their n42_a_history_of_greece_50 sights n42_a_history_of_greece_53 on n42_a_history_of_greece_56 the n42_a_history_of_greece_58 Cyclades n42_a_history_of_greece_60 . n42_a_history_of_greece_1 IP-MAT n42_a_history_of_greece_2 PP-NIM n42_a_history_of_greece_1->n42_a_history_of_greece_2 n42_a_history_of_greece_18 PUNC n42_a_history_of_greece_1->n42_a_history_of_greece_18 n42_a_history_of_greece_20 NP-SBJ n42_a_history_of_greece_1->n42_a_history_of_greece_20 n42_a_history_of_greece_25 ILYR n42_a_history_of_greece_1->n42_a_history_of_greece_25 n42_a_history_of_greece_59 PUNC n42_a_history_of_greece_1->n42_a_history_of_greece_59 n42_a_history_of_greece_3 P-ROLE n42_a_history_of_greece_2->n42_a_history_of_greece_3 n42_a_history_of_greece_5 NP n42_a_history_of_greece_2->n42_a_history_of_greece_5 n42_a_history_of_greece_3->n42_a_history_of_greece_4 n42_a_history_of_greece_6 D n42_a_history_of_greece_5->n42_a_history_of_greece_6 n42_a_history_of_greece_8 N n42_a_history_of_greece_5->n42_a_history_of_greece_8 n42_a_history_of_greece_10 N n42_a_history_of_greece_5->n42_a_history_of_greece_10 n42_a_history_of_greece_12 PP n42_a_history_of_greece_5->n42_a_history_of_greece_12 n42_a_history_of_greece_6->n42_a_history_of_greece_7 n42_a_history_of_greece_8->n42_a_history_of_greece_9 n42_a_history_of_greece_10->n42_a_history_of_greece_11 n42_a_history_of_greece_13 P-ROLE n42_a_history_of_greece_12->n42_a_history_of_greece_13 n42_a_history_of_greece_15 NP n42_a_history_of_greece_12->n42_a_history_of_greece_15 n42_a_history_of_greece_13->n42_a_history_of_greece_14 n42_a_history_of_greece_16 NPR n42_a_history_of_greece_15->n42_a_history_of_greece_16 n42_a_history_of_greece_16->n42_a_history_of_greece_17 n42_a_history_of_greece_18->n42_a_history_of_greece_19 n42_a_history_of_greece_21 D n42_a_history_of_greece_20->n42_a_history_of_greece_21 n42_a_history_of_greece_23 NPRS n42_a_history_of_greece_20->n42_a_history_of_greece_23 n42_a_history_of_greece_21->n42_a_history_of_greece_22 n42_a_history_of_greece_23->n42_a_history_of_greece_24 n42_a_history_of_greece_26 ILYR n42_a_history_of_greece_25->n42_a_history_of_greece_26 n42_a_history_of_greece_39 CONJP n42_a_history_of_greece_25->n42_a_history_of_greece_39 n42_a_history_of_greece_27 VBD;_Tn_ n42_a_history_of_greece_26->n42_a_history_of_greece_27 n42_a_history_of_greece_29 NP-OB1 n42_a_history_of_greece_26->n42_a_history_of_greece_29 n42_a_history_of_greece_27->n42_a_history_of_greece_28 n42_a_history_of_greece_30 D n42_a_history_of_greece_29->n42_a_history_of_greece_30 n42_a_history_of_greece_32 ADJP n42_a_history_of_greece_29->n42_a_history_of_greece_32 n42_a_history_of_greece_35 NPR n42_a_history_of_greece_29->n42_a_history_of_greece_35 n42_a_history_of_greece_37 NPRS n42_a_history_of_greece_29->n42_a_history_of_greece_37 n42_a_history_of_greece_30->n42_a_history_of_greece_31 n42_a_history_of_greece_33 ADJ n42_a_history_of_greece_32->n42_a_history_of_greece_33 n42_a_history_of_greece_33->n42_a_history_of_greece_34 n42_a_history_of_greece_35->n42_a_history_of_greece_36 n42_a_history_of_greece_37->n42_a_history_of_greece_38 n42_a_history_of_greece_40 CONJ n42_a_history_of_greece_39->n42_a_history_of_greece_40 n42_a_history_of_greece_42 ILYR n42_a_history_of_greece_39->n42_a_history_of_greece_42 n42_a_history_of_greece_40->n42_a_history_of_greece_41 n42_a_history_of_greece_43 VBD;_Tn_ n42_a_history_of_greece_42->n42_a_history_of_greece_43 n42_a_history_of_greece_45 NP-OB1 n42_a_history_of_greece_42->n42_a_history_of_greece_45 n42_a_history_of_greece_43->n42_a_history_of_greece_44 n42_a_history_of_greece_46 NP-GEN n42_a_history_of_greece_45->n42_a_history_of_greece_46 n42_a_history_of_greece_49 NS n42_a_history_of_greece_45->n42_a_history_of_greece_49 n42_a_history_of_greece_51 PP n42_a_history_of_greece_45->n42_a_history_of_greece_51 n42_a_history_of_greece_47 PRO;_genm_ n42_a_history_of_greece_46->n42_a_history_of_greece_47 n42_a_history_of_greece_47->n42_a_history_of_greece_48 n42_a_history_of_greece_49->n42_a_history_of_greece_50 n42_a_history_of_greece_52 P-ROLE n42_a_history_of_greece_51->n42_a_history_of_greece_52 n42_a_history_of_greece_54 NP n42_a_history_of_greece_51->n42_a_history_of_greece_54 n42_a_history_of_greece_52->n42_a_history_of_greece_53 n42_a_history_of_greece_55 D n42_a_history_of_greece_54->n42_a_history_of_greece_55 n42_a_history_of_greece_57 NPRS n42_a_history_of_greece_54->n42_a_history_of_greece_57 n42_a_history_of_greece_55->n42_a_history_of_greece_56 n42_a_history_of_greece_57->n42_a_history_of_greece_58 n42_a_history_of_greece_59->n42_a_history_of_greece_60
( (IP-MAT (PP-NIM (P-ROLE From;{from})
                  (NP (D a;{a})
                      (N power;{power})
                      (N base;{base})
                      (PP (P-ROLE in;{in})
                          (NP (NPR Anatolia;{Anatolia})))))
          (PUNC ,)
          (NP-SBJ;{PERSIANS} (D the;{the})
                             (NPRS Persians;{Persians}))
          (ILYR (ILYR (VBD;_Tn_ overran;{overrun})
                      (NP-OB1 (D the;{the})
                              (ADJP (ADJ eastern;{eastern}))
                              (NPR Aegean;{Aegean})
                              (NPRS Islands;{Islands})))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn_ set;{set})
                             (NP-OB1 (NP-GEN;{PERSIANS} (PRO;_genm_ their;{their}))
                                     (NS sights;{sight})
                                     (PP (P-ROLE on;{on})
                                         (NP (D the;{the})
                                             (NPRS Cyclades;{Cyclades})))))))
          (PUNC .))
  (ID 42_a_history_of_greece))