( (IP-MAT (ILYR (ILYR (NP-SBJ;{GREECE} (NPR Greece;{Greece}))
                      (VBD;_phr_Vp_ moved;{move[in]})
                      (RP in;{in})
                      (PP-SCON (IP-INF (TO to;{to})
                                       (VB;_Tn_ administer;{administer})
                                       (NP-OB1 (D the;{the})
                                               (N land;{land})))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (D a;{a})
                                     (ADJP (ADJ new;{new}))
                                     (N influence;{influence}))
                             (VBD;_Tn_ upset;{upset})
                             (NP-OB1 (D any;{any})
                                     (ADJP (ADJ grand;{grand}))
                                     (NS dreams;{dream})
                                     (PP (P-ROLE of;{of})
                                         (IP-PPL (VAG;_Cn.n_ making;{make})
                                                 (NP-OB1 (D this;{this})
                                                         (N region;{region}))
                                                 (NP-PRD (D a;{a})
                                                         (N part;{part})
                                                         (PP (P-ROLE of;{of})
                                                             (NP (ADJP (ADJR greater;{great}))
                                                                 (NPR Greece;{Greece}))))))))))
          (PUNC .))
  (ID 115_a_history_of_greece))

arc(r_0115_0002__moved_r_0115_0003__in,r_0115_0001__Greece,arg0).
arc(r_0115_0005__administer,r_0115_0001__Greece,arg0).
arc(r_0115_0005__administer,r_0115_0006__the_r_0115_0007__land,arg1).
arc(r_0115_0009__but,r_0115_0013__upset,conj2).
arc(r_0115_0009__but,z_0115_5001,conj1).
arc(r_0115_0010__a_r_0115_0012__influence,r_0115_0011__new,attrib).
arc(r_0115_0013__upset,r_0115_0010__a_r_0115_0012__influence,arg0).
arc(r_0115_0013__upset,r_0115_0014__any_r_0115_0016__dreams,arg1).
arc(r_0115_0014__any_r_0115_0016__dreams,r_0115_0015__grand,attrib).
arc(r_0115_0014__any_r_0115_0016__dreams,r_0115_0018__making,r_0115_0017__of).
arc(r_0115_0018__making,r_0115_0019__this_r_0115_0020__region,arg1).
arc(r_0115_0018__making,r_0115_0021__a_r_0115_0022__part,prd).
arc(r_0115_0018__making,z_0115_5012,arg0).
arc(r_0115_0021__a_r_0115_0022__part,r_0115_0025__Greece,r_0115_0023__of).
arc(r_0115_0025__Greece,r_0115_0024__greater,attrib).
arc(z_0115_5001,r_0115_0002__moved_r_0115_0003__in,scope).
arc(z_0115_5001,r_0115_0005__administer,restriction).

fof(formula,axiom,
    ? [R_0115_0011__NEW,R_0115_0010__A_R_0115_0012__INFLUENCE,R_0115_0015__GRAND,R_0115_0019__THIS_R_0115_0020__REGION,R_0115_0024__GREATER,R_0115_0025__GREECE,R_0115_0021__A_R_0115_0022__PART,Z_0115_5012,R_0115_0018__MAKING,R_0115_0014__ANY_R_0115_0016__DREAMS,R_0115_0013__UPSET,R_0115_0001__GREECE,R_0115_0002__MOVED_R_0115_0003__IN,R_0115_0006__THE_R_0115_0007__LAND,R_0115_0005__ADMINISTER,Z_0115_5001,R_0115_0009__BUT] :
      ( r_0115_0001__Greece(R_0115_0001__GREECE)
      & r_0115_0006__the_r_0115_0007__land(R_0115_0006__THE_R_0115_0007__LAND)
      & r_0115_0011__new(R_0115_0011__NEW)
      & r_0115_0015__grand(R_0115_0015__GRAND)
      & r_0115_0019__this_r_0115_0020__region(R_0115_0019__THIS_R_0115_0020__REGION)
      & r_0115_0024__greater(R_0115_0024__GREATER)
      & z_0115_5012(Z_0115_5012)
      & r_0115_0009__but(R_0115_0009__BUT)
      & has_conj1(R_0115_0009__BUT,Z_0115_5001)
      & z_0115_5001(Z_0115_5001)
      & has_conj1(Z_0115_5001,R_0115_0005__ADMINISTER)
      & r_0115_0005__administer(R_0115_0005__ADMINISTER)
      & has_arg1(R_0115_0005__ADMINISTER,R_0115_0006__THE_R_0115_0007__LAND)
      & has_arg0(R_0115_0005__ADMINISTER,R_0115_0001__GREECE)
      & has_conj2(Z_0115_5001,R_0115_0002__MOVED_R_0115_0003__IN)
      & r_0115_0002__moved_r_0115_0003__in(R_0115_0002__MOVED_R_0115_0003__IN)
      & has_arg0(R_0115_0002__MOVED_R_0115_0003__IN,R_0115_0001__GREECE)
      & has_conj2(R_0115_0009__BUT,R_0115_0013__UPSET)
      & r_0115_0013__upset(R_0115_0013__UPSET)
      & has_arg1(R_0115_0013__UPSET,R_0115_0014__ANY_R_0115_0016__DREAMS)
      & r_0115_0014__any_r_0115_0016__dreams(R_0115_0014__ANY_R_0115_0016__DREAMS)
      & has_r_0115_0017__of(R_0115_0014__ANY_R_0115_0016__DREAMS,R_0115_0018__MAKING)
      & r_0115_0018__making(R_0115_0018__MAKING)
      & has_arg0(R_0115_0018__MAKING,Z_0115_5012)
      & has_prd(R_0115_0018__MAKING,R_0115_0021__A_R_0115_0022__PART)
      & r_0115_0021__a_r_0115_0022__part(R_0115_0021__A_R_0115_0022__PART)
      & has_r_0115_0023__of(R_0115_0021__A_R_0115_0022__PART,R_0115_0025__GREECE)
      & r_0115_0025__Greece(R_0115_0025__GREECE)
      & has_attrib(R_0115_0025__GREECE,R_0115_0024__GREATER)
      & has_arg1(R_0115_0018__MAKING,R_0115_0019__THIS_R_0115_0020__REGION)
      & has_attrib(R_0115_0014__ANY_R_0115_0016__DREAMS,R_0115_0015__GRAND)
      & has_arg0(R_0115_0013__UPSET,R_0115_0010__A_R_0115_0012__INFLUENCE)
      & r_0115_0010__a_r_0115_0012__influence(R_0115_0010__A_R_0115_0012__INFLUENCE)
      & has_attrib(R_0115_0010__A_R_0115_0012__INFLUENCE,R_0115_0011__NEW) ) ).