TSPC 78_a_alresford

78_a_alresford
When I worked on a TV series about racing drivers, one of the celebrities at an ‘induction’ weekend was Derek Warwick whom I'd last seen loading picturesque ‘bangers’ on to trailers in the Dean.

arc(r_0078_0001__When, r_0078_0003__worked, restriction).
arc(r_0078_0001__When, r_0078_0022__was, scope).
arc(r_0078_0003__worked, r_0078_0002__I, arg0).
arc(r_0078_0003__worked, r_0078_0005__a_r_0078_0006__TV_r_0078_0007__series, r_0078_0004__on_clr14).
arc(r_0078_0005__a_r_0078_0006__TV_r_0078_0007__series, r_0078_0009__racing_r_0078_0010__drivers, r_0078_0008__about).
arc(r_0078_0012__one, r_0078_0014__the_r_0078_0015__celebrities, r_0078_0013__of).
arc(r_0078_0012__one, r_0078_0017__an_r_0078_0019__induction_r_0078_0021__weekend, r_0078_0016__at).
arc(r_0078_0022__was, r_0078_0012__one, arg0).
arc(r_0078_0022__was, r_0078_0023__Derek_r_0078_0024__Warwick, prd).
arc(r_0078_0027___apos_d, r_0078_0029__seen, scope).
arc(r_0078_0029__seen, r_0078_0002__I, arg0).
arc(r_0078_0029__seen, r_0078_0028__last, nim75).
arc(r_0078_0029__seen, r_0078_0030__loading, arg1).
arc(r_0078_0030__loading, r_0078_0023__Derek_r_0078_0024__Warwick, arg0).
arc(r_0078_0030__loading, r_0078_0033__bangers, arg1).
arc(r_0078_0030__loading, r_0078_0036__trailers, r_0078_0035__on_to_clr96).
arc(r_0078_0033__bangers, r_0078_0031__picturesque, attrib84).
arc(r_0078_0036__trailers, r_0078_0038__the_r_0078_0039__Dean, r_0078_0037__in).

