Context                Previous, Next                Top


46_a_history_of_greece
The two superpowers finally clashed at the epic battles of Marathon and Salamis in 480 b.c.

n46_a_history_of_greece n46_a_history_of_greece__1_1_1_1 The n46_a_history_of_greece__1_1_2_1 two n46_a_history_of_greece__1_1_3_1 superpowers n46_a_history_of_greece__1_2_1_1 finally n46_a_history_of_greece__1_3_1 clashed n46_a_history_of_greece__1_4_1_1 at n46_a_history_of_greece__1_4_2_1_1 the n46_a_history_of_greece__1_4_2_2_1_1 epic n46_a_history_of_greece__1_4_2_3_1 battles n46_a_history_of_greece__1_4_2_4_1_1 of n46_a_history_of_greece__1_4_2_4_2_1_1_1_1 Marathon n46_a_history_of_greece__1_4_2_4_2_1_2_1_1 and n46_a_history_of_greece__1_4_2_4_2_1_2_2_1_1 Salamis n46_a_history_of_greece__1_5_1_1 in n46_a_history_of_greece__1_5_2_1_1 480 n46_a_history_of_greece__1_5_2_2_1 b.c n46_a_history_of_greece__1_6_1 . n46_a_history_of_greece__1 IP-MAT n46_a_history_of_greece__1_1 NP-SBJ n46_a_history_of_greece__1->n46_a_history_of_greece__1_1 n46_a_history_of_greece__1_2 ADVP-NIM n46_a_history_of_greece__1->n46_a_history_of_greece__1_2 n46_a_history_of_greece__1_3 VBD;_I_ n46_a_history_of_greece__1->n46_a_history_of_greece__1_3 n46_a_history_of_greece__1_4 PP-NIM n46_a_history_of_greece__1->n46_a_history_of_greece__1_4 n46_a_history_of_greece__1_5 PP-NIM n46_a_history_of_greece__1->n46_a_history_of_greece__1_5 n46_a_history_of_greece__1_6 PUNC n46_a_history_of_greece__1->n46_a_history_of_greece__1_6 n46_a_history_of_greece__1_1_1 D n46_a_history_of_greece__1_1->n46_a_history_of_greece__1_1_1 n46_a_history_of_greece__1_1_2 NUM n46_a_history_of_greece__1_1->n46_a_history_of_greece__1_1_2 n46_a_history_of_greece__1_1_3 NS n46_a_history_of_greece__1_1->n46_a_history_of_greece__1_1_3 n46_a_history_of_greece__1_1_1->n46_a_history_of_greece__1_1_1_1 n46_a_history_of_greece__1_1_2->n46_a_history_of_greece__1_1_2_1 n46_a_history_of_greece__1_1_3->n46_a_history_of_greece__1_1_3_1 n46_a_history_of_greece__1_2_1 ADV n46_a_history_of_greece__1_2->n46_a_history_of_greece__1_2_1 n46_a_history_of_greece__1_2_1->n46_a_history_of_greece__1_2_1_1 n46_a_history_of_greece__1_3->n46_a_history_of_greece__1_3_1 n46_a_history_of_greece__1_4_1 P-ROLE n46_a_history_of_greece__1_4->n46_a_history_of_greece__1_4_1 n46_a_history_of_greece__1_4_2 NP n46_a_history_of_greece__1_4->n46_a_history_of_greece__1_4_2 n46_a_history_of_greece__1_4_1->n46_a_history_of_greece__1_4_1_1 n46_a_history_of_greece__1_4_2_1 D n46_a_history_of_greece__1_4_2->n46_a_history_of_greece__1_4_2_1 n46_a_history_of_greece__1_4_2_2 ADJP n46_a_history_of_greece__1_4_2->n46_a_history_of_greece__1_4_2_2 n46_a_history_of_greece__1_4_2_3 NS n46_a_history_of_greece__1_4_2->n46_a_history_of_greece__1_4_2_3 n46_a_history_of_greece__1_4_2_4 PP n46_a_history_of_greece__1_4_2->n46_a_history_of_greece__1_4_2_4 n46_a_history_of_greece__1_4_2_1->n46_a_history_of_greece__1_4_2_1_1 n46_a_history_of_greece__1_4_2_2_1 ADJ n46_a_history_of_greece__1_4_2_2->n46_a_history_of_greece__1_4_2_2_1 n46_a_history_of_greece__1_4_2_2_1->n46_a_history_of_greece__1_4_2_2_1_1 n46_a_history_of_greece__1_4_2_3->n46_a_history_of_greece__1_4_2_3_1 n46_a_history_of_greece__1_4_2_4_1 P-ROLE n46_a_history_of_greece__1_4_2_4->n46_a_history_of_greece__1_4_2_4_1 n46_a_history_of_greece__1_4_2_4_2 NP n46_a_history_of_greece__1_4_2_4->n46_a_history_of_greece__1_4_2_4_2 n46_a_history_of_greece__1_4_2_4_1->n46_a_history_of_greece__1_4_2_4_1_1 n46_a_history_of_greece__1_4_2_4_2_1 NLYR n46_a_history_of_greece__1_4_2_4_2->n46_a_history_of_greece__1_4_2_4_2_1 n46_a_history_of_greece__1_4_2_4_2_1_1 NLYR n46_a_history_of_greece__1_4_2_4_2_1->n46_a_history_of_greece__1_4_2_4_2_1_1 n46_a_history_of_greece__1_4_2_4_2_1_2 CONJP n46_a_history_of_greece__1_4_2_4_2_1->n46_a_history_of_greece__1_4_2_4_2_1_2 n46_a_history_of_greece__1_4_2_4_2_1_1_1 NPR n46_a_history_of_greece__1_4_2_4_2_1_1->n46_a_history_of_greece__1_4_2_4_2_1_1_1 n46_a_history_of_greece__1_4_2_4_2_1_1_1->n46_a_history_of_greece__1_4_2_4_2_1_1_1_1 n46_a_history_of_greece__1_4_2_4_2_1_2_1 CONJ n46_a_history_of_greece__1_4_2_4_2_1_2->n46_a_history_of_greece__1_4_2_4_2_1_2_1 n46_a_history_of_greece__1_4_2_4_2_1_2_2 NLYR n46_a_history_of_greece__1_4_2_4_2_1_2->n46_a_history_of_greece__1_4_2_4_2_1_2_2 n46_a_history_of_greece__1_4_2_4_2_1_2_1->n46_a_history_of_greece__1_4_2_4_2_1_2_1_1 n46_a_history_of_greece__1_4_2_4_2_1_2_2_1 NPR n46_a_history_of_greece__1_4_2_4_2_1_2_2->n46_a_history_of_greece__1_4_2_4_2_1_2_2_1 n46_a_history_of_greece__1_4_2_4_2_1_2_2_1->n46_a_history_of_greece__1_4_2_4_2_1_2_2_1_1 n46_a_history_of_greece__1_5_1 P-ROLE n46_a_history_of_greece__1_5->n46_a_history_of_greece__1_5_1 n46_a_history_of_greece__1_5_2 NP n46_a_history_of_greece__1_5->n46_a_history_of_greece__1_5_2 n46_a_history_of_greece__1_5_1->n46_a_history_of_greece__1_5_1_1 n46_a_history_of_greece__1_5_2_1 NPR n46_a_history_of_greece__1_5_2->n46_a_history_of_greece__1_5_2_1 n46_a_history_of_greece__1_5_2_2 NPR n46_a_history_of_greece__1_5_2->n46_a_history_of_greece__1_5_2_2 n46_a_history_of_greece__1_5_2_1->n46_a_history_of_greece__1_5_2_1_1 n46_a_history_of_greece__1_5_2_2->n46_a_history_of_greece__1_5_2_2_1 n46_a_history_of_greece__1_6->n46_a_history_of_greece__1_6_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (NUM two;{two})
                  (NS superpowers;{superpower}))
          (ADVP-NIM (ADV finally;{finally}))
          (VBD;_I_ clashed;{clash})
          (PP-NIM (P-ROLE at;{at})
                  (NP (D the;{the})
                      (ADJP (ADJ epic;{epic}))
                      (NS battles;{battle})
                      (PP (P-ROLE of;{of})
                          (NP (NLYR (NLYR (NPR Marathon;{Marathon}))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (NPR Salamis;{Salamis}))))))))
          (PP-NIM (P-ROLE in;{in})
                  (NP (NPR 480)
                      (NPR b<dot>c)))
          (PUNC .))
  (ID 46_a_history_of_greece))


