TSPC 32_a_alresford

32_a_alresford
For me, daily encounters on footpaths with fellow dog - owners opened informal acquaintance with a splendid cross - section of my neighbours, unhindered by comparisons of wealthy incomes, social and domestic background or professional prestige.

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

arc(r_0032_0005__encounters,r_0032_0004__daily,attrib).
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__nim).
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,attrib).
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,attrib).
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,r_0032_0027__by_arg0).
arc(r_0032_0028__comparisons,r_0032_0037__or,r_0032_0029__of).
arc(r_0032_0031__incomes,r_0032_0030__wealthy,attrib).
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,attrib).
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,attrib).
arc(z_0032_5011,r_0032_0013__opened,scope).
arc(z_0032_5011,r_0032_0026__unhindered,restriction).

fof(formula,axiom,
    ? [R_0032_0002__ME,R_0032_0004__DAILY,R_0032_0007__FOOTPATHS,R_0032_0009__FELLOW_R_0032_0010__DOG_R_0032_0012__OWNERS,R_0032_0005__ENCOUNTERS,R_0032_0014__INFORMAL,R_0032_0018__SPLENDID,R_0032_0024__NEIGHBOURS,R_0032_0017__A_R_0032_0019__CROSS_R_0032_0021__SECTION,R_0032_0015__ACQUAINTANCE,R_0032_0013__OPENED,R_0032_0030__WEALTHY,R_0032_0031__INCOMES,R_0032_0033__SOCIAL,R_0032_0035__DOMESTIC,R_0032_0034__AND,R_0032_0036__BACKGROUND,R_0032_0038__PROFESSIONAL,R_0032_0039__PRESTIGE,R_0032_0037__OR,R_0032_0028__COMPARISONS,R_0032_0026__UNHINDERED,Z_0032_5011] :
      ( r_0032_0002__me(R_0032_0002__ME)
      & r_0032_0004__daily(R_0032_0004__DAILY)
      & r_0032_0007__footpaths(R_0032_0007__FOOTPATHS)
      & r_0032_0009__fellow_r_0032_0010__dog_r_0032_0012__owners(R_0032_0009__FELLOW_R_0032_0010__DOG_R_0032_0012__OWNERS)
      & r_0032_0014__informal(R_0032_0014__INFORMAL)
      & r_0032_0018__splendid(R_0032_0018__SPLENDID)
      & r_0032_0030__wealthy(R_0032_0030__WEALTHY)
      & r_0032_0033__social(R_0032_0033__SOCIAL)
      & r_0032_0035__domestic(R_0032_0035__DOMESTIC)
      & r_0032_0038__professional(R_0032_0038__PROFESSIONAL)
      & z_0032_5011(Z_0032_5011)
      & has_conj1(Z_0032_5011,R_0032_0026__UNHINDERED)
      & r_0032_0026__unhindered(R_0032_0026__UNHINDERED)
      & has_r_0032_0027__by_arg0(R_0032_0026__UNHINDERED,R_0032_0028__COMPARISONS)
      & r_0032_0028__comparisons(R_0032_0028__COMPARISONS)
      & has_r_0032_0029__of(R_0032_0028__COMPARISONS,R_0032_0037__OR)
      & r_0032_0037__or(R_0032_0037__OR)
      & has_conj3(R_0032_0037__OR,R_0032_0039__PRESTIGE)
      & r_0032_0039__prestige(R_0032_0039__PRESTIGE)
      & has_attrib(R_0032_0039__PRESTIGE,R_0032_0038__PROFESSIONAL)
      & has_conj2(R_0032_0037__OR,R_0032_0036__BACKGROUND)
      & r_0032_0036__background(R_0032_0036__BACKGROUND)
      & has_attrib(R_0032_0036__BACKGROUND,R_0032_0034__AND)
      & r_0032_0034__and(R_0032_0034__AND)
      & has_conj2(R_0032_0034__AND,R_0032_0035__DOMESTIC)
      & has_conj1(R_0032_0034__AND,R_0032_0033__SOCIAL)
      & has_conj1(R_0032_0037__OR,R_0032_0031__INCOMES)
      & r_0032_0031__incomes(R_0032_0031__INCOMES)
      & has_attrib(R_0032_0031__INCOMES,R_0032_0030__WEALTHY)
      & has_arg1(R_0032_0026__UNHINDERED,R_0032_0005__ENCOUNTERS)
      & r_0032_0005__encounters(R_0032_0005__ENCOUNTERS)
      & has_r_0032_0008__with(R_0032_0005__ENCOUNTERS,R_0032_0009__FELLOW_R_0032_0010__DOG_R_0032_0012__OWNERS)
      & has_r_0032_0006__on(R_0032_0005__ENCOUNTERS,R_0032_0007__FOOTPATHS)
      & has_attrib(R_0032_0005__ENCOUNTERS,R_0032_0004__DAILY)
      & has_conj2(Z_0032_5011,R_0032_0013__OPENED)
      & r_0032_0013__opened(R_0032_0013__OPENED)
      & has_arg1(R_0032_0013__OPENED,R_0032_0015__ACQUAINTANCE)
      & r_0032_0015__acquaintance(R_0032_0015__ACQUAINTANCE)
      & has_r_0032_0016__with(R_0032_0015__ACQUAINTANCE,R_0032_0017__A_R_0032_0019__CROSS_R_0032_0021__SECTION)
      & r_0032_0017__a_r_0032_0019__cross_r_0032_0021__section(R_0032_0017__A_R_0032_0019__CROSS_R_0032_0021__SECTION)
      & has_r_0032_0022__of(R_0032_0017__A_R_0032_0019__CROSS_R_0032_0021__SECTION,R_0032_0024__NEIGHBOURS)
      & r_0032_0024__neighbours(R_0032_0024__NEIGHBOURS)
      & has_gen(R_0032_0024__NEIGHBOURS,R_0032_0002__ME)
      & has_attrib(R_0032_0017__A_R_0032_0019__CROSS_R_0032_0021__SECTION,R_0032_0018__SPLENDID)
      & has_attrib(R_0032_0015__ACQUAINTANCE,R_0032_0014__INFORMAL)
      & has_arg0(R_0032_0013__OPENED,R_0032_0005__ENCOUNTERS)
      & has_r_0032_0001__For__nim(R_0032_0013__OPENED,R_0032_0002__ME) ) ).