TSPC 53_a_alresford

53_a_alresford
I was also finding time most days to write, having completed my first single play for television, The Reason Of Things in the autumn of 1973, and started on a twenty - episode drama series of How We Used To Live, Yorkshire Television's social history programme for schools.

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (ADVP-NIM (ADV also;{also}))
                      (VAG;_Tn_ finding;{find})
                      (NP-OB1 (N time;{time})
                              (IP-INF-REL *ICH*-124)))
          (NP-NIM (Q most;{most})
                  (NS days;{day}))
          (IP-INF-REL-EPD-124 (NP-NIM *T*)
                              (TO to;{to})
                              (VB;_I_ write;{write}))
          (PUNC ,)
          (PP-SCON (IP-PPL (HAG;_cat_Ve_ having;{have})
                           (IP-PPL-CAT (ILYR (ILYR (VVN;_Tn_ completed;{complete})
                                                   (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                                                           (ADJP (ADJ first;{first}))
                                                           (ADJP (ADJ single;{single}))
                                                           (N play;{play})
                                                           (PP (P-ROLE for;{for})
                                                               (NP (N television;{television})))
                                                           (PUNC ,)
                                                           (PRN (NP (D The;{the})
                                                                    (N Reason;{reason})
                                                                    (PP (P-ROLE Of;{of})
                                                                        (NP (NS Things;{thing}))))))
                                                   (PP-NIM (P-ROLE in;{in})
                                                           (NP (D the;{the})
                                                               (N autumn;{autumn})
                                                               (PP (P-ROLE of;{of})
                                                                   (NP (NPR 1973))))))
                                             (PUNC ,)
                                             (CONJP (CONJ and;{and})
                                                    (ILYR (VVN;_Ipr_ started;{start[on]})
                                                          (PP-CLR (P-ROLE on;{on})
                                                                  (NP (D a;{a})
                                                                      (NLYR (NUM twenty;{twenty})
                                                                            (PUNC <hyphen>)
                                                                            (N episode;{episode}))
                                                                      (N drama;{drama})
                                                                      (N series;{series})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (PRN (CP-QUE (IP-SUB (ADVP-132 (WADV How;{how}))
                                                                                                   (NP-SBJ (PRO We;{we}))
                                                                                                   (MD;_cat_Vt_ Used;{used})
                                                                                                   (IP-INF-CAT (ADVP-NIM *ICH*-132)
                                                                                                               (TO To;{to})
                                                                                                               (VB;_I_ Live;{live})))))
                                                                              (PUNC ,)
                                                                              (NP-GEN (NPR Yorkshire;{Yorkshire})
                                                                                      (NPR Television;{Television})
                                                                                      (GENM <apos>s))
                                                                              (NLYR (ADJP (ADJ social;{social}))
                                                                                    (N history;{history}))
                                                                              (N programme;{programme})
                                                                              (PP (P-ROLE for;{for})
                                                                                  (NP (NS schools;{school})))))))))))))
          (PUNC .))
  (ID 53_a_alresford))

