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_0018__sights sights r_0042_0020__the_r_0042_0021__Cyclades the Cyclades r_0042_0018__sights->r_0042_0020__the_r_0042_0021__Cyclades on r_0042_0008__the_r_0042_0009__Persians the Persians r_0042_0018__sights->r_0042_0008__the_r_0042_0009__Persians [gen] r_0042_0016__set set r_0042_0016__set->r_0042_0018__sights [arg1] r_0042_0016__set->r_0042_0008__the_r_0042_0009__Persians [arg0] r_0042_0002__a_r_0042_0003__power_r_0042_0004__base a power base r_0042_0016__set->r_0042_0002__a_r_0042_0003__power_r_0042_0004__base From [nim] r_0042_0006__Anatolia Anatolia r_0042_0002__a_r_0042_0003__power_r_0042_0004__base->r_0042_0006__Anatolia in r_0042_0015__and and r_0042_0015__and->r_0042_0016__set [conj2] r_0042_0010__overran overran r_0042_0015__and->r_0042_0010__overran [conj1] r_0042_0010__overran->r_0042_0008__the_r_0042_0009__Persians [arg0] r_0042_0010__overran->r_0042_0002__a_r_0042_0003__power_r_0042_0004__base From [nim] 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]
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__1_1_1_1 From n42_a_history_of_greece__1_1_2_1_1 a n42_a_history_of_greece__1_1_2_2_1 power n42_a_history_of_greece__1_1_2_3_1 base n42_a_history_of_greece__1_1_2_4_1_1 in n42_a_history_of_greece__1_1_2_4_2_1_1 Anatolia n42_a_history_of_greece__1_2_1 , n42_a_history_of_greece__1_3_1_1 the n42_a_history_of_greece__1_3_2_1 Persians n42_a_history_of_greece__1_4_1_1_1 overran n42_a_history_of_greece__1_4_1_2_1_1 the n42_a_history_of_greece__1_4_1_2_2_1_1 eastern n42_a_history_of_greece__1_4_1_2_3_1 Aegean n42_a_history_of_greece__1_4_1_2_4_1 Islands n42_a_history_of_greece__1_4_2_1_1 and n42_a_history_of_greece__1_4_2_2_1_1 set n42_a_history_of_greece__1_4_2_2_2_1_1_1 their n42_a_history_of_greece__1_4_2_2_2_2_1 sights n42_a_history_of_greece__1_4_2_2_2_3_1_1 on n42_a_history_of_greece__1_4_2_2_2_3_2_1_1 the n42_a_history_of_greece__1_4_2_2_2_3_2_2_1 Cyclades n42_a_history_of_greece__1_5_1 . n42_a_history_of_greece__1 IP-MAT n42_a_history_of_greece__1_1 PP-NIM n42_a_history_of_greece__1->n42_a_history_of_greece__1_1 n42_a_history_of_greece__1_2 PUNC n42_a_history_of_greece__1->n42_a_history_of_greece__1_2 n42_a_history_of_greece__1_3 NP-SBJ n42_a_history_of_greece__1->n42_a_history_of_greece__1_3 n42_a_history_of_greece__1_4 ILYR n42_a_history_of_greece__1->n42_a_history_of_greece__1_4 n42_a_history_of_greece__1_5 PUNC n42_a_history_of_greece__1->n42_a_history_of_greece__1_5 n42_a_history_of_greece__1_1_1 P-ROLE n42_a_history_of_greece__1_1->n42_a_history_of_greece__1_1_1 n42_a_history_of_greece__1_1_2 NP n42_a_history_of_greece__1_1->n42_a_history_of_greece__1_1_2 n42_a_history_of_greece__1_1_1->n42_a_history_of_greece__1_1_1_1 n42_a_history_of_greece__1_1_2_1 D n42_a_history_of_greece__1_1_2->n42_a_history_of_greece__1_1_2_1 n42_a_history_of_greece__1_1_2_2 N n42_a_history_of_greece__1_1_2->n42_a_history_of_greece__1_1_2_2 n42_a_history_of_greece__1_1_2_3 N n42_a_history_of_greece__1_1_2->n42_a_history_of_greece__1_1_2_3 n42_a_history_of_greece__1_1_2_4 PP n42_a_history_of_greece__1_1_2->n42_a_history_of_greece__1_1_2_4 n42_a_history_of_greece__1_1_2_1->n42_a_history_of_greece__1_1_2_1_1 n42_a_history_of_greece__1_1_2_2->n42_a_history_of_greece__1_1_2_2_1 n42_a_history_of_greece__1_1_2_3->n42_a_history_of_greece__1_1_2_3_1 n42_a_history_of_greece__1_1_2_4_1 P-ROLE n42_a_history_of_greece__1_1_2_4->n42_a_history_of_greece__1_1_2_4_1 n42_a_history_of_greece__1_1_2_4_2 NP n42_a_history_of_greece__1_1_2_4->n42_a_history_of_greece__1_1_2_4_2 n42_a_history_of_greece__1_1_2_4_1->n42_a_history_of_greece__1_1_2_4_1_1 n42_a_history_of_greece__1_1_2_4_2_1 NPR n42_a_history_of_greece__1_1_2_4_2->n42_a_history_of_greece__1_1_2_4_2_1 n42_a_history_of_greece__1_1_2_4_2_1->n42_a_history_of_greece__1_1_2_4_2_1_1 n42_a_history_of_greece__1_2->n42_a_history_of_greece__1_2_1 n42_a_history_of_greece__1_3_1 D n42_a_history_of_greece__1_3->n42_a_history_of_greece__1_3_1 n42_a_history_of_greece__1_3_2 NPRS n42_a_history_of_greece__1_3->n42_a_history_of_greece__1_3_2 n42_a_history_of_greece__1_3_1->n42_a_history_of_greece__1_3_1_1 n42_a_history_of_greece__1_3_2->n42_a_history_of_greece__1_3_2_1 n42_a_history_of_greece__1_4_1 ILYR n42_a_history_of_greece__1_4->n42_a_history_of_greece__1_4_1 n42_a_history_of_greece__1_4_2 CONJP n42_a_history_of_greece__1_4->n42_a_history_of_greece__1_4_2 n42_a_history_of_greece__1_4_1_1 VBD;_Tn_ n42_a_history_of_greece__1_4_1->n42_a_history_of_greece__1_4_1_1 n42_a_history_of_greece__1_4_1_2 NP-OB1 n42_a_history_of_greece__1_4_1->n42_a_history_of_greece__1_4_1_2 n42_a_history_of_greece__1_4_1_1->n42_a_history_of_greece__1_4_1_1_1 n42_a_history_of_greece__1_4_1_2_1 D n42_a_history_of_greece__1_4_1_2->n42_a_history_of_greece__1_4_1_2_1 n42_a_history_of_greece__1_4_1_2_2 ADJP n42_a_history_of_greece__1_4_1_2->n42_a_history_of_greece__1_4_1_2_2 n42_a_history_of_greece__1_4_1_2_3 NPR n42_a_history_of_greece__1_4_1_2->n42_a_history_of_greece__1_4_1_2_3 n42_a_history_of_greece__1_4_1_2_4 NPRS n42_a_history_of_greece__1_4_1_2->n42_a_history_of_greece__1_4_1_2_4 n42_a_history_of_greece__1_4_1_2_1->n42_a_history_of_greece__1_4_1_2_1_1 n42_a_history_of_greece__1_4_1_2_2_1 ADJ n42_a_history_of_greece__1_4_1_2_2->n42_a_history_of_greece__1_4_1_2_2_1 n42_a_history_of_greece__1_4_1_2_2_1->n42_a_history_of_greece__1_4_1_2_2_1_1 n42_a_history_of_greece__1_4_1_2_3->n42_a_history_of_greece__1_4_1_2_3_1 n42_a_history_of_greece__1_4_1_2_4->n42_a_history_of_greece__1_4_1_2_4_1 n42_a_history_of_greece__1_4_2_1 CONJ n42_a_history_of_greece__1_4_2->n42_a_history_of_greece__1_4_2_1 n42_a_history_of_greece__1_4_2_2 ILYR n42_a_history_of_greece__1_4_2->n42_a_history_of_greece__1_4_2_2 n42_a_history_of_greece__1_4_2_1->n42_a_history_of_greece__1_4_2_1_1 n42_a_history_of_greece__1_4_2_2_1 VBD;_Tn_ n42_a_history_of_greece__1_4_2_2->n42_a_history_of_greece__1_4_2_2_1 n42_a_history_of_greece__1_4_2_2_2 NP-OB1 n42_a_history_of_greece__1_4_2_2->n42_a_history_of_greece__1_4_2_2_2 n42_a_history_of_greece__1_4_2_2_1->n42_a_history_of_greece__1_4_2_2_1_1 n42_a_history_of_greece__1_4_2_2_2_1 NP-GEN n42_a_history_of_greece__1_4_2_2_2->n42_a_history_of_greece__1_4_2_2_2_1 n42_a_history_of_greece__1_4_2_2_2_2 NS n42_a_history_of_greece__1_4_2_2_2->n42_a_history_of_greece__1_4_2_2_2_2 n42_a_history_of_greece__1_4_2_2_2_3 PP n42_a_history_of_greece__1_4_2_2_2->n42_a_history_of_greece__1_4_2_2_2_3 n42_a_history_of_greece__1_4_2_2_2_1_1 PRO;_genm_ n42_a_history_of_greece__1_4_2_2_2_1->n42_a_history_of_greece__1_4_2_2_2_1_1 n42_a_history_of_greece__1_4_2_2_2_1_1->n42_a_history_of_greece__1_4_2_2_2_1_1_1 n42_a_history_of_greece__1_4_2_2_2_2->n42_a_history_of_greece__1_4_2_2_2_2_1 n42_a_history_of_greece__1_4_2_2_2_3_1 P-ROLE n42_a_history_of_greece__1_4_2_2_2_3->n42_a_history_of_greece__1_4_2_2_2_3_1 n42_a_history_of_greece__1_4_2_2_2_3_2 NP n42_a_history_of_greece__1_4_2_2_2_3->n42_a_history_of_greece__1_4_2_2_2_3_2 n42_a_history_of_greece__1_4_2_2_2_3_1->n42_a_history_of_greece__1_4_2_2_2_3_1_1 n42_a_history_of_greece__1_4_2_2_2_3_2_1 D n42_a_history_of_greece__1_4_2_2_2_3_2->n42_a_history_of_greece__1_4_2_2_2_3_2_1 n42_a_history_of_greece__1_4_2_2_2_3_2_2 NPRS n42_a_history_of_greece__1_4_2_2_2_3_2->n42_a_history_of_greece__1_4_2_2_2_3_2_2 n42_a_history_of_greece__1_4_2_2_2_3_2_1->n42_a_history_of_greece__1_4_2_2_2_3_2_1_1 n42_a_history_of_greece__1_4_2_2_2_3_2_2->n42_a_history_of_greece__1_4_2_2_2_3_2_2_1 n42_a_history_of_greece__1_5->n42_a_history_of_greece__1_5_1
( (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))