TSPC 26_a_beeton

26_a_beeton_1861
Where wine comes into the cellar ready bottled, it is usual to return the same number of empty bottles; the butler has not, in this case, the same inducements to keep the bottles of the different sorts separated; but where the wine is bottled in the house, he will find his account, not only in keeping them separate, but in rinsing them well, and even washing them with clean water as soon as they are empty.

( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN Where;{where})
                               (IP-ADV (NP-SBJ (N wine;{wine}))
                                       (VBP;_Ipr_ comes;{come[into]})
                                       (PP-CLR (P-ROLE into;{into})
                                               (NP (D the;{the})
                                                   (N cellar;{cellar})))
                                       (PP-SCON (IP-PPL2 (NP-LGS *)
                                                         (ADVP-NIM (ADV ready;{ready}))
                                                         (VVN;__ bottled;{bottle})))))
                      (PUNC ,)
                      (NP-SBJ (PRO;_provisional_ it;{it}))
                      (BEP;_La_ is;{be})
                      (ADJP-PRD (ADJ usual;{usual}))
                      (IP-INF-NSBJ (TO to;{to})
                                   (VB;__ return;{return})
                                   (NP-OB1 (D the;{the})
                                           (ADJP (ADJ same;{same}))
                                           (N number;{number})
                                           (PP (P-ROLE of;{of})
                                               (NP (ADJP (ADJ empty;{empty}))
                                                   (NS bottles;{bottle})))))
                      (PUNC ;)
                      (PRN (IP-MAT (NP-SBJ;{BUTLER} (D the;{the})
                                                    (N butler;{butler}))
                                   (HVP;_Tn_ has;{have})
                                   (NEG not;{not})
                                   (PUNC ,)
                                   (PP-NIM (P-ROLE in;{in})
                                           (NP (D this;{this})
                                               (N case;{case})))
                                   (PUNC ,)
                                   (NP-OB1 (D the;{the})
                                           (ADJP (ADJ same;{same}))
                                           (NS inducements;{inducement})
                                           (IP-INF (TO to;{to})
                                                   (VB;__ keep;{keep})
                                                   (NP-OB1 (D the;{the})
                                                           (NS bottles;{bottle})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (D the;{the})
                                                                   (ADJP (ADJ different;{different}))
                                                                   (NS sorts;{sort})
                                                                   (IP-PPL (NP-LGS *)
                                                                           (VVN;__ separated;{separate}))))))))))
                (PUNC ;)
                (CONJP (CONJ but;{but})
                       (ILYR (PP-SCON (P-CONN where;{where})
                                      (IP-ADV (NP-SBJ;{WINE} (D the;{the})
                                                             (N wine;{wine}))
                                              (BEP;_cat_VePASS_ is;{be})
                                              (IP-PPL-CAT (NP-LGS *)
                                                          (VVN;__ bottled;{bottle})
                                                          (PP-NIM (P-ROLE in;{in})
                                                                  (NP (D the;{the})
                                                                      (N house;{house}))))))
                             (PUNC ,)
                             (NP-SBJ;{BUTLER} (PRO he;{he}))
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (VB;__ find;{find})
                                         (NP-OB1 (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                                                 (N account;{account})))
                             (PUNC ,)
                             (PP-NIM (PP-NIM (ADVP-NIM (NEG not;{not})
                                                       (ADV only;{only}))
                                             (P-ROLE in;{in})
                                             (IP-PPL3 (VAG;__ keeping;{keep})
                                                      (NP-OB1;{WINE_BOTTLES} (PRO them;{they}))
                                                      (ADJP-PRD (ADJ separate;{separate}))))
                                     (PUNC ,)
                                     (CONJP (CONJ but;{but})
                                            (PP-NIM (P-ROLE in;{in})
                                                    (IP-PPL3 (ILYR (ILYR (VAG;__ rinsing;{rinse})
                                                                         (NP-OB1;{WINE_BOTTLES} (PRO them;{they}))
                                                                         (ADVP-NIM (ADV well;{well})))
                                                                   (PUNC ,)
                                                                   (CONJP (CONJ and;{and})
                                                                          (ILYR (ADVP-NIM (ADV even;{even}))
                                                                                (VAG;__ washing;{wash})
                                                                                (NP-OB1;{WINE_BOTTLES} (PRO them;{they}))
                                                                                (PP-NIM (P-ROLE with;{with})
                                                                                        (NP (ADJP (ADJ clean;{clean}))
                                                                                            (N water;{water})))
                                                                                (PP-SCON (P-CONN as_soon_as;{as_soon_as})
                                                                                         (IP-ADV (NP-SBJ;{WINE_BOTTLES} (PRO they;{they}))
                                                                                                 (BEP;_La_ are;{be})
                                                                                                 (ADJP-PRD (ADJ empty;{empty}))))))))))))))
          (PUNC .))
  (ID 26_a_beeton_1861;2165-5))

