TSPC 23_a_alresford

23_a_alresford
The school was going comprehensive, and, in the two years I taught there, builders were busy making adaptations, and constructing the Rosla' block to accommodate extra 15 - year - olds affected by the raising of the school - leaving age.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N school;{school}))
                      (BED;_cat_Vg_ was;{be})
                      (IP-PPL-CAT (VAG;_La_ going;{go})
                                  (ADJP-PRD (ADJ comprehensive;{comprehensive}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (PUNC ,)
                       (ILYR (PP-NIM (P-ROLE in;{in})
                                     (NP (D the;{the})
                                         (NUM two;{two})
                                         (NS years;{year})
                                         (IP-REL (NP-NIM *T*)
                                                 (NP-SBJ (PRO I;{I}))
                                                 (VBD;_I_ taught;{teach})
                                                 (ADVP-NIM (ADV there;{there})))))
                             (PUNC ,)
                             (NP-SBJ (NS builders;{builder}))
                             (BED;_La_ were;{be})
                             (ADJP-PRD (ADJ busy;{busy}))
                             (PP-SCON (IP-PPL (ILYR (ILYR (VAG;_Tn_ making;{make})
                                                          (NP-OB1 (NS adaptations;{adaptation})))
                                                    (PUNC ,)
                                                    (CONJP (CONJ and;{and})
                                                           (ILYR (VAG;_Tn_ constructing;{construct})
                                                                 (NP-OB1 (NP-GEN (D the;{the})
                                                                                 (NPR Rosla;{Rosla})
                                                                                 (GENM <apos>))
                                                                         (N block;{block})))))
                                              (PP-SCON (IP-INF3 (TO to;{to})
                                                                (VB;_Tn_ accommodate;{accommodate})
                                                                (NP-OB1 (ADJP (ADJ extra;{extra}))
                                                                        (NUM 15)
                                                                        (PUNC <hyphen>)
                                                                        (N year;{year})
                                                                        (PUNC <hyphen>)
                                                                        (NS olds;{old})
                                                                        (IP-PPL (VVN;_Tn_ affected;{affect})
                                                                                (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                        (NP (D the;{the})
                                                                                            (N raising;{raising})
                                                                                            (PP (P-ROLE of;{of})
                                                                                                (NP (D the;{the})
                                                                                                    (IP-PPL (NP-OB1 (N school;{school}))
                                                                                                            (PUNC <hyphen>)
                                                                                                            (VAG;_Tn_ leaving;{leave}))
                                                                                                    (N age;{age}))))))))))))))
          (PUNC .))
  (ID 23_a_alresford))

arc(r_0023_0003__was,r_0023_0004__going,scope).
arc(r_0023_0004__going,r_0023_0001__The_r_0023_0002__school,arg0).
arc(r_0023_0004__going,r_0023_0005__comprehensive,prd).
arc(r_0023_0007__and,r_0023_0003__was,conj1).
arc(r_0023_0007__and,z_0023_5010,conj2).
arc(r_0023_0014__taught,r_0023_0010__the_r_0023_0011__two_r_0023_0012__years,inv_nim).
arc(r_0023_0014__taught,r_0023_0013__I,arg0).
arc(r_0023_0014__taught,r_0023_0015__there,nim).
arc(r_0023_0018__were,r_0023_0010__the_r_0023_0011__two_r_0023_0012__years,r_0023_0009__in__nim).
arc(r_0023_0018__were,r_0023_0017__builders,arg0).
arc(r_0023_0018__were,r_0023_0019__busy,prd).
arc(r_0023_0020__making,r_0023_0017__builders,arg0).
arc(r_0023_0020__making,r_0023_0021__adaptations,arg1).
arc(r_0023_0023__and,r_0023_0020__making,conj1).
arc(r_0023_0023__and,r_0023_0024__constructing,conj2).
arc(r_0023_0024__constructing,r_0023_0017__builders,arg0).
arc(r_0023_0024__constructing,r_0023_0028__block,arg1).
arc(r_0023_0028__block,r_0023_0025__the_r_0023_0026__Rosla,gen).
arc(r_0023_0030__accommodate,r_0023_0032__15_r_0023_0034__year_r_0023_0036__olds,arg1).
arc(r_0023_0030__accommodate,z_0023_5015,arg0).
arc(r_0023_0032__15_r_0023_0034__year_r_0023_0036__olds,r_0023_0031__extra,attrib).
arc(r_0023_0037__affected,r_0023_0032__15_r_0023_0034__year_r_0023_0036__olds,inv_arg1).
arc(r_0023_0037__affected,r_0023_0039__the_r_0023_0040__raising,r_0023_0038__by_arg0).
arc(r_0023_0039__the_r_0023_0040__raising,r_0023_0042__the_r_0023_0046__age,r_0023_0041__of).
arc(r_0023_0045__leaving,r_0023_0042__the_r_0023_0046__age,inv_arg0).
arc(r_0023_0045__leaving,r_0023_0043__school,arg1).
arc(z_0023_5010,r_0023_0018__were,scope).
arc(z_0023_5010,z_0023_5012,restriction).
arc(z_0023_5012,r_0023_0023__and,scope).
arc(z_0023_5012,r_0023_0030__accommodate,restriction).

