Context                Previous, Next                Top


53_a_history_of_greece
In 431 b.c., Athens began a war with its neighbor and league member Sparta.

n53_a_history_of_greece n53_a_history_of_greece__1_1_1_1 In n53_a_history_of_greece__1_1_2_1_1 431 n53_a_history_of_greece__1_1_2_2_1 b.c. n53_a_history_of_greece__1_2_1 , n53_a_history_of_greece__1_3_1_1 Athens n53_a_history_of_greece__1_4_1 began n53_a_history_of_greece__1_5_1_1 a n53_a_history_of_greece__1_5_2_1 war n53_a_history_of_greece__1_5_3_1_1 with n53_a_history_of_greece__1_5_3_2_1_1_1_1_1_1_1 its n53_a_history_of_greece__1_5_3_2_1_1_1_1_2_1 neighbor n53_a_history_of_greece__1_5_3_2_1_1_1_2_1_1 and n53_a_history_of_greece__1_5_3_2_1_1_1_2_2_1_1 league n53_a_history_of_greece__1_5_3_2_1_1_1_2_2_2_1 member n53_a_history_of_greece__1_5_3_2_2_1 Sparta n53_a_history_of_greece__1_6_1 . n53_a_history_of_greece__1 IP-MAT n53_a_history_of_greece__1_1 PP-NIM n53_a_history_of_greece__1->n53_a_history_of_greece__1_1 n53_a_history_of_greece__1_2 PUNC n53_a_history_of_greece__1->n53_a_history_of_greece__1_2 n53_a_history_of_greece__1_3 NP-SBJ n53_a_history_of_greece__1->n53_a_history_of_greece__1_3 n53_a_history_of_greece__1_4 VBD;_Tn_ n53_a_history_of_greece__1->n53_a_history_of_greece__1_4 n53_a_history_of_greece__1_5 NP-OB1 n53_a_history_of_greece__1->n53_a_history_of_greece__1_5 n53_a_history_of_greece__1_6 PUNC n53_a_history_of_greece__1->n53_a_history_of_greece__1_6 n53_a_history_of_greece__1_1_1 P-ROLE n53_a_history_of_greece__1_1->n53_a_history_of_greece__1_1_1 n53_a_history_of_greece__1_1_2 NP n53_a_history_of_greece__1_1->n53_a_history_of_greece__1_1_2 n53_a_history_of_greece__1_1_1->n53_a_history_of_greece__1_1_1_1 n53_a_history_of_greece__1_1_2_1 NPR n53_a_history_of_greece__1_1_2->n53_a_history_of_greece__1_1_2_1 n53_a_history_of_greece__1_1_2_2 NPR n53_a_history_of_greece__1_1_2->n53_a_history_of_greece__1_1_2_2 n53_a_history_of_greece__1_1_2_1->n53_a_history_of_greece__1_1_2_1_1 n53_a_history_of_greece__1_1_2_2->n53_a_history_of_greece__1_1_2_2_1 n53_a_history_of_greece__1_2->n53_a_history_of_greece__1_2_1 n53_a_history_of_greece__1_3_1 NPR n53_a_history_of_greece__1_3->n53_a_history_of_greece__1_3_1 n53_a_history_of_greece__1_3_1->n53_a_history_of_greece__1_3_1_1 n53_a_history_of_greece__1_4->n53_a_history_of_greece__1_4_1 n53_a_history_of_greece__1_5_1 D n53_a_history_of_greece__1_5->n53_a_history_of_greece__1_5_1 n53_a_history_of_greece__1_5_2 N n53_a_history_of_greece__1_5->n53_a_history_of_greece__1_5_2 n53_a_history_of_greece__1_5_3 PP n53_a_history_of_greece__1_5->n53_a_history_of_greece__1_5_3 n53_a_history_of_greece__1_5_1->n53_a_history_of_greece__1_5_1_1 n53_a_history_of_greece__1_5_2->n53_a_history_of_greece__1_5_2_1 n53_a_history_of_greece__1_5_3_1 P-ROLE n53_a_history_of_greece__1_5_3->n53_a_history_of_greece__1_5_3_1 n53_a_history_of_greece__1_5_3_2 NP n53_a_history_of_greece__1_5_3->n53_a_history_of_greece__1_5_3_2 n53_a_history_of_greece__1_5_3_1->n53_a_history_of_greece__1_5_3_1_1 n53_a_history_of_greece__1_5_3_2_1 PRN n53_a_history_of_greece__1_5_3_2->n53_a_history_of_greece__1_5_3_2_1 n53_a_history_of_greece__1_5_3_2_2 NPR n53_a_history_of_greece__1_5_3_2->n53_a_history_of_greece__1_5_3_2_2 n53_a_history_of_greece__1_5_3_2_1_1 NP n53_a_history_of_greece__1_5_3_2_1->n53_a_history_of_greece__1_5_3_2_1_1 n53_a_history_of_greece__1_5_3_2_1_1_1 NLYR n53_a_history_of_greece__1_5_3_2_1_1->n53_a_history_of_greece__1_5_3_2_1_1_1 n53_a_history_of_greece__1_5_3_2_1_1_1_1 NLYR n53_a_history_of_greece__1_5_3_2_1_1_1->n53_a_history_of_greece__1_5_3_2_1_1_1_1 n53_a_history_of_greece__1_5_3_2_1_1_1_2 CONJP n53_a_history_of_greece__1_5_3_2_1_1_1->n53_a_history_of_greece__1_5_3_2_1_1_1_2 n53_a_history_of_greece__1_5_3_2_1_1_1_1_1 NP-GEN n53_a_history_of_greece__1_5_3_2_1_1_1_1->n53_a_history_of_greece__1_5_3_2_1_1_1_1_1 n53_a_history_of_greece__1_5_3_2_1_1_1_1_2 N n53_a_history_of_greece__1_5_3_2_1_1_1_1->n53_a_history_of_greece__1_5_3_2_1_1_1_1_2 n53_a_history_of_greece__1_5_3_2_1_1_1_1_1_1 PRO;_genm_ n53_a_history_of_greece__1_5_3_2_1_1_1_1_1->n53_a_history_of_greece__1_5_3_2_1_1_1_1_1_1 n53_a_history_of_greece__1_5_3_2_1_1_1_1_1_1->n53_a_history_of_greece__1_5_3_2_1_1_1_1_1_1_1 n53_a_history_of_greece__1_5_3_2_1_1_1_1_2->n53_a_history_of_greece__1_5_3_2_1_1_1_1_2_1 n53_a_history_of_greece__1_5_3_2_1_1_1_2_1 CONJ n53_a_history_of_greece__1_5_3_2_1_1_1_2->n53_a_history_of_greece__1_5_3_2_1_1_1_2_1 n53_a_history_of_greece__1_5_3_2_1_1_1_2_2 NLYR n53_a_history_of_greece__1_5_3_2_1_1_1_2->n53_a_history_of_greece__1_5_3_2_1_1_1_2_2 n53_a_history_of_greece__1_5_3_2_1_1_1_2_1->n53_a_history_of_greece__1_5_3_2_1_1_1_2_1_1 n53_a_history_of_greece__1_5_3_2_1_1_1_2_2_1 N n53_a_history_of_greece__1_5_3_2_1_1_1_2_2->n53_a_history_of_greece__1_5_3_2_1_1_1_2_2_1 n53_a_history_of_greece__1_5_3_2_1_1_1_2_2_2 N n53_a_history_of_greece__1_5_3_2_1_1_1_2_2->n53_a_history_of_greece__1_5_3_2_1_1_1_2_2_2 n53_a_history_of_greece__1_5_3_2_1_1_1_2_2_1->n53_a_history_of_greece__1_5_3_2_1_1_1_2_2_1_1 n53_a_history_of_greece__1_5_3_2_1_1_1_2_2_2->n53_a_history_of_greece__1_5_3_2_1_1_1_2_2_2_1 n53_a_history_of_greece__1_5_3_2_2->n53_a_history_of_greece__1_5_3_2_2_1 n53_a_history_of_greece__1_6->n53_a_history_of_greece__1_6_1 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NPR 431)
                      (NPR b<dot>c<dot>)))
          (PUNC ,)
          (NP-SBJ;{ATHENS} (NPR Athens;{Athens}))
          (VBD;_Tn_ began;{begin})
          (NP-OB1;{WAR431} (D a;{a})
                           (N war;{war})
                           (PP (P-ROLE with;{with})
                               (NP (PRN (NP (NLYR (NLYR (NP-GEN;{ATHENS} (PRO;_genm_ its;{its}))
                                                        (N neighbor;{neighbor}))
                                                  (CONJP (CONJ and;{and})
                                                         (NLYR (N league;{league})
                                                               (N member;{member}))))))
                                   (NPR Sparta;{Sparta}))))
          (PUNC .))
  (ID 53_a_history_of_greece))


