41_a_history_of_greece
As Athens rose in influence and power in the West, it was matched in the East by the rise of the Persian Empire.
( (IP-MAT (PP-SCON (P-CONN As;{as})
(IP-ADV (NP-SBJ;{ATHENS} (NPR Athens;{Athens}))
(VBD;_Ipr_ rose;{rise[in]})
(PP-CLR (P-ROLE in;{in})
(NP (NLYR (NLYR (N influence;{influence}))
(CONJP (CONJ and;{and})
(NLYR (N power;{power}))))))
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(NPR West;{West})))))
(PUNC ,)
(NP-SBJ;{ATHENS} (PRO it;{it}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (VVN;_Tn_ matched;{match})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(NPR East;{East})))
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D the;{the})
(N rise;{rise})
(PP (P-ROLE of;{of})
(NP;{PERSIANS} (D the;{the})
(ADJP (ADJ Persian;{persian}))
(N Empire;{empire}))))))
(PUNC .))
(ID 41_a_history_of_greece))
arc(r_0041_0001__As,r_0041_0003__rose_r_0041_0004__in,restriction).
arc(r_0041_0001__As,r_0041_0013__was,scope).
arc(r_0041_0003__rose_r_0041_0004__in,r_0041_0002__Athens,arg0).
arc(r_0041_0003__rose_r_0041_0004__in,r_0041_0006__and,arg1).
arc(r_0041_0003__rose_r_0041_0004__in,r_0041_0009__the_r_0041_0010__West,r_0041_0008__in__nim).
arc(r_0041_0006__and,r_0041_0005__influence,conj1).
arc(r_0041_0006__and,r_0041_0007__power,conj2).
arc(r_0041_0013__was,r_0041_0014__matched,scope).
arc(r_0041_0014__matched,r_0041_0002__Athens,arg1).
arc(r_0041_0014__matched,r_0041_0016__the_r_0041_0017__East,r_0041_0015__in__nim).
arc(r_0041_0014__matched,r_0041_0019__the_r_0041_0020__rise,r_0041_0018__by_arg0).
arc(r_0041_0019__the_r_0041_0020__rise,r_0041_0022__the_r_0041_0024__Empire,r_0041_0021__of).
arc(r_0041_0022__the_r_0041_0024__Empire,r_0041_0023__Persian,attrib).
fof(formula,axiom,
? [R_0041_0002__ATHENS,R_0041_0005__INFLUENCE,R_0041_0007__POWER,R_0041_0006__AND,R_0041_0009__THE_R_0041_0010__WEST,R_0041_0003__ROSE_R_0041_0004__IN,R_0041_0016__THE_R_0041_0017__EAST,R_0041_0023__PERSIAN,R_0041_0022__THE_R_0041_0024__EMPIRE,R_0041_0019__THE_R_0041_0020__RISE,R_0041_0013__WAS_R_0041_0014__MATCHED,R_0041_0001__AS] :
( r_0041_0002__Athens(R_0041_0002__ATHENS)
& r_0041_0005__influence(R_0041_0005__INFLUENCE)
& r_0041_0007__power(R_0041_0007__POWER)
& r_0041_0009__the_r_0041_0010__West(R_0041_0009__THE_R_0041_0010__WEST)
& r_0041_0016__the_r_0041_0017__East(R_0041_0016__THE_R_0041_0017__EAST)
& r_0041_0023__Persian(R_0041_0023__PERSIAN)
& r_0041_0001__As(R_0041_0001__AS)
& has_conj2(R_0041_0001__AS,R_0041_0013__WAS_R_0041_0014__MATCHED)
& r_0041_0013__was_r_0041_0014__matched(R_0041_0013__WAS_R_0041_0014__MATCHED)
& has_r_0041_0018__by_arg0(R_0041_0013__WAS_R_0041_0014__MATCHED,R_0041_0019__THE_R_0041_0020__RISE)
& r_0041_0019__the_r_0041_0020__rise(R_0041_0019__THE_R_0041_0020__RISE)
& has_r_0041_0021__of(R_0041_0019__THE_R_0041_0020__RISE,R_0041_0022__THE_R_0041_0024__EMPIRE)
& r_0041_0022__the_r_0041_0024__Empire(R_0041_0022__THE_R_0041_0024__EMPIRE)
& has_attrib(R_0041_0022__THE_R_0041_0024__EMPIRE,R_0041_0023__PERSIAN)
& has_r_0041_0015__in__nim(R_0041_0013__WAS_R_0041_0014__MATCHED,R_0041_0016__THE_R_0041_0017__EAST)
& has_arg1(R_0041_0013__WAS_R_0041_0014__MATCHED,R_0041_0002__ATHENS)
& has_conj1(R_0041_0001__AS,R_0041_0003__ROSE_R_0041_0004__IN)
& r_0041_0003__rose_r_0041_0004__in(R_0041_0003__ROSE_R_0041_0004__IN)
& has_r_0041_0008__in__nim(R_0041_0003__ROSE_R_0041_0004__IN,R_0041_0009__THE_R_0041_0010__WEST)
& has_arg1(R_0041_0003__ROSE_R_0041_0004__IN,R_0041_0006__AND)
& r_0041_0006__and(R_0041_0006__AND)
& has_conj2(R_0041_0006__AND,R_0041_0007__POWER)
& has_conj1(R_0041_0006__AND,R_0041_0005__INFLUENCE)
& has_arg0(R_0041_0003__ROSE_R_0041_0004__IN,R_0041_0002__ATHENS) ) ).