TSPC 44_a_beeton

44_a_beeton_1861
Sherry, if of good quality, will be fit to drink as soon as the “sickness” (as its first condition after bottling is called) ceases, and will also improve; but the cellar must be kept at a perfectly steady temperature, neither too hot nor too cold, but about 55 <deg> or 60 <deg>, and absolutely free from draughts of cold air.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{SHERRY} (NPR Sherry;{Sherry}))
                      (PUNC ,)
                      (PP-SCON (P-CONN if;{if})
                               (IP-ADV (PP-CLR (P-ROLE of;{of})
                                               (NP (ADJP (ADJ good;{good}))
                                                   (N quality;{quality})))))
                      (PUNC ,)
                      (ILYR (ILYR (MD;_cat_Vi_ will;{will})
                                  (IP-INF-CAT (BE;_La_ be;{be})
                                              (ADJP-PRD (ADJ;_cat_ fit;{fit})
                                                        (IP-INF (TO to;{to})
                                                                (VB;__ drink;{drink}))))
                                  (PP-SCON (P-CONN as_soon_as;{as_soon_as})
                                           (IP-ADV (NP-SBJ (D the;{the})
                                                           (PULQ <ldquo>)
                                                           (N sickness;{sickness})
                                                           (PURQ <rdquo>)
                                                           (PULB -LRB-)
                                                           (IP-REL (NP-148 (RPRO as;{as}))
                                                                   (NP-SBJ (NP-GEN;{SHERRY} (PRO;_genm_ its;{its}))
                                                                           (NUM first;{first})
                                                                           (N condition;{condition})
                                                                           (PP (P-ROLE after;{after})
                                                                               (NP (N bottling;{bottling}))))
                                                                   (BEP;_cat_VePASS_ is;{be})
                                                                   (IP-PPL-CAT (NP-LGS *)
                                                                               (NP-PRD *ICH*-148)
                                                                               (VVN;__ called;{call})))
                                                           (PURB -RRB-))
                                                   (VBP;__ ceases;{cease}))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (MD;_cat_Vi_ will;{will})
                                         (IP-INF-CAT (ADVP-NIM (ADV also;{also}))
                                                     (VB;__ improve;{improve}))))))
                (PUNC ;)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N cellar;{cellar}))
                             (MD;_cat_Vi_ must;{must})
                             (IP-INF-CAT (ILYR (ILYR (BE;_cat_VePASS_ be;{be})
                                                     (IP-PPL-CAT (NP-LGS *)
                                                                 (VVN;__ kept;{keep})
                                                                 (PP-NIM (P-ROLE at;{at})
                                                                         (NP (D a;{a})
                                                                             (ADJP (ADVP (ADV perfectly;{perfectly}))
                                                                                   (ADJ steady;{steady}))
                                                                             (N temperature;{temperature})
                                                                             (PUNC ,)
                                                                             (PRN (NP (NLYR (NLYR (ADJP (AJLYR (CONJ neither;{neither})
                                                                                                               (AJLYR (ADVP (ADV too;{too}))
                                                                                                                      (ADJ hot;{hot}))
                                                                                                               (CONJP (CONJ nor;{nor})
                                                                                                                      (AJLYR (ADVP (ADV too;{too}))
                                                                                                                             (ADJ cold;{cold}))))))
                                                                                            (PUNC ,)
                                                                                            (CONJP (CONJ but;{but})
                                                                                                   (NLYR (ADVP (ADV about;{about}))
                                                                                                         (NLYR (NLYR (NUM 55)
                                                                                                                     (N <deg>))
                                                                                                               (CONJP (CONJ or;{or})
                                                                                                                      (NLYR (NUM 60)
                                                                                                                            (N <deg>)))))))))))))
                                               (PUNC ,)
                                               (CONJP (CONJ and;{and})
                                                      (ILYR (ADVP-NIM (ADV absolutely;{absolutely}))
                                                            (ADJP-PRD (ADJ free;{free})
                                                                      (PP (P-ROLE from;{from})
                                                                          (NP (NS draughts;{draught})
                                                                              (PP (P-ROLE of;{of})
                                                                                  (NP (ADJP (ADJ cold;{cold}))
                                                                                      (N air;{air})))))))))))))
          (PUNC .))
  (ID 44_a_beeton_1861;2170-4))

