TSPC 12_a_alresford

12_a_alresford
With the help of a House Purchase loan from Winchester R.D.C., (single young women had little chance of getting a Building Society mortgage before 1970) I bought a Victorian villa in the Dean and was offered a job at Perins School.

arc(r_0012_0002__the_r_0012_0003__help, r_0012_0005__a_r_0012_0006__House_r_0012_0007__Purchase_r_0012_0008__loan, r_0012_0004__of).
arc(r_0012_0005__a_r_0012_0006__House_r_0012_0007__Purchase_r_0012_0008__loan, r_0012_0010__Winchester_r_0012_0011__R_dot_D_dot_C_dot_, r_0012_0009__from).
arc(r_0012_0030__bought, r_0012_0002__the_r_0012_0003__help, r_0012_0001__With_nim5).
arc(r_0012_0030__bought, r_0012_0029__I, arg0).
arc(r_0012_0030__bought, r_0012_0031__a_r_0012_0033__villa, arg1).
arc(r_0012_0031__a_r_0012_0033__villa, r_0012_0032__Victorian, attrib88).
arc(r_0012_0031__a_r_0012_0033__villa, r_0012_0035__the_r_0012_0036__Dean, r_0012_0034__in).
arc(r_0012_0037__and, r_0012_0030__bought, conj1).
arc(r_0012_0037__and, r_0012_0038__was, conj2).
arc(r_0012_0038__was, r_0012_0039__offered, scope).
arc(r_0012_0039__offered, r_0012_0029__I, arg2).
arc(r_0012_0039__offered, r_0012_0040__a_r_0012_0041__job, arg1).
arc(r_0012_0039__offered, z_000_12_a_alresford_108, arg0).
arc(r_0012_0040__a_r_0012_0041__job, r_0012_0043__Perins_r_0012_0044__School, r_0012_0042__at).

fof(formula,axiom,
    ? [R_12_37_AND,R_12_30_BOUGHT,R_12_31_A_VILLA,R_12_32_VICTORIAN,R_12_35_THE_DEAN,R_12_2_THE_HELP,R_12_5_A_HOUSE_PURCHASE_LOAN,R_12_10_WINCHESTER_R_DOT_D_DOT_C_DOT_,R_12_38_WAS_OFFERED,Z_12_A_ALRESFORD_108,R_12_40_A_JOB,R_12_43_PERINS_SCHOOL,R_12_29_I] :
      ( victorian(R_12_32_VICTORIAN)
      & the_Dean(R_12_35_THE_DEAN)
      & winchester_R_dot_D_dot_C_dot_(R_12_10_WINCHESTER_R_DOT_D_DOT_C_DOT_)
      & perins_School(R_12_43_PERINS_SCHOOL)
      & i(R_12_29_I)
      & and(R_12_37_AND)
      & conj1(R_12_37_AND,R_12_30_BOUGHT)
      & bought(R_12_30_BOUGHT,R_12_29_I,R_12_31_A_VILLA)
      & a_villa(R_12_31_A_VILLA)
      & attrib88(R_12_31_A_VILLA,R_12_32_VICTORIAN)
      & in(R_12_31_A_VILLA,R_12_35_THE_DEAN)
      & with_nim5(R_12_30_BOUGHT,R_12_2_THE_HELP)
      & the_help(R_12_2_THE_HELP)
      & of(R_12_2_THE_HELP,R_12_5_A_HOUSE_PURCHASE_LOAN)
      & a_House_Purchase_loan(R_12_5_A_HOUSE_PURCHASE_LOAN)
      & from(R_12_5_A_HOUSE_PURCHASE_LOAN,R_12_10_WINCHESTER_R_DOT_D_DOT_C_DOT_)
      & conj2(R_12_37_AND,R_12_38_WAS_OFFERED)
      & was_offered(R_12_38_WAS_OFFERED,Z_12_A_ALRESFORD_108,R_12_40_A_JOB,R_12_29_I)
      & a_job(R_12_40_A_JOB)
      & at(R_12_40_A_JOB,R_12_43_PERINS_SCHOOL) ) ).

( (IP-MAT (PP-TPC-112 (P-ROLE With;{with})
                      (NP (D the;{the})
                          (N help;{help})
                          (PP (P-ROLE of;{of})
                              (NP (D a;{a})
                                  (N House;{house})
                                  (N Purchase;{purchase})
                                  (N loan;{loan})
                                  (PP (P-ROLE from;{from})
                                      (NP (NPR Winchester;{Winchester})
                                          (NPR R<dot>D<dot>C<dot>)))
                                  (PUNC ,)
                                  (PULB -LRB-)
                                  (PRN (IP-MAT (NP-SBJ (ADJP (ADJ single;{single}))
                                                       (ADJP (ADJ young;{young}))
                                                       (NS women;{woman}))
                                               (HVD;_Tn_ had;{have})
                                               (NP-OB1 (ADJP (ADJ little;{little}))
                                                       (N chance;{chance})
                                                       (PP (P-ROLE of;{of})
                                                           (IP-PPL (VAG;_Tn_ getting;{get})
                                                                   (NP-OB1 (D a;{a})
                                                                           (NPR Building;{Building})
                                                                           (NPR Society;{Society})
                                                                           (N mortgage;{mortgage})))))
                                               (PP-NIM (P-ROLE before;{before})
                                                       (NP (NPR 1970)))))
                                  (PURB -RRB-)))))
          (NP-SBJ (PRO I;{I}))
          (ILYR (ILYR (PP-NIM *ICH*-112)
                      (VBD;_Tn_ bought;{buy})
                      (NP-OB1 (D a;{a})
                              (ADJP (ADJ Victorian;{Victorian}))
                              (N villa;{villa})
                              (PP (P-ROLE in;{in})
                                  (NP (D the;{the})
                                      (NPR Dean;{Dean})))))
                (CONJP (CONJ and;{and})
                       (ILYR (BED;_cat_VePASS_ was;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;_Dn.n_ offered;{offer})
                                         (NP-OB1 (D a;{a})
                                                 (N job;{job})
                                                 (PP (P-ROLE at;{at})
                                                     (NP (NPR Perins;{Perins})
                                                         (NPR School;{School}))))))))
          (PUNC .))
  (ID 12_a_alresford))