46_a_history_of_greece
The two superpowers finally clashed at the epic battles of Marathon and Salamis in 480 b.c.
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, nim9).
arc(r_0046_0005__clashed, r_0046_0007__the_r_0046_0009__battles, r_0046_0006__at_nim17).
arc(r_0046_0005__clashed, r_0046_0015__480_r_0046_0016__b_dot_c, r_0046_0014__in_nim42).
arc(r_0046_0007__the_r_0046_0009__battles, r_0046_0008__epic, attrib20).
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).
fof(formula,axiom,
? [R_46_5_CLASHED,R_46_1_THE_TWO_SUPERPOWERS,R_46_4_FINALLY,R_46_7_THE_BATTLES,R_46_8_EPIC,R_46_12_AND,R_46_11_MARATHON,R_46_13_SALAMIS,R_46_15_480_B_DOT_C] :
( the_two_superpowers(R_46_1_THE_TWO_SUPERPOWERS)
& finally(R_46_4_FINALLY)
& epic(R_46_8_EPIC)
& marathon(R_46_11_MARATHON)
& salamis(R_46_13_SALAMIS)
& 480_b_dot_c(R_46_15_480_B_DOT_C)
& clashed(R_46_5_CLASHED,R_46_1_THE_TWO_SUPERPOWERS)
& nim9(R_46_5_CLASHED,R_46_4_FINALLY)
& at_nim17(R_46_5_CLASHED,R_46_7_THE_BATTLES)
& the_battles(R_46_7_THE_BATTLES)
& attrib20(R_46_7_THE_BATTLES,R_46_8_EPIC)
& of(R_46_7_THE_BATTLES,R_46_12_AND)
& and(R_46_12_AND)
& conj1(R_46_12_AND,R_46_11_MARATHON)
& conj2(R_46_12_AND,R_46_13_SALAMIS)
& in_nim42(R_46_5_CLASHED,R_46_15_480_B_DOT_C) ) ).
( (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))