%3 r_0046_0012__and and r_0046_0013__Salamis Salamis r_0046_0012__and->r_0046_0013__Salamis [conj2] r_0046_0011__Marathon Marathon r_0046_0012__and->r_0046_0011__Marathon [conj1] r_0046_0007__the_r_0046_0009__battles the battles r_0046_0007__the_r_0046_0009__battles->r_0046_0012__and of r_0046_0008__epic epic r_0046_0007__the_r_0046_0009__battles->r_0046_0008__epic [attrib] r_0046_0005__clashed clashed r_0046_0005__clashed->r_0046_0007__the_r_0046_0009__battles at [nim] r_0046_0015__480_r_0046_0016__b_dot_c 480 b.c r_0046_0005__clashed->r_0046_0015__480_r_0046_0016__b_dot_c in [nim] r_0046_0004__finally finally r_0046_0005__clashed->r_0046_0004__finally [nim] r_0046_0001__The_r_0046_0002__two_r_0046_0003__superpowers The two superpowers r_0046_0005__clashed->r_0046_0001__The_r_0046_0002__two_r_0046_0003__superpowers [arg0] 
arc(r_0046_0005__clashed,r_0046_0001__The_r_0046_0002__two_r_0046_0003__superpowers,arg0).
arc(r_0046_0005__clashed,r_0046_0004__finally,nim).
arc(r_0046_0005__clashed,r_0046_0007__the_r_0046_0009__battles,r_0046_0006__at__nim).
arc(r_0046_0005__clashed,r_0046_0015__480_r_0046_0016__b_dot_c,r_0046_0014__in__nim).
arc(r_0046_0007__the_r_0046_0009__battles,r_0046_0008__epic,attrib).
arc(r_0046_0007__the_r_0046_0009__battles,r_0046_0012__and,r_0046_0010__of).
arc(r_0046_0012__and,r_0046_0011__Marathon,conj1).
arc(r_0046_0012__and,r_0046_0013__Salamis,conj2).


