arc(r_0032_0005__encounters, r_0032_0004__daily, attrib11).
arc(r_0032_0005__encounters, r_0032_0007__footpaths, r_0032_0006__on).
arc(r_0032_0005__encounters, r_0032_0009__fellow_r_0032_0010__dog_r_0032_0012__owners, r_0032_0008__with).
arc(r_0032_0013__opened, r_0032_0002__me, r_0032_0001__For_nim5).
arc(r_0032_0013__opened, r_0032_0005__encounters, arg0).
arc(r_0032_0013__opened, r_0032_0015__acquaintance, arg1).
arc(r_0032_0015__acquaintance, r_0032_0014__informal, attrib37).
arc(r_0032_0015__acquaintance, r_0032_0017__a_r_0032_0019__cross_r_0032_0021__section, r_0032_0016__with).
arc(r_0032_0017__a_r_0032_0019__cross_r_0032_0021__section, r_0032_0018__splendid, attrib48).
arc(r_0032_0017__a_r_0032_0019__cross_r_0032_0021__section, r_0032_0024__neighbours, r_0032_0022__of).
arc(r_0032_0024__neighbours, r_0032_0002__me, gen).
arc(r_0032_0026__unhindered, r_0032_0005__encounters, arg1).
arc(r_0032_0026__unhindered, r_0032_0028__comparisons, arg0).
arc(r_0032_0028__comparisons, r_0032_0037__or, r_0032_0029__of).
arc(r_0032_0031__incomes, r_0032_0030__wealthy, attrib84).
arc(r_0032_0034__and, r_0032_0033__social, conj1).
arc(r_0032_0034__and, r_0032_0035__domestic, conj2).
arc(r_0032_0036__background, r_0032_0034__and, attrib93).
arc(r_0032_0037__or, r_0032_0031__incomes, conj1).
arc(r_0032_0037__or, r_0032_0036__background, conj2).
arc(r_0032_0037__or, r_0032_0039__prestige, conj3).
arc(r_0032_0039__prestige, r_0032_0038__professional, attrib110).
arc(z_000_32_a_alresford_68, r_0032_0013__opened, scope).
arc(z_000_32_a_alresford_68, r_0032_0026__unhindered, restriction).

