74_a_history_of_greece
By the time of the Crusades, many of the Aegean islands had been practically depopulated.
( (IP-MAT (PP-NIM (P-ROLE By;{by})
(NP (D the;{the})
(N time;{time})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NPRS Crusades;{Crusades})))))
(PUNC ,)
(NP-SBJ (ADJP (ADJ many;{many}))
(PP (P-ROLE of;{of})
(NP (D the;{the})
(ADJP (ADJ Aegean;{aegean}))
(NS islands;{island}))))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (NP-LGS *)
(ADVP-NIM (ADV practically;{practically}))
(VVN;_Tn_ depopulated;{depopulate})))
(PUNC .))
(ID 74_a_history_of_greece))
arc(r_0074_0002__the_r_0074_0003__time,r_0074_0005__the_r_0074_0006__Crusades,r_0074_0004__of).
arc(r_0074_0010__the_r_0074_0012__islands,r_0074_0011__Aegean,attrib).
arc(r_0074_0013__had,r_0074_0002__the_r_0074_0003__time,r_0074_0001__By__nim).
arc(r_0074_0013__had,r_0074_0014__been,scope).
arc(r_0074_0014__been,r_0074_0016__depopulated,scope).
arc(r_0074_0016__depopulated,r_0074_0015__practically,nim).
arc(r_0074_0016__depopulated,z_0074_5006,arg1).
arc(r_0074_0016__depopulated,z_0074_5010___star_,arg0).
arc(z_0074_5006,r_0074_0008__many,attrib).
arc(z_0074_5006,r_0074_0010__the_r_0074_0012__islands,r_0074_0009__of).
fof(formula,axiom,
? [R_0074_0005__THE_R_0074_0006__CRUSADES,R_0074_0002__THE_R_0074_0003__TIME,R_0074_0015__PRACTICALLY,R_0074_0008__MANY,R_0074_0011__AEGEAN,R_0074_0010__THE_R_0074_0012__ISLANDS,Z_0074_5006,Z_0074_5010___STAR_,R_0074_0013__HAD_R_0074_0014__BEEN_R_0074_0016__DEPOPULATED] :
( r_0074_0005__the_r_0074_0006__Crusades(R_0074_0005__THE_R_0074_0006__CRUSADES)
& r_0074_0008__many(R_0074_0008__MANY)
& r_0074_0011__Aegean(R_0074_0011__AEGEAN)
& r_0074_0015__practically(R_0074_0015__PRACTICALLY)
& z_0074_5010___star_(Z_0074_5010___STAR_)
& r_0074_0013__had_r_0074_0014__been_r_0074_0016__depopulated(R_0074_0013__HAD_R_0074_0014__BEEN_R_0074_0016__DEPOPULATED)
& has_arg0(R_0074_0013__HAD_R_0074_0014__BEEN_R_0074_0016__DEPOPULATED,Z_0074_5010___STAR_)
& has_arg1(R_0074_0013__HAD_R_0074_0014__BEEN_R_0074_0016__DEPOPULATED,Z_0074_5006)
& z_0074_5006(Z_0074_5006)
& has_r_0074_0009__of(Z_0074_5006,R_0074_0010__THE_R_0074_0012__ISLANDS)
& r_0074_0010__the_r_0074_0012__islands(R_0074_0010__THE_R_0074_0012__ISLANDS)
& has_attrib(R_0074_0010__THE_R_0074_0012__ISLANDS,R_0074_0011__AEGEAN)
& has_attrib(Z_0074_5006,R_0074_0008__MANY)
& has_nim(R_0074_0013__HAD_R_0074_0014__BEEN_R_0074_0016__DEPOPULATED,R_0074_0015__PRACTICALLY)
& has_r_0074_0001__By__nim(R_0074_0013__HAD_R_0074_0014__BEEN_R_0074_0016__DEPOPULATED,R_0074_0002__THE_R_0074_0003__TIME)
& r_0074_0002__the_r_0074_0003__time(R_0074_0002__THE_R_0074_0003__TIME)
& has_r_0074_0004__of(R_0074_0002__THE_R_0074_0003__TIME,R_0074_0005__THE_R_0074_0006__CRUSADES) ) ).