%3 z_0053_5006 r_0053_0015__Sparta Sparta z_0053_5006->r_0053_0015__Sparta [arg0] r_0053_0012__and and z_0053_5006->r_0053_0012__and [prd] r_0053_0013__league_r_0053_0014__member league member r_0053_0012__and->r_0053_0013__league_r_0053_0014__member [conj2] r_0053_0011__neighbor neighbor r_0053_0012__and->r_0053_0011__neighbor [conj1] r_0053_0005__Athens Athens r_0053_0011__neighbor->r_0053_0005__Athens [gen] r_0053_0007__a_r_0053_0008__war a war r_0053_0007__a_r_0053_0008__war->r_0053_0015__Sparta with r_0053_0006__began began r_0053_0006__began->r_0053_0005__Athens [arg0] r_0053_0006__began->r_0053_0007__a_r_0053_0008__war [arg1] r_0053_0002__431_r_0053_0003__b_dot_c_dot_ 431 b.c. r_0053_0006__began->r_0053_0002__431_r_0053_0003__b_dot_c_dot_ In [nim] 
arc(r_0053_0006__began,r_0053_0002__431_r_0053_0003__b_dot_c_dot_,r_0053_0001__In__nim).
arc(r_0053_0006__began,r_0053_0005__Athens,arg0).
arc(r_0053_0006__began,r_0053_0007__a_r_0053_0008__war,arg1).
arc(r_0053_0007__a_r_0053_0008__war,r_0053_0015__Sparta,r_0053_0009__with).
arc(r_0053_0011__neighbor,r_0053_0005__Athens,gen).
arc(r_0053_0012__and,r_0053_0011__neighbor,conj1).
arc(r_0053_0012__and,r_0053_0013__league_r_0053_0014__member,conj2).
arc(z_0053_5006,r_0053_0012__and,prd).
arc(z_0053_5006,r_0053_0015__Sparta,arg0).


