Context                Previous, Next                Top


33_a_history_of_greece
However, Greece was not yet a country; each city-state was self-governing and autonomous.

n33_a_history_of_greece n33_a_history_of_greece__1_1_1_1 However n33_a_history_of_greece__1_2_1 , n33_a_history_of_greece__1_3_1_1 Greece n33_a_history_of_greece__1_4_1 was n33_a_history_of_greece__1_5_1_1 not n33_a_history_of_greece__1_5_2_1 yet n33_a_history_of_greece__1_6_1_1 a n33_a_history_of_greece__1_6_2_1 country n33_a_history_of_greece__1_7_1 ; n33_a_history_of_greece__1_8_1_1_1_1 each n33_a_history_of_greece__1_8_1_1_2_1 city-state n33_a_history_of_greece__1_8_1_2_1 was n33_a_history_of_greece__1_8_1_3_1_1_1_1 self-governing n33_a_history_of_greece__1_8_1_3_1_2_1_1 and n33_a_history_of_greece__1_8_1_3_1_2_2_1_1 autonomous n33_a_history_of_greece__1_9_1 . n33_a_history_of_greece__1 IP-MAT n33_a_history_of_greece__1_1 ADVP-NIM n33_a_history_of_greece__1->n33_a_history_of_greece__1_1 n33_a_history_of_greece__1_2 PUNC n33_a_history_of_greece__1->n33_a_history_of_greece__1_2 n33_a_history_of_greece__1_3 NP-SBJ n33_a_history_of_greece__1->n33_a_history_of_greece__1_3 n33_a_history_of_greece__1_4 BED;_Ln_ n33_a_history_of_greece__1->n33_a_history_of_greece__1_4 n33_a_history_of_greece__1_5 ADVP-NIM n33_a_history_of_greece__1->n33_a_history_of_greece__1_5 n33_a_history_of_greece__1_6 NP-PRD n33_a_history_of_greece__1->n33_a_history_of_greece__1_6 n33_a_history_of_greece__1_7 PUNC n33_a_history_of_greece__1->n33_a_history_of_greece__1_7 n33_a_history_of_greece__1_8 PRN n33_a_history_of_greece__1->n33_a_history_of_greece__1_8 n33_a_history_of_greece__1_9 PUNC n33_a_history_of_greece__1->n33_a_history_of_greece__1_9 n33_a_history_of_greece__1_1_1 ADV n33_a_history_of_greece__1_1->n33_a_history_of_greece__1_1_1 n33_a_history_of_greece__1_1_1->n33_a_history_of_greece__1_1_1_1 n33_a_history_of_greece__1_2->n33_a_history_of_greece__1_2_1 n33_a_history_of_greece__1_3_1 NPR n33_a_history_of_greece__1_3->n33_a_history_of_greece__1_3_1 n33_a_history_of_greece__1_3_1->n33_a_history_of_greece__1_3_1_1 n33_a_history_of_greece__1_4->n33_a_history_of_greece__1_4_1 n33_a_history_of_greece__1_5_1 NEG n33_a_history_of_greece__1_5->n33_a_history_of_greece__1_5_1 n33_a_history_of_greece__1_5_2 ADV n33_a_history_of_greece__1_5->n33_a_history_of_greece__1_5_2 n33_a_history_of_greece__1_5_1->n33_a_history_of_greece__1_5_1_1 n33_a_history_of_greece__1_5_2->n33_a_history_of_greece__1_5_2_1 n33_a_history_of_greece__1_6_1 D n33_a_history_of_greece__1_6->n33_a_history_of_greece__1_6_1 n33_a_history_of_greece__1_6_2 N n33_a_history_of_greece__1_6->n33_a_history_of_greece__1_6_2 n33_a_history_of_greece__1_6_1->n33_a_history_of_greece__1_6_1_1 n33_a_history_of_greece__1_6_2->n33_a_history_of_greece__1_6_2_1 n33_a_history_of_greece__1_7->n33_a_history_of_greece__1_7_1 n33_a_history_of_greece__1_8_1 IP-MAT n33_a_history_of_greece__1_8->n33_a_history_of_greece__1_8_1 n33_a_history_of_greece__1_8_1_1 NP-SBJ n33_a_history_of_greece__1_8_1->n33_a_history_of_greece__1_8_1_1 n33_a_history_of_greece__1_8_1_2 BED;_La_ n33_a_history_of_greece__1_8_1->n33_a_history_of_greece__1_8_1_2 n33_a_history_of_greece__1_8_1_3 ADJP-PRD n33_a_history_of_greece__1_8_1->n33_a_history_of_greece__1_8_1_3 n33_a_history_of_greece__1_8_1_1_1 Q n33_a_history_of_greece__1_8_1_1->n33_a_history_of_greece__1_8_1_1_1 n33_a_history_of_greece__1_8_1_1_2 N n33_a_history_of_greece__1_8_1_1->n33_a_history_of_greece__1_8_1_1_2 n33_a_history_of_greece__1_8_1_1_1->n33_a_history_of_greece__1_8_1_1_1_1 n33_a_history_of_greece__1_8_1_1_2->n33_a_history_of_greece__1_8_1_1_2_1 n33_a_history_of_greece__1_8_1_2->n33_a_history_of_greece__1_8_1_2_1 n33_a_history_of_greece__1_8_1_3_1 AJLYR n33_a_history_of_greece__1_8_1_3->n33_a_history_of_greece__1_8_1_3_1 n33_a_history_of_greece__1_8_1_3_1_1 AJLYR n33_a_history_of_greece__1_8_1_3_1->n33_a_history_of_greece__1_8_1_3_1_1 n33_a_history_of_greece__1_8_1_3_1_2 CONJP n33_a_history_of_greece__1_8_1_3_1->n33_a_history_of_greece__1_8_1_3_1_2 n33_a_history_of_greece__1_8_1_3_1_1_1 ADJ n33_a_history_of_greece__1_8_1_3_1_1->n33_a_history_of_greece__1_8_1_3_1_1_1 n33_a_history_of_greece__1_8_1_3_1_1_1->n33_a_history_of_greece__1_8_1_3_1_1_1_1 n33_a_history_of_greece__1_8_1_3_1_2_1 CONJ n33_a_history_of_greece__1_8_1_3_1_2->n33_a_history_of_greece__1_8_1_3_1_2_1 n33_a_history_of_greece__1_8_1_3_1_2_2 AJLYR n33_a_history_of_greece__1_8_1_3_1_2->n33_a_history_of_greece__1_8_1_3_1_2_2 n33_a_history_of_greece__1_8_1_3_1_2_1->n33_a_history_of_greece__1_8_1_3_1_2_1_1 n33_a_history_of_greece__1_8_1_3_1_2_2_1 ADJ n33_a_history_of_greece__1_8_1_3_1_2_2->n33_a_history_of_greece__1_8_1_3_1_2_2_1 n33_a_history_of_greece__1_8_1_3_1_2_2_1->n33_a_history_of_greece__1_8_1_3_1_2_2_1_1 n33_a_history_of_greece__1_9->n33_a_history_of_greece__1_9_1 
( (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))


