TSPC 52_a_alresford

52_a_alresford
For a time, I worked in the kitchen at O'Rorke's restaurant in Pound Hill, where feral cats came hopefully to introduce their kittens to bon viveur luxury leftovers, and where I learnt a recipe for ratatouille I use to this day.

arc(r_0052_0006__worked, r_0052_0002__a_r_0052_0003__time, r_0052_0001__For_nim5).
arc(r_0052_0006__worked, r_0052_0005__I, arg0).
arc(r_0052_0006__worked, r_0052_0008__the_r_0052_0009__kitchen, r_0052_0007__in_clr20).
arc(r_0052_0008__the_r_0052_0009__kitchen, r_0052_0013__restaurant, r_0052_0010__at).
arc(r_0052_0013__restaurant, r_0052_0011__O_apos_Rorke_r_0052_0012___apos_s, gen).
arc(r_0052_0013__restaurant, r_0052_0015__Pound_r_0052_0016__Hill, r_0052_0014__in).
arc(r_0052_0020__cats, r_0052_0019__feral, attrib53).
arc(r_0052_0021__came, r_0052_0013__restaurant, nim49).
arc(r_0052_0021__came, r_0052_0020__cats, arg0).
arc(r_0052_0021__came, r_0052_0022__hopefully, nim60).
arc(r_0052_0023__to_r_0052_0024__introduce, r_0052_0020__cats, arg0).
arc(r_0052_0023__to_r_0052_0024__introduce, r_0052_0026__kittens, arg1).
arc(r_0052_0023__to_r_0052_0024__introduce, r_0052_0028__bon_r_0052_0029__viveur_r_0052_0030__luxury_r_0052_0031__leftovers, r_0052_0027__to_clr78).
arc(r_0052_0026__kittens, r_0052_0020__cats, gen).
arc(r_0052_0033__and, r_0052_0036__learnt, conj2).
arc(r_0052_0033__and, z_000_52_a_alresford_63, conj1).
arc(r_0052_0036__learnt, r_0052_0005__I, arg0).
arc(r_0052_0036__learnt, r_0052_0013__restaurant, nim93).
arc(r_0052_0036__learnt, r_0052_0037__a_r_0052_0038__recipe, arg1).
arc(r_0052_0037__a_r_0052_0038__recipe, r_0052_0040__ratatouille, r_0052_0039__for).
arc(r_0052_0042__use, r_0052_0005__I, arg0).
arc(r_0052_0042__use, r_0052_0037__a_r_0052_0038__recipe, arg1).
arc(r_0052_0042__use, r_0052_0044__this_r_0052_0045__day, r_0052_0043__to_nim123).
arc(z_000_52_a_alresford_63, r_0052_0021__came, scope).
arc(z_000_52_a_alresford_63, r_0052_0023__to_r_0052_0024__introduce, restriction).

