TSPC 35_a_beeton

35_a_beeton_1861
Having thoroughly washed and dried the bottles, supposing they have been before used for the same kind of wine, provide corks, which will be improved by being slightly boiled, or at least steeped in hot water, — a wooden hammer or mallet, a bottling - boot, and a squeezer for the corks.

( (IP-IMP (PP-SCON (IP-PPL (HAG;_cat_Ve_ Having;{have})
                           (IP-PPL-CAT (ADVP-NIM (ADV thoroughly;{thoroughly}))
                                       (ILYR (ILYR (VVN;__ washed;{wash}))
                                             (CONJP (CONJ and;{and})
                                                    (ILYR (VVN;__ dried;{dry}))))
                                       (NP-OB1;{WINE_BOTTLES} (D the;{the})
                                                              (NS bottles;{bottle})))))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;__ supposing;{suppose})
                           (CP-THT-OB1 (IP-SUB (NP-SBJ;{WINE_BOTTLES} (PRO they;{they}))
                                               (HVP;_cat_Ve_ have;{have})
                                               (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                           (IP-PPL-CAT (NP-LGS *)
                                                                       (ADVP-NIM (ADV before;{before}))
                                                                       (VVN;__ used;{use})
                                                                       (PP-NIM (P-ROLE for;{for})
                                                                               (NP (D the;{the})
                                                                                   (ADJP (ADJ same;{same}))
                                                                                   (N kind;{kind})
                                                                                   (PP (P-ROLE of;{of})
                                                                                       (NP (N wine;{wine})))))))))))
          (PUNC ,)
          (VB;__ provide;{provide})
          (NP-OB1 (NLYR (NLYR (NS corks;{cork})
                              (PUNC ,)
                              (IP-REL (NP-SBJ (RPRO which;{which}))
                                      (MD;_cat_Vi_ will;{will})
                                      (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                  (IP-PPL-CAT (NP-LGS *)
                                                              (VVN;__ improved;{improve})))
                                      (PP-SCON (P-CONN by;{by})
                                               (IP-PPL (BAG;_cat_VePASS_ being;{be})
                                                       (IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
                                                                               (ADVP-NIM (ADV slightly;{slightly}))
                                                                               (VVN;__ boiled;{boil}))
                                                                         (PUNC ,)
                                                                         (CONJP (CONJ or;{or})
                                                                                (ILYR (NP-LGS *)
                                                                                      (ADVP-NIM (ADV at_least;{at_least}))
                                                                                      (VVN;__ steeped;{steep})
                                                                                      (PP-NIM (P-ROLE in;{in})
                                                                                              (NP (ADJP (ADJ hot;{hot}))
                                                                                                  (N water;{water})))))))))))
                        (PUNC ,)
                        (PUNC <mdash>)
                        (CONJP (NLYR (NLYR (NLYR (D a;{a})
                                                 (ADJP (ADJ wooden;{wooden}))
                                                 (N hammer;{hammer}))
                                           (CONJP (CONJ or;{or})
                                                  (NLYR (N mallet;{mallet}))))))
                        (PUNC ,)
                        (CONJP (NLYR (D a;{a})
                                     (N bottling;{bottling})
                                     (PUNC <hyphen>)
                                     (N boot;{boot})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (D a;{a})
                                     (N squeezer;{squeezer})
                                     (PP (P-ROLE for;{for})
                                         (NP (D the;{the})
                                             (NS corks;{cork})))))))
          (PUNC .))
  (ID 35_a_beeton_1861;2167-2))

