TSPC 86_a_alresford

86_a_alresford
deer at dusk on the edge of Bramdean Common; the impenetrable, neglected roses in full bloom around the ruins of Worthington Grange, before it was tidied up and made safe; masses of butterflies on Abbotstone Down, waterfowl on Alresford Pond watched from the garden of the Globe, in town, flourishing hanging baskets in summer and, in dark December evenings, the Christmas trees over every shop.

( (FRAG (ILYR (ILYR (NP-SBJ (NS deer;{deer}))
                    (PP-NIM (P-ROLE at;{at})
                            (NP (N dusk;{dusk})))
                    (PP-CLR (P-ROLE on;{on})
                            (NP (D the;{the})
                                (N edge;{edge})
                                (PP (P-ROLE of;{of})
                                    (NP (NPR Bramdean;{Bramdean})
                                        (NPR Common;{Common}))))))
              (PUNC ;)
              (CONJP (ILYR (NP-SBJ (D the;{the})
                                   (ADJP (ADJ impenetrable;{impenetrable}))
                                   (PUNC ,)
                                   (IP-PPL (NP-LGS *)
                                           (VVN;_Tn_ neglected;{neglect}))
                                   (NS roses;{rose}))
                           (PP-NIM (P-ROLE in;{in})
                                   (NP (ADJP (ADJ full;{full}))
                                       (N bloom;{bloom})))
                           (PP-CLR (P-ROLE around;{around})
                                   (NP (D the;{the})
                                       (NS ruins;{ruin})
                                       (PP (P-ROLE of;{of})
                                           (NP;{WGRANGE} (NPR Worthington;{Worthington})
                                                         (NPR Grange;{Grange})))))
                           (PUNC ,)
                           (PP-SCON (P-CONN before;{before})
                                    (IP-ADV (NP-SBJ;{WGRANGE} (PRO it;{it}))
                                            (BED;_cat_VePASS_ was;{be})
                                            (IP-PPL-CAT (NP-LGS *)
                                                        (ILYR (ILYR (VVN;_Tn.p_ tidied;{tidy[up]})
                                                                    (ADVP-CLR (RP up;{up})))
                                                              (CONJP (CONJ and;{and})
                                                                     (ILYR (VVN;_Cn.a_ made;{make})
                                                                           (ADJP-PRD (ADJ safe;{safe}))))))))))
              (PUNC ;)
              (CONJP (ILYR (NP-SBJ (NS masses;{mass})
                                   (PP (P-ROLE of;{of})
                                       (NP (NS butterflies;{butterfly}))))
                           (PP-CLR (P-ROLE on;{on})
                                   (NP (NPR Abbotstone;{Abbotstone})
                                       (NPR Down;{Down})))))
              (PUNC ,)
              (CONJP (ILYR (NP-SBJ (N waterfowl;{waterfowl})
                                   (IP-PPL *ICH*-181))
                           (PP-CLR (P-ROLE on;{on})
                                   (NP (NPR Alresford;{Alresford})
                                       (NPR Pond;{Pond})))
                           (IP-PPL-EPD-181 (NP-LGS *)
                                           (VVN;_Tn_ watched;{watch})
                                           (PP-NIM (P-ROLE from;{from})
                                                   (NP (D the;{the})
                                                       (N garden;{garden})
                                                       (PP (P-ROLE of;{of})
                                                           (NP (D the;{the})
                                                               (NPR Globe;{Globe}))))))))
              (PUNC ,)
              (CONJP (ILYR (ILYR (ILYR (PP-TPC-CLR (P-ROLE in;{in})
                                                   (NP (N town;{town})))
                                       (PUNC ,)
                                       (NP-SBJ (IP-PPL (VAG;_I_ flourishing;{flourish}))
                                               (IP-PPL (VAG;_I_ hanging;{hang}))
                                               (NS baskets;{basket}))
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (N summer;{summer}))))
                                 (CONJP (CONJ and;{and})
                                        (PUNC ,)
                                        (ILYR (PP-TPC-NIM (P-ROLE in;{in})
                                                          (NP (ADJP (ADJ dark;{dark}))
                                                              (NPR December;{December})
                                                              (NS evenings;{evening})))
                                              (PUNC ,)
                                              (NP-SBJ (D the;{the})
                                                      (N Christmas;{christmas})
                                                      (NS trees;{tree}))
                                              (PP-CLR (P-ROLE over;{over})
                                                      (NP (Q every;{every})
                                                          (N shop;{shop})))))))))
        (PUNC .))
  (ID 86_a_alresford))

