( (IP-MAT (NP-SBJ;{VENETIANS} (D The;{the})
                              (NPRS Venetians;{Venetians}))
          (VBD;_Tn_ fortified;{fortify})
          (NP-OB1 (ADJP (NP-GEN;{VENETIANS} (PRO;_genm_ their;{their}))
                        (ADJ main;{main}))
                  (NS towns;{town}))
          (PUNC <ndash>)
          (PRN (IP-MAT (NP-SBJ (NLYR (NLYR (NPR Naxos;{Naxos})
                                           (NPR Town;{Town}))
                                     (CONJP (CONJ and;{and})
                                            (NLYR (NPR Antiparos;{Antiparos})
                                                  (NPR Town;{Town})))))
                       (BEP;_Ln_ are;{be})
                       (NP-PRD (ADJP (ADJ wonderful;{wonderful}))
                               (NS examples;{example})
                               (PP (P-ROLE of;{of})
                                   (NP (D;_nphd_ this;{this}))))))
          (PUNC <ndash>)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ creating;{create})
                            (NP-OB1 (NS labyrinths;{labyrinth})
                                    (PP (P-ROLE of;{of})
                                        (NP (NLYR (NLYR (ADJP (ADJ narrow;{narrow}))
                                                        (NS alleys;{alley}))
                                                  (CONJP (CONJ and;{and})
                                                         (NLYR (NS cul_<hyphen>_de_<hyphen>_sacs;{cul_de_sacs}))))))
                                    (IP-REL (C that;{that})
                                            (NP-SBJ *T*)
                                            (BED;_cat_VePASS_ were;{be})
                                            (IP-PPL-CAT (NP-LGS *)
                                                        (VVN;_Tn_ designed;{design}))
                                            (PP-SCON (IP-INF (ILYR (ILYR (TO to;{to})
                                                                         (VB;_Tn_ confuse;{confuse}))
                                                                   (CONJP (CONJ and;{and})
                                                                          (ILYR (TO to;{to})
                                                                                (VB;_Tn_ demoralize;{demoralize}))))
                                                             (NP-OB1 (NS invaders;{invader}))))))))
          (PUNC .))
  (ID 84_a_history_of_greece))

arc(r_0084_0003__fortified,r_0084_0001__The_r_0084_0002__Venetians,arg0).
arc(r_0084_0003__fortified,r_0084_0006__towns,arg1).
arc(r_0084_0003__fortified,r_0084_0013__are,prn).
arc(r_0084_0005__main,r_0084_0001__The_r_0084_0002__Venetians,gen).
arc(r_0084_0006__towns,r_0084_0005__main,attrib).
arc(r_0084_0010__and,r_0084_0008__Naxos_r_0084_0009__Town,conj1).
arc(r_0084_0010__and,r_0084_0011__Antiparos_r_0084_0012__Town,conj2).
arc(r_0084_0013__are,r_0084_0010__and,arg0).
arc(r_0084_0013__are,r_0084_0015__examples,prd).
arc(r_0084_0015__examples,r_0084_0014__wonderful,attrib).
arc(r_0084_0015__examples,r_0084_0017__this,r_0084_0016__of).
arc(r_0084_0019__creating,r_0084_0001__The_r_0084_0002__Venetians,arg0).
arc(r_0084_0019__creating,r_0084_0020__labyrinths,arg1).
arc(r_0084_0020__labyrinths,r_0084_0024__and,r_0084_0021__of).
arc(r_0084_0023__alleys,r_0084_0022__narrow,attrib).
arc(r_0084_0024__and,r_0084_0023__alleys,conj1).
arc(r_0084_0024__and,r_0084_0025__cul__hyphen__de__hyphen__sacs,conj2).
arc(r_0084_0027__were,r_0084_0028__designed,scope).
arc(r_0084_0028__designed,r_0084_0020__labyrinths,inv_arg1).
arc(r_0084_0028__designed,z_0084_5020___star_,arg0).
arc(r_0084_0030__confuse,r_0084_0034__invaders,arg1).
arc(r_0084_0030__confuse,z_0084_5012,arg0).
arc(r_0084_0031__and,r_0084_0030__confuse,conj1).
arc(r_0084_0031__and,r_0084_0033__demoralize,conj2).
arc(r_0084_0033__demoralize,r_0084_0034__invaders,arg1).
arc(r_0084_0033__demoralize,z_0084_5012,arg0).
arc(z_0084_5004,r_0084_0003__fortified,scope).
arc(z_0084_5004,r_0084_0019__creating,restriction).
arc(z_0084_5013,r_0084_0027__were,scope).
arc(z_0084_5013,r_0084_0031__and,restriction).