arc(r_0053_0002__was,r_0053_0004__finding,scope).
arc(r_0053_0002__was,r_0053_0007__days,nim).
arc(r_0053_0004__finding,r_0053_0001__I,arg0).
arc(r_0053_0004__finding,r_0053_0003__also,nim).
arc(r_0053_0004__finding,r_0053_0005__time,arg1).
arc(r_0053_0006__most__quant,r_0053_0002__was,scope).
arc(r_0053_0006__most__quant,r_0053_0007__days,restriction).
arc(r_0053_0009__write,r_0053_0005__time,inv_nim).
arc(r_0053_0009__write,z_0053_5033,arg0).
arc(r_0053_0011__having,r_0053_0030__and,scope).
arc(r_0053_0012__completed,r_0053_0001__I,arg0).
arc(r_0053_0012__completed,r_0053_0016__play,arg1).
arc(r_0053_0012__completed,r_0053_0025__the_r_0053_0026__autumn,r_0053_0024__in__nim).
arc(r_0053_0016__play,r_0053_0001__I,gen).
arc(r_0053_0016__play,r_0053_0014__first,attrib).
arc(r_0053_0016__play,r_0053_0015__single,attrib).
arc(r_0053_0016__play,r_0053_0018__television,r_0053_0017__for).
arc(r_0053_0020__The_r_0053_0021__Reason,r_0053_0023__Things,r_0053_0022__Of).
arc(r_0053_0025__the_r_0053_0026__autumn,r_0053_0028__1973,r_0053_0027__of).
arc(r_0053_0030__and,r_0053_0012__completed,conj1).
arc(r_0053_0030__and,r_0053_0031__started_r_0053_0032__on,conj2).
arc(r_0053_0031__started_r_0053_0032__on,r_0053_0001__I,arg0).
arc(r_0053_0031__started_r_0053_0032__on,r_0053_0033__a_r_0053_0034__twenty_r_0053_0036__episode_r_0053_0037__drama_r_0053_0038__series,arg1).
arc(r_0053_0033__a_r_0053_0034__twenty_r_0053_0036__episode_r_0053_0037__drama_r_0053_0038__series,r_0053_0051__programme,r_0053_0039__of).
arc(r_0053_0042__Used,r_0053_0044__Live,scope).
arc(r_0053_0044__Live,r_0053_0040__How,nim).
arc(r_0053_0044__Live,r_0053_0041__We,arg0).
arc(r_0053_0050__history,r_0053_0049__social,attrib).
arc(r_0053_0051__programme,r_0053_0042__Used,prn).
arc(r_0053_0051__programme,r_0053_0046__Yorkshire_r_0053_0047__Television,gen).
arc(r_0053_0051__programme,r_0053_0050__history,nim).
arc(r_0053_0051__programme,r_0053_0053__schools,r_0053_0052__for).
arc(z_0053_5001,r_0053_0006__most__quant,scope).
arc(z_0053_5001,r_0053_0011__having,restriction).
arc(z_0053_5011,r_0053_0016__play,arg0).
arc(z_0053_5011,r_0053_0020__The_r_0053_0021__Reason,prd).

