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_72_10_WAS,Z_72_A_ALRESFORD_16,R_72_2_THE_DECADE,R_72_11_A_KEYNOTE_IDEA,R_72_36_SEALED,R_72_40_AND,R_72_39_RIVER,R_72_41_WATERCRESS_BEDS,R_72_33_A_TOWN,R_72_35_ALREADY,R_72_44_THE_NORTH] :
      ( the_decade(R_72_2_THE_DECADE)
      & a_keynote_idea(R_72_11_A_KEYNOTE_IDEA)
      & river(R_72_39_RIVER)
      & watercress_beds(R_72_41_WATERCRESS_BEDS)
      & a_town(R_72_33_A_TOWN)
      & already(R_72_35_ALREADY)
      & the_north(R_72_44_THE_NORTH)
      & was(R_72_10_WAS,Z_72_A_ALRESFORD_16,R_72_11_A_KEYNOTE_IDEA)
      & nim11(R_72_10_WAS,R_72_2_THE_DECADE)
      & ! [R_72_19_THESE_PROJECTS] :
          ( these_projects(R_72_19_THESE_PROJECTS)
         => ? [R_72_21_WAS,R_72_15_THE_ADVANTAGE,R_72_22_THAT_MADE,R_72_23_THEY,R_72_25_BOUNDARIES,R_72_29_AND,R_72_28_SOUTH,R_72_30_WEST] :
              ( they(R_72_23_THEY)
              & south(R_72_28_SOUTH)
              & west(R_72_30_WEST)
              & was(R_72_21_WAS,R_72_15_THE_ADVANTAGE,R_72_22_THAT_MADE)
              & the_advantage(R_72_15_THE_ADVANTAGE)
              & of(R_72_15_THE_ADVANTAGE,R_72_19_THESE_PROJECTS)
              & that_made(R_72_22_THAT_MADE,R_72_23_THEY,R_72_25_BOUNDARIES)
              & boundaries(R_72_25_BOUNDARIES)
              & to(R_72_25_BOUNDARIES,R_72_29_AND)
              & and(R_72_29_AND)
              & conj1(R_72_29_AND,R_72_28_SOUTH)
              & conj2(R_72_29_AND,R_72_30_WEST)
              & to_nim91(R_72_22_THAT_MADE,R_72_33_A_TOWN)
              & in_nim5(R_72_21_WAS,R_72_2_THE_DECADE) ) )
      & sealed(R_72_36_SEALED,R_72_40_AND,R_72_33_A_TOWN)
      & and(R_72_40_AND)
      & conj1(R_72_40_AND,R_72_39_RIVER)
      & conj2(R_72_40_AND,R_72_41_WATERCRESS_BEDS)
      & nim97(R_72_36_SEALED,R_72_35_ALREADY)
      & to_nim123(R_72_36_SEALED,R_72_44_THE_NORTH) ) ).

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