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 z_000_53_a_history_of_greece_26 r_0053_0015__Sparta Sparta z_000_53_a_history_of_greece_26->r_0053_0015__Sparta [arg0] r_0053_0012__and and z_000_53_a_history_of_greece_26->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] 
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__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 IP-PPL 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-PRD 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 (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))