arc(r_0026_0001__Where,r_0026_0011__is,scope).
arc(r_0026_0001__Where,z_0026_5004,restriction).
arc(r_0026_0003__comes_r_0026_0004__into,r_0026_0002__wine,arg0).
arc(r_0026_0003__comes_r_0026_0004__into,r_0026_0005__the_r_0026_0006__cellar,arg1).
arc(r_0026_0008__bottled,r_0026_0002__wine,arg1).
arc(r_0026_0008__bottled,r_0026_0007__ready,nim).
arc(r_0026_0008__bottled,z_0026_5007___star_,arg0).
arc(r_0026_0011__is,r_0026_0012__usual,prd).
arc(r_0026_0011__is,r_0026_0014__return,arg0).
arc(r_0026_0011__is,r_0026_0025__not,prn).
arc(r_0026_0014__return,r_0026_0015__the_r_0026_0017__number,arg1).
arc(r_0026_0014__return,z_0026_5010,arg0).
arc(r_0026_0015__the_r_0026_0017__number,r_0026_0016__same,attrib).
arc(r_0026_0015__the_r_0026_0017__number,r_0026_0020__bottles,r_0026_0018__of).
arc(r_0026_0020__bottles,r_0026_0019__empty,attrib).
arc(r_0026_0024__has,r_0026_0022__the_r_0026_0023__butler,arg0).
arc(r_0026_0024__has,r_0026_0028__this_r_0026_0029__case,r_0026_0027__in__nim).
arc(r_0026_0024__has,r_0026_0031__the_r_0026_0033__inducements,arg1).
arc(r_0026_0025__not,r_0026_0024__has,keep_scope).
arc(r_0026_0031__the_r_0026_0033__inducements,r_0026_0032__same,attrib).
arc(r_0026_0031__the_r_0026_0033__inducements,r_0026_0035__keep,emb).
arc(r_0026_0035__keep,r_0026_0036__the_r_0026_0037__bottles,arg1).
arc(r_0026_0035__keep,z_0026_5017,arg0).
arc(r_0026_0036__the_r_0026_0037__bottles,r_0026_0039__the_r_0026_0041__sorts,r_0026_0038__of).
arc(r_0026_0039__the_r_0026_0041__sorts,r_0026_0040__different,attrib).
arc(r_0026_0042__separated,r_0026_0039__the_r_0026_0041__sorts,inv_arg1).
arc(r_0026_0042__separated,z_0026_5021___star_,arg0).
arc(r_0026_0044__but,r_0026_0001__Where,conj1).
arc(r_0026_0044__but,r_0026_0045__where,conj2).
arc(r_0026_0045__where,r_0026_0048__is,restriction).
arc(r_0026_0045__where,r_0026_0055__will,scope).
arc(r_0026_0048__is,r_0026_0049__bottled,scope).
arc(r_0026_0049__bottled,r_0026_0046__the_r_0026_0047__wine,arg1).
arc(r_0026_0049__bottled,r_0026_0051__the_r_0026_0052__house,r_0026_0050__in__nim).
arc(r_0026_0049__bottled,z_0026_5039___star_,arg0).
arc(r_0026_0055__will,r_0026_0056__find,scope).
arc(r_0026_0055__will,r_0026_0067__but,nim).
arc(r_0026_0056__find,r_0026_0022__the_r_0026_0023__butler,arg0).
arc(r_0026_0056__find,r_0026_0058__account,arg1).
arc(r_0026_0058__account,r_0026_0022__the_r_0026_0023__butler,gen).
arc(r_0026_0063__keeping,r_0026_0064__them,arg1).
arc(r_0026_0063__keeping,r_0026_0065__separate,prd).
arc(r_0026_0063__keeping,z_0026_5046,arg0).
arc(r_0026_0067__but,r_0026_0063__keeping,r_0026_0060__not_r_0026_0061__only_r_0026_0062__in__nim).
arc(r_0026_0067__but,r_0026_0073__and,r_0026_0068__in__nim).
arc(r_0026_0069__rinsing,r_0026_0064__them,arg1).
arc(r_0026_0069__rinsing,r_0026_0071__well,nim).
arc(r_0026_0069__rinsing,z_0026_5051,arg0).
arc(r_0026_0073__and,r_0026_0069__rinsing,conj1).
arc(r_0026_0073__and,r_0026_0080__as_soon_as,conj2).
arc(r_0026_0075__washing,r_0026_0064__them,arg1).
arc(r_0026_0075__washing,r_0026_0074__even,nim).
arc(r_0026_0075__washing,r_0026_0079__water,r_0026_0077__with__nim).
arc(r_0026_0075__washing,z_0026_5051,arg0).
arc(r_0026_0079__water,r_0026_0078__clean,attrib).
arc(r_0026_0080__as_soon_as,r_0026_0075__washing,scope).
arc(r_0026_0080__as_soon_as,r_0026_0082__are,restriction).
arc(r_0026_0082__are,r_0026_0064__them,arg0).
arc(r_0026_0082__are,r_0026_0083__empty,prd).
arc(z_0026_5004,r_0026_0003__comes_r_0026_0004__into,scope).
arc(z_0026_5004,r_0026_0008__bottled,restriction).