arc(r_0035_0001__Having,r_0035_0004__and,scope).
arc(r_0035_0003__washed,r_0035_0002__thoroughly,nim).
arc(r_0035_0003__washed,r_0035_0006__the_r_0035_0007__bottles,arg1).
arc(r_0035_0003__washed,r_0035_0053__and,arg0).
arc(r_0035_0004__and,r_0035_0003__washed,conj1).
arc(r_0035_0004__and,r_0035_0005__dried,conj2).
arc(r_0035_0005__dried,r_0035_0002__thoroughly,nim).
arc(r_0035_0005__dried,r_0035_0006__the_r_0035_0007__bottles,arg1).
arc(r_0035_0005__dried,r_0035_0053__and,arg0).
arc(r_0035_0009__supposing,r_0035_0011__have,arg1).
arc(r_0035_0009__supposing,r_0035_0053__and,arg0).
arc(r_0035_0011__have,r_0035_0012__been,scope).
arc(r_0035_0012__been,r_0035_0014__used,scope).
arc(r_0035_0014__used,r_0035_0006__the_r_0035_0007__bottles,arg1).
arc(r_0035_0014__used,r_0035_0013__before,nim).
arc(r_0035_0014__used,r_0035_0016__the_r_0035_0018__kind,r_0035_0015__for__nim).
arc(r_0035_0014__used,z_0035_5040___star_,arg0).
arc(r_0035_0016__the_r_0035_0018__kind,r_0035_0017__same,attrib).
arc(r_0035_0016__the_r_0035_0018__kind,r_0035_0020__wine,r_0035_0019__of).
arc(r_0035_0022__provide,r_0035_0053__and,arg1).
arc(r_0035_0022__provide,z_0035_5002,arg0).
arc(r_0035_0026__will,r_0035_0027__be,scope).
arc(r_0035_0027__be,r_0035_0028__improved,scope).
arc(r_0035_0028__improved,r_0035_0023__corks,arg1).
arc(r_0035_0028__improved,z_0035_5019___star_,arg0).
arc(r_0035_0029__by,r_0035_0026__will,scope).
arc(r_0035_0029__by,r_0035_0030__being,restriction).
arc(r_0035_0030__being,r_0035_0034__or,scope).
arc(r_0035_0032__boiled,r_0035_0023__corks,arg1).
arc(r_0035_0032__boiled,r_0035_0031__slightly,nim).
arc(r_0035_0032__boiled,z_0035_5008___star_,arg0).
arc(r_0035_0034__or,r_0035_0032__boiled,conj1).
arc(r_0035_0034__or,r_0035_0036__steeped,conj2).
arc(r_0035_0036__steeped,r_0035_0023__corks,arg1).
arc(r_0035_0036__steeped,r_0035_0035__at_least,nim).
arc(r_0035_0036__steeped,r_0035_0039__water,r_0035_0037__in__nim).
arc(r_0035_0036__steeped,z_0035_5013___star_,arg0).
arc(r_0035_0039__water,r_0035_0038__hot,attrib).
arc(r_0035_0042__a_r_0035_0044__hammer,r_0035_0043__wooden,attrib).
arc(r_0035_0045__or,r_0035_0042__a_r_0035_0044__hammer,conj1).
arc(r_0035_0045__or,r_0035_0046__mallet,conj2).
arc(r_0035_0053__and,r_0035_0023__corks,conj1).
arc(r_0035_0053__and,r_0035_0045__or,conj2).
arc(r_0035_0053__and,r_0035_0048__a_r_0035_0049__bottling_r_0035_0051__boot,conj3).
arc(r_0035_0053__and,r_0035_0054__a_r_0035_0055__squeezer,conj4).
arc(r_0035_0054__a_r_0035_0055__squeezer,r_0035_0057__the_r_0035_0058__corks,r_0035_0056__for).
arc(z_0035_5030,r_0035_0009__supposing,restriction).
arc(z_0035_5030,z_0035_5045,scope).
arc(z_0035_5045,r_0035_0001__Having,restriction).
arc(z_0035_5045,r_0035_0022__provide,scope).

