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_46_18_BUT,R_46_9_WILL_BE,R_46_1_PORT_WINE,R_46_4_OLD,R_46_6_THE_WOOD,R_46_11_READY,R_46_12_TO_DRINK,Z_46_A_BEETON_1861_32,R_46_15_FIVE_OR_SIX_MONTHS] :
( the_wood(R_46_6_THE_WOOD)
& five_or_six_months(R_46_15_FIVE_OR_SIX_MONTHS)
& ! [R_46_21_IS,R_46_20_IT,R_46_22_A_WINE,R_46_23_FRUITY] :
( ( it(R_46_20_IT)
& fruity(R_46_23_FRUITY)
& is(R_46_21_IS,R_46_20_IT,R_46_22_A_WINE)
& a_wine(R_46_22_A_WINE)
& attrib63(R_46_22_A_WINE,R_46_23_FRUITY) )
=> ! [R_46_30_YEAR] :
( year(R_46_30_YEAR)
=> ? [R_46_27_WILL_IMPROVE,R_46_26_IT] :
( it(R_46_26_IT)
& will_improve(R_46_27_WILL_IMPROVE,R_46_26_IT)
& nim78(R_46_27_WILL_IMPROVE,R_46_30_YEAR) ) ) )
& conj2(CONJ2)
& but(R_46_18_BUT)
& conj1(R_46_18_BUT,R_46_9_WILL_BE)
& will_be(R_46_9_WILL_BE,R_46_1_PORT_WINE,R_46_11_READY)
& port_wine(R_46_1_PORT_WINE)
& attrib11(R_46_1_PORT_WINE,R_46_4_OLD)
& old(R_46_4_OLD)
& in(R_46_4_OLD,R_46_6_THE_WOOD)
& ready(R_46_11_READY)
& emb32(R_46_11_READY,R_46_12_TO_DRINK)
& to_drink(R_46_12_TO_DRINK,Z_46_A_BEETON_1861_32)
& in_nim40(R_46_9_WILL_BE,R_46_15_FIVE_OR_SIX_MONTHS) ) ).
( (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))