8_a_history_of_greece
The high quality of the seam on Milos ensured that the area remained popular with early travelers.
arc(r_0008_0001__The_r_0008_0003__quality, r_0008_0002__high, attrib5).
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_0010__that_r_0008_0013__remained, arg1).
arc(r_0008_0010__that_r_0008_0013__remained, r_0008_0011__the_r_0008_0012__area, arg0).
arc(r_0008_0010__that_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, attrib44).
fof(formula,axiom,
? [R_8_9_ENSURED,R_8_1_THE_QUALITY,R_8_2_HIGH,R_8_5_THE_SEAM,R_8_8_MILOS,R_8_10_THAT_REMAINED,R_8_11_THE_AREA,R_8_14_POPULAR,R_8_17_TRAVELERS,R_8_16_EARLY] :
( high(R_8_2_HIGH)
& milos(R_8_8_MILOS)
& the_area(R_8_11_THE_AREA)
& early(R_8_16_EARLY)
& ensured(R_8_9_ENSURED,R_8_1_THE_QUALITY,R_8_10_THAT_REMAINED)
& the_quality(R_8_1_THE_QUALITY)
& attrib5(R_8_1_THE_QUALITY,R_8_2_HIGH)
& of(R_8_1_THE_QUALITY,R_8_5_THE_SEAM)
& the_seam(R_8_5_THE_SEAM)
& on(R_8_5_THE_SEAM,R_8_8_MILOS)
& that_remained(R_8_10_THAT_REMAINED,R_8_11_THE_AREA,R_8_14_POPULAR)
& popular(R_8_14_POPULAR)
& with(R_8_14_POPULAR,R_8_17_TRAVELERS)
& travelers(R_8_17_TRAVELERS)
& attrib44(R_8_17_TRAVELERS,R_8_16_EARLY) ) ).
( (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))