90_a_history_of_greece
A force was gaining strength in the east to threaten their new bases.
arc(r_0090_0003__was, r_0090_0004__gaining, scope).
arc(r_0090_0004__gaining, r_0090_0001__A_r_0090_0002__force, arg0).
arc(r_0090_0004__gaining, r_0090_0005__strength, arg1).
arc(r_0090_0004__gaining, r_0090_0007__the_r_0090_0008__east, r_0090_0006__in_nim18).
arc(r_0090_0009__to_r_0090_0010__threaten, r_0090_0001__A_r_0090_0002__force, arg0).
arc(r_0090_0009__to_r_0090_0010__threaten, r_0090_0013__bases, arg1).
arc(r_0090_0013__bases, r_0090_0011__their, gen).
arc(r_0090_0013__bases, r_0090_0012__new, attrib33).
arc(z_000_90_a_history_of_greece_23, r_0090_0003__was, scope).
arc(z_000_90_a_history_of_greece_23, r_0090_0009__to_r_0090_0010__threaten, restriction).
fof(formula,axiom,
? [Z_90_A_HISTORY_OF_GREECE_23,R_90_9_TO_THREATEN,R_90_13_BASES,R_90_12_NEW,R_90_11_THEIR,R_90_3_WAS_GAINING,R_90_1_A_FORCE,R_90_5_STRENGTH,R_90_7_THE_EAST] :
( new(R_90_12_NEW)
& their(R_90_11_THEIR)
& a_force(R_90_1_A_FORCE)
& strength(R_90_5_STRENGTH)
& the_east(R_90_7_THE_EAST)
& z_90_a_history_of_greece_23(Z_90_A_HISTORY_OF_GREECE_23)
& conj1(Z_90_A_HISTORY_OF_GREECE_23,R_90_9_TO_THREATEN)
& to_threaten(R_90_9_TO_THREATEN,R_90_1_A_FORCE,R_90_13_BASES)
& bases(R_90_13_BASES)
& attrib33(R_90_13_BASES,R_90_12_NEW)
& gen(R_90_13_BASES,R_90_11_THEIR)
& conj2(Z_90_A_HISTORY_OF_GREECE_23,R_90_3_WAS_GAINING)
& was_gaining(R_90_3_WAS_GAINING,R_90_1_A_FORCE,R_90_5_STRENGTH)
& in_nim18(R_90_3_WAS_GAINING,R_90_7_THE_EAST) ) ).
( (IP-MAT (NP-SBJ (D A;{a})
(N force;{force}))
(BED;_cat_Vg_ was;{be})
(IP-PPL-CAT (VAG;_Tn_ gaining;{gain})
(NP-OB1 (N strength;{strength}))
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N east;{east}))))
(PP-SCON (IP-INF2 (TO to;{to})
(VB;_Tn_ threaten;{threaten})
(NP-OB1 (NP-GEN;{KNIGHTS} (PRO;_genm_ their;{their}))
(ADJP (ADJ new;{new}))
(NS bases;{base}))))
(PUNC .))
(ID 90_a_history_of_greece))