arc(r_0086_0005__the_r_0086_0006__edge,r_0086_0008__Bramdean_r_0086_0009__Common,r_0086_0007__of).
arc(r_0086_0011__the_r_0086_0015__roses,r_0086_0012__impenetrable,attrib).
arc(r_0086_0014__neglected,r_0086_0011__the_r_0086_0015__roses,inv_arg1).
arc(r_0086_0014__neglected,z_0086_5009___star_,arg0).
arc(r_0086_0018__bloom,r_0086_0017__full,attrib).
arc(r_0086_0020__the_r_0086_0021__ruins,r_0086_0023__Worthington_r_0086_0024__Grange,r_0086_0022__of).
arc(r_0086_0026__before,r_0086_0028__was,restriction).
arc(r_0086_0026__before,z_0086_5023,scope).
arc(r_0086_0028__was,r_0086_0031__and,scope).
arc(r_0086_0029__tidied_r_0086_0030__up,r_0086_0023__Worthington_r_0086_0024__Grange,arg1).
arc(r_0086_0029__tidied_r_0086_0030__up,z_0086_5015___star_,arg0).
arc(r_0086_0031__and,r_0086_0029__tidied_r_0086_0030__up,conj1).
arc(r_0086_0031__and,r_0086_0032__made,conj2).
arc(r_0086_0032__made,r_0086_0023__Worthington_r_0086_0024__Grange,arg1).
arc(r_0086_0032__made,r_0086_0033__safe,prd).
arc(r_0086_0032__made,z_0086_5015___star_,arg0).
arc(r_0086_0035__masses,r_0086_0037__butterflies,r_0086_0036__of).
arc(r_0086_0046__watched,r_0086_0042__waterfowl,inv_arg1).
arc(r_0086_0046__watched,r_0086_0048__the_r_0086_0049__garden,r_0086_0047__from__nim).
arc(r_0086_0046__watched,z_0086_5031___star_,arg0).
arc(r_0086_0048__the_r_0086_0049__garden,r_0086_0051__the_r_0086_0052__Globe,r_0086_0050__of).
arc(r_0086_0057__flourishing,r_0086_0059__baskets,inv_arg0).
arc(r_0086_0058__hanging,r_0086_0059__baskets,inv_arg0).
arc(r_0086_0062__and,r_0086_0073__every__quant,conj2).
arc(r_0086_0062__and,z_0086_5040,conj1).
arc(r_0086_0066__December_r_0086_0067__evenings,r_0086_0065__dark,attrib).
arc(r_0086_0073__every__quant,r_0086_0074__shop,restriction).
arc(r_0086_0073__every__quant,z_0086_5047,scope).
arc(z_0086_5001,r_0086_0026__before,conj2).
arc(z_0086_5001,r_0086_0062__and,conj5).
arc(z_0086_5001,z_0086_5005,conj1).
arc(z_0086_5001,z_0086_5027,conj3).
arc(z_0086_5001,z_0086_5033,conj4).
arc(z_0086_5005,r_0086_0001__deer,arg0).
arc(z_0086_5005,r_0086_0003__dusk,r_0086_0002__at__nim).
arc(z_0086_5005,r_0086_0005__the_r_0086_0006__edge,r_0086_0004__on__clr).
arc(z_0086_5023,r_0086_0011__the_r_0086_0015__roses,arg0).
arc(z_0086_5023,r_0086_0018__bloom,r_0086_0016__in__nim).
arc(z_0086_5023,r_0086_0020__the_r_0086_0021__ruins,r_0086_0019__around__clr).
arc(z_0086_5027,r_0086_0035__masses,arg0).
arc(z_0086_5027,r_0086_0039__Abbotstone_r_0086_0040__Down,r_0086_0038__on__clr).
arc(z_0086_5033,r_0086_0042__waterfowl,arg0).
arc(z_0086_5033,r_0086_0044__Alresford_r_0086_0045__Pond,r_0086_0043__on__clr).
arc(z_0086_5040,r_0086_0055__town,r_0086_0054__in__clr).
arc(z_0086_5040,r_0086_0059__baskets,arg0).
arc(z_0086_5040,r_0086_0061__summer,r_0086_0060__in__nim).
arc(z_0086_5047,r_0086_0066__December_r_0086_0067__evenings,r_0086_0064__in__nim).
arc(z_0086_5047,r_0086_0069__the_r_0086_0070__Christmas_r_0086_0071__trees,arg0).
arc(z_0086_5047,r_0086_0074__shop,r_0086_0072__over__clr).

