TSPC 8_a_alresford

8_a_alresford
Weekends often included visiting a gracious garden, Hinton Ampner, or Coles at Privett coffee in the Hobby Horse in Alresford's Broad Street, a browse in Laurence Oxley's bookshop.

arc(r_0008_0003__included, r_0008_0001__Weekends, arg0).
arc(r_0008_0003__included, r_0008_0002__often, nim5).
arc(r_0008_0003__included, z_000_8_a_alresford_11, arg1).
arc(r_0008_0004__visiting, r_0008_0005__a_r_0008_0007__garden, arg1).
arc(r_0008_0004__visiting, z_000_8_a_alresford_10, arg0).
arc(r_0008_0005__a_r_0008_0007__garden, r_0008_0006__gracious, attrib18).
arc(r_0008_0012__or, r_0008_0009__Hinton_r_0008_0010__Ampner, conj1).
arc(r_0008_0012__or, r_0008_0013__Coles, conj2).
arc(r_0008_0013__Coles, r_0008_0015__Privett, r_0008_0014__at).
arc(r_0008_0018__the_r_0008_0019__Hobby_r_0008_0020__Horse, r_0008_0024__Broad_r_0008_0025__Street, r_0008_0021__in).
arc(r_0008_0024__Broad_r_0008_0025__Street, r_0008_0022__Alresford_r_0008_0023___apos_s, gen).
arc(r_0008_0033__bookshop, r_0008_0030__Laurence_r_0008_0031__Oxley_r_0008_0032___apos_s, gen).
arc(z_000_8_a_alresford_11, r_0008_0004__visiting, conj1).
arc(z_000_8_a_alresford_11, z_000_8_a_alresford_48, conj2).
arc(z_000_8_a_alresford_11, z_000_8_a_alresford_78, conj3).
arc(z_000_8_a_alresford_25, r_0008_0005__a_r_0008_0007__garden, arg0).
arc(z_000_8_a_alresford_25, r_0008_0012__or, prd).
arc(z_000_8_a_alresford_48, r_0008_0016__coffee, arg1).
arc(z_000_8_a_alresford_48, r_0008_0018__the_r_0008_0019__Hobby_r_0008_0020__Horse, r_0008_0017__in_nim55).
arc(z_000_8_a_alresford_48, z_000_8_a_alresford_10, arg0).
arc(z_000_8_a_alresford_78, r_0008_0027__a_r_0008_0028__browse, arg1).
arc(z_000_8_a_alresford_78, r_0008_0033__bookshop, r_0008_0029__in_nim87).
arc(z_000_8_a_alresford_78, z_000_8_a_alresford_10, arg0).