%3 r_0033_0014__and and r_0033_0015__autonomous autonomous r_0033_0014__and->r_0033_0015__autonomous [conj2] r_0033_0013__self__hyphen__governing self-governing r_0033_0014__and->r_0033_0013__self__hyphen__governing [conj1] r_0033_0012__was was r_0033_0012__was->r_0033_0014__and [prd] r_0033_0011__city__hyphen__state city-state r_0033_0012__was->r_0033_0011__city__hyphen__state [arg0] r_0033_0010__each__quant each [quant] r_0033_0010__each__quant->r_0033_0012__was [scope] r_0033_0010__each__quant->r_0033_0011__city__hyphen__state [restriction] r_0033_0004__was was r_0033_0004__was->r_0033_0010__each__quant [prn] r_0033_0007__a_r_0033_0008__country a country r_0033_0004__was->r_0033_0007__a_r_0033_0008__country [prd] r_0033_0005__not_r_0033_0006__yet not yet r_0033_0004__was->r_0033_0005__not_r_0033_0006__yet [nim] r_0033_0003__Greece Greece r_0033_0004__was->r_0033_0003__Greece [arg0] r_0033_0001__However However r_0033_0004__was->r_0033_0001__However [nim] 
arc(r_0033_0004__was,r_0033_0001__However,nim).
arc(r_0033_0004__was,r_0033_0003__Greece,arg0).
arc(r_0033_0004__was,r_0033_0005__not_r_0033_0006__yet,nim).
arc(r_0033_0004__was,r_0033_0007__a_r_0033_0008__country,prd).
arc(r_0033_0004__was,r_0033_0010__each__quant,prn).
arc(r_0033_0010__each__quant,r_0033_0011__city__hyphen__state,restriction).
arc(r_0033_0010__each__quant,r_0033_0012__was,scope).
arc(r_0033_0012__was,r_0033_0011__city__hyphen__state,arg0).
arc(r_0033_0012__was,r_0033_0014__and,prd).
arc(r_0033_0014__and,r_0033_0013__self__hyphen__governing,conj1).
arc(r_0033_0014__and,r_0033_0015__autonomous,conj2).


