5_a_history_of_greece
They eventually reached the islands, and founded colonies on the islands in the northernmost part of the Aegean Sea.

%3 r_0005_0003__reached reached r_0005_0001__They They r_0005_0003__reached->r_0005_0001__They [arg0] r_0005_0002__eventually eventually r_0005_0003__reached->r_0005_0002__eventually [nim] r_0005_0004__the_r_0005_0005__islands the islands r_0005_0003__reached->r_0005_0004__the_r_0005_0005__islands [arg1] r_0005_0007__and and r_0005_0007__and->r_0005_0003__reached [conj1] r_0005_0008__founded founded r_0005_0007__and->r_0005_0008__founded [conj2] r_0005_0008__founded->r_0005_0001__They [arg0] r_0005_0009__colonies colonies r_0005_0008__founded->r_0005_0009__colonies [arg1] r_0005_0011__the_r_0005_0012__islands the islands r_0005_0009__colonies->r_0005_0011__the_r_0005_0012__islands on r_0005_0014__the_r_0005_0016__part the part r_0005_0011__the_r_0005_0012__islands->r_0005_0014__the_r_0005_0016__part in r_0005_0015__northernmost northernmost r_0005_0014__the_r_0005_0016__part->r_0005_0015__northernmost [attrib] r_0005_0018__the_r_0005_0019__Aegean_r_0005_0020__Sea the Aegean Sea r_0005_0014__the_r_0005_0016__part->r_0005_0018__the_r_0005_0019__Aegean_r_0005_0020__Sea of
arc(r_0005_0003__reached, r_0005_0001__They, arg0).
arc(r_0005_0003__reached, r_0005_0002__eventually, nim7).
arc(r_0005_0003__reached, r_0005_0004__the_r_0005_0005__islands, arg1).
arc(r_0005_0007__and, r_0005_0003__reached, conj1).
arc(r_0005_0007__and, r_0005_0008__founded, conj2).
arc(r_0005_0008__founded, r_0005_0001__They, arg0).
arc(r_0005_0008__founded, r_0005_0009__colonies, arg1).
arc(r_0005_0009__colonies, r_0005_0011__the_r_0005_0012__islands, r_0005_0010__on).
arc(r_0005_0011__the_r_0005_0012__islands, r_0005_0014__the_r_0005_0016__part, r_0005_0013__in).
arc(r_0005_0014__the_r_0005_0016__part, r_0005_0015__northernmost, attrib42).
arc(r_0005_0014__the_r_0005_0016__part, r_0005_0018__the_r_0005_0019__Aegean_r_0005_0020__Sea, r_0005_0017__of).



%3 r_0005_0014__the_r_0005_0016__part the part r_0005_0018__the_r_0005_0019__Aegean_r_0005_0020__Sea the Aegean Sea r_0005_0014__the_r_0005_0016__part->r_0005_0018__the_r_0005_0019__Aegean_r_0005_0020__Sea of r_0005_0015__northernmost northernmost r_0005_0014__the_r_0005_0016__part->r_0005_0015__northernmost [attrib] r_0005_0011__the_r_0005_0012__islands the islands r_0005_0011__the_r_0005_0012__islands->r_0005_0014__the_r_0005_0016__part in r_0005_0009__colonies colonies r_0005_0009__colonies->r_0005_0011__the_r_0005_0012__islands on r_0005_0008__founded founded r_0005_0008__founded->r_0005_0009__colonies [arg1] r_0005_0001__They They r_0005_0008__founded->r_0005_0001__They [arg0] r_0005_0007__and and r_0005_0007__and->r_0005_0008__founded [conj2] r_0005_0003__reached reached r_0005_0007__and->r_0005_0003__reached [conj1] r_0005_0003__reached->r_0005_0001__They [arg0] r_0005_0004__the_r_0005_0005__islands the islands r_0005_0003__reached->r_0005_0004__the_r_0005_0005__islands [arg1] r_0005_0002__eventually eventually r_0005_0003__reached->r_0005_0002__eventually [nim]
fof(formula,axiom,
    ? [R_5_7_AND,R_5_3_REACHED,R_5_4_THE_ISLANDS,R_5_2_EVENTUALLY,R_5_8_FOUNDED,R_5_1_THEY,R_5_9_COLONIES,R_5_11_THE_ISLANDS,R_5_14_THE_PART,R_5_15_NORTHERNMOST,R_5_18_THE_AEGEAN_SEA] :
      ( the_islands(R_5_4_THE_ISLANDS)
      & eventually(R_5_2_EVENTUALLY)
      & they(R_5_1_THEY)
      & northernmost(R_5_15_NORTHERNMOST)
      & the_Aegean_Sea(R_5_18_THE_AEGEAN_SEA)
      & and(R_5_7_AND)
      & conj1(R_5_7_AND,R_5_3_REACHED)
      & reached(R_5_3_REACHED,R_5_1_THEY,R_5_4_THE_ISLANDS)
      & nim7(R_5_3_REACHED,R_5_2_EVENTUALLY)
      & conj2(R_5_7_AND,R_5_8_FOUNDED)
      & founded(R_5_8_FOUNDED,R_5_1_THEY,R_5_9_COLONIES)
      & colonies(R_5_9_COLONIES)
      & on(R_5_9_COLONIES,R_5_11_THE_ISLANDS)
      & the_islands(R_5_11_THE_ISLANDS)
      & in(R_5_11_THE_ISLANDS,R_5_14_THE_PART)
      & the_part(R_5_14_THE_PART)
      & attrib42(R_5_14_THE_PART,R_5_15_NORTHERNMOST)
      & of(R_5_14_THE_PART,R_5_18_THE_AEGEAN_SEA) ) ).



