60_a_history_of_greece
Delos became one of the largest marketplaces in the empire.
( (IP-MAT (NP-SBJ (NPR Delos;{Delos}))
(VBD;_Ln_ became;{become})
(NP-PRD (D;_nphd_ one;{one})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(ADJP (ADJS largest;{large}))
(NS marketplaces;{marketplace})
(PP (P-ROLE in;{in})
(NP;{ALEXANDER_LANDS} (D the;{the})
(N empire;{empire}))))))
(PUNC .))
(ID 60_a_history_of_greece))
arc(r_0060_0002__became,r_0060_0001__Delos,arg0).
arc(r_0060_0002__became,r_0060_0003__one,prd).
arc(r_0060_0003__one,r_0060_0005__the_r_0060_0007__marketplaces,r_0060_0004__of).
arc(r_0060_0005__the_r_0060_0007__marketplaces,r_0060_0006__largest,attrib).
arc(r_0060_0005__the_r_0060_0007__marketplaces,r_0060_0009__the_r_0060_0010__empire,r_0060_0008__in).
fof(formula,axiom,
? [R_0060_0001__DELOS,R_0060_0006__LARGEST,R_0060_0009__THE_R_0060_0010__EMPIRE,R_0060_0005__THE_R_0060_0007__MARKETPLACES,R_0060_0003__ONE,R_0060_0002__BECAME] :
( r_0060_0001__Delos(R_0060_0001__DELOS)
& r_0060_0006__largest(R_0060_0006__LARGEST)
& r_0060_0009__the_r_0060_0010__empire(R_0060_0009__THE_R_0060_0010__EMPIRE)
& r_0060_0002__became(R_0060_0002__BECAME)
& has_prd(R_0060_0002__BECAME,R_0060_0003__ONE)
& r_0060_0003__one(R_0060_0003__ONE)
& has_r_0060_0004__of(R_0060_0003__ONE,R_0060_0005__THE_R_0060_0007__MARKETPLACES)
& r_0060_0005__the_r_0060_0007__marketplaces(R_0060_0005__THE_R_0060_0007__MARKETPLACES)
& has_r_0060_0008__in(R_0060_0005__THE_R_0060_0007__MARKETPLACES,R_0060_0009__THE_R_0060_0010__EMPIRE)
& has_attrib(R_0060_0005__THE_R_0060_0007__MARKETPLACES,R_0060_0006__LARGEST)
& has_arg0(R_0060_0002__BECAME,R_0060_0001__DELOS) ) ).