33_a_history_of_greece
However, Greece was not yet a country; each city-state was self-governing and autonomous.
arc(r_0033_0004__was, r_0033_0001__However, nim2).
arc(r_0033_0004__was, r_0033_0003__Greece, arg0).
arc(r_0033_0004__was, r_0033_0005__not_r_0033_0006__yet, nim12).
arc(r_0033_0004__was, r_0033_0007__a_r_0033_0008__country, prd).
fof(formula,axiom,
? [R_33_4_WAS,R_33_3_GREECE,R_33_5_NOT_YET,R_33_1_HOWEVER,R_33_7_A_COUNTRY] :
( greece(R_33_3_GREECE)
& not_yet(R_33_5_NOT_YET)
& however(R_33_1_HOWEVER)
& a_country(R_33_7_A_COUNTRY)
& was(R_33_4_WAS,R_33_3_GREECE,R_33_7_A_COUNTRY)
& nim12(R_33_4_WAS,R_33_5_NOT_YET)
& nim2(R_33_4_WAS,R_33_1_HOWEVER) ) ).
( (IP-MAT (ADVP-NIM (ADV However;{however}))
(PUNC ,)
(NP-SBJ (NPR Greece;{Greece}))
(BED;_Ln_ was;{be})
(ADVP-NIM (NEG not;{not})
(ADV yet;{yet}))
(NP-PRD (D a;{a})
(N country;{country}))
(PUNC ;)
(PRN (IP-MAT (NP-SBJ (Q each;{each})
(N city_<hyphen>_state;{city_state}))
(BED;_La_ was;{be})
(ADJP-PRD (AJLYR (AJLYR (ADJ self_<hyphen>_governing;{self_governing}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ autonomous;{autonomous})))))))
(PUNC .))
(ID 33_a_history_of_greece))