TSPC 20_a_beeton

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

arc(r_0020_0002__and, r_0020_0001__These, conj1).
arc(r_0020_0002__and, r_0020_0004__drinkables, conj2).
arc(r_0020_0004__drinkables, r_0020_0003__other, attrib13).
arc(r_0020_0005__are, r_0020_0010__every_quant, scope).
arc(r_0020_0005__are, z_000_20_a_beeton_1861_54, r_0020_0017__except_nim54).
arc(r_0020_0006__brought, r_0020_0002__and, arg1).
arc(r_0020_0006__brought, r_0020_0008__the_r_0020_0009__cellar, r_0020_0007__from_nim26).
arc(r_0020_0006__brought, r_0020_0011__day, nim31).
arc(r_0020_0006__brought, r_0020_0015__hands, arg0).
arc(r_0020_0010__every_quant, r_0020_0006__brought, scope).
arc(r_0020_0010__every_quant, r_0020_0011__day, restriction).
arc(r_0020_0015__hands, z_000_20_a_beeton_1861_40, gen).
arc(r_0020_0021__is, r_0020_0022__kept, scope).
arc(r_0020_0022__kept, r_0020_0019__an_r_0020_0020__under__hyphen__butler, arg1).
arc(r_0020_0022__kept, z_000_20_a_beeton_1861_54, nim67).
arc(r_0020_0022__kept, z_000_20_a_beeton_1861_69, arg0).
arc(r_0020_0024__and, r_0020_0005__are, conj1).
arc(r_0020_0024__and, r_0020_0038__so_that, conj2).
arc(r_0020_0025__a_r_0020_0027__entry, r_0020_0026__careful, attrib82).
arc(r_0020_0025__a_r_0020_0027__entry, r_0020_0030__bottle, r_0020_0028__of).
arc(r_0020_0029__every_quant, r_0020_0025__a_r_0020_0027__entry, scope).
arc(r_0020_0029__every_quant, r_0020_0030__bottle, restriction).
arc(r_0020_0031__used, r_0020_0030__bottle, arg1).
arc(r_0020_0031__used, z_000_20_a_beeton_1861_96, arg0).
arc(r_0020_0033__entered, r_0020_0025__a_r_0020_0027__entry, arg0).
arc(r_0020_0033__entered, r_0020_0035__the_r_0020_0036__cellar__hyphen__book, r_0020_0034__in_clr108).
arc(r_0020_0038__so_that, r_0020_0041__should, restriction).
arc(r_0020_0038__so_that, z_000_20_a_beeton_1861_78, scope).
arc(r_0020_0041__should, r_0020_0043__show, scope).
arc(r_0020_0043__show, r_0020_0039__the_r_0020_0040__book, arg0).
arc(r_0020_0043__show, r_0020_0042__always, nim127).
arc(r_0020_0043__show, r_0020_0044__the_r_0020_0045__contents, arg1).
arc(r_0020_0044__the_r_0020_0045__contents, r_0020_0047__the_r_0020_0048__cellar, r_0020_0046__of).
arc(z_000_20_a_beeton_1861_40, r_0020_0013__his, gen).
arc(z_000_20_a_beeton_1861_40, r_0020_0014__own, attrib44).
arc(z_000_20_a_beeton_1861_78, r_0020_0033__entered, scope).

