TSPC 54_a_alresford

54_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.

arc(r_0054_0002__was, r_0054_0004__finding, scope).
arc(r_0054_0002__was, r_0054_0007__days, nim18).
arc(r_0054_0004__finding, r_0054_0001__I, arg0).
arc(r_0054_0004__finding, r_0054_0003__also, nim8).
arc(r_0054_0004__finding, r_0054_0005__time, arg1).
arc(r_0054_0006__most_quant, r_0054_0002__was, scope).
arc(r_0054_0006__most_quant, r_0054_0007__days, restriction).
arc(r_0054_0008__to_r_0054_0009__write, r_0054_0005__time, nim24).
arc(r_0054_0008__to_r_0054_0009__write, z_000_54_a_alresford_23, arg0).
arc(r_0054_0011__having, r_0054_0030__and, scope).
arc(r_0054_0012__completed, r_0054_0001__I, arg0).
arc(r_0054_0012__completed, r_0054_0016__play, arg1).
arc(r_0054_0012__completed, r_0054_0025__the_r_0054_0026__autumn, r_0054_0024__in_nim76).
arc(r_0054_0016__play, r_0054_0001__I, gen).
arc(r_0054_0016__play, r_0054_0014__first, attrib45).
arc(r_0054_0016__play, r_0054_0015__single, attrib48).
arc(r_0054_0016__play, r_0054_0018__television, r_0054_0017__for).
arc(r_0054_0020__The_r_0054_0021__Reason, r_0054_0023__Things, r_0054_0022__Of).
arc(r_0054_0025__the_r_0054_0026__autumn, r_0054_0028__1973, r_0054_0027__of).
arc(r_0054_0030__and, r_0054_0012__completed, conj1).
arc(r_0054_0030__and, r_0054_0031__started, conj2).
arc(r_0054_0031__started, r_0054_0001__I, arg0).
arc(r_0054_0031__started, r_0054_0033__a_r_0054_0034__twenty_r_0054_0036__episode_r_0054_0037__drama_r_0054_0038__series, r_0054_0032__on_clr98).
arc(r_0054_0033__a_r_0054_0034__twenty_r_0054_0036__episode_r_0054_0037__drama_r_0054_0038__series, r_0054_0050__history_r_0054_0051__programme, r_0054_0039__of).
arc(r_0054_0050__history_r_0054_0051__programme, r_0054_0046__Yorkshire_r_0054_0047__Television_r_0054_0048___apos_s, gen).
arc(r_0054_0050__history_r_0054_0051__programme, r_0054_0049__social, attrib142).
arc(r_0054_0050__history_r_0054_0051__programme, r_0054_0053__schools, r_0054_0052__for).
arc(z_000_54_a_alresford_32, r_0054_0006__most_quant, scope).
arc(z_000_54_a_alresford_32, r_0054_0011__having, restriction).
arc(z_000_54_a_alresford_61, r_0054_0016__play, arg0).
arc(z_000_54_a_alresford_61, r_0054_0020__The_r_0054_0021__Reason, prd).

