5_a_history_of_greece
They eventually reached the islands, and founded colonies on the islands in the northernmost part of the Aegean Sea.
( (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))
arc(r_0005_0003__reached,r_0005_0001__They,arg0).
arc(r_0005_0003__reached,r_0005_0002__eventually,nim).
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,attrib).
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).
fof(formula,axiom,
? [R_0005_0001__THEY,R_0005_0002__EVENTUALLY,R_0005_0004__THE_R_0005_0005__ISLANDS,R_0005_0003__REACHED,R_0005_0015__NORTHERNMOST,R_0005_0018__THE_R_0005_0019__AEGEAN_R_0005_0020__SEA,R_0005_0014__THE_R_0005_0016__PART,R_0005_0011__THE_R_0005_0012__ISLANDS,R_0005_0009__COLONIES,R_0005_0008__FOUNDED,R_0005_0007__AND] :
( r_0005_0001__They(R_0005_0001__THEY)
& r_0005_0002__eventually(R_0005_0002__EVENTUALLY)
& r_0005_0004__the_r_0005_0005__islands(R_0005_0004__THE_R_0005_0005__ISLANDS)
& r_0005_0015__northernmost(R_0005_0015__NORTHERNMOST)
& r_0005_0018__the_r_0005_0019__Aegean_r_0005_0020__Sea(R_0005_0018__THE_R_0005_0019__AEGEAN_R_0005_0020__SEA)
& r_0005_0007__and(R_0005_0007__AND)
& has_conj2(R_0005_0007__AND,R_0005_0008__FOUNDED)
& r_0005_0008__founded(R_0005_0008__FOUNDED)
& has_arg1(R_0005_0008__FOUNDED,R_0005_0009__COLONIES)
& r_0005_0009__colonies(R_0005_0009__COLONIES)
& has_r_0005_0010__on(R_0005_0009__COLONIES,R_0005_0011__THE_R_0005_0012__ISLANDS)
& r_0005_0011__the_r_0005_0012__islands(R_0005_0011__THE_R_0005_0012__ISLANDS)
& has_r_0005_0013__in(R_0005_0011__THE_R_0005_0012__ISLANDS,R_0005_0014__THE_R_0005_0016__PART)
& r_0005_0014__the_r_0005_0016__part(R_0005_0014__THE_R_0005_0016__PART)
& has_r_0005_0017__of(R_0005_0014__THE_R_0005_0016__PART,R_0005_0018__THE_R_0005_0019__AEGEAN_R_0005_0020__SEA)
& has_attrib(R_0005_0014__THE_R_0005_0016__PART,R_0005_0015__NORTHERNMOST)
& has_arg0(R_0005_0008__FOUNDED,R_0005_0001__THEY)
& has_conj1(R_0005_0007__AND,R_0005_0003__REACHED)
& r_0005_0003__reached(R_0005_0003__REACHED)
& has_arg1(R_0005_0003__REACHED,R_0005_0004__THE_R_0005_0005__ISLANDS)
& has_nim(R_0005_0003__REACHED,R_0005_0002__EVENTUALLY)
& has_arg0(R_0005_0003__REACHED,R_0005_0001__THEY) ) ).