Context                Previous, Next                Top


51_a_history_of_greece
Although there were minor internal wrangles, the league controlled the Aegean and the greater Athenian Empire for most of the fifth century b.c.

n51_a_history_of_greece n51_a_history_of_greece__1_1_1_1 Although n51_a_history_of_greece__1_1_2_1_1 there n51_a_history_of_greece__1_1_2_2_1 were n51_a_history_of_greece__1_1_2_3_1_1_1 minor n51_a_history_of_greece__1_1_2_3_2_1_1 internal n51_a_history_of_greece__1_1_2_3_3_1 wrangles n51_a_history_of_greece__1_2_1 , n51_a_history_of_greece__1_3_1_1 the n51_a_history_of_greece__1_3_2_1 league n51_a_history_of_greece__1_4_1 controlled n51_a_history_of_greece__1_5_1_1_1_1 the n51_a_history_of_greece__1_5_1_1_2_1 Aegean n51_a_history_of_greece__1_5_1_2_1_1 and n51_a_history_of_greece__1_5_1_2_2_1_1 the n51_a_history_of_greece__1_5_1_2_2_2_1_1 greater n51_a_history_of_greece__1_5_1_2_2_3_1 Athenian n51_a_history_of_greece__1_5_1_2_2_4_1 Empire n51_a_history_of_greece__1_6_1_1 for n51_a_history_of_greece__1_6_2_1_1 most n51_a_history_of_greece__1_6_2_2_1_1 of n51_a_history_of_greece__1_6_2_2_2_1_1 the n51_a_history_of_greece__1_6_2_2_2_2_1 fifth_century n51_a_history_of_greece__1_6_2_2_2_3_1 b.c n51_a_history_of_greece__1_7_1 . n51_a_history_of_greece__1 IP-MAT n51_a_history_of_greece__1_1 PP-SCON n51_a_history_of_greece__1->n51_a_history_of_greece__1_1 n51_a_history_of_greece__1_2 PUNC n51_a_history_of_greece__1->n51_a_history_of_greece__1_2 n51_a_history_of_greece__1_3 NP-SBJ n51_a_history_of_greece__1->n51_a_history_of_greece__1_3 n51_a_history_of_greece__1_4 VBD;_Tn_ n51_a_history_of_greece__1->n51_a_history_of_greece__1_4 n51_a_history_of_greece__1_5 NP-OB1 n51_a_history_of_greece__1->n51_a_history_of_greece__1_5 n51_a_history_of_greece__1_6 PP-NIM n51_a_history_of_greece__1->n51_a_history_of_greece__1_6 n51_a_history_of_greece__1_7 PUNC n51_a_history_of_greece__1->n51_a_history_of_greece__1_7 n51_a_history_of_greece__1_1_1 P-CONN n51_a_history_of_greece__1_1->n51_a_history_of_greece__1_1_1 n51_a_history_of_greece__1_1_2 IP-ADV n51_a_history_of_greece__1_1->n51_a_history_of_greece__1_1_2 n51_a_history_of_greece__1_1_1->n51_a_history_of_greece__1_1_1_1 n51_a_history_of_greece__1_1_2_1 EX n51_a_history_of_greece__1_1_2->n51_a_history_of_greece__1_1_2_1 n51_a_history_of_greece__1_1_2_2 BED;_ex_V_ n51_a_history_of_greece__1_1_2->n51_a_history_of_greece__1_1_2_2 n51_a_history_of_greece__1_1_2_3 NP-ESBJ n51_a_history_of_greece__1_1_2->n51_a_history_of_greece__1_1_2_3 n51_a_history_of_greece__1_1_2_1->n51_a_history_of_greece__1_1_2_1_1 n51_a_history_of_greece__1_1_2_2->n51_a_history_of_greece__1_1_2_2_1 n51_a_history_of_greece__1_1_2_3_1 ADJP n51_a_history_of_greece__1_1_2_3->n51_a_history_of_greece__1_1_2_3_1 n51_a_history_of_greece__1_1_2_3_2 ADJP n51_a_history_of_greece__1_1_2_3->n51_a_history_of_greece__1_1_2_3_2 n51_a_history_of_greece__1_1_2_3_3 NS n51_a_history_of_greece__1_1_2_3->n51_a_history_of_greece__1_1_2_3_3 n51_a_history_of_greece__1_1_2_3_1_1 ADJ n51_a_history_of_greece__1_1_2_3_1->n51_a_history_of_greece__1_1_2_3_1_1 n51_a_history_of_greece__1_1_2_3_1_1->n51_a_history_of_greece__1_1_2_3_1_1_1 n51_a_history_of_greece__1_1_2_3_2_1 ADJ n51_a_history_of_greece__1_1_2_3_2->n51_a_history_of_greece__1_1_2_3_2_1 n51_a_history_of_greece__1_1_2_3_2_1->n51_a_history_of_greece__1_1_2_3_2_1_1 n51_a_history_of_greece__1_1_2_3_3->n51_a_history_of_greece__1_1_2_3_3_1 n51_a_history_of_greece__1_2->n51_a_history_of_greece__1_2_1 n51_a_history_of_greece__1_3_1 D n51_a_history_of_greece__1_3->n51_a_history_of_greece__1_3_1 n51_a_history_of_greece__1_3_2 N n51_a_history_of_greece__1_3->n51_a_history_of_greece__1_3_2 n51_a_history_of_greece__1_3_1->n51_a_history_of_greece__1_3_1_1 n51_a_history_of_greece__1_3_2->n51_a_history_of_greece__1_3_2_1 n51_a_history_of_greece__1_4->n51_a_history_of_greece__1_4_1 n51_a_history_of_greece__1_5_1 NLYR n51_a_history_of_greece__1_5->n51_a_history_of_greece__1_5_1 n51_a_history_of_greece__1_5_1_1 NLYR n51_a_history_of_greece__1_5_1->n51_a_history_of_greece__1_5_1_1 n51_a_history_of_greece__1_5_1_2 CONJP n51_a_history_of_greece__1_5_1->n51_a_history_of_greece__1_5_1_2 n51_a_history_of_greece__1_5_1_1_1 D n51_a_history_of_greece__1_5_1_1->n51_a_history_of_greece__1_5_1_1_1 n51_a_history_of_greece__1_5_1_1_2 NPR n51_a_history_of_greece__1_5_1_1->n51_a_history_of_greece__1_5_1_1_2 n51_a_history_of_greece__1_5_1_1_1->n51_a_history_of_greece__1_5_1_1_1_1 n51_a_history_of_greece__1_5_1_1_2->n51_a_history_of_greece__1_5_1_1_2_1 n51_a_history_of_greece__1_5_1_2_1 CONJ n51_a_history_of_greece__1_5_1_2->n51_a_history_of_greece__1_5_1_2_1 n51_a_history_of_greece__1_5_1_2_2 NLYR n51_a_history_of_greece__1_5_1_2->n51_a_history_of_greece__1_5_1_2_2 n51_a_history_of_greece__1_5_1_2_1->n51_a_history_of_greece__1_5_1_2_1_1 n51_a_history_of_greece__1_5_1_2_2_1 D n51_a_history_of_greece__1_5_1_2_2->n51_a_history_of_greece__1_5_1_2_2_1 n51_a_history_of_greece__1_5_1_2_2_2 ADJP n51_a_history_of_greece__1_5_1_2_2->n51_a_history_of_greece__1_5_1_2_2_2 n51_a_history_of_greece__1_5_1_2_2_3 NPR n51_a_history_of_greece__1_5_1_2_2->n51_a_history_of_greece__1_5_1_2_2_3 n51_a_history_of_greece__1_5_1_2_2_4 NPR n51_a_history_of_greece__1_5_1_2_2->n51_a_history_of_greece__1_5_1_2_2_4 n51_a_history_of_greece__1_5_1_2_2_1->n51_a_history_of_greece__1_5_1_2_2_1_1 n51_a_history_of_greece__1_5_1_2_2_2_1 ADJR n51_a_history_of_greece__1_5_1_2_2_2->n51_a_history_of_greece__1_5_1_2_2_2_1 n51_a_history_of_greece__1_5_1_2_2_2_1->n51_a_history_of_greece__1_5_1_2_2_2_1_1 n51_a_history_of_greece__1_5_1_2_2_3->n51_a_history_of_greece__1_5_1_2_2_3_1 n51_a_history_of_greece__1_5_1_2_2_4->n51_a_history_of_greece__1_5_1_2_2_4_1 n51_a_history_of_greece__1_6_1 P-ROLE n51_a_history_of_greece__1_6->n51_a_history_of_greece__1_6_1 n51_a_history_of_greece__1_6_2 NP n51_a_history_of_greece__1_6->n51_a_history_of_greece__1_6_2 n51_a_history_of_greece__1_6_1->n51_a_history_of_greece__1_6_1_1 n51_a_history_of_greece__1_6_2_1 Q;_nphd_ n51_a_history_of_greece__1_6_2->n51_a_history_of_greece__1_6_2_1 n51_a_history_of_greece__1_6_2_2 PP n51_a_history_of_greece__1_6_2->n51_a_history_of_greece__1_6_2_2 n51_a_history_of_greece__1_6_2_1->n51_a_history_of_greece__1_6_2_1_1 n51_a_history_of_greece__1_6_2_2_1 P-ROLE n51_a_history_of_greece__1_6_2_2->n51_a_history_of_greece__1_6_2_2_1 n51_a_history_of_greece__1_6_2_2_2 NP n51_a_history_of_greece__1_6_2_2->n51_a_history_of_greece__1_6_2_2_2 n51_a_history_of_greece__1_6_2_2_1->n51_a_history_of_greece__1_6_2_2_1_1 n51_a_history_of_greece__1_6_2_2_2_1 D n51_a_history_of_greece__1_6_2_2_2->n51_a_history_of_greece__1_6_2_2_2_1 n51_a_history_of_greece__1_6_2_2_2_2 NPR n51_a_history_of_greece__1_6_2_2_2->n51_a_history_of_greece__1_6_2_2_2_2 n51_a_history_of_greece__1_6_2_2_2_3 NPR n51_a_history_of_greece__1_6_2_2_2->n51_a_history_of_greece__1_6_2_2_2_3 n51_a_history_of_greece__1_6_2_2_2_1->n51_a_history_of_greece__1_6_2_2_2_1_1 n51_a_history_of_greece__1_6_2_2_2_2->n51_a_history_of_greece__1_6_2_2_2_2_1 n51_a_history_of_greece__1_6_2_2_2_3->n51_a_history_of_greece__1_6_2_2_2_3_1 n51_a_history_of_greece__1_7->n51_a_history_of_greece__1_7_1 
( (IP-MAT (PP-SCON (P-CONN Although;{although})
                   (IP-ADV (EX there;{there})
                           (BED;_ex_V_ were;{be})
                           (NP-ESBJ (ADJP (ADJ minor;{minor}))
                                    (ADJP (ADJ internal;{internal}))
                                    (NS wrangles;{wrangle}))))
          (PUNC ,)
          (NP-SBJ;{ALLIANCE} (D the;{the})
                             (N league;{league}))
          (VBD;_Tn_ controlled;{control})
          (NP-OB1 (NLYR (NLYR (D the;{the})
                              (NPR Aegean;{Aegean}))
                        (CONJP (CONJ and;{and})
                               (NLYR (D the;{the})
                                     (ADJP (ADJR greater;{great}))
                                     (NPR Athenian;{Athenian})
                                     (NPR Empire;{Empire})))))
          (PP-NIM (P-ROLE for;{for})
                  (NP (Q;_nphd_ most;{most})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (NPR fifth_century;{fifth_century})
                              (NPR b<dot>c)))))
          (PUNC .))
  (ID 51_a_history_of_greece))