fof(formula,axiom,
    ? [R_0053_0001__I,R_0053_0014__FIRST,R_0053_0015__SINGLE,R_0053_0018__TELEVISION,R_0053_0016__PLAY,R_0053_0028__1973,R_0053_0025__THE_R_0053_0026__AUTUMN,R_0053_0012__COMPLETED,R_0053_0040__HOW,R_0053_0041__WE,R_0053_0042__USED_R_0053_0044__LIVE,R_0053_0046__YORKSHIRE_R_0053_0047__TELEVISION,R_0053_0049__SOCIAL,R_0053_0050__HISTORY,R_0053_0053__SCHOOLS,R_0053_0051__PROGRAMME,R_0053_0033__A_R_0053_0034__TWENTY_R_0053_0036__EPISODE_R_0053_0037__DRAMA_R_0053_0038__SERIES,R_0053_0031__STARTED_R_0053_0032__ON,R_0053_0030__AND,R_0053_0011__HAVING,Z_0053_5001,R_0053_0023__THINGS,R_0053_0020__THE_R_0053_0021__REASON,Z_0053_5011] :
      ( r_0053_0001__I(R_0053_0001__I)
      & r_0053_0014__first(R_0053_0014__FIRST)
      & r_0053_0015__single(R_0053_0015__SINGLE)
      & r_0053_0018__television(R_0053_0018__TELEVISION)
      & r_0053_0023__Things(R_0053_0023__THINGS)
      & r_0053_0028__1973(R_0053_0028__1973)
      & r_0053_0040__How(R_0053_0040__HOW)
      & r_0053_0041__We(R_0053_0041__WE)
      & r_0053_0046__Yorkshire_r_0053_0047__Television(R_0053_0046__YORKSHIRE_R_0053_0047__TELEVISION)
      & r_0053_0049__social(R_0053_0049__SOCIAL)
      & r_0053_0053__schools(R_0053_0053__SCHOOLS)
      & z_0053_5011(Z_0053_5011)
      & has_prd(Z_0053_5011,R_0053_0020__THE_R_0053_0021__REASON)
      & r_0053_0020__The_r_0053_0021__Reason(R_0053_0020__THE_R_0053_0021__REASON)
      & has_r_0053_0022__Of(R_0053_0020__THE_R_0053_0021__REASON,R_0053_0023__THINGS)
      & has_arg0(Z_0053_5011,R_0053_0016__PLAY)
      & r_0053_0016__play(R_0053_0016__PLAY)
      & has_r_0053_0017__for(R_0053_0016__PLAY,R_0053_0018__TELEVISION)
      & has_attrib(R_0053_0016__PLAY,R_0053_0015__SINGLE)
      & has_attrib(R_0053_0016__PLAY,R_0053_0014__FIRST)
      & has_gen(R_0053_0016__PLAY,R_0053_0001__I)
      & z_0053_5001(Z_0053_5001)
      & has_conj1(Z_0053_5001,R_0053_0011__HAVING)
      & r_0053_0011__having(R_0053_0011__HAVING)
      & has_keep_scope(R_0053_0011__HAVING,R_0053_0030__AND)
      & r_0053_0030__and(R_0053_0030__AND)
      & has_conj2(R_0053_0030__AND,R_0053_0031__STARTED_R_0053_0032__ON)
      & r_0053_0031__started_r_0053_0032__on(R_0053_0031__STARTED_R_0053_0032__ON)
      & has_arg1(R_0053_0031__STARTED_R_0053_0032__ON,R_0053_0033__A_R_0053_0034__TWENTY_R_0053_0036__EPISODE_R_0053_0037__DRAMA_R_0053_0038__SERIES)
      & r_0053_0033__a_r_0053_0034__twenty_r_0053_0036__episode_r_0053_0037__drama_r_0053_0038__series(R_0053_0033__A_R_0053_0034__TWENTY_R_0053_0036__EPISODE_R_0053_0037__DRAMA_R_0053_0038__SERIES)
      & has_r_0053_0039__of(R_0053_0033__A_R_0053_0034__TWENTY_R_0053_0036__EPISODE_R_0053_0037__DRAMA_R_0053_0038__SERIES,R_0053_0051__PROGRAMME)
      & r_0053_0051__programme(R_0053_0051__PROGRAMME)
      & has_r_0053_0052__for(R_0053_0051__PROGRAMME,R_0053_0053__SCHOOLS)
      & has_nim(R_0053_0051__PROGRAMME,R_0053_0050__HISTORY)
      & r_0053_0050__history(R_0053_0050__HISTORY)
      & has_attrib(R_0053_0050__HISTORY,R_0053_0049__SOCIAL)
      & has_gen(R_0053_0051__PROGRAMME,R_0053_0046__YORKSHIRE_R_0053_0047__TELEVISION)
      & has_prn(R_0053_0051__PROGRAMME,R_0053_0042__USED_R_0053_0044__LIVE)
      & r_0053_0042__Used_r_0053_0044__Live(R_0053_0042__USED_R_0053_0044__LIVE)
      & has_arg0(R_0053_0042__USED_R_0053_0044__LIVE,R_0053_0041__WE)
      & has_nim(R_0053_0042__USED_R_0053_0044__LIVE,R_0053_0040__HOW)
      & has_arg0(R_0053_0031__STARTED_R_0053_0032__ON,R_0053_0001__I)
      & has_conj1(R_0053_0030__AND,R_0053_0012__COMPLETED)
      & r_0053_0012__completed(R_0053_0012__COMPLETED)
      & has_r_0053_0024__in__nim(R_0053_0012__COMPLETED,R_0053_0025__THE_R_0053_0026__AUTUMN)
      & r_0053_0025__the_r_0053_0026__autumn(R_0053_0025__THE_R_0053_0026__AUTUMN)
      & has_r_0053_0027__of(R_0053_0025__THE_R_0053_0026__AUTUMN,R_0053_0028__1973)
      & has_arg1(R_0053_0012__COMPLETED,R_0053_0016__PLAY)
      & has_arg0(R_0053_0012__COMPLETED,R_0053_0001__I)
      & ! [R_0053_0007__DAYS] :
          ( r_0053_0007__days(R_0053_0007__DAYS)
         => ? [R_0053_0003__ALSO,Z_0053_5033,R_0053_0009__WRITE,R_0053_0005__TIME,R_0053_0002__WAS_R_0053_0004__FINDING] :
              ( r_0053_0003__also(R_0053_0003__ALSO)
              & z_0053_5033(Z_0053_5033)
              & r_0053_0002__was_r_0053_0004__finding(R_0053_0002__WAS_R_0053_0004__FINDING)
              & has_arg1(R_0053_0002__WAS_R_0053_0004__FINDING,R_0053_0005__TIME)
              & r_0053_0005__time(R_0053_0005__TIME)
              & has_inv_nim(R_0053_0005__TIME,R_0053_0009__WRITE)
              & r_0053_0009__write(R_0053_0009__WRITE)
              & has_arg0(R_0053_0009__WRITE,Z_0053_5033)
              & has_nim(R_0053_0002__WAS_R_0053_0004__FINDING,R_0053_0003__ALSO)
              & has_arg0(R_0053_0002__WAS_R_0053_0004__FINDING,R_0053_0001__I)
              & has_nim(R_0053_0002__WAS_R_0053_0004__FINDING,R_0053_0007__DAYS) ) ) ) ).