%3 r_0053_0006__began began r_0053_0002__431_r_0053_0003__b_dot_c_dot_ 431 b.c. r_0053_0006__began->r_0053_0002__431_r_0053_0003__b_dot_c_dot_ In [nim] r_0053_0005__Athens Athens r_0053_0006__began->r_0053_0005__Athens [arg0] r_0053_0007__a_r_0053_0008__war a war r_0053_0006__began->r_0053_0007__a_r_0053_0008__war [arg1] r_0053_0015__Sparta Sparta r_0053_0007__a_r_0053_0008__war->r_0053_0015__Sparta with r_0053_0011__neighbor neighbor r_0053_0011__neighbor->r_0053_0005__Athens [gen] r_0053_0012__and and r_0053_0012__and->r_0053_0011__neighbor [conj1] r_0053_0013__league_r_0053_0014__member league member r_0053_0012__and->r_0053_0013__league_r_0053_0014__member [conj2] z_0053_5006 z_0053_5006->r_0053_0015__Sparta [arg0] z_0053_5006->r_0053_0012__and [prd] 
fof(formula,axiom,
    ? [R_0053_0002__431_R_0053_0003__B_DOT_C_DOT_,R_0053_0005__ATHENS,R_0053_0015__SPARTA,R_0053_0007__A_R_0053_0008__WAR,R_0053_0006__BEGAN,R_0053_0011__NEIGHBOR,R_0053_0013__LEAGUE_R_0053_0014__MEMBER,R_0053_0012__AND,Z_0053_5006] :
      ( r_0053_0002__431_r_0053_0003__b_dot_c_dot_(R_0053_0002__431_R_0053_0003__B_DOT_C_DOT_)
      & r_0053_0005__Athens(R_0053_0005__ATHENS)
      & r_0053_0013__league_r_0053_0014__member(R_0053_0013__LEAGUE_R_0053_0014__MEMBER)
      & r_0053_0015__Sparta(R_0053_0015__SPARTA)
      & z_0053_5006(Z_0053_5006)
      & has_arg0(Z_0053_5006,R_0053_0015__SPARTA)
      & has_prd(Z_0053_5006,R_0053_0012__AND)
      & r_0053_0012__and(R_0053_0012__AND)
      & has_conj2(R_0053_0012__AND,R_0053_0013__LEAGUE_R_0053_0014__MEMBER)
      & has_conj1(R_0053_0012__AND,R_0053_0011__NEIGHBOR)
      & r_0053_0011__neighbor(R_0053_0011__NEIGHBOR)
      & has_gen(R_0053_0011__NEIGHBOR,R_0053_0005__ATHENS)
      & r_0053_0006__began(R_0053_0006__BEGAN)
      & has_arg1(R_0053_0006__BEGAN,R_0053_0007__A_R_0053_0008__WAR)
      & r_0053_0007__a_r_0053_0008__war(R_0053_0007__A_R_0053_0008__WAR)
      & has_r_0053_0009__with(R_0053_0007__A_R_0053_0008__WAR,R_0053_0015__SPARTA)
      & has_arg0(R_0053_0006__BEGAN,R_0053_0005__ATHENS)
      & has_r_0053_0001__In__nim(R_0053_0006__BEGAN,R_0053_0002__431_R_0053_0003__B_DOT_C_DOT_) ) ).