118_a_history_of_greece
Many had to leave their birthplaces, fleeing to Lesvos, Chios, and Samos, the Greek - ruled islands just offshore.
( (IP-MAT (NP-SBJ;{PERSONS} (ADJP (ADJ Many;{many})))
(HVD;_cat_Vt_ had;{have})
(IP-INF-CAT (TO to;{to})
(VB;_Tn_ leave;{leave})
(NP-OB1 (NP-GEN;{PERSONS} (PRO;_genm_ their;{their}))
(NS birthplaces;{birthplace})))
(PUNC ,)
(PP-SCON (IP-PPL (VAG;_Ipr_ fleeing;{flee[to]})
(PP-CLR (P-ROLE to;{to})
(NP (NLYR (NLYR (NPR Lesvos;{Lesvos}))
(PUNC ,)
(CONJP (NLYR (NPR Chios;{Chios})))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (NPR Samos;{Samos}))))
(PUNC ,)
(PRN (NP (D the;{the})
(IP-PPL (NP-LGS (NPR Greek;{Greek}))
(PUNC <hyphen>)
(VVN;_Tn_ ruled;{rule}))
(NS islands;{island})
(ADVP-NIM (ADVP (ADV just;{just}))
(ADV offshore;{offshore}))))))))
(PUNC .))
(ID 118_a_history_of_greece))
arc(r_0118_0002__had,r_0118_0004__leave,scope).
arc(r_0118_0004__leave,r_0118_0006__birthplaces,arg1).
arc(r_0118_0004__leave,z_0118_5003,arg0).
arc(r_0118_0006__birthplaces,z_0118_5003,gen).
arc(r_0118_0008__fleeing_r_0118_0009__to,r_0118_0014__and,arg1).
arc(r_0118_0008__fleeing_r_0118_0009__to,z_0118_5003,arg0).
arc(r_0118_0014__and,r_0118_0010__Lesvos,conj1).
arc(r_0118_0014__and,r_0118_0012__Chios,conj2).
arc(r_0118_0014__and,r_0118_0015__Samos,conj3).
arc(r_0118_0017__the_r_0118_0021__islands,r_0118_0023__offshore,nim).
arc(r_0118_0020__ruled,r_0118_0017__the_r_0118_0021__islands,inv_arg1).
arc(r_0118_0020__ruled,r_0118_0018__Greek,arg0).
arc(r_0118_0023__offshore,r_0118_0022__just,qual).
arc(z_0118_5003,r_0118_0001__Many,attrib).
arc(z_0118_5004,r_0118_0002__had,scope).
arc(z_0118_5004,r_0118_0008__fleeing_r_0118_0009__to,restriction).
arc(z_0118_5011,r_0118_0014__and,arg0).
arc(z_0118_5011,r_0118_0017__the_r_0118_0021__islands,prd).
fof(formula,axiom,
? [R_0118_0001__MANY,Z_0118_5003,R_0118_0006__BIRTHPLACES,R_0118_0002__HAD_R_0118_0004__LEAVE,R_0118_0010__LESVOS,R_0118_0012__CHIOS,R_0118_0015__SAMOS,R_0118_0014__AND,R_0118_0008__FLEEING_R_0118_0009__TO,Z_0118_5004,R_0118_0022__JUST,R_0118_0023__OFFSHORE,R_0118_0018__GREEK,R_0118_0020__RULED,R_0118_0017__THE_R_0118_0021__ISLANDS,Z_0118_5011] :
( r_0118_0001__Many(R_0118_0001__MANY)
& r_0118_0010__Lesvos(R_0118_0010__LESVOS)
& r_0118_0012__Chios(R_0118_0012__CHIOS)
& r_0118_0015__Samos(R_0118_0015__SAMOS)
& r_0118_0018__Greek(R_0118_0018__GREEK)
& r_0118_0022__just(R_0118_0022__JUST)
& z_0118_5011(Z_0118_5011)
& has_prd(Z_0118_5011,R_0118_0017__THE_R_0118_0021__ISLANDS)
& r_0118_0017__the_r_0118_0021__islands(R_0118_0017__THE_R_0118_0021__ISLANDS)
& has_inv_arg1(R_0118_0017__THE_R_0118_0021__ISLANDS,R_0118_0020__RULED)
& r_0118_0020__ruled(R_0118_0020__RULED)
& has_arg0(R_0118_0020__RULED,R_0118_0018__GREEK)
& has_nim(R_0118_0017__THE_R_0118_0021__ISLANDS,R_0118_0023__OFFSHORE)
& r_0118_0023__offshore(R_0118_0023__OFFSHORE)
& has_qual(R_0118_0023__OFFSHORE,R_0118_0022__JUST)
& has_arg0(Z_0118_5011,R_0118_0014__AND)
& r_0118_0014__and(R_0118_0014__AND)
& has_conj3(R_0118_0014__AND,R_0118_0015__SAMOS)
& has_conj2(R_0118_0014__AND,R_0118_0012__CHIOS)
& has_conj1(R_0118_0014__AND,R_0118_0010__LESVOS)
& z_0118_5004(Z_0118_5004)
& has_conj1(Z_0118_5004,R_0118_0008__FLEEING_R_0118_0009__TO)
& r_0118_0008__fleeing_r_0118_0009__to(R_0118_0008__FLEEING_R_0118_0009__TO)
& has_arg0(R_0118_0008__FLEEING_R_0118_0009__TO,Z_0118_5003)
& z_0118_5003(Z_0118_5003)
& has_attrib(Z_0118_5003,R_0118_0001__MANY)
& has_arg1(R_0118_0008__FLEEING_R_0118_0009__TO,R_0118_0014__AND)
& has_conj2(Z_0118_5004,R_0118_0002__HAD_R_0118_0004__LEAVE)
& r_0118_0002__had_r_0118_0004__leave(R_0118_0002__HAD_R_0118_0004__LEAVE)
& has_arg0(R_0118_0002__HAD_R_0118_0004__LEAVE,Z_0118_5003)
& has_arg1(R_0118_0002__HAD_R_0118_0004__LEAVE,R_0118_0006__BIRTHPLACES)
& r_0118_0006__birthplaces(R_0118_0006__BIRTHPLACES)
& has_gen(R_0118_0006__BIRTHPLACES,Z_0118_5003) ) ).