fof(formula,axiom,
    ? [R_0086_0023__WORTHINGTON_R_0086_0024__GRANGE,Z_0086_5015___STAR_,R_0086_0029__TIDIED_R_0086_0030__UP,R_0086_0033__SAFE,R_0086_0032__MADE,R_0086_0031__AND,R_0086_0028__WAS,R_0086_0012__IMPENETRABLE,Z_0086_5009___STAR_,R_0086_0014__NEGLECTED,R_0086_0011__THE_R_0086_0015__ROSES,R_0086_0017__FULL,R_0086_0018__BLOOM,R_0086_0020__THE_R_0086_0021__RUINS,Z_0086_5023,R_0086_0026__BEFORE,R_0086_0055__TOWN,R_0086_0057__FLOURISHING,R_0086_0058__HANGING,R_0086_0059__BASKETS,R_0086_0061__SUMMER,Z_0086_5040,R_0086_0062__AND,R_0086_0001__DEER,R_0086_0003__DUSK,R_0086_0008__BRAMDEAN_R_0086_0009__COMMON,R_0086_0005__THE_R_0086_0006__EDGE,Z_0086_5005,R_0086_0037__BUTTERFLIES,R_0086_0035__MASSES,R_0086_0039__ABBOTSTONE_R_0086_0040__DOWN,Z_0086_5027,R_0086_0051__THE_R_0086_0052__GLOBE,R_0086_0048__THE_R_0086_0049__GARDEN,Z_0086_5031___STAR_,R_0086_0046__WATCHED,R_0086_0042__WATERFOWL,R_0086_0044__ALRESFORD_R_0086_0045__POND,Z_0086_5033,Z_0086_5001] :
      ( r_0086_0001__deer(R_0086_0001__DEER)
      & r_0086_0003__dusk(R_0086_0003__DUSK)
      & r_0086_0008__Bramdean_r_0086_0009__Common(R_0086_0008__BRAMDEAN_R_0086_0009__COMMON)
      & r_0086_0012__impenetrable(R_0086_0012__IMPENETRABLE)
      & r_0086_0017__full(R_0086_0017__FULL)
      & r_0086_0023__Worthington_r_0086_0024__Grange(R_0086_0023__WORTHINGTON_R_0086_0024__GRANGE)
      & r_0086_0033__safe(R_0086_0033__SAFE)
      & r_0086_0037__butterflies(R_0086_0037__BUTTERFLIES)
      & r_0086_0039__Abbotstone_r_0086_0040__Down(R_0086_0039__ABBOTSTONE_R_0086_0040__DOWN)
      & r_0086_0044__Alresford_r_0086_0045__Pond(R_0086_0044__ALRESFORD_R_0086_0045__POND)
      & r_0086_0051__the_r_0086_0052__Globe(R_0086_0051__THE_R_0086_0052__GLOBE)
      & r_0086_0055__town(R_0086_0055__TOWN)
      & r_0086_0057__flourishing(R_0086_0057__FLOURISHING)
      & r_0086_0058__hanging(R_0086_0058__HANGING)
      & r_0086_0061__summer(R_0086_0061__SUMMER)
      & z_0086_5009___star_(Z_0086_5009___STAR_)
      & z_0086_5015___star_(Z_0086_5015___STAR_)
      & z_0086_5031___star_(Z_0086_5031___STAR_)
      & z_0086_5001(Z_0086_5001)
      & has_conj4(Z_0086_5001,Z_0086_5033)
      & z_0086_5033(Z_0086_5033)
      & has_r_0086_0043__on__clr(Z_0086_5033,R_0086_0044__ALRESFORD_R_0086_0045__POND)
      & has_arg0(Z_0086_5033,R_0086_0042__WATERFOWL)
      & r_0086_0042__waterfowl(R_0086_0042__WATERFOWL)
      & has_inv_arg1(R_0086_0042__WATERFOWL,R_0086_0046__WATCHED)
      & r_0086_0046__watched(R_0086_0046__WATCHED)
      & has_arg0(R_0086_0046__WATCHED,Z_0086_5031___STAR_)
      & has_r_0086_0047__from__nim(R_0086_0046__WATCHED,R_0086_0048__THE_R_0086_0049__GARDEN)
      & r_0086_0048__the_r_0086_0049__garden(R_0086_0048__THE_R_0086_0049__GARDEN)
      & has_r_0086_0050__of(R_0086_0048__THE_R_0086_0049__GARDEN,R_0086_0051__THE_R_0086_0052__GLOBE)
      & has_conj3(Z_0086_5001,Z_0086_5027)
      & z_0086_5027(Z_0086_5027)
      & has_r_0086_0038__on__clr(Z_0086_5027,R_0086_0039__ABBOTSTONE_R_0086_0040__DOWN)
      & has_arg0(Z_0086_5027,R_0086_0035__MASSES)
      & r_0086_0035__masses(R_0086_0035__MASSES)
      & has_r_0086_0036__of(R_0086_0035__MASSES,R_0086_0037__BUTTERFLIES)
      & has_conj1(Z_0086_5001,Z_0086_5005)
      & z_0086_5005(Z_0086_5005)
      & has_r_0086_0004__on__clr(Z_0086_5005,R_0086_0005__THE_R_0086_0006__EDGE)
      & r_0086_0005__the_r_0086_0006__edge(R_0086_0005__THE_R_0086_0006__EDGE)
      & has_r_0086_0007__of(R_0086_0005__THE_R_0086_0006__EDGE,R_0086_0008__BRAMDEAN_R_0086_0009__COMMON)
      & has_r_0086_0002__at__nim(Z_0086_5005,R_0086_0003__DUSK)
      & has_arg0(Z_0086_5005,R_0086_0001__DEER)
      & has_conj5(Z_0086_5001,R_0086_0062__AND)
      & r_0086_0062__and(R_0086_0062__AND)
      & has_conj1(R_0086_0062__AND,Z_0086_5040)
      & z_0086_5040(Z_0086_5040)
      & has_r_0086_0060__in__nim(Z_0086_5040,R_0086_0061__SUMMER)
      & has_arg0(Z_0086_5040,R_0086_0059__BASKETS)
      & r_0086_0059__baskets(R_0086_0059__BASKETS)
      & has_inv_arg0(R_0086_0059__BASKETS,R_0086_0058__HANGING)
      & has_inv_arg0(R_0086_0059__BASKETS,R_0086_0057__FLOURISHING)
      & has_r_0086_0054__in__clr(Z_0086_5040,R_0086_0055__TOWN)
      & ! [R_0086_0074__SHOP] :
          ( r_0086_0074__shop(R_0086_0074__SHOP)
         => ? [R_0086_0065__DARK,R_0086_0066__DECEMBER_R_0086_0067__EVENINGS,R_0086_0069__THE_R_0086_0070__CHRISTMAS_R_0086_0071__TREES,Z_0086_5047] :
              ( r_0086_0065__dark(R_0086_0065__DARK)
              & r_0086_0069__the_r_0086_0070__Christmas_r_0086_0071__trees(R_0086_0069__THE_R_0086_0070__CHRISTMAS_R_0086_0071__TREES)
              & z_0086_5047(Z_0086_5047)
              & has_r_0086_0072__over__clr(Z_0086_5047,R_0086_0074__SHOP)
              & has_arg0(Z_0086_5047,R_0086_0069__THE_R_0086_0070__CHRISTMAS_R_0086_0071__TREES)
              & has_r_0086_0064__in__nim(Z_0086_5047,R_0086_0066__DECEMBER_R_0086_0067__EVENINGS)
              & r_0086_0066__December_r_0086_0067__evenings(R_0086_0066__DECEMBER_R_0086_0067__EVENINGS)
              & has_attrib(R_0086_0066__DECEMBER_R_0086_0067__EVENINGS,R_0086_0065__DARK) ) )
      & has_conj2(Z_0086_5001,R_0086_0026__BEFORE)
      & r_0086_0026__before(R_0086_0026__BEFORE)
      & has_conj2(R_0086_0026__BEFORE,Z_0086_5023)
      & z_0086_5023(Z_0086_5023)
      & has_r_0086_0019__around__clr(Z_0086_5023,R_0086_0020__THE_R_0086_0021__RUINS)
      & r_0086_0020__the_r_0086_0021__ruins(R_0086_0020__THE_R_0086_0021__RUINS)
      & has_r_0086_0022__of(R_0086_0020__THE_R_0086_0021__RUINS,R_0086_0023__WORTHINGTON_R_0086_0024__GRANGE)
      & has_r_0086_0016__in__nim(Z_0086_5023,R_0086_0018__BLOOM)
      & r_0086_0018__bloom(R_0086_0018__BLOOM)
      & has_attrib(R_0086_0018__BLOOM,R_0086_0017__FULL)
      & has_arg0(Z_0086_5023,R_0086_0011__THE_R_0086_0015__ROSES)
      & r_0086_0011__the_r_0086_0015__roses(R_0086_0011__THE_R_0086_0015__ROSES)
      & has_inv_arg1(R_0086_0011__THE_R_0086_0015__ROSES,R_0086_0014__NEGLECTED)
      & r_0086_0014__neglected(R_0086_0014__NEGLECTED)
      & has_arg0(R_0086_0014__NEGLECTED,Z_0086_5009___STAR_)
      & has_attrib(R_0086_0011__THE_R_0086_0015__ROSES,R_0086_0012__IMPENETRABLE)
      & has_conj1(R_0086_0026__BEFORE,R_0086_0028__WAS)
      & r_0086_0028__was(R_0086_0028__WAS)
      & has_keep_scope(R_0086_0028__WAS,R_0086_0031__AND)
      & r_0086_0031__and(R_0086_0031__AND)
      & has_conj2(R_0086_0031__AND,R_0086_0032__MADE)
      & r_0086_0032__made(R_0086_0032__MADE)
      & has_arg0(R_0086_0032__MADE,Z_0086_5015___STAR_)
      & has_prd(R_0086_0032__MADE,R_0086_0033__SAFE)
      & has_arg1(R_0086_0032__MADE,R_0086_0023__WORTHINGTON_R_0086_0024__GRANGE)
      & has_conj1(R_0086_0031__AND,R_0086_0029__TIDIED_R_0086_0030__UP)
      & r_0086_0029__tidied_r_0086_0030__up(R_0086_0029__TIDIED_R_0086_0030__UP)
      & has_arg0(R_0086_0029__TIDIED_R_0086_0030__UP,Z_0086_5015___STAR_)
      & has_arg1(R_0086_0029__TIDIED_R_0086_0030__UP,R_0086_0023__WORTHINGTON_R_0086_0024__GRANGE) ) ).