TSPC 19_a_beeton

19_a_beeton_1861
These and other drinkables are brought from the cellar every day by his own hands, except where an under-butler is kept; and a careful entry of every bottle used, entered in the cellar-book; so that the book should always show the contents of the cellar.

( (IP-MAT (ILYR (ILYR (NP-SBJ (NLYR (NLYR;{MALTS} (D;_nphd_ These;{these}))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (ADJP (ADJ other;{other}))
                                                 (NS drinkables;{drinkable})))))
                      (BEP;_cat_VePASS_ are;{be})
                      (IP-PPL-CAT (VVN;_Tn_ brought;{bring})
                                  (PP-NIM (P-ROLE from;{from})
                                          (NP (D the;{the})
                                              (N cellar;{cellar})))
                                  (NP-NIM (Q every;{every})
                                          (N day;{day}))
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (NP-GEN (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                                                      (ADJP (ADJ own;{own})))
                                              (NS hands;{hand}))))
                      (PUNC ,)
                      (PP-NIM (P-ROLE except;{except})
                              (NP (IP-REL (ADVP-169 (RADV where;{where}))
                                          (NP-SBJ (D an;{an})
                                                  (N under_<hyphen>_butler;{under_butler}))
                                          (BEP;_cat_VePASS_ is;{be})
                                          (IP-PPL-CAT (ADVP-NIM *ICH*-169)
                                                      (NP-LGS *)
                                                      (VVN;_Tn_ kept;{keep}))))))
                (PUNC ;)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D a;{a})
                                     (ADJP (ADJ careful;{careful}))
                                     (N entry;{entry})
                                     (PP (P-ROLE of;{of})
                                         (NP (Q every;{every})
                                             (N bottle;{bottle})
                                             (IP-PPL (NP-LGS *)
                                                     (VVN;_Tn_ used;{use})))))
                             (PUNC ,)
                             (IP-PPL-CAT (VVN;_Ipr_ entered;{enter[in]})
                                         (PP-CLR (P-ROLE in;{in})
                                                 (NP (D the;{the})
                                                     (N cellar_<hyphen>_book;{cellar_book}))))
                             (PUNC ;)
                             (PP-SCON (P-CONN so_that;{so_that})
                                      (IP-ADV (NP-SBJ (D the;{the})
                                                      (N book;{book}))
                                              (MD;_cat_Vi_ should;{shall})
                                              (IP-INF-CAT (ADVP-NIM (ADV always;{always}))
                                                          (VB;_Tn_ show;{show})
                                                          (NP-OB1 (D the;{the})
                                                                  (NS contents;{content})
                                                                  (PP (P-ROLE of;{of})
                                                                      (NP (D the;{the})
                                                                          (N cellar;{cellar}))))))))))
          (PUNC .))
  (ID 19_a_beeton_1861;2163-5))

arc(r_0019_0002__and,r_0019_0001__These,conj1).
arc(r_0019_0002__and,r_0019_0004__drinkables,conj2).
arc(r_0019_0004__drinkables,r_0019_0003__other,attrib).
arc(r_0019_0005__are,r_0019_0006__brought,scope).
arc(r_0019_0005__are,r_0019_0018__where,r_0019_0017__except__nim).
arc(r_0019_0006__brought,r_0019_0002__and,arg1).
arc(r_0019_0006__brought,r_0019_0008__the_r_0019_0009__cellar,r_0019_0007__from__nim).
arc(r_0019_0006__brought,r_0019_0011__day,nim).
arc(r_0019_0006__brought,r_0019_0015__hands,r_0019_0012__by_arg0).
arc(r_0019_0010__every__quant,r_0019_0005__are,scope).
arc(r_0019_0010__every__quant,r_0019_0011__day,restriction).
arc(r_0019_0015__hands,z_0019_5016,gen).
arc(r_0019_0021__is,r_0019_0022__kept,scope).
arc(r_0019_0022__kept,r_0019_0018__where,nim).
arc(r_0019_0022__kept,r_0019_0019__an_r_0019_0020__under__hyphen__butler,arg1).
arc(r_0019_0022__kept,z_0019_5009___star_,arg0).
arc(r_0019_0024__and,r_0019_0010__every__quant,conj1).
arc(r_0019_0024__and,r_0019_0038__so_that,conj2).
arc(r_0019_0025__a_r_0019_0027__entry,r_0019_0026__careful,attrib).
arc(r_0019_0025__a_r_0019_0027__entry,r_0019_0030__bottle,r_0019_0028__of).
arc(r_0019_0029__every__quant,r_0019_0025__a_r_0019_0027__entry,scope).
arc(r_0019_0029__every__quant,r_0019_0030__bottle,restriction).
arc(r_0019_0031__used,r_0019_0030__bottle,inv_arg1).
arc(r_0019_0031__used,z_0019_5024___star_,arg0).
arc(r_0019_0033__entered_r_0019_0034__in,r_0019_0025__a_r_0019_0027__entry,arg0).
arc(r_0019_0033__entered_r_0019_0034__in,r_0019_0035__the_r_0019_0036__cellar__hyphen__book,arg1).
arc(r_0019_0038__so_that,r_0019_0041__should,restriction).
arc(r_0019_0038__so_that,z_0019_5037,scope).
arc(r_0019_0041__should,r_0019_0043__show,scope).
arc(r_0019_0043__show,r_0019_0039__the_r_0019_0040__book,arg0).
arc(r_0019_0043__show,r_0019_0042__always,nim).
arc(r_0019_0043__show,r_0019_0044__the_r_0019_0045__contents,arg1).
arc(r_0019_0044__the_r_0019_0045__contents,r_0019_0047__the_r_0019_0048__cellar,r_0019_0046__of).
arc(z_0019_5016,r_0019_0013__his,gen).
arc(z_0019_5016,r_0019_0014__own,attrib).
arc(z_0019_5037,r_0019_0033__entered_r_0019_0034__in,scope).