fof(formula,axiom,
    ? [R_0078_0002__I,R_0078_0028__LAST,R_0078_0023__DEREK_R_0078_0024__WARWICK,R_0078_0031__PICTURESQUE,R_0078_0033__BANGERS,R_0078_0038__THE_R_0078_0039__DEAN,R_0078_0036__TRAILERS,R_0078_0030__LOADING,R_0078_0027___APOS_D_R_0078_0029__SEEN] :
      ( r_0078_0002__I(R_0078_0002__I)
      & r_0078_0023__Derek_r_0078_0024__Warwick(R_0078_0023__DEREK_R_0078_0024__WARWICK)
      & r_0078_0028__last(R_0078_0028__LAST)
      & r_0078_0031__picturesque(R_0078_0031__PICTURESQUE)
      & r_0078_0038__the_r_0078_0039__Dean(R_0078_0038__THE_R_0078_0039__DEAN)
      & r_0078_0027___apos_d_r_0078_0029__seen(R_0078_0027___APOS_D_R_0078_0029__SEEN)
      & has_arg1(R_0078_0027___APOS_D_R_0078_0029__SEEN,R_0078_0030__LOADING)
      & r_0078_0030__loading(R_0078_0030__LOADING)
      & has_r_0078_0035__on_to_clr96(R_0078_0030__LOADING,R_0078_0036__TRAILERS)
      & r_0078_0036__trailers(R_0078_0036__TRAILERS)
      & has_r_0078_0037__in(R_0078_0036__TRAILERS,R_0078_0038__THE_R_0078_0039__DEAN)
      & has_arg1(R_0078_0030__LOADING,R_0078_0033__BANGERS)
      & r_0078_0033__bangers(R_0078_0033__BANGERS)
      & has_attrib84(R_0078_0033__BANGERS,R_0078_0031__PICTURESQUE)
      & has_arg0(R_0078_0030__LOADING,R_0078_0023__DEREK_R_0078_0024__WARWICK)
      & has_nim75(R_0078_0027___APOS_D_R_0078_0029__SEEN,R_0078_0028__LAST)
      & has_arg0(R_0078_0027___APOS_D_R_0078_0029__SEEN,R_0078_0002__I)
      & ! [R_0078_0003__WORKED,R_0078_0009__RACING_R_0078_0010__DRIVERS,R_0078_0005__A_R_0078_0006__TV_R_0078_0007__SERIES] :
          ( ( r_0078_0009__racing_r_0078_0010__drivers(R_0078_0009__RACING_R_0078_0010__DRIVERS)
            & r_0078_0003__worked(R_0078_0003__WORKED)
            & has_r_0078_0004__on_clr14(R_0078_0003__WORKED,R_0078_0005__A_R_0078_0006__TV_R_0078_0007__SERIES)
            & r_0078_0005__a_r_0078_0006__TV_r_0078_0007__series(R_0078_0005__A_R_0078_0006__TV_R_0078_0007__SERIES)
            & has_r_0078_0008__about(R_0078_0005__A_R_0078_0006__TV_R_0078_0007__SERIES,R_0078_0009__RACING_R_0078_0010__DRIVERS)
            & has_arg0(R_0078_0003__WORKED,R_0078_0002__I) )
         => ? [R_0078_0014__THE_R_0078_0015__CELEBRITIES,R_0078_0017__AN_R_0078_0019__INDUCTION_R_0078_0021__WEEKEND,R_0078_0012__ONE,R_0078_0022__WAS] :
              ( r_0078_0014__the_r_0078_0015__celebrities(R_0078_0014__THE_R_0078_0015__CELEBRITIES)
              & r_0078_0017__an_r_0078_0019__induction_r_0078_0021__weekend(R_0078_0017__AN_R_0078_0019__INDUCTION_R_0078_0021__WEEKEND)
              & r_0078_0022__was(R_0078_0022__WAS)
              & has_prd(R_0078_0022__WAS,R_0078_0023__DEREK_R_0078_0024__WARWICK)
              & has_arg0(R_0078_0022__WAS,R_0078_0012__ONE)
              & r_0078_0012__one(R_0078_0012__ONE)
              & has_r_0078_0016__at(R_0078_0012__ONE,R_0078_0017__AN_R_0078_0019__INDUCTION_R_0078_0021__WEEKEND)
              & has_r_0078_0013__of(R_0078_0012__ONE,R_0078_0014__THE_R_0078_0015__CELEBRITIES) ) ) ) ).

( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBD;_Ipr_ worked;{work[on]})
                           (PP-CLR (P-ROLE on;{on})
                                   (NP (D a;{a})
                                       (N TV;{tv})
                                       (N series;{series})
                                       (PP (P-ROLE about;{about})
                                           (NP (N racing;{racing})
                                               (NS drivers;{driver})))))))
          (PUNC ,)
          (NP-SBJ (D;_nphd_ one;{one})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (NS celebrities;{celebrity})))
                  (PP (P-ROLE at;{at})
                      (NP (D an;{a})
                          (PULQ <lsquo>)
                          (N induction;{induction})
                          (PURQ <rsquo>)
                          (N weekend;{weekend}))))
          (BED;_Ln_ was;{be})
          (NP-PRD (NPR Derek;{Derek})
                  (NPR Warwick;{Warwick})
                  (IP-REL (NP-158 (RPRO whom;{who}))
                          (NP-SBJ (PRO I;{I}))
                          (HVD;_cat_Ve_ <apos>d;{have})
                          (IP-PPL-CAT (NP-DOB1 *ICH*-158)
                                      (ADVP-NIM (ADV last;{last}))
                                      (VVN;_Tng_ seen;{see})
                                      (IP-PPL-OB1 (VAG;_Tn.pr_ loading;{load[on]})
                                                  (NP-OB1 (ADJP (ADJ picturesque;{picturesque}))
                                                          (PULQ <lsquo>)
                                                          (NS bangers;{banger})
                                                          (PURQ <rsquo>))
                                                  (PP-CLR (P-ROLE on_to;{on_to})
                                                          (NP (NS trailers;{trailer})
                                                              (PP (P-ROLE in;{in})
                                                                  (NP (D the;{the})
                                                                      (NPR Dean;{Dean})))))))))
          (PUNC .))
  (ID 78_a_alresford))