%3 r_0033_0004__was was r_0033_0001__However However r_0033_0004__was->r_0033_0001__However [nim] r_0033_0003__Greece Greece r_0033_0004__was->r_0033_0003__Greece [arg0] r_0033_0005__not_r_0033_0006__yet not yet r_0033_0004__was->r_0033_0005__not_r_0033_0006__yet [nim] r_0033_0007__a_r_0033_0008__country a country r_0033_0004__was->r_0033_0007__a_r_0033_0008__country [prd] r_0033_0010__each__quant each [quant] r_0033_0004__was->r_0033_0010__each__quant [prn] r_0033_0011__city__hyphen__state city-state r_0033_0010__each__quant->r_0033_0011__city__hyphen__state [restriction] r_0033_0012__was was r_0033_0010__each__quant->r_0033_0012__was [scope] r_0033_0012__was->r_0033_0011__city__hyphen__state [arg0] r_0033_0014__and and r_0033_0012__was->r_0033_0014__and [prd] r_0033_0013__self__hyphen__governing self-governing r_0033_0014__and->r_0033_0013__self__hyphen__governing [conj1] r_0033_0015__autonomous autonomous r_0033_0014__and->r_0033_0015__autonomous [conj2] 
fof(formula,axiom,
    ? [R_0033_0001__HOWEVER,R_0033_0003__GREECE,R_0033_0005__NOT_R_0033_0006__YET,R_0033_0007__A_R_0033_0008__COUNTRY,R_0033_0004__WAS] :
      ( r_0033_0001__However(R_0033_0001__HOWEVER)
      & r_0033_0003__Greece(R_0033_0003__GREECE)
      & r_0033_0005__not_r_0033_0006__yet(R_0033_0005__NOT_R_0033_0006__YET)
      & r_0033_0007__a_r_0033_0008__country(R_0033_0007__A_R_0033_0008__COUNTRY)
      & r_0033_0004__was(R_0033_0004__WAS)
      & ! [R_0033_0011__CITY__HYPHEN__STATE] :
          ( r_0033_0011__city__hyphen__state(R_0033_0011__CITY__HYPHEN__STATE)
         => ? [R_0033_0013__SELF__HYPHEN__GOVERNING,R_0033_0015__AUTONOMOUS,R_0033_0014__AND,R_0033_0012__WAS] :
              ( r_0033_0013__self__hyphen__governing(R_0033_0013__SELF__HYPHEN__GOVERNING)
              & r_0033_0015__autonomous(R_0033_0015__AUTONOMOUS)
              & r_0033_0012__was(R_0033_0012__WAS)
              & has_prd(R_0033_0012__WAS,R_0033_0014__AND)
              & r_0033_0014__and(R_0033_0014__AND)
              & has_conj2(R_0033_0014__AND,R_0033_0015__AUTONOMOUS)
              & has_conj1(R_0033_0014__AND,R_0033_0013__SELF__HYPHEN__GOVERNING)
              & has_arg0(R_0033_0012__WAS,R_0033_0011__CITY__HYPHEN__STATE) ) )
      & has_prd(R_0033_0004__WAS,R_0033_0007__A_R_0033_0008__COUNTRY)
      & has_nim(R_0033_0004__WAS,R_0033_0005__NOT_R_0033_0006__YET)
      & has_arg0(R_0033_0004__WAS,R_0033_0003__GREECE)
      & has_nim(R_0033_0004__WAS,R_0033_0001__HOWEVER) ) ).