fof(formula,axiom,
    ? [R_0019_0018__WHERE,R_0019_0019__AN_R_0019_0020__UNDER__HYPHEN__BUTLER,Z_0019_5009___STAR_,R_0019_0021__IS_R_0019_0022__KEPT,R_0019_0039__THE_R_0019_0040__BOOK,R_0019_0042__ALWAYS,R_0019_0047__THE_R_0019_0048__CELLAR,R_0019_0044__THE_R_0019_0045__CONTENTS,R_0019_0041__SHOULD_R_0019_0043__SHOW,R_0019_0026__CAREFUL,Z_0019_5024___STAR_,R_0019_0031__USED,R_0019_0030__BOTTLE,R_0019_0025__A_R_0019_0027__ENTRY,R_0019_0035__THE_R_0019_0036__CELLAR__HYPHEN__BOOK,Z_0019_5037_R_0019_0033__ENTERED_R_0019_0034__IN,R_0019_0038__SO_THAT,R_0019_0024__AND] :
      ( r_0019_0018__where(R_0019_0018__WHERE)
      & r_0019_0019__an_r_0019_0020__under__hyphen__butler(R_0019_0019__AN_R_0019_0020__UNDER__HYPHEN__BUTLER)
      & r_0019_0026__careful(R_0019_0026__CAREFUL)
      & r_0019_0035__the_r_0019_0036__cellar__hyphen__book(R_0019_0035__THE_R_0019_0036__CELLAR__HYPHEN__BOOK)
      & r_0019_0039__the_r_0019_0040__book(R_0019_0039__THE_R_0019_0040__BOOK)
      & r_0019_0042__always(R_0019_0042__ALWAYS)
      & r_0019_0047__the_r_0019_0048__cellar(R_0019_0047__THE_R_0019_0048__CELLAR)
      & z_0019_5009___star_(Z_0019_5009___STAR_)
      & z_0019_5024___star_(Z_0019_5024___STAR_)
      & ( r_0019_0030__bottle(R_0019_0030__BOTTLE)
       => z_0019_5037_r_0019_0033__entered_r_0019_0034__in(Z_0019_5037_R_0019_0033__ENTERED_R_0019_0034__IN) )
      & r_0019_0024__and(R_0019_0024__AND)
      & has_conj2(R_0019_0024__AND,R_0019_0038__SO_THAT)
      & r_0019_0038__so_that(R_0019_0038__SO_THAT)
      & has_conj2(R_0019_0038__SO_THAT,Z_0019_5037_R_0019_0033__ENTERED_R_0019_0034__IN)
      & z_0019_5037_r_0019_0033__entered_r_0019_0034__in(Z_0019_5037_R_0019_0033__ENTERED_R_0019_0034__IN)
      & has_arg1(Z_0019_5037_R_0019_0033__ENTERED_R_0019_0034__IN,R_0019_0035__THE_R_0019_0036__CELLAR__HYPHEN__BOOK)
      & has_arg0(Z_0019_5037_R_0019_0033__ENTERED_R_0019_0034__IN,R_0019_0025__A_R_0019_0027__ENTRY)
      & r_0019_0025__a_r_0019_0027__entry(R_0019_0025__A_R_0019_0027__ENTRY)
      & has_r_0019_0028__of(R_0019_0025__A_R_0019_0027__ENTRY,R_0019_0030__BOTTLE)
      & r_0019_0030__bottle(R_0019_0030__BOTTLE)
      & has_inv_arg1(R_0019_0030__BOTTLE,R_0019_0031__USED)
      & r_0019_0031__used(R_0019_0031__USED)
      & has_arg0(R_0019_0031__USED,Z_0019_5024___STAR_)
      & has_attrib(R_0019_0025__A_R_0019_0027__ENTRY,R_0019_0026__CAREFUL)
      & has_conj1(R_0019_0038__SO_THAT,R_0019_0041__SHOULD_R_0019_0043__SHOW)
      & r_0019_0041__should_r_0019_0043__show(R_0019_0041__SHOULD_R_0019_0043__SHOW)
      & has_arg1(R_0019_0041__SHOULD_R_0019_0043__SHOW,R_0019_0044__THE_R_0019_0045__CONTENTS)
      & r_0019_0044__the_r_0019_0045__contents(R_0019_0044__THE_R_0019_0045__CONTENTS)
      & has_r_0019_0046__of(R_0019_0044__THE_R_0019_0045__CONTENTS,R_0019_0047__THE_R_0019_0048__CELLAR)
      & has_nim(R_0019_0041__SHOULD_R_0019_0043__SHOW,R_0019_0042__ALWAYS)
      & has_arg0(R_0019_0041__SHOULD_R_0019_0043__SHOW,R_0019_0039__THE_R_0019_0040__BOOK)
      & ! [R_0019_0011__DAY] :
          ( r_0019_0011__day(R_0019_0011__DAY)
         => ? [R_0019_0001__THESE,R_0019_0003__OTHER,R_0019_0004__DRINKABLES,R_0019_0002__AND,R_0019_0008__THE_R_0019_0009__CELLAR,R_0019_0013__HIS,R_0019_0014__OWN,Z_0019_5016,R_0019_0015__HANDS,R_0019_0005__ARE_R_0019_0006__BROUGHT] :
              ( r_0019_0001__These(R_0019_0001__THESE)
              & r_0019_0003__other(R_0019_0003__OTHER)
              & r_0019_0008__the_r_0019_0009__cellar(R_0019_0008__THE_R_0019_0009__CELLAR)
              & r_0019_0013__his(R_0019_0013__HIS)
              & r_0019_0014__own(R_0019_0014__OWN)
              & r_0019_0005__are_r_0019_0006__brought(R_0019_0005__ARE_R_0019_0006__BROUGHT)
              & has_r_0019_0012__by_arg0(R_0019_0005__ARE_R_0019_0006__BROUGHT,R_0019_0015__HANDS)
              & r_0019_0015__hands(R_0019_0015__HANDS)
              & has_gen(R_0019_0015__HANDS,Z_0019_5016)
              & z_0019_5016(Z_0019_5016)
              & has_attrib(Z_0019_5016,R_0019_0014__OWN)
              & has_gen(Z_0019_5016,R_0019_0013__HIS)
              & has_nim(R_0019_0005__ARE_R_0019_0006__BROUGHT,R_0019_0011__DAY)
              & has_r_0019_0007__from__nim(R_0019_0005__ARE_R_0019_0006__BROUGHT,R_0019_0008__THE_R_0019_0009__CELLAR)
              & has_arg1(R_0019_0005__ARE_R_0019_0006__BROUGHT,R_0019_0002__AND)
              & r_0019_0002__and(R_0019_0002__AND)
              & has_conj2(R_0019_0002__AND,R_0019_0004__DRINKABLES)
              & r_0019_0004__drinkables(R_0019_0004__DRINKABLES)
              & has_attrib(R_0019_0004__DRINKABLES,R_0019_0003__OTHER)
              & has_conj1(R_0019_0002__AND,R_0019_0001__THESE)
              & has_r_0019_0017__except__nim(R_0019_0005__ARE_R_0019_0006__BROUGHT,R_0019_0018__WHERE) ) )
      & r_0019_0021__is_r_0019_0022__kept(R_0019_0021__IS_R_0019_0022__KEPT)
      & has_arg0(R_0019_0021__IS_R_0019_0022__KEPT,Z_0019_5009___STAR_)
      & has_arg1(R_0019_0021__IS_R_0019_0022__KEPT,R_0019_0019__AN_R_0019_0020__UNDER__HYPHEN__BUTLER)
      & has_nim(R_0019_0021__IS_R_0019_0022__KEPT,R_0019_0018__WHERE) ) ).