fof(formula,axiom,
    ? [R_0023_0001__THE_R_0023_0002__SCHOOL,R_0023_0005__COMPREHENSIVE,R_0023_0003__WAS_R_0023_0004__GOING,R_0023_0013__I,R_0023_0015__THERE,R_0023_0014__TAUGHT,R_0023_0010__THE_R_0023_0011__TWO_R_0023_0012__YEARS,R_0023_0017__BUILDERS,R_0023_0019__BUSY,R_0023_0018__WERE,R_0023_0021__ADAPTATIONS,R_0023_0020__MAKING,R_0023_0025__THE_R_0023_0026__ROSLA,R_0023_0028__BLOCK,R_0023_0024__CONSTRUCTING,R_0023_0023__AND,R_0023_0031__EXTRA,R_0023_0043__SCHOOL,R_0023_0045__LEAVING,R_0023_0042__THE_R_0023_0046__AGE,R_0023_0039__THE_R_0023_0040__RAISING,R_0023_0037__AFFECTED,R_0023_0032__15_R_0023_0034__YEAR_R_0023_0036__OLDS,Z_0023_5015,R_0023_0030__ACCOMMODATE,Z_0023_5012,Z_0023_5010,R_0023_0007__AND] :
      ( r_0023_0001__The_r_0023_0002__school(R_0023_0001__THE_R_0023_0002__SCHOOL)
      & r_0023_0005__comprehensive(R_0023_0005__COMPREHENSIVE)
      & r_0023_0013__I(R_0023_0013__I)
      & r_0023_0015__there(R_0023_0015__THERE)
      & r_0023_0017__builders(R_0023_0017__BUILDERS)
      & r_0023_0019__busy(R_0023_0019__BUSY)
      & r_0023_0021__adaptations(R_0023_0021__ADAPTATIONS)
      & r_0023_0025__the_r_0023_0026__Rosla(R_0023_0025__THE_R_0023_0026__ROSLA)
      & r_0023_0031__extra(R_0023_0031__EXTRA)
      & r_0023_0043__school(R_0023_0043__SCHOOL)
      & z_0023_5015(Z_0023_5015)
      & r_0023_0007__and(R_0023_0007__AND)
      & has_conj2(R_0023_0007__AND,Z_0023_5010)
      & z_0023_5010(Z_0023_5010)
      & has_conj1(Z_0023_5010,Z_0023_5012)
      & z_0023_5012(Z_0023_5012)
      & has_conj1(Z_0023_5012,R_0023_0030__ACCOMMODATE)
      & r_0023_0030__accommodate(R_0023_0030__ACCOMMODATE)
      & has_arg0(R_0023_0030__ACCOMMODATE,Z_0023_5015)
      & has_arg1(R_0023_0030__ACCOMMODATE,R_0023_0032__15_R_0023_0034__YEAR_R_0023_0036__OLDS)
      & r_0023_0032__15_r_0023_0034__year_r_0023_0036__olds(R_0023_0032__15_R_0023_0034__YEAR_R_0023_0036__OLDS)
      & has_inv_arg1(R_0023_0032__15_R_0023_0034__YEAR_R_0023_0036__OLDS,R_0023_0037__AFFECTED)
      & r_0023_0037__affected(R_0023_0037__AFFECTED)
      & has_r_0023_0038__by_arg0(R_0023_0037__AFFECTED,R_0023_0039__THE_R_0023_0040__RAISING)
      & r_0023_0039__the_r_0023_0040__raising(R_0023_0039__THE_R_0023_0040__RAISING)
      & has_r_0023_0041__of(R_0023_0039__THE_R_0023_0040__RAISING,R_0023_0042__THE_R_0023_0046__AGE)
      & r_0023_0042__the_r_0023_0046__age(R_0023_0042__THE_R_0023_0046__AGE)
      & has_inv_arg0(R_0023_0042__THE_R_0023_0046__AGE,R_0023_0045__LEAVING)
      & r_0023_0045__leaving(R_0023_0045__LEAVING)
      & has_arg1(R_0023_0045__LEAVING,R_0023_0043__SCHOOL)
      & has_attrib(R_0023_0032__15_R_0023_0034__YEAR_R_0023_0036__OLDS,R_0023_0031__EXTRA)
      & has_conj2(Z_0023_5012,R_0023_0023__AND)
      & r_0023_0023__and(R_0023_0023__AND)
      & has_conj2(R_0023_0023__AND,R_0023_0024__CONSTRUCTING)
      & r_0023_0024__constructing(R_0023_0024__CONSTRUCTING)
      & has_arg1(R_0023_0024__CONSTRUCTING,R_0023_0028__BLOCK)
      & r_0023_0028__block(R_0023_0028__BLOCK)
      & has_gen(R_0023_0028__BLOCK,R_0023_0025__THE_R_0023_0026__ROSLA)
      & has_arg0(R_0023_0024__CONSTRUCTING,R_0023_0017__BUILDERS)
      & has_conj1(R_0023_0023__AND,R_0023_0020__MAKING)
      & r_0023_0020__making(R_0023_0020__MAKING)
      & has_arg1(R_0023_0020__MAKING,R_0023_0021__ADAPTATIONS)
      & has_arg0(R_0023_0020__MAKING,R_0023_0017__BUILDERS)
      & has_conj2(Z_0023_5010,R_0023_0018__WERE)
      & r_0023_0018__were(R_0023_0018__WERE)
      & has_prd(R_0023_0018__WERE,R_0023_0019__BUSY)
      & has_arg0(R_0023_0018__WERE,R_0023_0017__BUILDERS)
      & has_r_0023_0009__in__nim(R_0023_0018__WERE,R_0023_0010__THE_R_0023_0011__TWO_R_0023_0012__YEARS)
      & r_0023_0010__the_r_0023_0011__two_r_0023_0012__years(R_0023_0010__THE_R_0023_0011__TWO_R_0023_0012__YEARS)
      & has_inv_nim(R_0023_0010__THE_R_0023_0011__TWO_R_0023_0012__YEARS,R_0023_0014__TAUGHT)
      & r_0023_0014__taught(R_0023_0014__TAUGHT)
      & has_nim(R_0023_0014__TAUGHT,R_0023_0015__THERE)
      & has_arg0(R_0023_0014__TAUGHT,R_0023_0013__I)
      & has_conj1(R_0023_0007__AND,R_0023_0003__WAS_R_0023_0004__GOING)
      & r_0023_0003__was_r_0023_0004__going(R_0023_0003__WAS_R_0023_0004__GOING)
      & has_prd(R_0023_0003__WAS_R_0023_0004__GOING,R_0023_0005__COMPREHENSIVE)
      & has_arg0(R_0023_0003__WAS_R_0023_0004__GOING,R_0023_0001__THE_R_0023_0002__SCHOOL) ) ).