arc(r_0044_0003__if,r_0044_0030__and,scope).
arc(r_0044_0003__if,z_0044_5006,restriction).
arc(r_0044_0006__quality,r_0044_0005__good,attrib).
arc(r_0044_0008__will,r_0044_0009__be,scope).
arc(r_0044_0009__be,r_0044_0010__fit,scope).
arc(r_0044_0010__fit,r_0044_0012__drink,scope).
arc(r_0044_0012__drink,r_0044_0001__Sherry,arg0).
arc(r_0044_0013__as_soon_as,r_0044_0008__will,scope).
arc(r_0044_0013__as_soon_as,r_0044_0028__ceases,restriction).
arc(r_0044_0021__first_r_0044_0022__condition,r_0044_0001__Sherry,gen).
arc(r_0044_0021__first_r_0044_0022__condition,r_0044_0024__bottling,r_0044_0023__after).
arc(r_0044_0025__is,r_0044_0026__called,scope).
arc(r_0044_0026__called,r_0044_0014__the_r_0044_0016__sickness,prd).
arc(r_0044_0026__called,r_0044_0021__first_r_0044_0022__condition,arg1).
arc(r_0044_0026__called,z_0044_5014___star_,arg0).
arc(r_0044_0028__ceases,r_0044_0014__the_r_0044_0016__sickness,arg0).
arc(r_0044_0030__and,r_0044_0013__as_soon_as,conj1).
arc(r_0044_0030__and,r_0044_0031__will,conj2).
arc(r_0044_0031__will,r_0044_0033__improve,scope).
arc(r_0044_0033__improve,r_0044_0001__Sherry,arg0).
arc(r_0044_0033__improve,r_0044_0032__also,nim).
arc(r_0044_0035__but,r_0044_0003__if,conj1).
arc(r_0044_0035__but,r_0044_0038__must,conj2).
arc(r_0044_0038__must,r_0044_0062__and,scope).
arc(r_0044_0039__be,r_0044_0040__kept,scope).
arc(r_0044_0040__kept,r_0044_0036__the_r_0044_0037__cellar,arg1).
arc(r_0044_0040__kept,r_0044_0042__a_r_0044_0045__temperature,r_0044_0041__at__nim).
arc(r_0044_0040__kept,z_0044_5050___star_,arg0).
arc(r_0044_0042__a_r_0044_0045__temperature,r_0044_0044__steady,attrib).
arc(r_0044_0044__steady,r_0044_0043__perfectly,qual).
arc(r_0044_0047__neither_r_0044_0050__nor,r_0044_0049__hot,conj1).
arc(r_0044_0047__neither_r_0044_0050__nor,r_0044_0052__cold,conj2).
arc(r_0044_0049__hot,r_0044_0048__too,qual).
arc(r_0044_0052__cold,r_0044_0051__too,qual).
arc(r_0044_0054__but,r_0044_0058__or,conj2).
arc(r_0044_0054__but,z_0044_5043,conj1).
arc(r_0044_0058__or,r_0044_0055__about,qual).
arc(r_0044_0058__or,r_0044_0056__55_r_0044_0057___deg_,conj1).
arc(r_0044_0058__or,r_0044_0059__60_r_0044_0060___deg_,conj2).
arc(r_0044_0062__and,r_0044_0039__be,conj1).
arc(r_0044_0062__and,z_0044_5058,conj2).
arc(r_0044_0064__free,r_0044_0066__draughts,r_0044_0065__from).
arc(r_0044_0066__draughts,r_0044_0069__air,r_0044_0067__of).
arc(r_0044_0069__air,r_0044_0068__cold,attrib).
arc(z_0044_5006,r_0044_0006__quality,r_0044_0004__of__clr).
arc(z_0044_5006,z_0044_5003,arg0).
arc(z_0044_5043,r_0044_0047__neither_r_0044_0050__nor,attrib).
arc(z_0044_5048,r_0044_0042__a_r_0044_0045__temperature,arg0).
arc(z_0044_5048,r_0044_0054__but,prd).
arc(z_0044_5058,r_0044_0036__the_r_0044_0037__cellar,arg0).
arc(z_0044_5058,r_0044_0063__absolutely,nim).
arc(z_0044_5058,r_0044_0064__free,prd).

