TSPC 90_a_history_of

90_a_history_of_greece
A force was gaining strength in the east to threaten their new bases.

( (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))

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__nim).
arc(r_0090_0010__threaten,r_0090_0001__A_r_0090_0002__force,arg0).
arc(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,attrib).
arc(z_0090_5002,r_0090_0003__was,scope).
arc(z_0090_5002,r_0090_0010__threaten,restriction).

fof(formula,axiom,
    ? [R_0090_0001__A_R_0090_0002__FORCE,R_0090_0005__STRENGTH,R_0090_0007__THE_R_0090_0008__EAST,R_0090_0003__WAS_R_0090_0004__GAINING,R_0090_0011__THEIR,R_0090_0012__NEW,R_0090_0013__BASES,R_0090_0010__THREATEN,Z_0090_5002] :
      ( r_0090_0001__A_r_0090_0002__force(R_0090_0001__A_R_0090_0002__FORCE)
      & r_0090_0005__strength(R_0090_0005__STRENGTH)
      & r_0090_0007__the_r_0090_0008__east(R_0090_0007__THE_R_0090_0008__EAST)
      & r_0090_0011__their(R_0090_0011__THEIR)
      & r_0090_0012__new(R_0090_0012__NEW)
      & z_0090_5002(Z_0090_5002)
      & has_conj1(Z_0090_5002,R_0090_0010__THREATEN)
      & r_0090_0010__threaten(R_0090_0010__THREATEN)
      & has_arg1(R_0090_0010__THREATEN,R_0090_0013__BASES)
      & r_0090_0013__bases(R_0090_0013__BASES)
      & has_attrib(R_0090_0013__BASES,R_0090_0012__NEW)
      & has_gen(R_0090_0013__BASES,R_0090_0011__THEIR)
      & has_arg0(R_0090_0010__THREATEN,R_0090_0001__A_R_0090_0002__FORCE)
      & has_conj2(Z_0090_5002,R_0090_0003__WAS_R_0090_0004__GAINING)
      & r_0090_0003__was_r_0090_0004__gaining(R_0090_0003__WAS_R_0090_0004__GAINING)
      & has_r_0090_0006__in__nim(R_0090_0003__WAS_R_0090_0004__GAINING,R_0090_0007__THE_R_0090_0008__EAST)
      & has_arg1(R_0090_0003__WAS_R_0090_0004__GAINING,R_0090_0005__STRENGTH)
      & has_arg0(R_0090_0003__WAS_R_0090_0004__GAINING,R_0090_0001__A_R_0090_0002__FORCE) ) ).