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_0005__main, r_0084_0001__The_r_0084_0002__Venetians, gen).
arc(r_0084_0006__towns, r_0084_0005__main, attrib10).
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, attrib66).
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_0026__that_r_0084_0027__were, r_0084_0028__designed, scope).
arc(r_0084_0028__designed, r_0084_0020__labyrinths, arg1).
arc(r_0084_0028__designed, z_000_84_a_history_of_greece_85, arg0).
arc(r_0084_0029__to_r_0084_0030__confuse, r_0084_0020__labyrinths, arg0).
arc(r_0084_0029__to_r_0084_0030__confuse, r_0084_0034__invaders, arg1).
arc(r_0084_0031__and, r_0084_0029__to_r_0084_0030__confuse, conj1).
arc(r_0084_0031__and, r_0084_0032__to_r_0084_0033__demoralize, conj2).
arc(r_0084_0032__to_r_0084_0033__demoralize, r_0084_0020__labyrinths, arg0).
arc(r_0084_0032__to_r_0084_0033__demoralize, r_0084_0034__invaders, arg1).
arc(z_000_84_a_history_of_greece_53, r_0084_0003__fortified, scope).
arc(z_000_84_a_history_of_greece_53, r_0084_0019__creating, restriction).
arc(z_000_84_a_history_of_greece_89, r_0084_0026__that_r_0084_0027__were, scope).
arc(z_000_84_a_history_of_greece_89, r_0084_0031__and, restriction).

fof(formula,axiom,
    ? [Z_84_A_HISTORY_OF_GREECE_53,R_84_19_CREATING,R_84_3_FORTIFIED,R_84_6_TOWNS,R_84_5_MAIN,R_84_1_THE_VENETIANS,Z_84_A_HISTORY_OF_GREECE_89,R_84_31_AND,R_84_29_TO_CONFUSE,R_84_32_TO_DEMORALIZE,R_84_34_INVADERS,R_84_26_THAT_WERE_DESIGNED,Z_84_A_HISTORY_OF_GREECE_85,R_84_20_LABYRINTHS,R_84_24_AND,R_84_23_ALLEYS,R_84_22_NARROW,R_84_25_CUL_HYPHEN_DE_HYPHEN_SACS] :
      ( the_Venetians(R_84_1_THE_VENETIANS)
      & invaders(R_84_34_INVADERS)
      & narrow(R_84_22_NARROW)
      & cul_hyphen_de_hyphen_sacs(R_84_25_CUL_HYPHEN_DE_HYPHEN_SACS)
      & z_84_a_history_of_greece_53(Z_84_A_HISTORY_OF_GREECE_53)
      & conj1(Z_84_A_HISTORY_OF_GREECE_53,R_84_19_CREATING)
      & creating(R_84_19_CREATING,R_84_1_THE_VENETIANS,R_84_20_LABYRINTHS)
      & labyrinths(R_84_20_LABYRINTHS)
      & of(R_84_20_LABYRINTHS,R_84_24_AND)
      & and(R_84_24_AND)
      & conj1(R_84_24_AND,R_84_23_ALLEYS)
      & alleys(R_84_23_ALLEYS)
      & attrib66(R_84_23_ALLEYS,R_84_22_NARROW)
      & conj2(R_84_24_AND,R_84_25_CUL_HYPHEN_DE_HYPHEN_SACS)
      & conj2(Z_84_A_HISTORY_OF_GREECE_53,R_84_3_FORTIFIED)
      & fortified(R_84_3_FORTIFIED,R_84_1_THE_VENETIANS,R_84_6_TOWNS)
      & towns(R_84_6_TOWNS)
      & attrib10(R_84_6_TOWNS,R_84_5_MAIN)
      & main(R_84_5_MAIN)
      & gen(R_84_5_MAIN,R_84_1_THE_VENETIANS)
      & z_84_a_history_of_greece_89(Z_84_A_HISTORY_OF_GREECE_89)
      & conj1(Z_84_A_HISTORY_OF_GREECE_89,R_84_31_AND)
      & and(R_84_31_AND)
      & conj1(R_84_31_AND,R_84_29_TO_CONFUSE)
      & to_confuse(R_84_29_TO_CONFUSE,R_84_20_LABYRINTHS,R_84_34_INVADERS)
      & conj2(R_84_31_AND,R_84_32_TO_DEMORALIZE)
      & to_demoralize(R_84_32_TO_DEMORALIZE,R_84_20_LABYRINTHS,R_84_34_INVADERS)
      & conj2(Z_84_A_HISTORY_OF_GREECE_89,R_84_26_THAT_WERE_DESIGNED)
      & that_were_designed(R_84_26_THAT_WERE_DESIGNED,Z_84_A_HISTORY_OF_GREECE_85,R_84_20_LABYRINTHS) ) ).

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