TSPC 46_a_beeton

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

arc(r_0046_0001__Port_r_0046_0002__wine, r_0046_0004__old, attrib11).
arc(r_0046_0004__old, r_0046_0006__the_r_0046_0007__wood, r_0046_0005__in).
arc(r_0046_0009__will, r_0046_0010__be, scope).
arc(r_0046_0010__be, r_0046_0001__Port_r_0046_0002__wine, arg0).
arc(r_0046_0010__be, r_0046_0011__ready, prd).
arc(r_0046_0010__be, r_0046_0015__five_or_six_r_0046_0016__months, r_0046_0014__in_nim40).
arc(r_0046_0011__ready, r_0046_0012__to_r_0046_0013__drink, emb32).
arc(r_0046_0012__to_r_0046_0013__drink, z_000_46_a_beeton_1861_32, arg0).
arc(r_0046_0018__but, r_0046_0009__will, conj1).
arc(r_0046_0018__but, r_0046_0019__if, conj2).
arc(r_0046_0019__if, r_0046_0021__is, restriction).
arc(r_0046_0019__if, r_0046_0029__every_quant, scope).
arc(r_0046_0021__is, r_0046_0020__it, arg0).
arc(r_0046_0021__is, r_0046_0022__a_r_0046_0024__wine, prd).
arc(r_0046_0022__a_r_0046_0024__wine, r_0046_0023__fruity, attrib63).
arc(r_0046_0027__will, r_0046_0028__improve, scope).
arc(r_0046_0027__will, r_0046_0030__year, nim78).
arc(r_0046_0028__improve, r_0046_0026__it, arg0).
arc(r_0046_0029__every_quant, r_0046_0027__will, scope).
arc(r_0046_0029__every_quant, r_0046_0030__year, restriction).

fof(formula,axiom,
    ? [R_0046_0006__THE_R_0046_0007__WOOD,R_0046_0004__OLD,R_0046_0001__PORT_R_0046_0002__WINE,Z_000_46_A_BEETON_1861_32,R_0046_0012__TO_R_0046_0013__DRINK,R_0046_0011__READY,R_0046_0015__FIVE_OR_SIX_R_0046_0016__MONTHS,R_0046_0009__WILL_R_0046_0010__BE,R_0046_0018__BUT] :
      ( r_0046_0006__the_r_0046_0007__wood(R_0046_0006__THE_R_0046_0007__WOOD)
      & r_0046_0015__five_or_six_r_0046_0016__months(R_0046_0015__FIVE_OR_SIX_R_0046_0016__MONTHS)
      & z_000_46_a_beeton_1861_32(Z_000_46_A_BEETON_1861_32)
      & r_0046_0018__but(R_0046_0018__BUT)
      & ! [R_0046_0021__IS,R_0046_0020__IT,R_0046_0023__FRUITY,R_0046_0022__A_R_0046_0024__WINE] :
          ( ( r_0046_0020__it(R_0046_0020__IT)
            & r_0046_0023__fruity(R_0046_0023__FRUITY)
            & r_0046_0021__is(R_0046_0021__IS)
            & has_prd(R_0046_0021__IS,R_0046_0022__A_R_0046_0024__WINE)
            & r_0046_0022__a_r_0046_0024__wine(R_0046_0022__A_R_0046_0024__WINE)
            & has_attrib63(R_0046_0022__A_R_0046_0024__WINE,R_0046_0023__FRUITY)
            & has_arg0(R_0046_0021__IS,R_0046_0020__IT) )
         => ! [R_0046_0030__YEAR] :
              ( r_0046_0030__year(R_0046_0030__YEAR)
             => ? [R_0046_0026__IT,R_0046_0027__WILL_R_0046_0028__IMPROVE] :
                  ( r_0046_0026__it(R_0046_0026__IT)
                  & r_0046_0027__will_r_0046_0028__improve(R_0046_0027__WILL_R_0046_0028__IMPROVE)
                  & has_arg0(R_0046_0027__WILL_R_0046_0028__IMPROVE,R_0046_0026__IT)
                  & has_nim78(R_0046_0027__WILL_R_0046_0028__IMPROVE,R_0046_0030__YEAR) ) ) )
      & has_conj1(R_0046_0018__BUT,R_0046_0009__WILL_R_0046_0010__BE)
      & r_0046_0009__will_r_0046_0010__be(R_0046_0009__WILL_R_0046_0010__BE)
      & has_r_0046_0014__in_nim40(R_0046_0009__WILL_R_0046_0010__BE,R_0046_0015__FIVE_OR_SIX_R_0046_0016__MONTHS)
      & has_prd(R_0046_0009__WILL_R_0046_0010__BE,R_0046_0011__READY)
      & r_0046_0011__ready(R_0046_0011__READY)
      & has_emb32(R_0046_0011__READY,R_0046_0012__TO_R_0046_0013__DRINK)
      & r_0046_0012__to_r_0046_0013__drink(R_0046_0012__TO_R_0046_0013__DRINK)
      & has_arg0(R_0046_0012__TO_R_0046_0013__DRINK,Z_000_46_A_BEETON_1861_32)
      & has_arg0(R_0046_0009__WILL_R_0046_0010__BE,R_0046_0001__PORT_R_0046_0002__WINE)
      & r_0046_0001__Port_r_0046_0002__wine(R_0046_0001__PORT_R_0046_0002__WINE)
      & has_attrib11(R_0046_0001__PORT_R_0046_0002__WINE,R_0046_0004__OLD)
      & r_0046_0004__old(R_0046_0004__OLD)
      & has_r_0046_0005__in(R_0046_0004__OLD,R_0046_0006__THE_R_0046_0007__WOOD) ) ).

( (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 (NUM five_or_six;{five_or_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 46_a_beeton_1861;2170-2))