n5_a_history_of_greece n5_a_history_of_greece__1_1_1_1 They n5_a_history_of_greece__1_2_1_1_1_1 eventually n5_a_history_of_greece__1_2_1_2_1 reached n5_a_history_of_greece__1_2_1_3_1_1 the n5_a_history_of_greece__1_2_1_3_2_1 islands n5_a_history_of_greece__1_2_2_1 , n5_a_history_of_greece__1_2_3_1_1 and n5_a_history_of_greece__1_2_3_2_1_1 founded n5_a_history_of_greece__1_2_3_2_2_1_1 colonies n5_a_history_of_greece__1_2_3_2_2_2_1_1 on n5_a_history_of_greece__1_2_3_2_2_2_2_1_1 the n5_a_history_of_greece__1_2_3_2_2_2_2_2_1 islands n5_a_history_of_greece__1_2_3_2_2_2_2_3_1_1 in n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_1_1 the n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_2_1_1 northernmost n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_3_1 part n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_1_1 of n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_1_1 the n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_2_1 Aegean n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_3_1 Sea n5_a_history_of_greece__1_3_1 . n5_a_history_of_greece__1 IP-MAT n5_a_history_of_greece__1_1 NP-SBJ n5_a_history_of_greece__1->n5_a_history_of_greece__1_1 n5_a_history_of_greece__1_2 ILYR n5_a_history_of_greece__1->n5_a_history_of_greece__1_2 n5_a_history_of_greece__1_3 PUNC n5_a_history_of_greece__1->n5_a_history_of_greece__1_3 n5_a_history_of_greece__1_1_1 PRO n5_a_history_of_greece__1_1->n5_a_history_of_greece__1_1_1 n5_a_history_of_greece__1_1_1->n5_a_history_of_greece__1_1_1_1 n5_a_history_of_greece__1_2_1 ILYR n5_a_history_of_greece__1_2->n5_a_history_of_greece__1_2_1 n5_a_history_of_greece__1_2_2 PUNC n5_a_history_of_greece__1_2->n5_a_history_of_greece__1_2_2 n5_a_history_of_greece__1_2_3 CONJP n5_a_history_of_greece__1_2->n5_a_history_of_greece__1_2_3 n5_a_history_of_greece__1_2_1_1 ADVP-NIM n5_a_history_of_greece__1_2_1->n5_a_history_of_greece__1_2_1_1 n5_a_history_of_greece__1_2_1_2 VBD;_Tn_ n5_a_history_of_greece__1_2_1->n5_a_history_of_greece__1_2_1_2 n5_a_history_of_greece__1_2_1_3 NP-OB1 n5_a_history_of_greece__1_2_1->n5_a_history_of_greece__1_2_1_3 n5_a_history_of_greece__1_2_1_1_1 ADV n5_a_history_of_greece__1_2_1_1->n5_a_history_of_greece__1_2_1_1_1 n5_a_history_of_greece__1_2_1_1_1->n5_a_history_of_greece__1_2_1_1_1_1 n5_a_history_of_greece__1_2_1_2->n5_a_history_of_greece__1_2_1_2_1 n5_a_history_of_greece__1_2_1_3_1 D n5_a_history_of_greece__1_2_1_3->n5_a_history_of_greece__1_2_1_3_1 n5_a_history_of_greece__1_2_1_3_2 NS n5_a_history_of_greece__1_2_1_3->n5_a_history_of_greece__1_2_1_3_2 n5_a_history_of_greece__1_2_1_3_1->n5_a_history_of_greece__1_2_1_3_1_1 n5_a_history_of_greece__1_2_1_3_2->n5_a_history_of_greece__1_2_1_3_2_1 n5_a_history_of_greece__1_2_2->n5_a_history_of_greece__1_2_2_1 n5_a_history_of_greece__1_2_3_1 CONJ n5_a_history_of_greece__1_2_3->n5_a_history_of_greece__1_2_3_1 n5_a_history_of_greece__1_2_3_2 ILYR n5_a_history_of_greece__1_2_3->n5_a_history_of_greece__1_2_3_2 n5_a_history_of_greece__1_2_3_1->n5_a_history_of_greece__1_2_3_1_1 n5_a_history_of_greece__1_2_3_2_1 VBD;_Tn_ n5_a_history_of_greece__1_2_3_2->n5_a_history_of_greece__1_2_3_2_1 n5_a_history_of_greece__1_2_3_2_2 NP-OB1 n5_a_history_of_greece__1_2_3_2->n5_a_history_of_greece__1_2_3_2_2 n5_a_history_of_greece__1_2_3_2_1->n5_a_history_of_greece__1_2_3_2_1_1 n5_a_history_of_greece__1_2_3_2_2_1 NS n5_a_history_of_greece__1_2_3_2_2->n5_a_history_of_greece__1_2_3_2_2_1 n5_a_history_of_greece__1_2_3_2_2_2 PP n5_a_history_of_greece__1_2_3_2_2->n5_a_history_of_greece__1_2_3_2_2_2 n5_a_history_of_greece__1_2_3_2_2_1->n5_a_history_of_greece__1_2_3_2_2_1_1 n5_a_history_of_greece__1_2_3_2_2_2_1 P-ROLE n5_a_history_of_greece__1_2_3_2_2_2->n5_a_history_of_greece__1_2_3_2_2_2_1 n5_a_history_of_greece__1_2_3_2_2_2_2 NP n5_a_history_of_greece__1_2_3_2_2_2->n5_a_history_of_greece__1_2_3_2_2_2_2 n5_a_history_of_greece__1_2_3_2_2_2_1->n5_a_history_of_greece__1_2_3_2_2_2_1_1 n5_a_history_of_greece__1_2_3_2_2_2_2_1 D n5_a_history_of_greece__1_2_3_2_2_2_2->n5_a_history_of_greece__1_2_3_2_2_2_2_1 n5_a_history_of_greece__1_2_3_2_2_2_2_2 NS n5_a_history_of_greece__1_2_3_2_2_2_2->n5_a_history_of_greece__1_2_3_2_2_2_2_2 n5_a_history_of_greece__1_2_3_2_2_2_2_3 PP n5_a_history_of_greece__1_2_3_2_2_2_2->n5_a_history_of_greece__1_2_3_2_2_2_2_3 n5_a_history_of_greece__1_2_3_2_2_2_2_1->n5_a_history_of_greece__1_2_3_2_2_2_2_1_1 n5_a_history_of_greece__1_2_3_2_2_2_2_2->n5_a_history_of_greece__1_2_3_2_2_2_2_2_1 n5_a_history_of_greece__1_2_3_2_2_2_2_3_1 P-ROLE n5_a_history_of_greece__1_2_3_2_2_2_2_3->n5_a_history_of_greece__1_2_3_2_2_2_2_3_1 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2 NP n5_a_history_of_greece__1_2_3_2_2_2_2_3->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2 n5_a_history_of_greece__1_2_3_2_2_2_2_3_1->n5_a_history_of_greece__1_2_3_2_2_2_2_3_1_1 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_1 D n5_a_history_of_greece__1_2_3_2_2_2_2_3_2->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_1 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_2 ADJP n5_a_history_of_greece__1_2_3_2_2_2_2_3_2->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_2 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_3 N n5_a_history_of_greece__1_2_3_2_2_2_2_3_2->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_3 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4 PP n5_a_history_of_greece__1_2_3_2_2_2_2_3_2->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_1->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_1_1 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_2_1 ADJ n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_2->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_2_1 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_2_1->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_2_1_1 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_3->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_3_1 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_1 P-ROLE n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_1 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2 NP n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_1->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_1_1 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_1 D n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_1 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_2 NPR n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_2 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_3 NPR n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_3 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_1->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_1_1 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_2->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_2_1 n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_3->n5_a_history_of_greece__1_2_3_2_2_2_2_3_2_4_2_3_1 n5_a_history_of_greece__1_3->n5_a_history_of_greece__1_3_1
( (IP-MAT (NP-SBJ;{PHOENICIANS} (PRO They;{they}))
          (ILYR (ILYR (ADVP-NIM (ADV eventually;{eventually}))
                      (VBD;_Tn_ reached;{reach})
                      (NP-OB1 (D the;{the})
                              (NS islands;{island})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn_ founded;{found})
                             (NP-OB1 (NS colonies;{colony})
                                     (PP (P-ROLE on;{on})
                                         (NP (D the;{the})
                                             (NS islands;{island})
                                             (PP (P-ROLE in;{in})
                                                 (NP (D the;{the})
                                                     (ADJP (ADJ northernmost;{northernmost}))
                                                     (N part;{part})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (D the;{the})
                                                             (NPR Aegean;{Aegean})
                                                             (NPR Sea;{Sea})))))))))))
          (PUNC .))
  (ID 5_a_history_of_greece))