fof(formula,axiom,
    ? [R_0008_0001__WEEKENDS,R_0008_0002__OFTEN,R_0008_0006__GRACIOUS,R_0008_0005__A_R_0008_0007__GARDEN,Z_000_8_A_ALRESFORD_10,R_0008_0004__VISITING,R_0008_0016__COFFEE,R_0008_0022__ALRESFORD_R_0008_0023___APOS_S,R_0008_0024__BROAD_R_0008_0025__STREET,R_0008_0018__THE_R_0008_0019__HOBBY_R_0008_0020__HORSE,Z_000_8_A_ALRESFORD_48,R_0008_0027__A_R_0008_0028__BROWSE,R_0008_0030__LAURENCE_R_0008_0031__OXLEY_R_0008_0032___APOS_S,R_0008_0033__BOOKSHOP,Z_000_8_A_ALRESFORD_78,Z_000_8_A_ALRESFORD_11,R_0008_0003__INCLUDED,R_0008_0009__HINTON_R_0008_0010__AMPNER,R_0008_0015__PRIVETT,R_0008_0013__COLES,R_0008_0012__OR,Z_000_8_A_ALRESFORD_25] :
      ( r_0008_0001__Weekends(R_0008_0001__WEEKENDS)
      & r_0008_0002__often(R_0008_0002__OFTEN)
      & r_0008_0006__gracious(R_0008_0006__GRACIOUS)
      & r_0008_0009__Hinton_r_0008_0010__Ampner(R_0008_0009__HINTON_R_0008_0010__AMPNER)
      & r_0008_0015__Privett(R_0008_0015__PRIVETT)
      & r_0008_0016__coffee(R_0008_0016__COFFEE)
      & r_0008_0022__Alresford_r_0008_0023___apos_s(R_0008_0022__ALRESFORD_R_0008_0023___APOS_S)
      & r_0008_0027__a_r_0008_0028__browse(R_0008_0027__A_R_0008_0028__BROWSE)
      & r_0008_0030__Laurence_r_0008_0031__Oxley_r_0008_0032___apos_s(R_0008_0030__LAURENCE_R_0008_0031__OXLEY_R_0008_0032___APOS_S)
      & z_000_8_a_alresford_10(Z_000_8_A_ALRESFORD_10)
      & z_000_8_a_alresford_25(Z_000_8_A_ALRESFORD_25)
      & has_prd(Z_000_8_A_ALRESFORD_25,R_0008_0012__OR)
      & r_0008_0012__or(R_0008_0012__OR)
      & has_conj2(R_0008_0012__OR,R_0008_0013__COLES)
      & r_0008_0013__Coles(R_0008_0013__COLES)
      & has_r_0008_0014__at(R_0008_0013__COLES,R_0008_0015__PRIVETT)
      & has_conj1(R_0008_0012__OR,R_0008_0009__HINTON_R_0008_0010__AMPNER)
      & has_arg0(Z_000_8_A_ALRESFORD_25,R_0008_0005__A_R_0008_0007__GARDEN)
      & r_0008_0005__a_r_0008_0007__garden(R_0008_0005__A_R_0008_0007__GARDEN)
      & has_attrib18(R_0008_0005__A_R_0008_0007__GARDEN,R_0008_0006__GRACIOUS)
      & r_0008_0003__included(R_0008_0003__INCLUDED)
      & has_arg1(R_0008_0003__INCLUDED,Z_000_8_A_ALRESFORD_11)
      & z_000_8_a_alresford_11(Z_000_8_A_ALRESFORD_11)
      & has_conj3(Z_000_8_A_ALRESFORD_11,Z_000_8_A_ALRESFORD_78)
      & z_000_8_a_alresford_78(Z_000_8_A_ALRESFORD_78)
      & has_arg0(Z_000_8_A_ALRESFORD_78,Z_000_8_A_ALRESFORD_10)
      & has_r_0008_0029__in_nim87(Z_000_8_A_ALRESFORD_78,R_0008_0033__BOOKSHOP)
      & r_0008_0033__bookshop(R_0008_0033__BOOKSHOP)
      & has_gen(R_0008_0033__BOOKSHOP,R_0008_0030__LAURENCE_R_0008_0031__OXLEY_R_0008_0032___APOS_S)
      & has_arg1(Z_000_8_A_ALRESFORD_78,R_0008_0027__A_R_0008_0028__BROWSE)
      & has_conj2(Z_000_8_A_ALRESFORD_11,Z_000_8_A_ALRESFORD_48)
      & z_000_8_a_alresford_48(Z_000_8_A_ALRESFORD_48)
      & has_arg0(Z_000_8_A_ALRESFORD_48,Z_000_8_A_ALRESFORD_10)
      & has_r_0008_0017__in_nim55(Z_000_8_A_ALRESFORD_48,R_0008_0018__THE_R_0008_0019__HOBBY_R_0008_0020__HORSE)
      & r_0008_0018__the_r_0008_0019__Hobby_r_0008_0020__Horse(R_0008_0018__THE_R_0008_0019__HOBBY_R_0008_0020__HORSE)
      & has_r_0008_0021__in(R_0008_0018__THE_R_0008_0019__HOBBY_R_0008_0020__HORSE,R_0008_0024__BROAD_R_0008_0025__STREET)
      & r_0008_0024__Broad_r_0008_0025__Street(R_0008_0024__BROAD_R_0008_0025__STREET)
      & has_gen(R_0008_0024__BROAD_R_0008_0025__STREET,R_0008_0022__ALRESFORD_R_0008_0023___APOS_S)
      & has_arg1(Z_000_8_A_ALRESFORD_48,R_0008_0016__COFFEE)
      & has_conj1(Z_000_8_A_ALRESFORD_11,R_0008_0004__VISITING)
      & r_0008_0004__visiting(R_0008_0004__VISITING)
      & has_arg0(R_0008_0004__VISITING,Z_000_8_A_ALRESFORD_10)
      & has_arg1(R_0008_0004__VISITING,R_0008_0005__A_R_0008_0007__GARDEN)
      & has_nim5(R_0008_0003__INCLUDED,R_0008_0002__OFTEN)
      & has_arg0(R_0008_0003__INCLUDED,R_0008_0001__WEEKENDS) ) ).

( (IP-MAT (NP-SBJ (NS Weekends;{weekend}))
          (ADVP-NIM (ADV often;{often}))
          (VBD;_Tg_ included;{include})
          (IP-PPL3-OB1 (ILYR (ILYR (VAG;_Tn_ visiting;{visit})
                                   (NP-OB1 (D a;{a})
                                           (ADJP (ADJ gracious;{gracious}))
                                           (N garden;{garden})
                                           (PUNC ,)
                                           (IP-PPL (NP-PRD (NLYR (NLYR (NPR Hinton;{Hinton})
                                                                       (NPR Ampner;{Ampner}))
                                                                 (PUNC ,)
                                                                 (CONJP (CONJ or;{or})
                                                                        (NLYR (NPR Coles;{Coles})
                                                                              (PP (P-ROLE at;{at})
                                                                                  (NP (NPR Privett;{Privett}))))))))))
                             (CONJP (ILYR (NP-OB1 (N coffee;{coffee}))
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (D the;{the})
                                                      (NPR Hobby;{Hobby})
                                                      (NPR Horse;{Horse})
                                                      (PP (P-ROLE in;{in})
                                                          (NP (NP-GEN (NPR Alresford;{Alresford})
                                                                      (GENM <apos>s))
                                                              (NPR Broad;{Broad})
                                                              (NPR Street;{Street})))))))
                             (PUNC ,)
                             (CONJP (ILYR (NP-OB1 (D a;{a})
                                                  (N browse;{browse}))
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (NP-GEN (NPR Laurence;{Laurence})
                                                              (NPR Oxley;{Oxley})
                                                              (GENM <apos>s))
                                                      (N bookshop;{bookshop})))))))
          (PUNC .))
  (ID 8_a_alresford))