%3 z_0051_5011 r_0051_0021__the_r_0051_0022__fifth_century_r_0051_0023__b_dot_c the fifth_century b.c z_0051_5011->r_0051_0021__the_r_0051_0022__fifth_century_r_0051_0023__b_dot_c of r_0051_0019__most__quant most [quant] r_0051_0019__most__quant->z_0051_5011 [restriction] r_0051_0010__controlled controlled r_0051_0019__most__quant->r_0051_0010__controlled [scope] r_0051_0010__controlled->z_0051_5011 for [nim] r_0051_0013__and and r_0051_0010__controlled->r_0051_0013__and [arg1] r_0051_0008__the_r_0051_0009__league the league r_0051_0010__controlled->r_0051_0008__the_r_0051_0009__league [arg0] r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire the Athenian Empire r_0051_0015__greater greater r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire->r_0051_0015__greater [attrib] r_0051_0013__and->r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire [conj2] r_0051_0011__the_r_0051_0012__Aegean the Aegean r_0051_0013__and->r_0051_0011__the_r_0051_0012__Aegean [conj1] r_0051_0006__wrangles wrangles r_0051_0005__internal internal r_0051_0006__wrangles->r_0051_0005__internal [attrib] r_0051_0004__minor minor r_0051_0006__wrangles->r_0051_0004__minor [attrib] r_0051_0003__were were r_0051_0003__were->r_0051_0006__wrangles [arg0] r_0051_0001__Although Although r_0051_0001__Although->r_0051_0019__most__quant [scope] r_0051_0001__Although->r_0051_0003__were [restriction] 
arc(r_0051_0001__Although,r_0051_0003__were,restriction).
arc(r_0051_0001__Although,r_0051_0019__most__quant,scope).
arc(r_0051_0003__were,r_0051_0006__wrangles,arg0).
arc(r_0051_0006__wrangles,r_0051_0004__minor,attrib).
arc(r_0051_0006__wrangles,r_0051_0005__internal,attrib).
arc(r_0051_0010__controlled,r_0051_0008__the_r_0051_0009__league,arg0).
arc(r_0051_0010__controlled,r_0051_0013__and,arg1).
arc(r_0051_0010__controlled,z_0051_5011,r_0051_0018__for__nim).
arc(r_0051_0013__and,r_0051_0011__the_r_0051_0012__Aegean,conj1).
arc(r_0051_0013__and,r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire,conj2).
arc(r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire,r_0051_0015__greater,attrib).
arc(r_0051_0019__most__quant,r_0051_0010__controlled,scope).
arc(r_0051_0019__most__quant,z_0051_5011,restriction).
arc(z_0051_5011,r_0051_0021__the_r_0051_0022__fifth_century_r_0051_0023__b_dot_c,r_0051_0020__of).


