101_a_history_of_greece
Graffiti written by Russian soldiers can be seen in the caves of Antiparos.
( (IP-MAT (NP-SBJ (N Graffiti;{graffiti})
(IP-PPL (VVN;_Tn_ written;{write})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (ADJP (ADJ Russian;{russian}))
(NS soldiers;{soldier})))))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ seen;{see})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(NS caves;{cave})
(PP (P-ROLE of;{of})
(NP (NPR Antiparos;{Antiparos})))))))
(PUNC .))
(ID 101_a_history_of_greece))
arc(r_0101_0002__written,r_0101_0001__Graffiti,inv_arg1).
arc(r_0101_0002__written,r_0101_0005__soldiers,r_0101_0003__by_arg0).
arc(r_0101_0005__soldiers,r_0101_0004__Russian,attrib).
arc(r_0101_0006__can,r_0101_0007__be,scope).
arc(r_0101_0007__be,r_0101_0008__seen,scope).
arc(r_0101_0008__seen,r_0101_0001__Graffiti,arg1).
arc(r_0101_0008__seen,r_0101_0010__the_r_0101_0011__caves,r_0101_0009__in__nim).
arc(r_0101_0008__seen,z_0101_5008___star_,arg0).
arc(r_0101_0010__the_r_0101_0011__caves,r_0101_0013__Antiparos,r_0101_0012__of).
fof(formula,axiom,
? [R_0101_0004__RUSSIAN,R_0101_0005__SOLDIERS,R_0101_0002__WRITTEN,R_0101_0001__GRAFFITI,R_0101_0013__ANTIPAROS,R_0101_0010__THE_R_0101_0011__CAVES,Z_0101_5008___STAR_,R_0101_0006__CAN_R_0101_0007__BE_R_0101_0008__SEEN] :
( r_0101_0004__Russian(R_0101_0004__RUSSIAN)
& r_0101_0013__Antiparos(R_0101_0013__ANTIPAROS)
& z_0101_5008___star_(Z_0101_5008___STAR_)
& r_0101_0006__can_r_0101_0007__be_r_0101_0008__seen(R_0101_0006__CAN_R_0101_0007__BE_R_0101_0008__SEEN)
& has_arg0(R_0101_0006__CAN_R_0101_0007__BE_R_0101_0008__SEEN,Z_0101_5008___STAR_)
& has_r_0101_0009__in__nim(R_0101_0006__CAN_R_0101_0007__BE_R_0101_0008__SEEN,R_0101_0010__THE_R_0101_0011__CAVES)
& r_0101_0010__the_r_0101_0011__caves(R_0101_0010__THE_R_0101_0011__CAVES)
& has_r_0101_0012__of(R_0101_0010__THE_R_0101_0011__CAVES,R_0101_0013__ANTIPAROS)
& has_arg1(R_0101_0006__CAN_R_0101_0007__BE_R_0101_0008__SEEN,R_0101_0001__GRAFFITI)
& r_0101_0001__Graffiti(R_0101_0001__GRAFFITI)
& has_inv_arg1(R_0101_0001__GRAFFITI,R_0101_0002__WRITTEN)
& r_0101_0002__written(R_0101_0002__WRITTEN)
& has_r_0101_0003__by_arg0(R_0101_0002__WRITTEN,R_0101_0005__SOLDIERS)
& r_0101_0005__soldiers(R_0101_0005__SOLDIERS)
& has_attrib(R_0101_0005__SOLDIERS,R_0101_0004__RUSSIAN) ) ).