TSPC 78_a_alresford

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

( (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 78_a_alresford))

arc(r_0078_0011__was,r_0078_0002__the_r_0078_0003__seventies,r_0078_0001__In__nim).
arc(r_0078_0011__was,r_0078_0006__Broad_r_0078_0007__Street,r_0078_0005__in__nim).
arc(r_0078_0011__was,r_0078_0012__writing,scope).
arc(r_0078_0012__writing,r_0078_0009__Patrick_r_0078_0010__O_apos_Donovan,arg0).
arc(r_0078_0012__writing,r_0078_0014__and,arg1).
arc(r_0078_0014__and,r_0078_0013__books,conj1).
arc(r_0078_0014__and,r_0078_0016__articles,conj2).
arc(r_0078_0016__articles,r_0078_0015__regular,attrib).
arc(r_0078_0016__articles,r_0078_0018__the_r_0078_0019__Observer,r_0078_0017__for).
arc(r_0078_0021__and,r_0078_0011__was,conj1).
arc(r_0078_0021__and,z_0078_5009,conj2).
arc(r_0078_0024__was,r_0078_0025__emerging_r_0078_0026__from,scope).
arc(r_0078_0025__emerging_r_0078_0026__from,r_0078_0022__John_r_0078_0023__Arlott,arg0).
arc(r_0078_0025__emerging_r_0078_0026__from,r_0078_0028__home,arg1).
arc(r_0078_0028__home,r_0078_0022__John_r_0078_0023__Arlott,gen).
arc(r_0078_0028__home,r_0078_0030__Sun_r_0078_0031__Hill,r_0078_0029__in).
arc(r_0078_0033__travel_r_0078_0034__to,r_0078_0022__John_r_0078_0023__Arlott,arg0).
arc(r_0078_0033__travel_r_0078_0034__to,r_0078_0035__Test_r_0078_0036__Matches,arg1).
arc(r_0078_0037__and,r_0078_0033__travel_r_0078_0034__to,conj1).
arc(r_0078_0037__and,r_0078_0038__broadcast,conj2).
arc(r_0078_0038__broadcast,r_0078_0022__John_r_0078_0023__Arlott,arg0).
arc(r_0078_0038__broadcast,r_0078_0040__the_r_0078_0041__cricketing_r_0078_0042__world,r_0078_0039__to__nim).
arc(z_0078_5009,r_0078_0024__was,scope).
arc(z_0078_5009,r_0078_0037__and,restriction).