%3 r_0051_0001__Although Although r_0051_0003__were were r_0051_0001__Although->r_0051_0003__were [conj1] r_0051_0019__most__quant most [quant] r_0051_0001__Although->r_0051_0019__most__quant [conj2] r_0051_0006__wrangles wrangles r_0051_0003__were->r_0051_0006__wrangles [arg0] r_0051_0010__controlled controlled r_0051_0019__most__quant->r_0051_0010__controlled [scope] z_0051_5011 r_0051_0019__most__quant->z_0051_5011 [restriction] r_0051_0004__minor minor r_0051_0006__wrangles->r_0051_0004__minor [attrib] r_0051_0005__internal internal r_0051_0006__wrangles->r_0051_0005__internal [attrib] r_0051_0008__the_r_0051_0009__league the league r_0051_0010__controlled->r_0051_0008__the_r_0051_0009__league [arg0] r_0051_0013__and and r_0051_0010__controlled->r_0051_0013__and [arg1] r_0051_0010__controlled->z_0051_5011 for [nim] r_0051_0011__the_r_0051_0012__Aegean the Aegean r_0051_0013__and->r_0051_0011__the_r_0051_0012__Aegean [conj1] r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire the Athenian Empire r_0051_0013__and->r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire [conj2] r_0051_0021__the_r_0051_0022__fifth_century_r_0051_0023__b_dot_c the fifth_century b.c z_0051_5011->r_0051_0021__the_r_0051_0022__fifth_century_r_0051_0023__b_dot_c of r_0051_0015__greater greater r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire->r_0051_0015__greater [attrib] 
fof(formula,axiom,
    ? [R_0051_0004__MINOR,R_0051_0005__INTERNAL,R_0051_0006__WRANGLES,R_0051_0003__WERE,R_0051_0001__ALTHOUGH] :
      ( r_0051_0004__minor(R_0051_0004__MINOR)
      & r_0051_0005__internal(R_0051_0005__INTERNAL)
      & r_0051_0001__Although(R_0051_0001__ALTHOUGH)
      & ! [Z_0051_5011,R_0051_0021__THE_R_0051_0022__FIFTH_CENTURY_R_0051_0023__B_DOT_C] :
          ( ( r_0051_0021__the_r_0051_0022__fifth_century_r_0051_0023__b_dot_c(R_0051_0021__THE_R_0051_0022__FIFTH_CENTURY_R_0051_0023__B_DOT_C)
            & z_0051_5011(Z_0051_5011)
            & has_r_0051_0020__of(Z_0051_5011,R_0051_0021__THE_R_0051_0022__FIFTH_CENTURY_R_0051_0023__B_DOT_C) )
         => ? [R_0051_0008__THE_R_0051_0009__LEAGUE,R_0051_0011__THE_R_0051_0012__AEGEAN,R_0051_0015__GREATER,R_0051_0014__THE_R_0051_0016__ATHENIAN_R_0051_0017__EMPIRE,R_0051_0013__AND,R_0051_0010__CONTROLLED] :
              ( r_0051_0008__the_r_0051_0009__league(R_0051_0008__THE_R_0051_0009__LEAGUE)
              & r_0051_0011__the_r_0051_0012__Aegean(R_0051_0011__THE_R_0051_0012__AEGEAN)
              & r_0051_0015__greater(R_0051_0015__GREATER)
              & r_0051_0010__controlled(R_0051_0010__CONTROLLED)
              & has_r_0051_0018__for__nim(R_0051_0010__CONTROLLED,Z_0051_5011)
              & has_arg1(R_0051_0010__CONTROLLED,R_0051_0013__AND)
              & r_0051_0013__and(R_0051_0013__AND)
              & has_conj2(R_0051_0013__AND,R_0051_0014__THE_R_0051_0016__ATHENIAN_R_0051_0017__EMPIRE)
              & r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire(R_0051_0014__THE_R_0051_0016__ATHENIAN_R_0051_0017__EMPIRE)
              & has_attrib(R_0051_0014__THE_R_0051_0016__ATHENIAN_R_0051_0017__EMPIRE,R_0051_0015__GREATER)
              & has_conj1(R_0051_0013__AND,R_0051_0011__THE_R_0051_0012__AEGEAN)
              & has_arg0(R_0051_0010__CONTROLLED,R_0051_0008__THE_R_0051_0009__LEAGUE) ) )
      & has_conj1(R_0051_0001__ALTHOUGH,R_0051_0003__WERE)
      & r_0051_0003__were(R_0051_0003__WERE)
      & has_arg0(R_0051_0003__WERE,R_0051_0006__WRANGLES)
      & r_0051_0006__wrangles(R_0051_0006__WRANGLES)
      & has_attrib(R_0051_0006__WRANGLES,R_0051_0005__INTERNAL)
      & has_attrib(R_0051_0006__WRANGLES,R_0051_0004__MINOR) ) ).