fof(formula,axiom,
    ? [R_0054_0005__TIME,Z_000_54_A_ALRESFORD_23,R_0054_0008__TO_R_0054_0009__WRITE,R_0054_0001__I,R_0054_0014__FIRST,R_0054_0015__SINGLE,R_0054_0018__TELEVISION,R_0054_0016__PLAY,R_0054_0028__1973,R_0054_0025__THE_R_0054_0026__AUTUMN,R_0054_0012__COMPLETED,R_0054_0046__YORKSHIRE_R_0054_0047__TELEVISION_R_0054_0048___APOS_S,R_0054_0049__SOCIAL,R_0054_0053__SCHOOLS,R_0054_0050__HISTORY_R_0054_0051__PROGRAMME,R_0054_0033__A_R_0054_0034__TWENTY_R_0054_0036__EPISODE_R_0054_0037__DRAMA_R_0054_0038__SERIES,R_0054_0031__STARTED,R_0054_0030__AND,R_0054_0011__HAVING,Z_000_54_A_ALRESFORD_32,R_0054_0023__THINGS,R_0054_0020__THE_R_0054_0021__REASON,Z_000_54_A_ALRESFORD_61] :
      ( r_0054_0001__I(R_0054_0001__I)
      & r_0054_0005__time(R_0054_0005__TIME)
      & r_0054_0014__first(R_0054_0014__FIRST)
      & r_0054_0015__single(R_0054_0015__SINGLE)
      & r_0054_0018__television(R_0054_0018__TELEVISION)
      & r_0054_0023__Things(R_0054_0023__THINGS)
      & r_0054_0028__1973(R_0054_0028__1973)
      & r_0054_0046__Yorkshire_r_0054_0047__Television_r_0054_0048___apos_s(R_0054_0046__YORKSHIRE_R_0054_0047__TELEVISION_R_0054_0048___APOS_S)
      & r_0054_0049__social(R_0054_0049__SOCIAL)
      & r_0054_0053__schools(R_0054_0053__SCHOOLS)
      & z_000_54_a_alresford_23(Z_000_54_A_ALRESFORD_23)
      & z_000_54_a_alresford_61(Z_000_54_A_ALRESFORD_61)
      & has_prd(Z_000_54_A_ALRESFORD_61,R_0054_0020__THE_R_0054_0021__REASON)
      & r_0054_0020__The_r_0054_0021__Reason(R_0054_0020__THE_R_0054_0021__REASON)
      & has_r_0054_0022__Of(R_0054_0020__THE_R_0054_0021__REASON,R_0054_0023__THINGS)
      & has_arg0(Z_000_54_A_ALRESFORD_61,R_0054_0016__PLAY)
      & r_0054_0016__play(R_0054_0016__PLAY)
      & has_r_0054_0017__for(R_0054_0016__PLAY,R_0054_0018__TELEVISION)
      & has_attrib48(R_0054_0016__PLAY,R_0054_0015__SINGLE)
      & has_attrib45(R_0054_0016__PLAY,R_0054_0014__FIRST)
      & has_gen(R_0054_0016__PLAY,R_0054_0001__I)
      & z_000_54_a_alresford_32(Z_000_54_A_ALRESFORD_32)
      & has_conj1(Z_000_54_A_ALRESFORD_32,R_0054_0011__HAVING)
      & r_0054_0011__having(R_0054_0011__HAVING)
      & has_keep_scope(R_0054_0011__HAVING,R_0054_0030__AND)
      & r_0054_0030__and(R_0054_0030__AND)
      & has_conj2(R_0054_0030__AND,R_0054_0031__STARTED)
      & r_0054_0031__started(R_0054_0031__STARTED)
      & has_r_0054_0032__on_clr98(R_0054_0031__STARTED,R_0054_0033__A_R_0054_0034__TWENTY_R_0054_0036__EPISODE_R_0054_0037__DRAMA_R_0054_0038__SERIES)
      & r_0054_0033__a_r_0054_0034__twenty_r_0054_0036__episode_r_0054_0037__drama_r_0054_0038__series(R_0054_0033__A_R_0054_0034__TWENTY_R_0054_0036__EPISODE_R_0054_0037__DRAMA_R_0054_0038__SERIES)
      & has_r_0054_0039__of(R_0054_0033__A_R_0054_0034__TWENTY_R_0054_0036__EPISODE_R_0054_0037__DRAMA_R_0054_0038__SERIES,R_0054_0050__HISTORY_R_0054_0051__PROGRAMME)
      & r_0054_0050__history_r_0054_0051__programme(R_0054_0050__HISTORY_R_0054_0051__PROGRAMME)
      & has_r_0054_0052__for(R_0054_0050__HISTORY_R_0054_0051__PROGRAMME,R_0054_0053__SCHOOLS)
      & has_attrib142(R_0054_0050__HISTORY_R_0054_0051__PROGRAMME,R_0054_0049__SOCIAL)
      & has_gen(R_0054_0050__HISTORY_R_0054_0051__PROGRAMME,R_0054_0046__YORKSHIRE_R_0054_0047__TELEVISION_R_0054_0048___APOS_S)
      & has_arg0(R_0054_0031__STARTED,R_0054_0001__I)
      & has_conj1(R_0054_0030__AND,R_0054_0012__COMPLETED)
      & r_0054_0012__completed(R_0054_0012__COMPLETED)
      & has_r_0054_0024__in_nim76(R_0054_0012__COMPLETED,R_0054_0025__THE_R_0054_0026__AUTUMN)
      & r_0054_0025__the_r_0054_0026__autumn(R_0054_0025__THE_R_0054_0026__AUTUMN)
      & has_r_0054_0027__of(R_0054_0025__THE_R_0054_0026__AUTUMN,R_0054_0028__1973)
      & has_arg1(R_0054_0012__COMPLETED,R_0054_0016__PLAY)
      & has_arg0(R_0054_0012__COMPLETED,R_0054_0001__I)
      & ! [R_0054_0007__DAYS] :
          ( r_0054_0007__days(R_0054_0007__DAYS)
         => ? [R_0054_0003__ALSO,R_0054_0002__WAS_R_0054_0004__FINDING] :
              ( r_0054_0003__also(R_0054_0003__ALSO)
              & r_0054_0002__was_r_0054_0004__finding(R_0054_0002__WAS_R_0054_0004__FINDING)
              & has_arg1(R_0054_0002__WAS_R_0054_0004__FINDING,R_0054_0005__TIME)
              & has_nim8(R_0054_0002__WAS_R_0054_0004__FINDING,R_0054_0003__ALSO)
              & has_arg0(R_0054_0002__WAS_R_0054_0004__FINDING,R_0054_0001__I)
              & has_nim18(R_0054_0002__WAS_R_0054_0004__FINDING,R_0054_0007__DAYS) ) )
      & r_0054_0008__to_r_0054_0009__write(R_0054_0008__TO_R_0054_0009__WRITE)
      & has_arg0(R_0054_0008__TO_R_0054_0009__WRITE,Z_000_54_A_ALRESFORD_23)
      & has_nim24(R_0054_0008__TO_R_0054_0009__WRITE,R_0054_0005__TIME) ) ).

( (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 ,)
                                                           (IP-PPL (NP-PRD (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})
                                                                      (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))
                                                                              (ADJP (ADJ social;{social}))
                                                                              (N history;{history})
                                                                              (N programme;{programme})
                                                                              (PP (P-ROLE for;{for})
                                                                                  (NP (NS schools;{school})))))))))))))
          (PUNC .))
  (ID 54_a_alresford))