fof(formula,axiom,
    ? [R_0084_0001__THE_R_0084_0002__VENETIANS,R_0084_0005__MAIN,R_0084_0006__TOWNS,R_0084_0008__NAXOS_R_0084_0009__TOWN,R_0084_0011__ANTIPAROS_R_0084_0012__TOWN,R_0084_0010__AND,R_0084_0014__WONDERFUL,R_0084_0017__THIS,R_0084_0015__EXAMPLES,R_0084_0013__ARE,R_0084_0003__FORTIFIED,R_0084_0022__NARROW,R_0084_0023__ALLEYS,R_0084_0025__CUL__HYPHEN__DE__HYPHEN__SACS,R_0084_0024__AND,Z_0084_5020___STAR_,R_0084_0027__WERE_R_0084_0028__DESIGNED,R_0084_0020__LABYRINTHS,R_0084_0019__CREATING,Z_0084_5004,R_0084_0034__INVADERS,Z_0084_5012,R_0084_0030__CONFUSE,R_0084_0033__DEMORALIZE,R_0084_0031__AND,Z_0084_5013] :
      ( r_0084_0001__The_r_0084_0002__Venetians(R_0084_0001__THE_R_0084_0002__VENETIANS)
      & r_0084_0008__Naxos_r_0084_0009__Town(R_0084_0008__NAXOS_R_0084_0009__TOWN)
      & r_0084_0011__Antiparos_r_0084_0012__Town(R_0084_0011__ANTIPAROS_R_0084_0012__TOWN)
      & r_0084_0014__wonderful(R_0084_0014__WONDERFUL)
      & r_0084_0017__this(R_0084_0017__THIS)
      & r_0084_0022__narrow(R_0084_0022__NARROW)
      & r_0084_0025__cul__hyphen__de__hyphen__sacs(R_0084_0025__CUL__HYPHEN__DE__HYPHEN__SACS)
      & r_0084_0034__invaders(R_0084_0034__INVADERS)
      & z_0084_5012(Z_0084_5012)
      & z_0084_5020___star_(Z_0084_5020___STAR_)
      & z_0084_5013(Z_0084_5013)
      & has_conj1(Z_0084_5013,R_0084_0031__AND)
      & r_0084_0031__and(R_0084_0031__AND)
      & has_conj2(R_0084_0031__AND,R_0084_0033__DEMORALIZE)
      & r_0084_0033__demoralize(R_0084_0033__DEMORALIZE)
      & has_arg0(R_0084_0033__DEMORALIZE,Z_0084_5012)
      & has_arg1(R_0084_0033__DEMORALIZE,R_0084_0034__INVADERS)
      & has_conj1(R_0084_0031__AND,R_0084_0030__CONFUSE)
      & r_0084_0030__confuse(R_0084_0030__CONFUSE)
      & has_arg0(R_0084_0030__CONFUSE,Z_0084_5012)
      & has_arg1(R_0084_0030__CONFUSE,R_0084_0034__INVADERS)
      & has_conj2(Z_0084_5013,R_0084_0027__WERE_R_0084_0028__DESIGNED)
      & r_0084_0027__were_r_0084_0028__designed(R_0084_0027__WERE_R_0084_0028__DESIGNED)
      & has_arg0(R_0084_0027__WERE_R_0084_0028__DESIGNED,Z_0084_5020___STAR_)
      & z_0084_5004(Z_0084_5004)
      & has_conj1(Z_0084_5004,R_0084_0019__CREATING)
      & r_0084_0019__creating(R_0084_0019__CREATING)
      & has_arg1(R_0084_0019__CREATING,R_0084_0020__LABYRINTHS)
      & r_0084_0020__labyrinths(R_0084_0020__LABYRINTHS)
      & has_inv_arg1(R_0084_0020__LABYRINTHS,R_0084_0027__WERE_R_0084_0028__DESIGNED)
      & has_r_0084_0021__of(R_0084_0020__LABYRINTHS,R_0084_0024__AND)
      & r_0084_0024__and(R_0084_0024__AND)
      & has_conj2(R_0084_0024__AND,R_0084_0025__CUL__HYPHEN__DE__HYPHEN__SACS)
      & has_conj1(R_0084_0024__AND,R_0084_0023__ALLEYS)
      & r_0084_0023__alleys(R_0084_0023__ALLEYS)
      & has_attrib(R_0084_0023__ALLEYS,R_0084_0022__NARROW)
      & has_arg0(R_0084_0019__CREATING,R_0084_0001__THE_R_0084_0002__VENETIANS)
      & has_conj2(Z_0084_5004,R_0084_0003__FORTIFIED)
      & r_0084_0003__fortified(R_0084_0003__FORTIFIED)
      & has_prn(R_0084_0003__FORTIFIED,R_0084_0013__ARE)
      & r_0084_0013__are(R_0084_0013__ARE)
      & has_prd(R_0084_0013__ARE,R_0084_0015__EXAMPLES)
      & r_0084_0015__examples(R_0084_0015__EXAMPLES)
      & has_r_0084_0016__of(R_0084_0015__EXAMPLES,R_0084_0017__THIS)
      & has_attrib(R_0084_0015__EXAMPLES,R_0084_0014__WONDERFUL)
      & has_arg0(R_0084_0013__ARE,R_0084_0010__AND)
      & r_0084_0010__and(R_0084_0010__AND)
      & has_conj2(R_0084_0010__AND,R_0084_0011__ANTIPAROS_R_0084_0012__TOWN)
      & has_conj1(R_0084_0010__AND,R_0084_0008__NAXOS_R_0084_0009__TOWN)
      & has_arg1(R_0084_0003__FORTIFIED,R_0084_0006__TOWNS)
      & r_0084_0006__towns(R_0084_0006__TOWNS)
      & has_attrib(R_0084_0006__TOWNS,R_0084_0005__MAIN)
      & r_0084_0005__main(R_0084_0005__MAIN)
      & has_gen(R_0084_0005__MAIN,R_0084_0001__THE_R_0084_0002__VENETIANS)
      & has_arg0(R_0084_0003__FORTIFIED,R_0084_0001__THE_R_0084_0002__VENETIANS) ) ).