fof(formula,axiom,
    ? [R_0052_0002__A_R_0052_0003__TIME,R_0052_0005__I,R_0052_0011__O_APOS_RORKE_R_0052_0012___APOS_S,R_0052_0015__POUND_R_0052_0016__HILL,R_0052_0013__RESTAURANT,R_0052_0008__THE_R_0052_0009__KITCHEN,R_0052_0006__WORKED,R_0052_0040__RATATOUILLE,R_0052_0037__A_R_0052_0038__RECIPE,R_0052_0036__LEARNT,R_0052_0019__FERAL,R_0052_0020__CATS,R_0052_0022__HOPEFULLY,R_0052_0021__CAME,R_0052_0026__KITTENS,R_0052_0028__BON_R_0052_0029__VIVEUR_R_0052_0030__LUXURY_R_0052_0031__LEFTOVERS,R_0052_0023__TO_R_0052_0024__INTRODUCE,Z_000_52_A_ALRESFORD_63,R_0052_0033__AND,R_0052_0044__THIS_R_0052_0045__DAY,R_0052_0042__USE] :
      ( r_0052_0002__a_r_0052_0003__time(R_0052_0002__A_R_0052_0003__TIME)
      & r_0052_0005__I(R_0052_0005__I)
      & r_0052_0011__O_apos_Rorke_r_0052_0012___apos_s(R_0052_0011__O_APOS_RORKE_R_0052_0012___APOS_S)
      & r_0052_0015__Pound_r_0052_0016__Hill(R_0052_0015__POUND_R_0052_0016__HILL)
      & r_0052_0019__feral(R_0052_0019__FERAL)
      & r_0052_0022__hopefully(R_0052_0022__HOPEFULLY)
      & r_0052_0028__bon_r_0052_0029__viveur_r_0052_0030__luxury_r_0052_0031__leftovers(R_0052_0028__BON_R_0052_0029__VIVEUR_R_0052_0030__LUXURY_R_0052_0031__LEFTOVERS)
      & r_0052_0040__ratatouille(R_0052_0040__RATATOUILLE)
      & r_0052_0044__this_r_0052_0045__day(R_0052_0044__THIS_R_0052_0045__DAY)
      & r_0052_0042__use(R_0052_0042__USE)
      & has_r_0052_0043__to_nim123(R_0052_0042__USE,R_0052_0044__THIS_R_0052_0045__DAY)
      & has_arg1(R_0052_0042__USE,R_0052_0037__A_R_0052_0038__RECIPE)
      & r_0052_0037__a_r_0052_0038__recipe(R_0052_0037__A_R_0052_0038__RECIPE)
      & has_r_0052_0039__for(R_0052_0037__A_R_0052_0038__RECIPE,R_0052_0040__RATATOUILLE)
      & has_arg0(R_0052_0042__USE,R_0052_0005__I)
      & r_0052_0033__and(R_0052_0033__AND)
      & has_conj1(R_0052_0033__AND,Z_000_52_A_ALRESFORD_63)
      & z_000_52_a_alresford_63(Z_000_52_A_ALRESFORD_63)
      & has_conj1(Z_000_52_A_ALRESFORD_63,R_0052_0023__TO_R_0052_0024__INTRODUCE)
      & r_0052_0023__to_r_0052_0024__introduce(R_0052_0023__TO_R_0052_0024__INTRODUCE)
      & has_r_0052_0027__to_clr78(R_0052_0023__TO_R_0052_0024__INTRODUCE,R_0052_0028__BON_R_0052_0029__VIVEUR_R_0052_0030__LUXURY_R_0052_0031__LEFTOVERS)
      & has_arg1(R_0052_0023__TO_R_0052_0024__INTRODUCE,R_0052_0026__KITTENS)
      & r_0052_0026__kittens(R_0052_0026__KITTENS)
      & has_gen(R_0052_0026__KITTENS,R_0052_0020__CATS)
      & r_0052_0020__cats(R_0052_0020__CATS)
      & has_attrib53(R_0052_0020__CATS,R_0052_0019__FERAL)
      & has_arg0(R_0052_0023__TO_R_0052_0024__INTRODUCE,R_0052_0020__CATS)
      & has_conj2(Z_000_52_A_ALRESFORD_63,R_0052_0021__CAME)
      & r_0052_0021__came(R_0052_0021__CAME)
      & has_nim60(R_0052_0021__CAME,R_0052_0022__HOPEFULLY)
      & has_arg0(R_0052_0021__CAME,R_0052_0020__CATS)
      & has_nim49(R_0052_0021__CAME,R_0052_0013__RESTAURANT)
      & r_0052_0013__restaurant(R_0052_0013__RESTAURANT)
      & has_r_0052_0014__in(R_0052_0013__RESTAURANT,R_0052_0015__POUND_R_0052_0016__HILL)
      & has_gen(R_0052_0013__RESTAURANT,R_0052_0011__O_APOS_RORKE_R_0052_0012___APOS_S)
      & has_conj2(R_0052_0033__AND,R_0052_0036__LEARNT)
      & r_0052_0036__learnt(R_0052_0036__LEARNT)
      & has_arg1(R_0052_0036__LEARNT,R_0052_0037__A_R_0052_0038__RECIPE)
      & has_nim93(R_0052_0036__LEARNT,R_0052_0013__RESTAURANT)
      & has_arg0(R_0052_0036__LEARNT,R_0052_0005__I)
      & r_0052_0006__worked(R_0052_0006__WORKED)
      & has_r_0052_0007__in_clr20(R_0052_0006__WORKED,R_0052_0008__THE_R_0052_0009__KITCHEN)
      & r_0052_0008__the_r_0052_0009__kitchen(R_0052_0008__THE_R_0052_0009__KITCHEN)
      & has_r_0052_0010__at(R_0052_0008__THE_R_0052_0009__KITCHEN,R_0052_0013__RESTAURANT)
      & has_arg0(R_0052_0006__WORKED,R_0052_0005__I)
      & has_r_0052_0001__For_nim5(R_0052_0006__WORKED,R_0052_0002__A_R_0052_0003__TIME) ) ).

( (IP-MAT (PP-TPC-NIM (P-ROLE For;{for})
                      (NP (D a;{a})
                          (N time;{time})))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (VBD;_Ipr_ worked;{work[in]})
          (PP-CLR (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N kitchen;{kitchen})
                      (PP (P-ROLE at;{at})
                          (NP (NP-GEN (NPR O<apos>Rorke;{O<apos>Rorke})
                                      (GENM <apos>s))
                              (N restaurant;{restaurant})
                              (PP (P-ROLE in;{in})
                                  (NP (NPR Pound;{Pound})
                                      (NPR Hill;{Hill})))
                              (PUNC ,)
                              (IP-REL (ILYR (ILYR (ADVP-NIM (RADV where;{where}))
                                                  (NP-SBJ;{FERAL_CATS} (ADJP (ADJ feral;{feral}))
                                                                       (NS cats;{cat}))
                                                  (VBD;_I_ came;{come})
                                                  (ADVP-NIM (ADV hopefully;{hopefully}))
                                                  (PP-SCON (IP-INF (TO to;{to})
                                                                   (VB;_Tn.pr_ introduce;{introduce[to]})
                                                                   (NP-OB1 (NP-GEN;{FERAL_CATS} (PRO;_genm_ their;{their}))
                                                                           (NS kittens;{kitten}))
                                                                   (PP-CLR (P-ROLE to;{to})
                                                                           (NP (FW bon)
                                                                               (FW viveur)
                                                                               (N luxury;{luxury})
                                                                               (NS leftovers;{leftovers}))))))
                                            (PUNC ,)
                                            (CONJP (CONJ and;{and})
                                                   (ILYR (ADVP-NIM (RADV where;{where}))
                                                         (NP-SBJ (PRO I;{I}))
                                                         (VBD;_Tn_ learnt;{learn})
                                                         (NP-OB1 (D a;{a})
                                                                 (N recipe;{recipe})
                                                                 (PP (P-ROLE for;{for})
                                                                     (NP (N ratatouille;{ratatouille})))
                                                                 (IP-REL (NP-OB1 *T*)
                                                                         (NP-SBJ (PRO I;{I}))
                                                                         (VBP;_Tn_ use;{use})
                                                                         (PP-NIM (P-ROLE to;{to})
                                                                                 (NP (D this;{this})
                                                                                     (N day;{day})))))))))))))
          (PUNC .))
  (ID 52_a_alresford))