Context                Previous, Next                Top


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

%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_000_53_a_history_of_greece_26 z_000_53_a_history_of_greece_26->r_0053_0015__Sparta [arg0] z_000_53_a_history_of_greece_26->r_0053_0012__and [prd] 
arc(r_0053_0006__began, r_0053_0002__431_r_0053_0003__b_dot_c_dot_, r_0053_0001__In_nim5).
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_000_53_a_history_of_greece_26, r_0053_0012__and, prd).
arc(z_000_53_a_history_of_greece_26, 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_000_53_a_history_of_greece_26 z_000_53_a_history_of_greece_26->r_0053_0015__Sparta [arg0] z_000_53_a_history_of_greece_26->r_0053_0012__and [prd] 
fof(formula,axiom,
    ? [R_53_6_BEGAN,R_53_7_A_WAR,R_53_2_431_B_DOT_C_DOT_,Z_53_A_HISTORY_OF_GREECE_26,R_53_15_SPARTA,R_53_12_AND,R_53_11_NEIGHBOR,R_53_5_ATHENS,R_53_13_LEAGUE_MEMBER] :
      ( 431_b_dot_c_dot_(R_53_2_431_B_DOT_C_DOT_)
      & sparta(R_53_15_SPARTA)
      & athens(R_53_5_ATHENS)
      & league_member(R_53_13_LEAGUE_MEMBER)
      & began(R_53_6_BEGAN,R_53_5_ATHENS,R_53_7_A_WAR)
      & a_war(R_53_7_A_WAR)
      & with(R_53_7_A_WAR,R_53_15_SPARTA)
      & in_nim5(R_53_6_BEGAN,R_53_2_431_B_DOT_C_DOT_)
      & z_53_a_history_of_greece_26(Z_53_A_HISTORY_OF_GREECE_26,R_53_15_SPARTA,R_53_12_AND)
      & and(R_53_12_AND)
      & conj1(R_53_12_AND,R_53_11_NEIGHBOR)
      & neighbor(R_53_11_NEIGHBOR)
      & gen(R_53_11_NEIGHBOR,R_53_5_ATHENS)
      & conj2(R_53_12_AND,R_53_13_LEAGUE_MEMBER) ) ).


n53_a_history_of_greece n53_a_history_of_greece_4 In n53_a_history_of_greece_7 431 n53_a_history_of_greece_9 b.c. n53_a_history_of_greece_11 , n53_a_history_of_greece_14 Athens n53_a_history_of_greece_16 began n53_a_history_of_greece_19 a n53_a_history_of_greece_21 war n53_a_history_of_greece_24 with n53_a_history_of_greece_32 its n53_a_history_of_greece_34 neighbor n53_a_history_of_greece_37 and n53_a_history_of_greece_40 league n53_a_history_of_greece_42 member n53_a_history_of_greece_44 Sparta n53_a_history_of_greece_46 . n53_a_history_of_greece_1 IP-MAT n53_a_history_of_greece_2 PP-NIM n53_a_history_of_greece_1->n53_a_history_of_greece_2 n53_a_history_of_greece_10 PUNC n53_a_history_of_greece_1->n53_a_history_of_greece_10 n53_a_history_of_greece_12 NP-SBJ n53_a_history_of_greece_1->n53_a_history_of_greece_12 n53_a_history_of_greece_15 VBD;_Tn_ n53_a_history_of_greece_1->n53_a_history_of_greece_15 n53_a_history_of_greece_17 NP-OB1 n53_a_history_of_greece_1->n53_a_history_of_greece_17 n53_a_history_of_greece_45 PUNC n53_a_history_of_greece_1->n53_a_history_of_greece_45 n53_a_history_of_greece_3 P-ROLE n53_a_history_of_greece_2->n53_a_history_of_greece_3 n53_a_history_of_greece_5 NP n53_a_history_of_greece_2->n53_a_history_of_greece_5 n53_a_history_of_greece_3->n53_a_history_of_greece_4 n53_a_history_of_greece_6 NPR n53_a_history_of_greece_5->n53_a_history_of_greece_6 n53_a_history_of_greece_8 NPR n53_a_history_of_greece_5->n53_a_history_of_greece_8 n53_a_history_of_greece_6->n53_a_history_of_greece_7 n53_a_history_of_greece_8->n53_a_history_of_greece_9 n53_a_history_of_greece_10->n53_a_history_of_greece_11 n53_a_history_of_greece_13 NPR n53_a_history_of_greece_12->n53_a_history_of_greece_13 n53_a_history_of_greece_13->n53_a_history_of_greece_14 n53_a_history_of_greece_15->n53_a_history_of_greece_16 n53_a_history_of_greece_18 D n53_a_history_of_greece_17->n53_a_history_of_greece_18 n53_a_history_of_greece_20 N n53_a_history_of_greece_17->n53_a_history_of_greece_20 n53_a_history_of_greece_22 PP n53_a_history_of_greece_17->n53_a_history_of_greece_22 n53_a_history_of_greece_18->n53_a_history_of_greece_19 n53_a_history_of_greece_20->n53_a_history_of_greece_21 n53_a_history_of_greece_23 P-ROLE n53_a_history_of_greece_22->n53_a_history_of_greece_23 n53_a_history_of_greece_25 NP n53_a_history_of_greece_22->n53_a_history_of_greece_25 n53_a_history_of_greece_23->n53_a_history_of_greece_24 n53_a_history_of_greece_26 IP-PPL n53_a_history_of_greece_25->n53_a_history_of_greece_26 n53_a_history_of_greece_43 NPR n53_a_history_of_greece_25->n53_a_history_of_greece_43 n53_a_history_of_greece_27 NP-PRD n53_a_history_of_greece_26->n53_a_history_of_greece_27 n53_a_history_of_greece_28 NLYR n53_a_history_of_greece_27->n53_a_history_of_greece_28 n53_a_history_of_greece_29 NLYR n53_a_history_of_greece_28->n53_a_history_of_greece_29 n53_a_history_of_greece_35 CONJP n53_a_history_of_greece_28->n53_a_history_of_greece_35 n53_a_history_of_greece_30 NP-GEN n53_a_history_of_greece_29->n53_a_history_of_greece_30 n53_a_history_of_greece_33 N n53_a_history_of_greece_29->n53_a_history_of_greece_33 n53_a_history_of_greece_31 PRO;_genm_ n53_a_history_of_greece_30->n53_a_history_of_greece_31 n53_a_history_of_greece_31->n53_a_history_of_greece_32 n53_a_history_of_greece_33->n53_a_history_of_greece_34 n53_a_history_of_greece_36 CONJ n53_a_history_of_greece_35->n53_a_history_of_greece_36 n53_a_history_of_greece_38 NLYR n53_a_history_of_greece_35->n53_a_history_of_greece_38 n53_a_history_of_greece_36->n53_a_history_of_greece_37 n53_a_history_of_greece_39 N n53_a_history_of_greece_38->n53_a_history_of_greece_39 n53_a_history_of_greece_41 N n53_a_history_of_greece_38->n53_a_history_of_greece_41 n53_a_history_of_greece_39->n53_a_history_of_greece_40 n53_a_history_of_greece_41->n53_a_history_of_greece_42 n53_a_history_of_greece_43->n53_a_history_of_greece_44 n53_a_history_of_greece_45->n53_a_history_of_greece_46 
( (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 (IP-PPL (NP-PRD (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))