fof(formula,axiom,
    ? [Z_32_A_ALRESFORD_68,R_32_26_UNHINDERED,R_32_28_COMPARISONS,R_32_37_OR,R_32_31_INCOMES,R_32_30_WEALTHY,R_32_36_BACKGROUND,R_32_34_AND,R_32_33_SOCIAL,R_32_35_DOMESTIC,R_32_39_PRESTIGE,R_32_38_PROFESSIONAL,R_32_13_OPENED,R_32_5_ENCOUNTERS,R_32_4_DAILY,R_32_7_FOOTPATHS,R_32_9_FELLOW_DOG_OWNERS,R_32_15_ACQUAINTANCE,R_32_14_INFORMAL,R_32_17_A_CROSS_SECTION,R_32_18_SPLENDID,R_32_24_NEIGHBOURS,R_32_2_ME] :
      ( wealthy(R_32_30_WEALTHY)
      & social(R_32_33_SOCIAL)
      & domestic(R_32_35_DOMESTIC)
      & professional(R_32_38_PROFESSIONAL)
      & daily(R_32_4_DAILY)
      & footpaths(R_32_7_FOOTPATHS)
      & fellow_dog_owners(R_32_9_FELLOW_DOG_OWNERS)
      & informal(R_32_14_INFORMAL)
      & splendid(R_32_18_SPLENDID)
      & me(R_32_2_ME)
      & z_32_a_alresford_68(Z_32_A_ALRESFORD_68)
      & conj1(Z_32_A_ALRESFORD_68,R_32_26_UNHINDERED)
      & unhindered(R_32_26_UNHINDERED,R_32_28_COMPARISONS,R_32_5_ENCOUNTERS)
      & comparisons(R_32_28_COMPARISONS)
      & of(R_32_28_COMPARISONS,R_32_37_OR)
      & or(R_32_37_OR)
      & conj1(R_32_37_OR,R_32_31_INCOMES)
      & incomes(R_32_31_INCOMES)
      & attrib84(R_32_31_INCOMES,R_32_30_WEALTHY)
      & conj2(R_32_37_OR,R_32_36_BACKGROUND)
      & background(R_32_36_BACKGROUND)
      & attrib93(R_32_36_BACKGROUND,R_32_34_AND)
      & and(R_32_34_AND)
      & conj1(R_32_34_AND,R_32_33_SOCIAL)
      & conj2(R_32_34_AND,R_32_35_DOMESTIC)
      & conj3(R_32_37_OR,R_32_39_PRESTIGE)
      & prestige(R_32_39_PRESTIGE)
      & attrib110(R_32_39_PRESTIGE,R_32_38_PROFESSIONAL)
      & encounters(R_32_5_ENCOUNTERS)
      & attrib11(R_32_5_ENCOUNTERS,R_32_4_DAILY)
      & on(R_32_5_ENCOUNTERS,R_32_7_FOOTPATHS)
      & with(R_32_5_ENCOUNTERS,R_32_9_FELLOW_DOG_OWNERS)
      & conj2(Z_32_A_ALRESFORD_68,R_32_13_OPENED)
      & opened(R_32_13_OPENED,R_32_5_ENCOUNTERS,R_32_15_ACQUAINTANCE)
      & acquaintance(R_32_15_ACQUAINTANCE)
      & attrib37(R_32_15_ACQUAINTANCE,R_32_14_INFORMAL)
      & with(R_32_15_ACQUAINTANCE,R_32_17_A_CROSS_SECTION)
      & a_cross_section(R_32_17_A_CROSS_SECTION)
      & attrib48(R_32_17_A_CROSS_SECTION,R_32_18_SPLENDID)
      & of(R_32_17_A_CROSS_SECTION,R_32_24_NEIGHBOURS)
      & neighbours(R_32_24_NEIGHBOURS)
      & gen(R_32_24_NEIGHBOURS,R_32_2_ME)
      & for_nim5(R_32_13_OPENED,R_32_2_ME) ) ).

( (IP-MAT (PP-TPC-NIM (P-ROLE For;{for})
                      (NP (PRO me;{I})))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ daily;{daily}))
                  (NS encounters;{encounter})
                  (PP (P-ROLE on;{on})
                      (NP (NS footpaths;{footpath})))
                  (PP (P-ROLE with;{with})
                      (NP (N fellow;{fellow})
                          (N dog;{dog})
                          (PUNC <hyphen>)
                          (NS owners;{owner}))))
          (VBD;_Tn_ opened;{open})
          (NP-OB1 (ADJP (ADJ informal;{informal}))
                  (N acquaintance;{acquaintance})
                  (PP (P-ROLE with;{with})
                      (NP (D a;{a})
                          (ADJP (ADJ splendid;{splendid}))
                          (N cross;{cross})
                          (PUNC <hyphen>)
                          (N section;{section})
                          (PP (P-ROLE of;{of})
                              (NP (NP-GEN (PRO;_genm_ my;{my}))
                                  (NS neighbours;{neighbour}))))))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VVN;_Tn_ unhindered;{unhinder})
                            (PP-LGS (P-ROLE;_lgs_ by;{by})
                                    (NP (NS comparisons;{comparison})
                                        (PP (P-ROLE of;{of})
                                            (NP (NLYR (NLYR (ADJP (ADJ wealthy;{wealthy}))
                                                            (NS incomes;{income}))
                                                      (PUNC ,)
                                                      (CONJP (NLYR (ADJP (AJLYR (AJLYR (ADJ social;{social}))
                                                                                (CONJP (CONJ and;{and})
                                                                                       (AJLYR (ADJ domestic;{domestic})))))
                                                                   (N background;{background})))
                                                      (CONJP (CONJ or;{or})
                                                             (NLYR (ADJP (ADJ professional;{professional}))
                                                                   (N prestige;{prestige}))))))))))
          (PUNC .))
  (ID 32_a_alresford))