TSPC 79_a_alresford

79_a_alresford
In the seventies, in Broad Street, Patrick O'Donovan was writing books and regular articles for the Observer, and John Arlott was emerging from his home in Sun Hill to travel to Test Matches and broadcast to the cricketing world.

arc(r_0079_0011__was, r_0079_0002__the_r_0079_0003__seventies, r_0079_0001__In_nim7).
arc(r_0079_0011__was, r_0079_0006__Broad_r_0079_0007__Street, r_0079_0005__in_nim17).
arc(r_0079_0011__was, r_0079_0012__writing, scope).
arc(r_0079_0012__writing, r_0079_0009__Patrick_r_0079_0010__O_apos_Donovan, arg0).
arc(r_0079_0012__writing, r_0079_0014__and, arg1).
arc(r_0079_0014__and, r_0079_0013__books, conj1).
arc(r_0079_0014__and, r_0079_0016__articles, conj2).
arc(r_0079_0016__articles, r_0079_0015__regular, attrib43).
arc(r_0079_0016__articles, r_0079_0018__the_r_0079_0019__Observer, r_0079_0017__for).
arc(r_0079_0021__and, r_0079_0011__was, conj1).
arc(r_0079_0021__and, z_000_79_a_alresford_89, conj2).
arc(r_0079_0024__was, r_0079_0025__emerging, scope).
arc(r_0079_0025__emerging, r_0079_0022__John_r_0079_0023__Arlott, arg0).
arc(r_0079_0025__emerging, r_0079_0028__home, r_0079_0026__from_clr75).
arc(r_0079_0028__home, r_0079_0022__John_r_0079_0023__Arlott, gen).
arc(r_0079_0028__home, r_0079_0030__Sun_r_0079_0031__Hill, r_0079_0029__in).
arc(r_0079_0033__travel, r_0079_0022__John_r_0079_0023__Arlott, arg0).
arc(r_0079_0033__travel, r_0079_0035__Test_r_0079_0036__Matches, r_0079_0034__to_clr100).
arc(r_0079_0037__and, r_0079_0033__travel, conj1).
arc(r_0079_0037__and, r_0079_0038__broadcast, conj2).
arc(r_0079_0038__broadcast, r_0079_0022__John_r_0079_0023__Arlott, arg0).
arc(r_0079_0038__broadcast, r_0079_0040__the_r_0079_0041__cricketing_r_0079_0042__world, r_0079_0039__to_nim114).
arc(z_000_79_a_alresford_89, r_0079_0024__was, scope).
arc(z_000_79_a_alresford_89, r_0079_0037__and, restriction).

