8_a_history_of_greece
The high quality of the seam on Milos ensured that the area remained popular with early travelers.
( (IP-MAT (NP-SBJ (D The;{the})
(ADJP (ADJ high;{high}))
(N quality;{quality})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N seam;{seam})
(PP (P-ROLE on;{on})
(NP;{MILOS} (NPR Milos;{Milos}))))))
(VBD;_Tf_ ensured;{ensure})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (D the;{the})
(N area;{area}))
(VBD;_La_ remained;{remain})
(ADJP-PRD (ADJ popular;{popular})
(PP (P-ROLE with;{with})
(NP (ADJP (ADJ early;{early}))
(NS travelers;{traveler}))))))
(PUNC .))
(ID 8_a_history_of_greece))
arc(r_0008_0001__The_r_0008_0003__quality,r_0008_0002__high,attrib).
arc(r_0008_0001__The_r_0008_0003__quality,r_0008_0005__the_r_0008_0006__seam,r_0008_0004__of).
arc(r_0008_0005__the_r_0008_0006__seam,r_0008_0008__Milos,r_0008_0007__on).
arc(r_0008_0009__ensured,r_0008_0001__The_r_0008_0003__quality,arg0).
arc(r_0008_0009__ensured,r_0008_0013__remained,arg1).
arc(r_0008_0013__remained,r_0008_0011__the_r_0008_0012__area,arg0).
arc(r_0008_0013__remained,r_0008_0014__popular,prd).
arc(r_0008_0014__popular,r_0008_0017__travelers,r_0008_0015__with).
arc(r_0008_0017__travelers,r_0008_0016__early,attrib).
fof(formula,axiom,
? [R_0008_0002__HIGH,R_0008_0008__MILOS,R_0008_0005__THE_R_0008_0006__SEAM,R_0008_0001__THE_R_0008_0003__QUALITY,R_0008_0011__THE_R_0008_0012__AREA,R_0008_0016__EARLY,R_0008_0017__TRAVELERS,R_0008_0014__POPULAR,R_0008_0013__REMAINED,R_0008_0009__ENSURED] :
( r_0008_0002__high(R_0008_0002__HIGH)
& r_0008_0008__Milos(R_0008_0008__MILOS)
& r_0008_0011__the_r_0008_0012__area(R_0008_0011__THE_R_0008_0012__AREA)
& r_0008_0016__early(R_0008_0016__EARLY)
& r_0008_0009__ensured(R_0008_0009__ENSURED)
& has_arg1(R_0008_0009__ENSURED,R_0008_0013__REMAINED)
& r_0008_0013__remained(R_0008_0013__REMAINED)
& has_prd(R_0008_0013__REMAINED,R_0008_0014__POPULAR)
& r_0008_0014__popular(R_0008_0014__POPULAR)
& has_r_0008_0015__with(R_0008_0014__POPULAR,R_0008_0017__TRAVELERS)
& r_0008_0017__travelers(R_0008_0017__TRAVELERS)
& has_attrib(R_0008_0017__TRAVELERS,R_0008_0016__EARLY)
& has_arg0(R_0008_0013__REMAINED,R_0008_0011__THE_R_0008_0012__AREA)
& has_arg0(R_0008_0009__ENSURED,R_0008_0001__THE_R_0008_0003__QUALITY)
& r_0008_0001__The_r_0008_0003__quality(R_0008_0001__THE_R_0008_0003__QUALITY)
& has_r_0008_0004__of(R_0008_0001__THE_R_0008_0003__QUALITY,R_0008_0005__THE_R_0008_0006__SEAM)
& r_0008_0005__the_r_0008_0006__seam(R_0008_0005__THE_R_0008_0006__SEAM)
& has_r_0008_0007__on(R_0008_0005__THE_R_0008_0006__SEAM,R_0008_0008__MILOS)
& has_attrib(R_0008_0001__THE_R_0008_0003__QUALITY,R_0008_0002__HIGH) ) ).