fof(formula,axiom,
    ? [R_0035_0023__CORKS,Z_0035_5019___STAR_,R_0035_0026__WILL_R_0035_0027__BE_R_0035_0028__IMPROVED,R_0035_0031__SLIGHTLY,Z_0035_5008___STAR_,R_0035_0032__BOILED,R_0035_0035__AT_LEAST,R_0035_0038__HOT,R_0035_0039__WATER,Z_0035_5013___STAR_,R_0035_0036__STEEPED,R_0035_0034__OR,R_0035_0030__BEING,R_0035_0029__BY,R_0035_0006__THE_R_0035_0007__BOTTLES,R_0035_0013__BEFORE,R_0035_0017__SAME,R_0035_0020__WINE,R_0035_0016__THE_R_0035_0018__KIND,Z_0035_5040___STAR_,R_0035_0011__HAVE_R_0035_0012__BEEN_R_0035_0014__USED,R_0035_0043__WOODEN,R_0035_0042__A_R_0035_0044__HAMMER,R_0035_0046__MALLET,R_0035_0045__OR,R_0035_0048__A_R_0035_0049__BOTTLING_R_0035_0051__BOOT,R_0035_0057__THE_R_0035_0058__CORKS,R_0035_0054__A_R_0035_0055__SQUEEZER,R_0035_0053__AND,R_0035_0009__SUPPOSING,R_0035_0002__THOROUGHLY,R_0035_0003__WASHED,R_0035_0005__DRIED,R_0035_0004__AND,R_0035_0001__HAVING,Z_0035_5002,R_0035_0022__PROVIDE,Z_0035_5045,Z_0035_5030] :
      ( r_0035_0002__thoroughly(R_0035_0002__THOROUGHLY)
      & r_0035_0006__the_r_0035_0007__bottles(R_0035_0006__THE_R_0035_0007__BOTTLES)
      & r_0035_0013__before(R_0035_0013__BEFORE)
      & r_0035_0017__same(R_0035_0017__SAME)
      & r_0035_0020__wine(R_0035_0020__WINE)
      & r_0035_0023__corks(R_0035_0023__CORKS)
      & r_0035_0031__slightly(R_0035_0031__SLIGHTLY)
      & r_0035_0035__at_least(R_0035_0035__AT_LEAST)
      & r_0035_0038__hot(R_0035_0038__HOT)
      & r_0035_0043__wooden(R_0035_0043__WOODEN)
      & r_0035_0046__mallet(R_0035_0046__MALLET)
      & r_0035_0048__a_r_0035_0049__bottling_r_0035_0051__boot(R_0035_0048__A_R_0035_0049__BOTTLING_R_0035_0051__BOOT)
      & r_0035_0057__the_r_0035_0058__corks(R_0035_0057__THE_R_0035_0058__CORKS)
      & z_0035_5002(Z_0035_5002)
      & z_0035_5008___star_(Z_0035_5008___STAR_)
      & z_0035_5013___star_(Z_0035_5013___STAR_)
      & z_0035_5019___star_(Z_0035_5019___STAR_)
      & z_0035_5040___star_(Z_0035_5040___STAR_)
      & z_0035_5030(Z_0035_5030)
      & has_conj2(Z_0035_5030,Z_0035_5045)
      & z_0035_5045(Z_0035_5045)
      & has_conj2(Z_0035_5045,R_0035_0022__PROVIDE)
      & r_0035_0022__provide(R_0035_0022__PROVIDE)
      & has_arg0(R_0035_0022__PROVIDE,Z_0035_5002)
      & has_arg1(R_0035_0022__PROVIDE,R_0035_0053__AND)
      & r_0035_0053__and(R_0035_0053__AND)
      & has_conj4(R_0035_0053__AND,R_0035_0054__A_R_0035_0055__SQUEEZER)
      & r_0035_0054__a_r_0035_0055__squeezer(R_0035_0054__A_R_0035_0055__SQUEEZER)
      & has_r_0035_0056__for(R_0035_0054__A_R_0035_0055__SQUEEZER,R_0035_0057__THE_R_0035_0058__CORKS)
      & has_conj3(R_0035_0053__AND,R_0035_0048__A_R_0035_0049__BOTTLING_R_0035_0051__BOOT)
      & has_conj2(R_0035_0053__AND,R_0035_0045__OR)
      & r_0035_0045__or(R_0035_0045__OR)
      & has_conj2(R_0035_0045__OR,R_0035_0046__MALLET)
      & has_conj1(R_0035_0045__OR,R_0035_0042__A_R_0035_0044__HAMMER)
      & r_0035_0042__a_r_0035_0044__hammer(R_0035_0042__A_R_0035_0044__HAMMER)
      & has_attrib(R_0035_0042__A_R_0035_0044__HAMMER,R_0035_0043__WOODEN)
      & has_conj1(R_0035_0053__AND,R_0035_0023__CORKS)
      & has_conj1(Z_0035_5045,R_0035_0001__HAVING)
      & r_0035_0001__Having(R_0035_0001__HAVING)
      & has_keep_scope(R_0035_0001__HAVING,R_0035_0004__AND)
      & r_0035_0004__and(R_0035_0004__AND)
      & has_conj2(R_0035_0004__AND,R_0035_0005__DRIED)
      & r_0035_0005__dried(R_0035_0005__DRIED)
      & has_arg0(R_0035_0005__DRIED,R_0035_0053__AND)
      & has_arg1(R_0035_0005__DRIED,R_0035_0006__THE_R_0035_0007__BOTTLES)
      & has_nim(R_0035_0005__DRIED,R_0035_0002__THOROUGHLY)
      & has_conj1(R_0035_0004__AND,R_0035_0003__WASHED)
      & r_0035_0003__washed(R_0035_0003__WASHED)
      & has_arg0(R_0035_0003__WASHED,R_0035_0053__AND)
      & has_arg1(R_0035_0003__WASHED,R_0035_0006__THE_R_0035_0007__BOTTLES)
      & has_nim(R_0035_0003__WASHED,R_0035_0002__THOROUGHLY)
      & has_conj1(Z_0035_5030,R_0035_0009__SUPPOSING)
      & r_0035_0009__supposing(R_0035_0009__SUPPOSING)
      & has_arg0(R_0035_0009__SUPPOSING,R_0035_0053__AND)
      & has_arg1(R_0035_0009__SUPPOSING,R_0035_0011__HAVE_R_0035_0012__BEEN_R_0035_0014__USED)
      & r_0035_0011__have_r_0035_0012__been_r_0035_0014__used(R_0035_0011__HAVE_R_0035_0012__BEEN_R_0035_0014__USED)
      & has_arg0(R_0035_0011__HAVE_R_0035_0012__BEEN_R_0035_0014__USED,Z_0035_5040___STAR_)
      & has_r_0035_0015__for__nim(R_0035_0011__HAVE_R_0035_0012__BEEN_R_0035_0014__USED,R_0035_0016__THE_R_0035_0018__KIND)
      & r_0035_0016__the_r_0035_0018__kind(R_0035_0016__THE_R_0035_0018__KIND)
      & has_r_0035_0019__of(R_0035_0016__THE_R_0035_0018__KIND,R_0035_0020__WINE)
      & has_attrib(R_0035_0016__THE_R_0035_0018__KIND,R_0035_0017__SAME)
      & has_nim(R_0035_0011__HAVE_R_0035_0012__BEEN_R_0035_0014__USED,R_0035_0013__BEFORE)
      & has_arg1(R_0035_0011__HAVE_R_0035_0012__BEEN_R_0035_0014__USED,R_0035_0006__THE_R_0035_0007__BOTTLES)
      & r_0035_0029__by(R_0035_0029__BY)
      & has_conj1(R_0035_0029__BY,R_0035_0030__BEING)
      & r_0035_0030__being(R_0035_0030__BEING)
      & has_keep_scope(R_0035_0030__BEING,R_0035_0034__OR)
      & r_0035_0034__or(R_0035_0034__OR)
      & has_conj2(R_0035_0034__OR,R_0035_0036__STEEPED)
      & r_0035_0036__steeped(R_0035_0036__STEEPED)
      & has_arg0(R_0035_0036__STEEPED,Z_0035_5013___STAR_)
      & has_r_0035_0037__in__nim(R_0035_0036__STEEPED,R_0035_0039__WATER)
      & r_0035_0039__water(R_0035_0039__WATER)
      & has_attrib(R_0035_0039__WATER,R_0035_0038__HOT)
      & has_nim(R_0035_0036__STEEPED,R_0035_0035__AT_LEAST)
      & has_arg1(R_0035_0036__STEEPED,R_0035_0023__CORKS)
      & has_conj1(R_0035_0034__OR,R_0035_0032__BOILED)
      & r_0035_0032__boiled(R_0035_0032__BOILED)
      & has_arg0(R_0035_0032__BOILED,Z_0035_5008___STAR_)
      & has_nim(R_0035_0032__BOILED,R_0035_0031__SLIGHTLY)
      & has_arg1(R_0035_0032__BOILED,R_0035_0023__CORKS)
      & has_conj2(R_0035_0029__BY,R_0035_0026__WILL_R_0035_0027__BE_R_0035_0028__IMPROVED)
      & r_0035_0026__will_r_0035_0027__be_r_0035_0028__improved(R_0035_0026__WILL_R_0035_0027__BE_R_0035_0028__IMPROVED)
      & has_arg0(R_0035_0026__WILL_R_0035_0027__BE_R_0035_0028__IMPROVED,Z_0035_5019___STAR_)
      & has_arg1(R_0035_0026__WILL_R_0035_0027__BE_R_0035_0028__IMPROVED,R_0035_0023__CORKS) ) ).