31_a_history_of_greece
At the same time, city-states began to grow in influence on the southern Greek mainland.
( (IP-MAT (PP-NIM (P-ROLE At;{at})
(NP (D the;{the})
(ADJP (ADJ same;{same}))
(N time;{time})))
(PUNC ,)
(NP-SBJ (NS city_<hyphen>_states;{city_state}))
(VBD;_cat_Vt_ began;{begin})
(IP-INF-CAT (TO to;{to})
(VB;_Ipr_ grow;{grow[in]})
(PP-CLR (P-ROLE in;{in})
(NP (N influence;{influence})))
(PP-NIM (P-ROLE on;{on})
(NP (D the;{the})
(ADJP (ADJ southern;{southern}))
(ADJP (ADJ Greek;{greek}))
(N mainland;{mainland}))))
(PUNC .))
(ID 31_a_history_of_greece))
arc(r_0031_0002__the_r_0031_0004__time,r_0031_0003__same,attrib).
arc(r_0031_0007__began,r_0031_0002__the_r_0031_0004__time,r_0031_0001__At__nim).
arc(r_0031_0007__began,r_0031_0009__grow_r_0031_0010__in,scope).
arc(r_0031_0009__grow_r_0031_0010__in,r_0031_0006__city__hyphen__states,arg0).
arc(r_0031_0009__grow_r_0031_0010__in,r_0031_0011__influence,arg1).
arc(r_0031_0009__grow_r_0031_0010__in,r_0031_0013__the_r_0031_0016__mainland,r_0031_0012__on__nim).
arc(r_0031_0013__the_r_0031_0016__mainland,r_0031_0014__southern,attrib).
arc(r_0031_0013__the_r_0031_0016__mainland,r_0031_0015__Greek,attrib).
fof(formula,axiom,
? [R_0031_0003__SAME,R_0031_0002__THE_R_0031_0004__TIME,R_0031_0006__CITY__HYPHEN__STATES,R_0031_0011__INFLUENCE,R_0031_0014__SOUTHERN,R_0031_0015__GREEK,R_0031_0013__THE_R_0031_0016__MAINLAND,R_0031_0007__BEGAN_R_0031_0009__GROW_R_0031_0010__IN] :
( r_0031_0003__same(R_0031_0003__SAME)
& r_0031_0006__city__hyphen__states(R_0031_0006__CITY__HYPHEN__STATES)
& r_0031_0011__influence(R_0031_0011__INFLUENCE)
& r_0031_0014__southern(R_0031_0014__SOUTHERN)
& r_0031_0015__Greek(R_0031_0015__GREEK)
& r_0031_0007__began_r_0031_0009__grow_r_0031_0010__in(R_0031_0007__BEGAN_R_0031_0009__GROW_R_0031_0010__IN)
& has_r_0031_0012__on__nim(R_0031_0007__BEGAN_R_0031_0009__GROW_R_0031_0010__IN,R_0031_0013__THE_R_0031_0016__MAINLAND)
& r_0031_0013__the_r_0031_0016__mainland(R_0031_0013__THE_R_0031_0016__MAINLAND)
& has_attrib(R_0031_0013__THE_R_0031_0016__MAINLAND,R_0031_0015__GREEK)
& has_attrib(R_0031_0013__THE_R_0031_0016__MAINLAND,R_0031_0014__SOUTHERN)
& has_arg1(R_0031_0007__BEGAN_R_0031_0009__GROW_R_0031_0010__IN,R_0031_0011__INFLUENCE)
& has_arg0(R_0031_0007__BEGAN_R_0031_0009__GROW_R_0031_0010__IN,R_0031_0006__CITY__HYPHEN__STATES)
& has_r_0031_0001__At__nim(R_0031_0007__BEGAN_R_0031_0009__GROW_R_0031_0010__IN,R_0031_0002__THE_R_0031_0004__TIME)
& r_0031_0002__the_r_0031_0004__time(R_0031_0002__THE_R_0031_0004__TIME)
& has_attrib(R_0031_0002__THE_R_0031_0004__TIME,R_0031_0003__SAME) ) ).