fof(formula,axiom,
    ? [R_0026_0012__USUAL,R_0026_0016__SAME,R_0026_0019__EMPTY,R_0026_0020__BOTTLES,R_0026_0015__THE_R_0026_0017__NUMBER,Z_0026_5010,R_0026_0014__RETURN,R_0026_0011__IS,R_0026_0002__WINE,R_0026_0005__THE_R_0026_0006__CELLAR,R_0026_0003__COMES_R_0026_0004__INTO,R_0026_0007__READY,Z_0026_5007___STAR_,R_0026_0008__BOTTLED,Z_0026_5004,R_0026_0001__WHERE,R_0026_0046__THE_R_0026_0047__WINE,R_0026_0051__THE_R_0026_0052__HOUSE,Z_0026_5039___STAR_,R_0026_0048__IS_R_0026_0049__BOTTLED,R_0026_0064__THEM,R_0026_0065__SEPARATE,Z_0026_5046,R_0026_0063__KEEPING,R_0026_0071__WELL,Z_0026_5051,R_0026_0069__RINSING,R_0026_0074__EVEN,R_0026_0078__CLEAN,R_0026_0079__WATER,R_0026_0075__WASHING,R_0026_0083__EMPTY,R_0026_0082__ARE,R_0026_0080__AS_SOON_AS,R_0026_0073__AND,R_0026_0067__BUT,R_0026_0022__THE_R_0026_0023__BUTLER,R_0026_0058__ACCOUNT,R_0026_0055__WILL_R_0026_0056__FIND,R_0026_0045__WHERE,R_0026_0044__BUT] :
      ( r_0026_0002__wine(R_0026_0002__WINE)
      & r_0026_0005__the_r_0026_0006__cellar(R_0026_0005__THE_R_0026_0006__CELLAR)
      & r_0026_0007__ready(R_0026_0007__READY)
      & r_0026_0012__usual(R_0026_0012__USUAL)
      & r_0026_0016__same(R_0026_0016__SAME)
      & r_0026_0019__empty(R_0026_0019__EMPTY)
      & r_0026_0022__the_r_0026_0023__butler(R_0026_0022__THE_R_0026_0023__BUTLER)
      & r_0026_0046__the_r_0026_0047__wine(R_0026_0046__THE_R_0026_0047__WINE)
      & r_0026_0051__the_r_0026_0052__house(R_0026_0051__THE_R_0026_0052__HOUSE)
      & r_0026_0064__them(R_0026_0064__THEM)
      & r_0026_0065__separate(R_0026_0065__SEPARATE)
      & r_0026_0071__well(R_0026_0071__WELL)
      & r_0026_0074__even(R_0026_0074__EVEN)
      & r_0026_0078__clean(R_0026_0078__CLEAN)
      & r_0026_0083__empty(R_0026_0083__EMPTY)
      & z_0026_5007___star_(Z_0026_5007___STAR_)
      & z_0026_5010(Z_0026_5010)
      & z_0026_5039___star_(Z_0026_5039___STAR_)
      & z_0026_5046(Z_0026_5046)
      & z_0026_5051(Z_0026_5051)
      & r_0026_0044__but(R_0026_0044__BUT)
      & has_conj2(R_0026_0044__BUT,R_0026_0045__WHERE)
      & r_0026_0045__where(R_0026_0045__WHERE)
      & has_conj2(R_0026_0045__WHERE,R_0026_0055__WILL_R_0026_0056__FIND)
      & r_0026_0055__will_r_0026_0056__find(R_0026_0055__WILL_R_0026_0056__FIND)
      & has_arg1(R_0026_0055__WILL_R_0026_0056__FIND,R_0026_0058__ACCOUNT)
      & r_0026_0058__account(R_0026_0058__ACCOUNT)
      & has_gen(R_0026_0058__ACCOUNT,R_0026_0022__THE_R_0026_0023__BUTLER)
      & has_arg0(R_0026_0055__WILL_R_0026_0056__FIND,R_0026_0022__THE_R_0026_0023__BUTLER)
      & has_nim(R_0026_0055__WILL_R_0026_0056__FIND,R_0026_0067__BUT)
      & r_0026_0067__but(R_0026_0067__BUT)
      & has_r_0026_0068__in__nim(R_0026_0067__BUT,R_0026_0073__AND)
      & r_0026_0073__and(R_0026_0073__AND)
      & has_conj2(R_0026_0073__AND,R_0026_0080__AS_SOON_AS)
      & r_0026_0080__as_soon_as(R_0026_0080__AS_SOON_AS)
      & has_conj1(R_0026_0080__AS_SOON_AS,R_0026_0082__ARE)
      & r_0026_0082__are(R_0026_0082__ARE)
      & has_prd(R_0026_0082__ARE,R_0026_0083__EMPTY)
      & has_arg0(R_0026_0082__ARE,R_0026_0064__THEM)
      & has_conj2(R_0026_0080__AS_SOON_AS,R_0026_0075__WASHING)
      & r_0026_0075__washing(R_0026_0075__WASHING)
      & has_arg0(R_0026_0075__WASHING,Z_0026_5051)
      & has_r_0026_0077__with__nim(R_0026_0075__WASHING,R_0026_0079__WATER)
      & r_0026_0079__water(R_0026_0079__WATER)
      & has_attrib(R_0026_0079__WATER,R_0026_0078__CLEAN)
      & has_nim(R_0026_0075__WASHING,R_0026_0074__EVEN)
      & has_arg1(R_0026_0075__WASHING,R_0026_0064__THEM)
      & has_conj1(R_0026_0073__AND,R_0026_0069__RINSING)
      & r_0026_0069__rinsing(R_0026_0069__RINSING)
      & has_arg0(R_0026_0069__RINSING,Z_0026_5051)
      & has_nim(R_0026_0069__RINSING,R_0026_0071__WELL)
      & has_arg1(R_0026_0069__RINSING,R_0026_0064__THEM)
      & has_r_0026_0060__not_r_0026_0061__only_r_0026_0062__in__nim(R_0026_0067__BUT,R_0026_0063__KEEPING)
      & r_0026_0063__keeping(R_0026_0063__KEEPING)
      & has_arg0(R_0026_0063__KEEPING,Z_0026_5046)
      & has_prd(R_0026_0063__KEEPING,R_0026_0065__SEPARATE)
      & has_arg1(R_0026_0063__KEEPING,R_0026_0064__THEM)
      & has_conj1(R_0026_0045__WHERE,R_0026_0048__IS_R_0026_0049__BOTTLED)
      & r_0026_0048__is_r_0026_0049__bottled(R_0026_0048__IS_R_0026_0049__BOTTLED)
      & has_arg0(R_0026_0048__IS_R_0026_0049__BOTTLED,Z_0026_5039___STAR_)
      & has_r_0026_0050__in__nim(R_0026_0048__IS_R_0026_0049__BOTTLED,R_0026_0051__THE_R_0026_0052__HOUSE)
      & has_arg1(R_0026_0048__IS_R_0026_0049__BOTTLED,R_0026_0046__THE_R_0026_0047__WINE)
      & has_conj1(R_0026_0044__BUT,R_0026_0001__WHERE)
      & r_0026_0001__Where(R_0026_0001__WHERE)
      & has_conj1(R_0026_0001__WHERE,Z_0026_5004)
      & z_0026_5004(Z_0026_5004)
      & has_conj1(Z_0026_5004,R_0026_0008__BOTTLED)
      & r_0026_0008__bottled(R_0026_0008__BOTTLED)
      & has_arg0(R_0026_0008__BOTTLED,Z_0026_5007___STAR_)
      & has_nim(R_0026_0008__BOTTLED,R_0026_0007__READY)
      & has_arg1(R_0026_0008__BOTTLED,R_0026_0002__WINE)
      & has_conj2(Z_0026_5004,R_0026_0003__COMES_R_0026_0004__INTO)
      & r_0026_0003__comes_r_0026_0004__into(R_0026_0003__COMES_R_0026_0004__INTO)
      & has_arg1(R_0026_0003__COMES_R_0026_0004__INTO,R_0026_0005__THE_R_0026_0006__CELLAR)
      & has_arg0(R_0026_0003__COMES_R_0026_0004__INTO,R_0026_0002__WINE)
      & has_conj2(R_0026_0001__WHERE,R_0026_0011__IS)
      & r_0026_0011__is(R_0026_0011__IS)
      & has_prn(R_0026_0011__IS,R_0026_0025__NOT)
      & ~ ? [R_0026_0028__THIS_R_0026_0029__CASE,R_0026_0032__SAME,R_0026_0040__DIFFERENT,Z_0026_5021___STAR_,R_0026_0042__SEPARATED,R_0026_0039__THE_R_0026_0041__SORTS,R_0026_0036__THE_R_0026_0037__BOTTLES,Z_0026_5017,R_0026_0035__KEEP,R_0026_0031__THE_R_0026_0033__INDUCEMENTS,R_0026_0024__HAS] :
            ( r_0026_0028__this_r_0026_0029__case(R_0026_0028__THIS_R_0026_0029__CASE)
            & r_0026_0032__same(R_0026_0032__SAME)
            & r_0026_0040__different(R_0026_0040__DIFFERENT)
            & z_0026_5017(Z_0026_5017)
            & z_0026_5021___star_(Z_0026_5021___STAR_)
            & r_0026_0024__has(R_0026_0024__HAS)
            & has_arg1(R_0026_0024__HAS,R_0026_0031__THE_R_0026_0033__INDUCEMENTS)
            & r_0026_0031__the_r_0026_0033__inducements(R_0026_0031__THE_R_0026_0033__INDUCEMENTS)
            & has_emb(R_0026_0031__THE_R_0026_0033__INDUCEMENTS,R_0026_0035__KEEP)
            & r_0026_0035__keep(R_0026_0035__KEEP)
            & has_arg0(R_0026_0035__KEEP,Z_0026_5017)
            & has_arg1(R_0026_0035__KEEP,R_0026_0036__THE_R_0026_0037__BOTTLES)
            & r_0026_0036__the_r_0026_0037__bottles(R_0026_0036__THE_R_0026_0037__BOTTLES)
            & has_r_0026_0038__of(R_0026_0036__THE_R_0026_0037__BOTTLES,R_0026_0039__THE_R_0026_0041__SORTS)
            & r_0026_0039__the_r_0026_0041__sorts(R_0026_0039__THE_R_0026_0041__SORTS)
            & has_inv_arg1(R_0026_0039__THE_R_0026_0041__SORTS,R_0026_0042__SEPARATED)
            & r_0026_0042__separated(R_0026_0042__SEPARATED)
            & has_arg0(R_0026_0042__SEPARATED,Z_0026_5021___STAR_)
            & has_attrib(R_0026_0039__THE_R_0026_0041__SORTS,R_0026_0040__DIFFERENT)
            & has_attrib(R_0026_0031__THE_R_0026_0033__INDUCEMENTS,R_0026_0032__SAME)
            & has_r_0026_0027__in__nim(R_0026_0024__HAS,R_0026_0028__THIS_R_0026_0029__CASE)
            & has_arg0(R_0026_0024__HAS,R_0026_0022__THE_R_0026_0023__BUTLER) )
      & has_arg0(R_0026_0011__IS,R_0026_0014__RETURN)
      & r_0026_0014__return(R_0026_0014__RETURN)
      & has_arg0(R_0026_0014__RETURN,Z_0026_5010)
      & has_arg1(R_0026_0014__RETURN,R_0026_0015__THE_R_0026_0017__NUMBER)
      & r_0026_0015__the_r_0026_0017__number(R_0026_0015__THE_R_0026_0017__NUMBER)
      & has_r_0026_0018__of(R_0026_0015__THE_R_0026_0017__NUMBER,R_0026_0020__BOTTLES)
      & r_0026_0020__bottles(R_0026_0020__BOTTLES)
      & has_attrib(R_0026_0020__BOTTLES,R_0026_0019__EMPTY)
      & has_attrib(R_0026_0015__THE_R_0026_0017__NUMBER,R_0026_0016__SAME)
      & has_prd(R_0026_0011__IS,R_0026_0012__USUAL) ) ).