TSPC 43_a_beeton

43_a_beeton_1861
Port wine, old in the wood, will be ready to drink in five or six months; but if it is a fruity wine, it will improve every year.

( (IP-MAT (ILYR (ILYR (NP-SBJ (N Port;{port})
                              (N wine;{wine})
                              (PUNC ,)
                              (ADJP (ADJ old;{old})
                                    (PP (P-ROLE in;{in})
                                        (NP (D the;{the})
                                            (N wood;{wood})))))
                      (PUNC ,)
                      (MD;_cat_Vi_ will;{will})
                      (IP-INF-CAT (BE;_La_ be;{be})
                                  (ADJP-PRD (ADJ;_cat_ ready;{ready})
                                            (IP-INF (TO to;{to})
                                                    (VB;__ drink;{drink})))
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (NLYR (NLYR (NLYR (NUM five;{five}))
                                                          (CONJP (CONJ or;{or})
                                                                 (NLYR (NUM six;{six})))))
                                              (NS months;{month})))))
                (PUNC ;)
                (CONJP (CONJ but;{but})
                       (ILYR (PP-SCON (P-CONN if;{if})
                                      (IP-ADV (NP-SBJ;{FRUITY_WINE} (PRO it;{it}))
                                              (BEP;_Ln_ is;{be})
                                              (NP-PRD (D a;{a})
                                                      (ADJP (ADJ fruity;{fruity}))
                                                      (N wine;{wine}))))
                             (PUNC ,)
                             (NP-SBJ;{FRUITY_WINE} (PRO it;{it}))
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (VB;__ improve;{improve}))
                             (NP-NIM (Q every;{every})
                                     (N year;{year})))))
          (PUNC .))
  (ID 43_a_beeton_1861;2170-2))

arc(r_0043_0001__Port_r_0043_0002__wine,r_0043_0004__old,attrib).
arc(r_0043_0004__old,r_0043_0006__the_r_0043_0007__wood,r_0043_0005__in).
arc(r_0043_0009__will,r_0043_0010__be,scope).
arc(r_0043_0010__be,r_0043_0011__ready,scope).
arc(r_0043_0010__be,r_0043_0018__months,r_0043_0014__in__nim).
arc(r_0043_0011__ready,r_0043_0013__drink,scope).
arc(r_0043_0013__drink,r_0043_0001__Port_r_0043_0002__wine,arg0).
arc(r_0043_0016__or,r_0043_0015__five,conj1).
arc(r_0043_0016__or,r_0043_0017__six,conj2).
arc(r_0043_0018__months,r_0043_0016__or,nim).
arc(r_0043_0020__but,r_0043_0009__will,conj1).
arc(r_0043_0020__but,r_0043_0021__if,conj2).
arc(r_0043_0021__if,r_0043_0023__is,restriction).
arc(r_0043_0021__if,r_0043_0031__every__quant,scope).
arc(r_0043_0023__is,r_0043_0022__it,arg0).
arc(r_0043_0023__is,r_0043_0024__a_r_0043_0026__wine,prd).
arc(r_0043_0024__a_r_0043_0026__wine,r_0043_0025__fruity,attrib).
arc(r_0043_0029__will,r_0043_0030__improve,scope).
arc(r_0043_0029__will,r_0043_0032__year,nim).
arc(r_0043_0030__improve,r_0043_0022__it,arg0).
arc(r_0043_0031__every__quant,r_0043_0029__will,scope).
arc(r_0043_0031__every__quant,r_0043_0032__year,restriction).

fof(formula,axiom,
    ? [R_0043_0015__FIVE,R_0043_0017__SIX,R_0043_0016__OR,R_0043_0018__MONTHS,R_0043_0006__THE_R_0043_0007__WOOD,R_0043_0004__OLD,R_0043_0001__PORT_R_0043_0002__WINE,R_0043_0009__WILL_R_0043_0010__BE_R_0043_0011__READY_R_0043_0013__DRINK,R_0043_0020__BUT] :
      ( r_0043_0006__the_r_0043_0007__wood(R_0043_0006__THE_R_0043_0007__WOOD)
      & r_0043_0015__five(R_0043_0015__FIVE)
      & r_0043_0017__six(R_0043_0017__SIX)
      & r_0043_0020__but(R_0043_0020__BUT)
      & ! [R_0043_0023__IS,R_0043_0022__IT,R_0043_0025__FRUITY,R_0043_0024__A_R_0043_0026__WINE] :
          ( ( r_0043_0022__it(R_0043_0022__IT)
            & r_0043_0025__fruity(R_0043_0025__FRUITY)
            & r_0043_0023__is(R_0043_0023__IS)
            & has_prd(R_0043_0023__IS,R_0043_0024__A_R_0043_0026__WINE)
            & r_0043_0024__a_r_0043_0026__wine(R_0043_0024__A_R_0043_0026__WINE)
            & has_attrib(R_0043_0024__A_R_0043_0026__WINE,R_0043_0025__FRUITY)
            & has_arg0(R_0043_0023__IS,R_0043_0022__IT) )
         => ! [R_0043_0032__YEAR] :
              ( r_0043_0032__year(R_0043_0032__YEAR)
             => ? [R_0043_0029__WILL_R_0043_0030__IMPROVE] :
                  ( r_0043_0029__will_r_0043_0030__improve(R_0043_0029__WILL_R_0043_0030__IMPROVE)
                  & has_arg0(R_0043_0029__WILL_R_0043_0030__IMPROVE,R_0043_0022__IT)
                  & has_nim(R_0043_0029__WILL_R_0043_0030__IMPROVE,R_0043_0032__YEAR) ) ) )
      & has_conj1(R_0043_0020__BUT,R_0043_0009__WILL_R_0043_0010__BE_R_0043_0011__READY_R_0043_0013__DRINK)
      & r_0043_0009__will_r_0043_0010__be_r_0043_0011__ready_r_0043_0013__drink(R_0043_0009__WILL_R_0043_0010__BE_R_0043_0011__READY_R_0043_0013__DRINK)
      & has_arg0(R_0043_0009__WILL_R_0043_0010__BE_R_0043_0011__READY_R_0043_0013__DRINK,R_0043_0001__PORT_R_0043_0002__WINE)
      & r_0043_0001__Port_r_0043_0002__wine(R_0043_0001__PORT_R_0043_0002__WINE)
      & has_attrib(R_0043_0001__PORT_R_0043_0002__WINE,R_0043_0004__OLD)
      & r_0043_0004__old(R_0043_0004__OLD)
      & has_r_0043_0005__in(R_0043_0004__OLD,R_0043_0006__THE_R_0043_0007__WOOD)
      & has_r_0043_0014__in__nim(R_0043_0009__WILL_R_0043_0010__BE_R_0043_0011__READY_R_0043_0013__DRINK,R_0043_0018__MONTHS)
      & r_0043_0018__months(R_0043_0018__MONTHS)
      & has_nim(R_0043_0018__MONTHS,R_0043_0016__OR)
      & r_0043_0016__or(R_0043_0016__OR)
      & has_conj2(R_0043_0016__OR,R_0043_0017__SIX)
      & has_conj1(R_0043_0016__OR,R_0043_0015__FIVE) ) ).