fof(formula,axiom,
    ? [R_0078_0002__THE_R_0078_0003__SEVENTIES,R_0078_0006__BROAD_R_0078_0007__STREET,R_0078_0009__PATRICK_R_0078_0010__O_APOS_DONOVAN,R_0078_0013__BOOKS,R_0078_0015__REGULAR,R_0078_0018__THE_R_0078_0019__OBSERVER,R_0078_0016__ARTICLES,R_0078_0014__AND,R_0078_0011__WAS_R_0078_0012__WRITING,R_0078_0022__JOHN_R_0078_0023__ARLOTT,R_0078_0030__SUN_R_0078_0031__HILL,R_0078_0028__HOME,R_0078_0024__WAS_R_0078_0025__EMERGING_R_0078_0026__FROM,R_0078_0035__TEST_R_0078_0036__MATCHES,R_0078_0033__TRAVEL_R_0078_0034__TO,R_0078_0040__THE_R_0078_0041__CRICKETING_R_0078_0042__WORLD,R_0078_0038__BROADCAST,R_0078_0037__AND,Z_0078_5009,R_0078_0021__AND] :
      ( r_0078_0002__the_r_0078_0003__seventies(R_0078_0002__THE_R_0078_0003__SEVENTIES)
      & r_0078_0006__Broad_r_0078_0007__Street(R_0078_0006__BROAD_R_0078_0007__STREET)
      & r_0078_0009__Patrick_r_0078_0010__O_apos_Donovan(R_0078_0009__PATRICK_R_0078_0010__O_APOS_DONOVAN)
      & r_0078_0013__books(R_0078_0013__BOOKS)
      & r_0078_0015__regular(R_0078_0015__REGULAR)
      & r_0078_0018__the_r_0078_0019__Observer(R_0078_0018__THE_R_0078_0019__OBSERVER)
      & r_0078_0022__John_r_0078_0023__Arlott(R_0078_0022__JOHN_R_0078_0023__ARLOTT)
      & r_0078_0030__Sun_r_0078_0031__Hill(R_0078_0030__SUN_R_0078_0031__HILL)
      & r_0078_0035__Test_r_0078_0036__Matches(R_0078_0035__TEST_R_0078_0036__MATCHES)
      & r_0078_0040__the_r_0078_0041__cricketing_r_0078_0042__world(R_0078_0040__THE_R_0078_0041__CRICKETING_R_0078_0042__WORLD)
      & r_0078_0021__and(R_0078_0021__AND)
      & has_conj2(R_0078_0021__AND,Z_0078_5009)
      & z_0078_5009(Z_0078_5009)
      & has_conj1(Z_0078_5009,R_0078_0037__AND)
      & r_0078_0037__and(R_0078_0037__AND)
      & has_conj2(R_0078_0037__AND,R_0078_0038__BROADCAST)
      & r_0078_0038__broadcast(R_0078_0038__BROADCAST)
      & has_r_0078_0039__to__nim(R_0078_0038__BROADCAST,R_0078_0040__THE_R_0078_0041__CRICKETING_R_0078_0042__WORLD)
      & has_arg0(R_0078_0038__BROADCAST,R_0078_0022__JOHN_R_0078_0023__ARLOTT)
      & has_conj1(R_0078_0037__AND,R_0078_0033__TRAVEL_R_0078_0034__TO)
      & r_0078_0033__travel_r_0078_0034__to(R_0078_0033__TRAVEL_R_0078_0034__TO)
      & has_arg1(R_0078_0033__TRAVEL_R_0078_0034__TO,R_0078_0035__TEST_R_0078_0036__MATCHES)
      & has_arg0(R_0078_0033__TRAVEL_R_0078_0034__TO,R_0078_0022__JOHN_R_0078_0023__ARLOTT)
      & has_conj2(Z_0078_5009,R_0078_0024__WAS_R_0078_0025__EMERGING_R_0078_0026__FROM)
      & r_0078_0024__was_r_0078_0025__emerging_r_0078_0026__from(R_0078_0024__WAS_R_0078_0025__EMERGING_R_0078_0026__FROM)
      & has_arg1(R_0078_0024__WAS_R_0078_0025__EMERGING_R_0078_0026__FROM,R_0078_0028__HOME)
      & r_0078_0028__home(R_0078_0028__HOME)
      & has_r_0078_0029__in(R_0078_0028__HOME,R_0078_0030__SUN_R_0078_0031__HILL)
      & has_gen(R_0078_0028__HOME,R_0078_0022__JOHN_R_0078_0023__ARLOTT)
      & has_arg0(R_0078_0024__WAS_R_0078_0025__EMERGING_R_0078_0026__FROM,R_0078_0022__JOHN_R_0078_0023__ARLOTT)
      & has_conj1(R_0078_0021__AND,R_0078_0011__WAS_R_0078_0012__WRITING)
      & r_0078_0011__was_r_0078_0012__writing(R_0078_0011__WAS_R_0078_0012__WRITING)
      & has_arg1(R_0078_0011__WAS_R_0078_0012__WRITING,R_0078_0014__AND)
      & r_0078_0014__and(R_0078_0014__AND)
      & has_conj2(R_0078_0014__AND,R_0078_0016__ARTICLES)
      & r_0078_0016__articles(R_0078_0016__ARTICLES)
      & has_r_0078_0017__for(R_0078_0016__ARTICLES,R_0078_0018__THE_R_0078_0019__OBSERVER)
      & has_attrib(R_0078_0016__ARTICLES,R_0078_0015__REGULAR)
      & has_conj1(R_0078_0014__AND,R_0078_0013__BOOKS)
      & has_arg0(R_0078_0011__WAS_R_0078_0012__WRITING,R_0078_0009__PATRICK_R_0078_0010__O_APOS_DONOVAN)
      & has_r_0078_0005__in__nim(R_0078_0011__WAS_R_0078_0012__WRITING,R_0078_0006__BROAD_R_0078_0007__STREET)
      & has_r_0078_0001__In__nim(R_0078_0011__WAS_R_0078_0012__WRITING,R_0078_0002__THE_R_0078_0003__SEVENTIES) ) ).