fof(formula,axiom,
    ? [R_0044_0014__THE_R_0044_0016__SICKNESS,R_0044_0001__SHERRY,R_0044_0024__BOTTLING,R_0044_0021__FIRST_R_0044_0022__CONDITION,Z_0044_5014___STAR_,R_0044_0025__IS_R_0044_0026__CALLED,R_0044_0036__THE_R_0044_0037__CELLAR,R_0044_0043__PERFECTLY,R_0044_0044__STEADY,R_0044_0042__A_R_0044_0045__TEMPERATURE,Z_0044_5050___STAR_,R_0044_0039__BE_R_0044_0040__KEPT,R_0044_0063__ABSOLUTELY,R_0044_0068__COLD,R_0044_0069__AIR,R_0044_0066__DRAUGHTS,R_0044_0064__FREE,Z_0044_5058,R_0044_0062__AND,R_0044_0038__MUST,R_0044_0035__BUT,R_0044_0055__ABOUT,R_0044_0056__55_R_0044_0057___DEG_,R_0044_0059__60_R_0044_0060___DEG_,R_0044_0058__OR,R_0044_0048__TOO,R_0044_0049__HOT,R_0044_0051__TOO,R_0044_0052__COLD,R_0044_0047__NEITHER_R_0044_0050__NOR,Z_0044_5043,R_0044_0054__BUT,Z_0044_5048] :
      ( r_0044_0001__Sherry(R_0044_0001__SHERRY)
      & r_0044_0014__the_r_0044_0016__sickness(R_0044_0014__THE_R_0044_0016__SICKNESS)
      & r_0044_0024__bottling(R_0044_0024__BOTTLING)
      & r_0044_0036__the_r_0044_0037__cellar(R_0044_0036__THE_R_0044_0037__CELLAR)
      & r_0044_0043__perfectly(R_0044_0043__PERFECTLY)
      & r_0044_0048__too(R_0044_0048__TOO)
      & r_0044_0051__too(R_0044_0051__TOO)
      & r_0044_0055__about(R_0044_0055__ABOUT)
      & r_0044_0056__55_r_0044_0057___deg_(R_0044_0056__55_R_0044_0057___DEG_)
      & r_0044_0059__60_r_0044_0060___deg_(R_0044_0059__60_R_0044_0060___DEG_)
      & r_0044_0063__absolutely(R_0044_0063__ABSOLUTELY)
      & r_0044_0068__cold(R_0044_0068__COLD)
      & z_0044_5014___star_(Z_0044_5014___STAR_)
      & z_0044_5050___star_(Z_0044_5050___STAR_)
      & z_0044_5048(Z_0044_5048)
      & has_prd(Z_0044_5048,R_0044_0054__BUT)
      & r_0044_0054__but(R_0044_0054__BUT)
      & has_conj1(R_0044_0054__BUT,Z_0044_5043)
      & z_0044_5043(Z_0044_5043)
      & has_attrib(Z_0044_5043,R_0044_0047__NEITHER_R_0044_0050__NOR)
      & r_0044_0047__neither_r_0044_0050__nor(R_0044_0047__NEITHER_R_0044_0050__NOR)
      & has_conj2(R_0044_0047__NEITHER_R_0044_0050__NOR,R_0044_0052__COLD)
      & r_0044_0052__cold(R_0044_0052__COLD)
      & has_qual(R_0044_0052__COLD,R_0044_0051__TOO)
      & has_conj1(R_0044_0047__NEITHER_R_0044_0050__NOR,R_0044_0049__HOT)
      & r_0044_0049__hot(R_0044_0049__HOT)
      & has_qual(R_0044_0049__HOT,R_0044_0048__TOO)
      & has_conj2(R_0044_0054__BUT,R_0044_0058__OR)
      & r_0044_0058__or(R_0044_0058__OR)
      & has_conj2(R_0044_0058__OR,R_0044_0059__60_R_0044_0060___DEG_)
      & has_conj1(R_0044_0058__OR,R_0044_0056__55_R_0044_0057___DEG_)
      & has_qual(R_0044_0058__OR,R_0044_0055__ABOUT)
      & has_arg0(Z_0044_5048,R_0044_0042__A_R_0044_0045__TEMPERATURE)
      & r_0044_0042__a_r_0044_0045__temperature(R_0044_0042__A_R_0044_0045__TEMPERATURE)
      & has_attrib(R_0044_0042__A_R_0044_0045__TEMPERATURE,R_0044_0044__STEADY)
      & r_0044_0044__steady(R_0044_0044__STEADY)
      & has_qual(R_0044_0044__STEADY,R_0044_0043__PERFECTLY)
      & r_0044_0035__but(R_0044_0035__BUT)
      & has_conj2(R_0044_0035__BUT,R_0044_0038__MUST)
      & r_0044_0038__must(R_0044_0038__MUST)
      & has_keep_scope(R_0044_0038__MUST,R_0044_0062__AND)
      & r_0044_0062__and(R_0044_0062__AND)
      & has_conj2(R_0044_0062__AND,Z_0044_5058)
      & z_0044_5058(Z_0044_5058)
      & has_prd(Z_0044_5058,R_0044_0064__FREE)
      & r_0044_0064__free(R_0044_0064__FREE)
      & has_r_0044_0065__from(R_0044_0064__FREE,R_0044_0066__DRAUGHTS)
      & r_0044_0066__draughts(R_0044_0066__DRAUGHTS)
      & has_r_0044_0067__of(R_0044_0066__DRAUGHTS,R_0044_0069__AIR)
      & r_0044_0069__air(R_0044_0069__AIR)
      & has_attrib(R_0044_0069__AIR,R_0044_0068__COLD)
      & has_nim(Z_0044_5058,R_0044_0063__ABSOLUTELY)
      & has_arg0(Z_0044_5058,R_0044_0036__THE_R_0044_0037__CELLAR)
      & has_conj1(R_0044_0062__AND,R_0044_0039__BE_R_0044_0040__KEPT)
      & r_0044_0039__be_r_0044_0040__kept(R_0044_0039__BE_R_0044_0040__KEPT)
      & has_arg0(R_0044_0039__BE_R_0044_0040__KEPT,Z_0044_5050___STAR_)
      & has_r_0044_0041__at__nim(R_0044_0039__BE_R_0044_0040__KEPT,R_0044_0042__A_R_0044_0045__TEMPERATURE)
      & has_arg1(R_0044_0039__BE_R_0044_0040__KEPT,R_0044_0036__THE_R_0044_0037__CELLAR)
      & ! [Z_0044_5006,R_0044_0005__GOOD,R_0044_0006__QUALITY,Z_0044_5003] :
          ( ( r_0044_0005__good(R_0044_0005__GOOD)
            & z_0044_5003(Z_0044_5003)
            & z_0044_5006(Z_0044_5006)
            & has_arg0(Z_0044_5006,Z_0044_5003)
            & has_r_0044_0004__of__clr(Z_0044_5006,R_0044_0006__QUALITY)
            & r_0044_0006__quality(R_0044_0006__QUALITY)
            & has_attrib(R_0044_0006__QUALITY,R_0044_0005__GOOD) )
         => ? [R_0044_0008__WILL_R_0044_0009__BE_R_0044_0010__FIT_R_0044_0012__DRINK,R_0044_0028__CEASES,R_0044_0013__AS_SOON_AS,R_0044_0032__ALSO,R_0044_0031__WILL_R_0044_0033__IMPROVE,R_0044_0030__AND] :
              ( r_0044_0032__also(R_0044_0032__ALSO)
              & r_0044_0030__and(R_0044_0030__AND)
              & has_conj2(R_0044_0030__AND,R_0044_0031__WILL_R_0044_0033__IMPROVE)
              & r_0044_0031__will_r_0044_0033__improve(R_0044_0031__WILL_R_0044_0033__IMPROVE)
              & has_nim(R_0044_0031__WILL_R_0044_0033__IMPROVE,R_0044_0032__ALSO)
              & has_arg0(R_0044_0031__WILL_R_0044_0033__IMPROVE,R_0044_0001__SHERRY)
              & has_conj1(R_0044_0030__AND,R_0044_0013__AS_SOON_AS)
              & r_0044_0013__as_soon_as(R_0044_0013__AS_SOON_AS)
              & has_conj1(R_0044_0013__AS_SOON_AS,R_0044_0028__CEASES)
              & r_0044_0028__ceases(R_0044_0028__CEASES)
              & has_arg0(R_0044_0028__CEASES,R_0044_0014__THE_R_0044_0016__SICKNESS)
              & has_conj2(R_0044_0013__AS_SOON_AS,R_0044_0008__WILL_R_0044_0009__BE_R_0044_0010__FIT_R_0044_0012__DRINK)
              & r_0044_0008__will_r_0044_0009__be_r_0044_0010__fit_r_0044_0012__drink(R_0044_0008__WILL_R_0044_0009__BE_R_0044_0010__FIT_R_0044_0012__DRINK)
              & has_arg0(R_0044_0008__WILL_R_0044_0009__BE_R_0044_0010__FIT_R_0044_0012__DRINK,R_0044_0001__SHERRY) ) )
      & r_0044_0025__is_r_0044_0026__called(R_0044_0025__IS_R_0044_0026__CALLED)
      & has_arg0(R_0044_0025__IS_R_0044_0026__CALLED,Z_0044_5014___STAR_)
      & has_arg1(R_0044_0025__IS_R_0044_0026__CALLED,R_0044_0021__FIRST_R_0044_0022__CONDITION)
      & r_0044_0021__first_r_0044_0022__condition(R_0044_0021__FIRST_R_0044_0022__CONDITION)
      & has_r_0044_0023__after(R_0044_0021__FIRST_R_0044_0022__CONDITION,R_0044_0024__BOTTLING)
      & has_gen(R_0044_0021__FIRST_R_0044_0022__CONDITION,R_0044_0001__SHERRY)
      & has_prd(R_0044_0025__IS_R_0044_0026__CALLED,R_0044_0014__THE_R_0044_0016__SICKNESS) ) ).