TSPC 100_a_alresford

100_a_alresford
My ‘cottage in the country’ now overlooks Hardcastle Crags, a National Trust property in the South Pennines, and the nearby town is Victorian millstone grit, not Georgian flint and brick.

( (IP-MAT (ILYR (ILYR (NP-SBJ (NP-GEN (PRO;_genm_ My;{my}))
                              (PULQ <lsquo>)
                              (N cottage;{cottage})
                              (PP (P-ROLE in;{in})
                                  (NP (D the;{the})
                                      (N country;{country})))
                              (PURQ <rsquo>))
                      (ADVP-NIM (ADV now;{now}))
                      (VBP;_Tn_ overlooks;{overlook})
                      (NP-OB1 (NPR Hardcastle;{Hardcastle})
                              (NPRS Crags;{Crags})
                              (PUNC ,)
                              (PRN (NP (D a;{a})
                                       (NLYR (NPR National;{National})
                                             (NPR Trust;{Trust}))
                                       (N property;{property})
                                       (PP (P-ROLE in;{in})
                                           (NP (D the;{the})
                                               (NPR South;{South})
                                               (NPRS Pennines;{Pennines})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (ADJP (ADJ nearby;{nearby}))
                                     (N town;{town}))
                             (BEP;_Ln_ is;{be})
                             (NP-PRD (ADJP (ADJ Victorian;{Victorian}))
                                     (N millstone;{millstone})
                                     (N grit;{grit}))
                             (PUNC ,)
                             (PRN (FRAG (NEG not;{not})
                                        (NP-PRD (ADJP (ADJ Georgian;{Georgian}))
                                                (NLYR (NLYR (N flint;{flint}))
                                                      (CONJP (CONJ and;{and})
                                                             (NLYR (N brick;{brick}))))))))))
          (PUNC .))
  (ID 100_a_alresford))

arc(r_0100_0003__cottage,r_0100_0001__My,gen).
arc(r_0100_0003__cottage,r_0100_0005__the_r_0100_0006__country,r_0100_0004__in).
arc(r_0100_0009__overlooks,r_0100_0003__cottage,arg0).
arc(r_0100_0009__overlooks,r_0100_0008__now,nim).
arc(r_0100_0009__overlooks,r_0100_0010__Hardcastle_r_0100_0011__Crags,arg1).
arc(r_0100_0013__a_r_0100_0014__National_r_0100_0015__Trust_r_0100_0016__property,r_0100_0018__the_r_0100_0019__South_r_0100_0020__Pennines,r_0100_0017__in).
arc(r_0100_0022__and,r_0100_0009__overlooks,conj1).
arc(r_0100_0022__and,r_0100_0026__is,conj2).
arc(r_0100_0023__the_r_0100_0025__town,r_0100_0024__nearby,attrib).
arc(r_0100_0026__is,r_0100_0023__the_r_0100_0025__town,arg0).
arc(r_0100_0026__is,r_0100_0028__millstone_r_0100_0029__grit,prd).
arc(r_0100_0026__is,r_0100_0031__not,prn).
arc(r_0100_0028__millstone_r_0100_0029__grit,r_0100_0027__Victorian,attrib).
arc(r_0100_0031__not,z_0100_5018,keep_scope).
arc(r_0100_0034__and,r_0100_0032__Georgian,attrib).
arc(r_0100_0034__and,r_0100_0033__flint,conj1).
arc(r_0100_0034__and,r_0100_0035__brick,conj2).
arc(z_0100_5004,r_0100_0010__Hardcastle_r_0100_0011__Crags,arg0).
arc(z_0100_5004,r_0100_0013__a_r_0100_0014__National_r_0100_0015__Trust_r_0100_0016__property,prd).
arc(z_0100_5018,r_0100_0034__and,prd).
arc(z_0100_5018,z_0100_5012,arg0).

fof(formula,axiom,
    ? [R_0100_0001__MY,R_0100_0005__THE_R_0100_0006__COUNTRY,R_0100_0003__COTTAGE,R_0100_0008__NOW,R_0100_0010__HARDCASTLE_R_0100_0011__CRAGS,R_0100_0009__OVERLOOKS,R_0100_0024__NEARBY,R_0100_0023__THE_R_0100_0025__TOWN,R_0100_0027__VICTORIAN,R_0100_0028__MILLSTONE_R_0100_0029__GRIT,R_0100_0026__IS,R_0100_0022__AND,R_0100_0018__THE_R_0100_0019__SOUTH_R_0100_0020__PENNINES,R_0100_0013__A_R_0100_0014__NATIONAL_R_0100_0015__TRUST_R_0100_0016__PROPERTY,Z_0100_5004] :
      ( r_0100_0001__My(R_0100_0001__MY)
      & r_0100_0005__the_r_0100_0006__country(R_0100_0005__THE_R_0100_0006__COUNTRY)
      & r_0100_0008__now(R_0100_0008__NOW)
      & r_0100_0010__Hardcastle_r_0100_0011__Crags(R_0100_0010__HARDCASTLE_R_0100_0011__CRAGS)
      & r_0100_0018__the_r_0100_0019__South_r_0100_0020__Pennines(R_0100_0018__THE_R_0100_0019__SOUTH_R_0100_0020__PENNINES)
      & r_0100_0024__nearby(R_0100_0024__NEARBY)
      & r_0100_0027__Victorian(R_0100_0027__VICTORIAN)
      & z_0100_5004(Z_0100_5004)
      & has_prd(Z_0100_5004,R_0100_0013__A_R_0100_0014__NATIONAL_R_0100_0015__TRUST_R_0100_0016__PROPERTY)
      & r_0100_0013__a_r_0100_0014__National_r_0100_0015__Trust_r_0100_0016__property(R_0100_0013__A_R_0100_0014__NATIONAL_R_0100_0015__TRUST_R_0100_0016__PROPERTY)
      & has_r_0100_0017__in(R_0100_0013__A_R_0100_0014__NATIONAL_R_0100_0015__TRUST_R_0100_0016__PROPERTY,R_0100_0018__THE_R_0100_0019__SOUTH_R_0100_0020__PENNINES)
      & has_arg0(Z_0100_5004,R_0100_0010__HARDCASTLE_R_0100_0011__CRAGS)
      & r_0100_0022__and(R_0100_0022__AND)
      & has_conj2(R_0100_0022__AND,R_0100_0026__IS)
      & r_0100_0026__is(R_0100_0026__IS)
      & has_prn(R_0100_0026__IS,R_0100_0031__NOT)
      & ~ ? [R_0100_0032__GEORGIAN,R_0100_0033__FLINT,R_0100_0035__BRICK,R_0100_0034__AND,Z_0100_5012,Z_0100_5018] :
            ( r_0100_0032__Georgian(R_0100_0032__GEORGIAN)
            & r_0100_0033__flint(R_0100_0033__FLINT)
            & r_0100_0035__brick(R_0100_0035__BRICK)
            & z_0100_5012(Z_0100_5012)
            & z_0100_5018(Z_0100_5018)
            & has_arg0(Z_0100_5018,Z_0100_5012)
            & has_prd(Z_0100_5018,R_0100_0034__AND)
            & r_0100_0034__and(R_0100_0034__AND)
            & has_conj2(R_0100_0034__AND,R_0100_0035__BRICK)
            & has_conj1(R_0100_0034__AND,R_0100_0033__FLINT)
            & has_attrib(R_0100_0034__AND,R_0100_0032__GEORGIAN) )
      & has_prd(R_0100_0026__IS,R_0100_0028__MILLSTONE_R_0100_0029__GRIT)
      & r_0100_0028__millstone_r_0100_0029__grit(R_0100_0028__MILLSTONE_R_0100_0029__GRIT)
      & has_attrib(R_0100_0028__MILLSTONE_R_0100_0029__GRIT,R_0100_0027__VICTORIAN)
      & has_arg0(R_0100_0026__IS,R_0100_0023__THE_R_0100_0025__TOWN)
      & r_0100_0023__the_r_0100_0025__town(R_0100_0023__THE_R_0100_0025__TOWN)
      & has_attrib(R_0100_0023__THE_R_0100_0025__TOWN,R_0100_0024__NEARBY)
      & has_conj1(R_0100_0022__AND,R_0100_0009__OVERLOOKS)
      & r_0100_0009__overlooks(R_0100_0009__OVERLOOKS)
      & has_arg1(R_0100_0009__OVERLOOKS,R_0100_0010__HARDCASTLE_R_0100_0011__CRAGS)
      & has_nim(R_0100_0009__OVERLOOKS,R_0100_0008__NOW)
      & has_arg0(R_0100_0009__OVERLOOKS,R_0100_0003__COTTAGE)
      & r_0100_0003__cottage(R_0100_0003__COTTAGE)
      & has_r_0100_0004__in(R_0100_0003__COTTAGE,R_0100_0005__THE_R_0100_0006__COUNTRY)
      & has_gen(R_0100_0003__COTTAGE,R_0100_0001__MY) ) ).