136_a_history_of_greece
Airfields have been constructed on a number of the islands, and road systems have been expanded and improved.
( (IP-MAT (ILYR (ILYR (NP-SBJ (NS Airfields;{airfield}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ constructed;{construct})
(PP-NIM (P-ROLE on;{on})
(NP (D a;{a})
(N number;{number})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NS islands;{island}))))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (N road;{road})
(NS systems;{system}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (NP-LGS *)
(ILYR (ILYR (VVN;_Tn_ expanded;{expand}))
(CONJP (CONJ and;{and})
(ILYR (VVN;_Tn_ improved;{improve})))))))))
(PUNC .))
(ID 136_a_history_of_greece))
arc(r_0136_0002__have,r_0136_0003__been,scope).
arc(r_0136_0003__been,r_0136_0004__constructed,scope).
arc(r_0136_0004__constructed,r_0136_0001__Airfields,arg1).
arc(r_0136_0004__constructed,r_0136_0006__a_r_0136_0007__number,r_0136_0005__on__nim).
arc(r_0136_0004__constructed,z_0136_5006___star_,arg0).
arc(r_0136_0006__a_r_0136_0007__number,r_0136_0009__the_r_0136_0010__islands,r_0136_0008__of).
arc(r_0136_0012__and,r_0136_0002__have,conj1).
arc(r_0136_0012__and,r_0136_0015__have,conj2).
arc(r_0136_0015__have,r_0136_0016__been,scope).
arc(r_0136_0016__been,r_0136_0018__and,scope).
arc(r_0136_0017__expanded,r_0136_0013__road_r_0136_0014__systems,arg1).
arc(r_0136_0017__expanded,z_0136_5013___star_,arg0).
arc(r_0136_0018__and,r_0136_0017__expanded,conj1).
arc(r_0136_0018__and,r_0136_0019__improved,conj2).
arc(r_0136_0019__improved,r_0136_0013__road_r_0136_0014__systems,arg1).
arc(r_0136_0019__improved,z_0136_5013___star_,arg0).
fof(formula,axiom,
? [R_0136_0001__AIRFIELDS,R_0136_0009__THE_R_0136_0010__ISLANDS,R_0136_0006__A_R_0136_0007__NUMBER,Z_0136_5006___STAR_,R_0136_0002__HAVE_R_0136_0003__BEEN_R_0136_0004__CONSTRUCTED,R_0136_0013__ROAD_R_0136_0014__SYSTEMS,Z_0136_5013___STAR_,R_0136_0017__EXPANDED,R_0136_0019__IMPROVED,R_0136_0018__AND,R_0136_0015__HAVE_R_0136_0016__BEEN,R_0136_0012__AND] :
( r_0136_0001__Airfields(R_0136_0001__AIRFIELDS)
& r_0136_0009__the_r_0136_0010__islands(R_0136_0009__THE_R_0136_0010__ISLANDS)
& r_0136_0013__road_r_0136_0014__systems(R_0136_0013__ROAD_R_0136_0014__SYSTEMS)
& z_0136_5006___star_(Z_0136_5006___STAR_)
& z_0136_5013___star_(Z_0136_5013___STAR_)
& r_0136_0012__and(R_0136_0012__AND)
& has_conj2(R_0136_0012__AND,R_0136_0015__HAVE_R_0136_0016__BEEN)
& r_0136_0015__have_r_0136_0016__been(R_0136_0015__HAVE_R_0136_0016__BEEN)
& has_keep_scope(R_0136_0015__HAVE_R_0136_0016__BEEN,R_0136_0018__AND)
& r_0136_0018__and(R_0136_0018__AND)
& has_conj2(R_0136_0018__AND,R_0136_0019__IMPROVED)
& r_0136_0019__improved(R_0136_0019__IMPROVED)
& has_arg0(R_0136_0019__IMPROVED,Z_0136_5013___STAR_)
& has_arg1(R_0136_0019__IMPROVED,R_0136_0013__ROAD_R_0136_0014__SYSTEMS)
& has_conj1(R_0136_0018__AND,R_0136_0017__EXPANDED)
& r_0136_0017__expanded(R_0136_0017__EXPANDED)
& has_arg0(R_0136_0017__EXPANDED,Z_0136_5013___STAR_)
& has_arg1(R_0136_0017__EXPANDED,R_0136_0013__ROAD_R_0136_0014__SYSTEMS)
& has_conj1(R_0136_0012__AND,R_0136_0002__HAVE_R_0136_0003__BEEN_R_0136_0004__CONSTRUCTED)
& r_0136_0002__have_r_0136_0003__been_r_0136_0004__constructed(R_0136_0002__HAVE_R_0136_0003__BEEN_R_0136_0004__CONSTRUCTED)
& has_arg0(R_0136_0002__HAVE_R_0136_0003__BEEN_R_0136_0004__CONSTRUCTED,Z_0136_5006___STAR_)
& has_r_0136_0005__on__nim(R_0136_0002__HAVE_R_0136_0003__BEEN_R_0136_0004__CONSTRUCTED,R_0136_0006__A_R_0136_0007__NUMBER)
& r_0136_0006__a_r_0136_0007__number(R_0136_0006__A_R_0136_0007__NUMBER)
& has_r_0136_0008__of(R_0136_0006__A_R_0136_0007__NUMBER,R_0136_0009__THE_R_0136_0010__ISLANDS)
& has_arg1(R_0136_0002__HAVE_R_0136_0003__BEEN_R_0136_0004__CONSTRUCTED,R_0136_0001__AIRFIELDS) ) ).