%3 r_0046_0005__clashed clashed r_0046_0001__The_r_0046_0002__two_r_0046_0003__superpowers The two superpowers r_0046_0005__clashed->r_0046_0001__The_r_0046_0002__two_r_0046_0003__superpowers [arg0] r_0046_0004__finally finally r_0046_0005__clashed->r_0046_0004__finally [nim] r_0046_0007__the_r_0046_0009__battles the battles r_0046_0005__clashed->r_0046_0007__the_r_0046_0009__battles at [nim] r_0046_0015__480_r_0046_0016__b_dot_c 480 b.c r_0046_0005__clashed->r_0046_0015__480_r_0046_0016__b_dot_c in [nim] r_0046_0008__epic epic r_0046_0007__the_r_0046_0009__battles->r_0046_0008__epic [attrib] r_0046_0012__and and r_0046_0007__the_r_0046_0009__battles->r_0046_0012__and of r_0046_0011__Marathon Marathon r_0046_0012__and->r_0046_0011__Marathon [conj1] r_0046_0013__Salamis Salamis r_0046_0012__and->r_0046_0013__Salamis [conj2] 
fof(formula,axiom,
    ? [R_0046_0001__THE_R_0046_0002__TWO_R_0046_0003__SUPERPOWERS,R_0046_0004__FINALLY,R_0046_0008__EPIC,R_0046_0011__MARATHON,R_0046_0013__SALAMIS,R_0046_0012__AND,R_0046_0007__THE_R_0046_0009__BATTLES,R_0046_0015__480_R_0046_0016__B_DOT_C,R_0046_0005__CLASHED] :
      ( r_0046_0001__The_r_0046_0002__two_r_0046_0003__superpowers(R_0046_0001__THE_R_0046_0002__TWO_R_0046_0003__SUPERPOWERS)
      & r_0046_0004__finally(R_0046_0004__FINALLY)
      & r_0046_0008__epic(R_0046_0008__EPIC)
      & r_0046_0011__Marathon(R_0046_0011__MARATHON)
      & r_0046_0013__Salamis(R_0046_0013__SALAMIS)
      & r_0046_0015__480_r_0046_0016__b_dot_c(R_0046_0015__480_R_0046_0016__B_DOT_C)
      & r_0046_0005__clashed(R_0046_0005__CLASHED)
      & has_r_0046_0014__in__nim(R_0046_0005__CLASHED,R_0046_0015__480_R_0046_0016__B_DOT_C)
      & has_r_0046_0006__at__nim(R_0046_0005__CLASHED,R_0046_0007__THE_R_0046_0009__BATTLES)
      & r_0046_0007__the_r_0046_0009__battles(R_0046_0007__THE_R_0046_0009__BATTLES)
      & has_r_0046_0010__of(R_0046_0007__THE_R_0046_0009__BATTLES,R_0046_0012__AND)
      & r_0046_0012__and(R_0046_0012__AND)
      & has_conj2(R_0046_0012__AND,R_0046_0013__SALAMIS)
      & has_conj1(R_0046_0012__AND,R_0046_0011__MARATHON)
      & has_attrib(R_0046_0007__THE_R_0046_0009__BATTLES,R_0046_0008__EPIC)
      & has_nim(R_0046_0005__CLASHED,R_0046_0004__FINALLY)
      & has_arg0(R_0046_0005__CLASHED,R_0046_0001__THE_R_0046_0002__TWO_R_0046_0003__SUPERPOWERS) ) ).