fof(formula,axiom,
    ? [R_0020_0019__AN_R_0020_0020__UNDER__HYPHEN__BUTLER,Z_000_20_A_BEETON_1861_54,Z_000_20_A_BEETON_1861_69,R_0020_0021__IS_R_0020_0022__KEPT,R_0020_0005__ARE,R_0020_0039__THE_R_0020_0040__BOOK,R_0020_0042__ALWAYS,R_0020_0047__THE_R_0020_0048__CELLAR,R_0020_0044__THE_R_0020_0045__CONTENTS,R_0020_0041__SHOULD_R_0020_0043__SHOW,R_0020_0026__CAREFUL,R_0020_0030__BOTTLE,R_0020_0025__A_R_0020_0027__ENTRY,R_0020_0035__THE_R_0020_0036__CELLAR__HYPHEN__BOOK,Z_000_20_A_BEETON_1861_78_R_0020_0033__ENTERED,R_0020_0038__SO_THAT,R_0020_0024__AND] :
      ( r_0020_0019__an_r_0020_0020__under__hyphen__butler(R_0020_0019__AN_R_0020_0020__UNDER__HYPHEN__BUTLER)
      & r_0020_0026__careful(R_0020_0026__CAREFUL)
      & r_0020_0030__bottle(R_0020_0030__BOTTLE)
      & r_0020_0035__the_r_0020_0036__cellar__hyphen__book(R_0020_0035__THE_R_0020_0036__CELLAR__HYPHEN__BOOK)
      & r_0020_0039__the_r_0020_0040__book(R_0020_0039__THE_R_0020_0040__BOOK)
      & r_0020_0042__always(R_0020_0042__ALWAYS)
      & r_0020_0047__the_r_0020_0048__cellar(R_0020_0047__THE_R_0020_0048__CELLAR)
      & z_000_20_a_beeton_1861_54(Z_000_20_A_BEETON_1861_54)
      & z_000_20_a_beeton_1861_69(Z_000_20_A_BEETON_1861_69)
      & ! [Z_000_20_A_BEETON_1861_96,R_0020_0031__USED] :
          ( ( z_000_20_a_beeton_1861_96(Z_000_20_A_BEETON_1861_96)
            & r_0020_0031__used(R_0020_0031__USED)
            & has_arg0(R_0020_0031__USED,Z_000_20_A_BEETON_1861_96)
            & has_arg1(R_0020_0031__USED,R_0020_0030__BOTTLE) )
         => z_000_20_a_beeton_1861_78_r_0020_0033__entered(Z_000_20_A_BEETON_1861_78_R_0020_0033__ENTERED) )
      & r_0020_0024__and(R_0020_0024__AND)
      & has_conj2(R_0020_0024__AND,R_0020_0038__SO_THAT)
      & r_0020_0038__so_that(R_0020_0038__SO_THAT)
      & has_conj2(R_0020_0038__SO_THAT,Z_000_20_A_BEETON_1861_78_R_0020_0033__ENTERED)
      & z_000_20_a_beeton_1861_78_r_0020_0033__entered(Z_000_20_A_BEETON_1861_78_R_0020_0033__ENTERED)
      & has_r_0020_0034__in_clr108(Z_000_20_A_BEETON_1861_78_R_0020_0033__ENTERED,R_0020_0035__THE_R_0020_0036__CELLAR__HYPHEN__BOOK)
      & has_arg0(Z_000_20_A_BEETON_1861_78_R_0020_0033__ENTERED,R_0020_0025__A_R_0020_0027__ENTRY)
      & r_0020_0025__a_r_0020_0027__entry(R_0020_0025__A_R_0020_0027__ENTRY)
      & has_r_0020_0028__of(R_0020_0025__A_R_0020_0027__ENTRY,R_0020_0030__BOTTLE)
      & has_attrib82(R_0020_0025__A_R_0020_0027__ENTRY,R_0020_0026__CAREFUL)
      & has_conj1(R_0020_0038__SO_THAT,R_0020_0041__SHOULD_R_0020_0043__SHOW)
      & r_0020_0041__should_r_0020_0043__show(R_0020_0041__SHOULD_R_0020_0043__SHOW)
      & has_arg1(R_0020_0041__SHOULD_R_0020_0043__SHOW,R_0020_0044__THE_R_0020_0045__CONTENTS)
      & r_0020_0044__the_r_0020_0045__contents(R_0020_0044__THE_R_0020_0045__CONTENTS)
      & has_r_0020_0046__of(R_0020_0044__THE_R_0020_0045__CONTENTS,R_0020_0047__THE_R_0020_0048__CELLAR)
      & has_nim127(R_0020_0041__SHOULD_R_0020_0043__SHOW,R_0020_0042__ALWAYS)
      & has_arg0(R_0020_0041__SHOULD_R_0020_0043__SHOW,R_0020_0039__THE_R_0020_0040__BOOK)
      & has_conj1(R_0020_0024__AND,R_0020_0005__ARE)
      & r_0020_0005__are(R_0020_0005__ARE)
      & ! [R_0020_0011__DAY] :
          ( r_0020_0011__day(R_0020_0011__DAY)
         => ? [R_0020_0001__THESE,R_0020_0003__OTHER,R_0020_0004__DRINKABLES,R_0020_0002__AND,R_0020_0008__THE_R_0020_0009__CELLAR,R_0020_0013__HIS,R_0020_0014__OWN,Z_000_20_A_BEETON_1861_40,R_0020_0015__HANDS,R_0020_0006__BROUGHT] :
              ( r_0020_0001__These(R_0020_0001__THESE)
              & r_0020_0003__other(R_0020_0003__OTHER)
              & r_0020_0008__the_r_0020_0009__cellar(R_0020_0008__THE_R_0020_0009__CELLAR)
              & r_0020_0013__his(R_0020_0013__HIS)
              & r_0020_0014__own(R_0020_0014__OWN)
              & r_0020_0006__brought(R_0020_0006__BROUGHT)
              & has_arg0(R_0020_0006__BROUGHT,R_0020_0015__HANDS)
              & r_0020_0015__hands(R_0020_0015__HANDS)
              & has_gen(R_0020_0015__HANDS,Z_000_20_A_BEETON_1861_40)
              & z_000_20_a_beeton_1861_40(Z_000_20_A_BEETON_1861_40)
              & has_attrib44(Z_000_20_A_BEETON_1861_40,R_0020_0014__OWN)
              & has_gen(Z_000_20_A_BEETON_1861_40,R_0020_0013__HIS)
              & has_nim31(R_0020_0006__BROUGHT,R_0020_0011__DAY)
              & has_r_0020_0007__from_nim26(R_0020_0006__BROUGHT,R_0020_0008__THE_R_0020_0009__CELLAR)
              & has_arg1(R_0020_0006__BROUGHT,R_0020_0002__AND)
              & r_0020_0002__and(R_0020_0002__AND)
              & has_conj2(R_0020_0002__AND,R_0020_0004__DRINKABLES)
              & r_0020_0004__drinkables(R_0020_0004__DRINKABLES)
              & has_attrib13(R_0020_0004__DRINKABLES,R_0020_0003__OTHER)
              & has_conj1(R_0020_0002__AND,R_0020_0001__THESE) ) )
      & has_r_0020_0017__except_nim54(R_0020_0005__ARE,Z_000_20_A_BEETON_1861_54)
      & r_0020_0021__is_r_0020_0022__kept(R_0020_0021__IS_R_0020_0022__KEPT)
      & has_arg0(R_0020_0021__IS_R_0020_0022__KEPT,Z_000_20_A_BEETON_1861_69)
      & has_nim67(R_0020_0021__IS_R_0020_0022__KEPT,Z_000_20_A_BEETON_1861_54)
      & has_arg1(R_0020_0021__IS_R_0020_0022__KEPT,R_0020_0019__AN_R_0020_0020__UNDER__HYPHEN__BUTLER) ) ).

( (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 20_a_beeton_1861;2163-5))