TSPC 72_a_alresford

72_a_alresford
In the decade when ‘small is beautiful’ was a keynote idea, the advantage of both these projects was that they made boundaries to the south and west, to a town already sealed by the river and watercress beds to the north.

arc(r_0072_0010__was, r_0072_0002__the_r_0072_0003__decade, nim11).
arc(r_0072_0010__was, r_0072_0011__a_r_0072_0012__keynote_r_0072_0013__idea, prd).
arc(r_0072_0010__was, z_000_72_a_alresford_16, arg0).
arc(r_0072_0015__the_r_0072_0016__advantage, r_0072_0019__these_r_0072_0020__projects, r_0072_0017__of).
arc(r_0072_0018__both_quant, r_0072_0015__the_r_0072_0016__advantage, scope).
arc(r_0072_0018__both_quant, r_0072_0019__these_r_0072_0020__projects, restriction).
arc(r_0072_0021__was, r_0072_0002__the_r_0072_0003__decade, r_0072_0001__In_nim5).
arc(r_0072_0021__was, r_0072_0015__the_r_0072_0016__advantage, arg0).
arc(r_0072_0021__was, r_0072_0022__that_r_0072_0024__made, prd).
arc(r_0072_0022__that_r_0072_0024__made, r_0072_0023__they, arg0).
arc(r_0072_0022__that_r_0072_0024__made, r_0072_0025__boundaries, arg1).
arc(r_0072_0022__that_r_0072_0024__made, r_0072_0033__a_r_0072_0034__town, r_0072_0032__to_nim91).
arc(r_0072_0025__boundaries, r_0072_0029__and, r_0072_0026__to).
arc(r_0072_0029__and, r_0072_0028__south, conj1).
arc(r_0072_0029__and, r_0072_0030__west, conj2).
arc(r_0072_0036__sealed, r_0072_0033__a_r_0072_0034__town, arg1).
arc(r_0072_0036__sealed, r_0072_0035__already, nim97).
arc(r_0072_0036__sealed, r_0072_0040__and, arg0).
arc(r_0072_0036__sealed, r_0072_0044__the_r_0072_0045__north, r_0072_0043__to_nim123).
arc(r_0072_0040__and, r_0072_0039__river, conj1).
arc(r_0072_0040__and, r_0072_0041__watercress_r_0072_0042__beds, conj2).