fof(formula,axiom,
    ? [R_0079_0002__THE_R_0079_0003__SEVENTIES,R_0079_0006__BROAD_R_0079_0007__STREET,R_0079_0009__PATRICK_R_0079_0010__O_APOS_DONOVAN,R_0079_0013__BOOKS,R_0079_0015__REGULAR,R_0079_0018__THE_R_0079_0019__OBSERVER,R_0079_0016__ARTICLES,R_0079_0014__AND,R_0079_0011__WAS_R_0079_0012__WRITING,R_0079_0022__JOHN_R_0079_0023__ARLOTT,R_0079_0030__SUN_R_0079_0031__HILL,R_0079_0028__HOME,R_0079_0024__WAS_R_0079_0025__EMERGING,R_0079_0035__TEST_R_0079_0036__MATCHES,R_0079_0033__TRAVEL,R_0079_0040__THE_R_0079_0041__CRICKETING_R_0079_0042__WORLD,R_0079_0038__BROADCAST,R_0079_0037__AND,Z_000_79_A_ALRESFORD_89,R_0079_0021__AND] :
      ( r_0079_0002__the_r_0079_0003__seventies(R_0079_0002__THE_R_0079_0003__SEVENTIES)
      & r_0079_0006__Broad_r_0079_0007__Street(R_0079_0006__BROAD_R_0079_0007__STREET)
      & r_0079_0009__Patrick_r_0079_0010__O_apos_Donovan(R_0079_0009__PATRICK_R_0079_0010__O_APOS_DONOVAN)
      & r_0079_0013__books(R_0079_0013__BOOKS)
      & r_0079_0015__regular(R_0079_0015__REGULAR)
      & r_0079_0018__the_r_0079_0019__Observer(R_0079_0018__THE_R_0079_0019__OBSERVER)
      & r_0079_0022__John_r_0079_0023__Arlott(R_0079_0022__JOHN_R_0079_0023__ARLOTT)
      & r_0079_0030__Sun_r_0079_0031__Hill(R_0079_0030__SUN_R_0079_0031__HILL)
      & r_0079_0035__Test_r_0079_0036__Matches(R_0079_0035__TEST_R_0079_0036__MATCHES)
      & r_0079_0040__the_r_0079_0041__cricketing_r_0079_0042__world(R_0079_0040__THE_R_0079_0041__CRICKETING_R_0079_0042__WORLD)
      & r_0079_0021__and(R_0079_0021__AND)
      & has_conj2(R_0079_0021__AND,Z_000_79_A_ALRESFORD_89)
      & z_000_79_a_alresford_89(Z_000_79_A_ALRESFORD_89)
      & has_conj1(Z_000_79_A_ALRESFORD_89,R_0079_0037__AND)
      & r_0079_0037__and(R_0079_0037__AND)
      & has_conj2(R_0079_0037__AND,R_0079_0038__BROADCAST)
      & r_0079_0038__broadcast(R_0079_0038__BROADCAST)
      & has_r_0079_0039__to_nim114(R_0079_0038__BROADCAST,R_0079_0040__THE_R_0079_0041__CRICKETING_R_0079_0042__WORLD)
      & has_arg0(R_0079_0038__BROADCAST,R_0079_0022__JOHN_R_0079_0023__ARLOTT)
      & has_conj1(R_0079_0037__AND,R_0079_0033__TRAVEL)
      & r_0079_0033__travel(R_0079_0033__TRAVEL)
      & has_r_0079_0034__to_clr100(R_0079_0033__TRAVEL,R_0079_0035__TEST_R_0079_0036__MATCHES)
      & has_arg0(R_0079_0033__TRAVEL,R_0079_0022__JOHN_R_0079_0023__ARLOTT)
      & has_conj2(Z_000_79_A_ALRESFORD_89,R_0079_0024__WAS_R_0079_0025__EMERGING)
      & r_0079_0024__was_r_0079_0025__emerging(R_0079_0024__WAS_R_0079_0025__EMERGING)
      & has_r_0079_0026__from_clr75(R_0079_0024__WAS_R_0079_0025__EMERGING,R_0079_0028__HOME)
      & r_0079_0028__home(R_0079_0028__HOME)
      & has_r_0079_0029__in(R_0079_0028__HOME,R_0079_0030__SUN_R_0079_0031__HILL)
      & has_gen(R_0079_0028__HOME,R_0079_0022__JOHN_R_0079_0023__ARLOTT)
      & has_arg0(R_0079_0024__WAS_R_0079_0025__EMERGING,R_0079_0022__JOHN_R_0079_0023__ARLOTT)
      & has_conj1(R_0079_0021__AND,R_0079_0011__WAS_R_0079_0012__WRITING)
      & r_0079_0011__was_r_0079_0012__writing(R_0079_0011__WAS_R_0079_0012__WRITING)
      & has_arg1(R_0079_0011__WAS_R_0079_0012__WRITING,R_0079_0014__AND)
      & r_0079_0014__and(R_0079_0014__AND)
      & has_conj2(R_0079_0014__AND,R_0079_0016__ARTICLES)
      & r_0079_0016__articles(R_0079_0016__ARTICLES)
      & has_r_0079_0017__for(R_0079_0016__ARTICLES,R_0079_0018__THE_R_0079_0019__OBSERVER)
      & has_attrib43(R_0079_0016__ARTICLES,R_0079_0015__REGULAR)
      & has_conj1(R_0079_0014__AND,R_0079_0013__BOOKS)
      & has_arg0(R_0079_0011__WAS_R_0079_0012__WRITING,R_0079_0009__PATRICK_R_0079_0010__O_APOS_DONOVAN)
      & has_r_0079_0005__in_nim17(R_0079_0011__WAS_R_0079_0012__WRITING,R_0079_0006__BROAD_R_0079_0007__STREET)
      & has_r_0079_0001__In_nim7(R_0079_0011__WAS_R_0079_0012__WRITING,R_0079_0002__THE_R_0079_0003__SEVENTIES) ) ).

( (IP-MAT (ILYR (ILYR (PP-TPC-NIM (P-ROLE In;{in})
                                  (NP (D the;{the})
                                      (NS seventies;{seventy})))
                      (PUNC ,)
                      (PP-TPC-NIM (P-ROLE in;{in})
                                  (NP (NPR Broad;{Broad})
                                      (NPR Street;{Street})))
                      (PUNC ,)
                      (NP-SBJ (NPR Patrick;{Patrick})
                              (NPR O<apos>Donovan;{O<apos>Donovan}))
                      (BED;_cat_Vg_ was;{be})
                      (IP-PPL-CAT (VAG;_Tn_ writing;{write})
                                  (NP-OB1 (NLYR (NLYR (NS books;{book}))
                                                (CONJP (CONJ and;{and})
                                                       (NLYR (ADJP (ADJ regular;{regular}))
                                                             (NS articles;{article})
                                                             (PP (P-ROLE for;{for})
                                                                 (NP (D the;{the})
                                                                     (NPR Observer;{Observer})))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{ARLOTT} (NPR John;{John})
                                              (NPR Arlott;{Arlott}))
                             (BED;_cat_Vg_ was;{be})
                             (IP-PPL-CAT (VAG;_Ipr_ emerging;{emerge[from]})
                                         (PP-CLR (P-ROLE from;{from})
                                                 (NP (NP-GEN;{ARLOTT} (PRO;_genm_ his;{his}))
                                                     (N home;{home})
                                                     (PP (P-ROLE in;{in})
                                                         (NP (NPR Sun;{Sun})
                                                             (NPR Hill;{Hill}))))))
                             (PP-SCON (IP-INF (TO to;{to})
                                              (ILYR (ILYR (VB;_Ipr_ travel;{travel[to]})
                                                          (PP-CLR (P-ROLE to;{to})
                                                                  (NP (NPR Test;{Test})
                                                                      (NS Matches;{match}))))
                                                    (CONJP (CONJ and;{and})
                                                           (ILYR (VB;_I_ broadcast;{broadcast})
                                                                 (PP-NIM (P-ROLE to;{to})
                                                                         (NP (D the;{the})
                                                                             (N cricketing;{cricketing})
                                                                             (N world;{world})))))))))))
          (PUNC .))
  (ID 79_a_alresford))