fof(formula,axiom,
    ? [R_0072_0002__THE_R_0072_0003__DECADE,R_0072_0011__A_R_0072_0012__KEYNOTE_R_0072_0013__IDEA,Z_000_72_A_ALRESFORD_16,R_0072_0010__WAS,R_0072_0033__A_R_0072_0034__TOWN,R_0072_0035__ALREADY,R_0072_0039__RIVER,R_0072_0041__WATERCRESS_R_0072_0042__BEDS,R_0072_0040__AND,R_0072_0044__THE_R_0072_0045__NORTH,R_0072_0036__SEALED] :
      ( r_0072_0002__the_r_0072_0003__decade(R_0072_0002__THE_R_0072_0003__DECADE)
      & r_0072_0011__a_r_0072_0012__keynote_r_0072_0013__idea(R_0072_0011__A_R_0072_0012__KEYNOTE_R_0072_0013__IDEA)
      & r_0072_0033__a_r_0072_0034__town(R_0072_0033__A_R_0072_0034__TOWN)
      & r_0072_0035__already(R_0072_0035__ALREADY)
      & r_0072_0039__river(R_0072_0039__RIVER)
      & r_0072_0041__watercress_r_0072_0042__beds(R_0072_0041__WATERCRESS_R_0072_0042__BEDS)
      & r_0072_0044__the_r_0072_0045__north(R_0072_0044__THE_R_0072_0045__NORTH)
      & z_000_72_a_alresford_16(Z_000_72_A_ALRESFORD_16)
      & r_0072_0036__sealed(R_0072_0036__SEALED)
      & has_r_0072_0043__to_nim123(R_0072_0036__SEALED,R_0072_0044__THE_R_0072_0045__NORTH)
      & has_arg0(R_0072_0036__SEALED,R_0072_0040__AND)
      & r_0072_0040__and(R_0072_0040__AND)
      & has_conj2(R_0072_0040__AND,R_0072_0041__WATERCRESS_R_0072_0042__BEDS)
      & has_conj1(R_0072_0040__AND,R_0072_0039__RIVER)
      & has_nim97(R_0072_0036__SEALED,R_0072_0035__ALREADY)
      & has_arg1(R_0072_0036__SEALED,R_0072_0033__A_R_0072_0034__TOWN)
      & ! [R_0072_0019__THESE_R_0072_0020__PROJECTS] :
          ( r_0072_0019__these_r_0072_0020__projects(R_0072_0019__THESE_R_0072_0020__PROJECTS)
         => ? [R_0072_0015__THE_R_0072_0016__ADVANTAGE,R_0072_0023__THEY,R_0072_0028__SOUTH,R_0072_0030__WEST,R_0072_0029__AND,R_0072_0025__BOUNDARIES,R_0072_0022__THAT_R_0072_0024__MADE,R_0072_0021__WAS] :
              ( r_0072_0023__they(R_0072_0023__THEY)
              & r_0072_0028__south(R_0072_0028__SOUTH)
              & r_0072_0030__west(R_0072_0030__WEST)
              & r_0072_0021__was(R_0072_0021__WAS)
              & has_prd(R_0072_0021__WAS,R_0072_0022__THAT_R_0072_0024__MADE)
              & r_0072_0022__that_r_0072_0024__made(R_0072_0022__THAT_R_0072_0024__MADE)
              & has_r_0072_0032__to_nim91(R_0072_0022__THAT_R_0072_0024__MADE,R_0072_0033__A_R_0072_0034__TOWN)
              & has_arg1(R_0072_0022__THAT_R_0072_0024__MADE,R_0072_0025__BOUNDARIES)
              & r_0072_0025__boundaries(R_0072_0025__BOUNDARIES)
              & has_r_0072_0026__to(R_0072_0025__BOUNDARIES,R_0072_0029__AND)
              & r_0072_0029__and(R_0072_0029__AND)
              & has_conj2(R_0072_0029__AND,R_0072_0030__WEST)
              & has_conj1(R_0072_0029__AND,R_0072_0028__SOUTH)
              & has_arg0(R_0072_0022__THAT_R_0072_0024__MADE,R_0072_0023__THEY)
              & has_arg0(R_0072_0021__WAS,R_0072_0015__THE_R_0072_0016__ADVANTAGE)
              & r_0072_0015__the_r_0072_0016__advantage(R_0072_0015__THE_R_0072_0016__ADVANTAGE)
              & has_r_0072_0017__of(R_0072_0015__THE_R_0072_0016__ADVANTAGE,R_0072_0019__THESE_R_0072_0020__PROJECTS)
              & has_r_0072_0001__In_nim5(R_0072_0021__WAS,R_0072_0002__THE_R_0072_0003__DECADE) ) )
      & r_0072_0010__was(R_0072_0010__WAS)
      & has_arg0(R_0072_0010__WAS,Z_000_72_A_ALRESFORD_16)
      & has_prd(R_0072_0010__WAS,R_0072_0011__A_R_0072_0012__KEYNOTE_R_0072_0013__IDEA)
      & has_nim11(R_0072_0010__WAS,R_0072_0002__THE_R_0072_0003__DECADE) ) ).

( (IP-MAT (PP-TPC-NIM (P-ROLE In;{in})
                      (NP (D the;{the})
                          (N decade;{decade})
                          (IP-REL (ADVP-NIM (RADV when;{when}))
                                  (PULQ <lsquo>)
                                  (NP-SBJ (PRN (IP-MAT (NP-SBJ (ADJP (ADJ small;{small})))
                                                       (BEP;_La_ is;{be})
                                                       (ADJP-PRD (ADJ beautiful;{beautiful})))))
                                  (PURQ <rsquo>)
                                  (BED;_Ln_ was;{be})
                                  (NP-PRD (D a;{a})
                                          (N keynote;{keynote})
                                          (N idea;{idea})))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N advantage;{advantage})
                  (PP (P-ROLE of;{of})
                      (NP;{PROJECTS} (Q;_nphd_ both;{both})
                                     (D these;{these})
                                     (NS projects;{project}))))
          (BED;_equ_Vf_ was;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (NP-SBJ;{PROJECTS} (PRO they;{they}))
                              (VBD;_Tn_ made;{make})
                              (NP-OB1 (NS boundaries;{boundary})
                                      (PP (P-ROLE to;{to})
                                          (NP (D the;{the})
                                              (NLYR (NLYR (N south;{south}))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (N west;{west})))))))
                              (PUNC ,)
                              (PP-NIM (P-ROLE to;{to})
                                      (NP (D a;{a})
                                          (N town;{town})
                                          (IP-PPL (ADVP-NIM (ADV already;{already}))
                                                  (VVN;_Tn_ sealed;{seal})
                                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                          (NP (D the;{the})
                                                              (NLYR (NLYR (N river;{river}))
                                                                    (CONJP (CONJ and;{and})
                                                                           (NLYR (N watercress;{watercress})
                                                                                 (NS beds;{bed}))))))
                                                  (PP-NIM (P-ROLE to;{to})
                                                          (NP (D the;{the})
                                                              (N north;{north}))))))))
          (PUNC .))
  (ID 72_a_alresford))