Context                Previous, Next                Top


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.

%3 r_0046_0001__Port_r_0046_0002__wine Port wine r_0046_0004__old old r_0046_0001__Port_r_0046_0002__wine->r_0046_0004__old [attrib] r_0046_0006__the_r_0046_0007__wood the wood r_0046_0004__old->r_0046_0006__the_r_0046_0007__wood in r_0046_0009__will will r_0046_0010__be be r_0046_0009__will->r_0046_0010__be [scope] r_0046_0010__be->r_0046_0001__Port_r_0046_0002__wine [arg0] r_0046_0011__ready ready r_0046_0010__be->r_0046_0011__ready [prd] r_0046_0015__five_or_six_r_0046_0016__months five or six months r_0046_0010__be->r_0046_0015__five_or_six_r_0046_0016__months in [nim] r_0046_0012__to_r_0046_0013__drink to drink r_0046_0011__ready->r_0046_0012__to_r_0046_0013__drink [emb] z_000_46_a_beeton_1861_32 r_0046_0012__to_r_0046_0013__drink->z_000_46_a_beeton_1861_32 [arg0] r_0046_0018__but but r_0046_0018__but->r_0046_0009__will [conj1] r_0046_0019__if if r_0046_0018__but->r_0046_0019__if [conj2] r_0046_0021__is is r_0046_0019__if->r_0046_0021__is [restriction] r_0046_0029__every_quant every [quant] r_0046_0019__if->r_0046_0029__every_quant [scope] r_0046_0020__it it r_0046_0021__is->r_0046_0020__it [arg0] r_0046_0022__a_r_0046_0024__wine a wine r_0046_0021__is->r_0046_0022__a_r_0046_0024__wine [prd] r_0046_0027__will will r_0046_0029__every_quant->r_0046_0027__will [scope] r_0046_0030__year year r_0046_0029__every_quant->r_0046_0030__year [restriction] r_0046_0023__fruity fruity r_0046_0022__a_r_0046_0024__wine->r_0046_0023__fruity [attrib] r_0046_0028__improve improve r_0046_0027__will->r_0046_0028__improve [scope] r_0046_0027__will->r_0046_0030__year [nim] r_0046_0026__it it r_0046_0028__improve->r_0046_0026__it [arg0] 
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).


%3 r_0046_0001__Port_r_0046_0002__wine Port wine r_0046_0004__old old r_0046_0001__Port_r_0046_0002__wine->r_0046_0004__old [attrib] r_0046_0006__the_r_0046_0007__wood the wood r_0046_0004__old->r_0046_0006__the_r_0046_0007__wood in r_0046_0009__will_r_0046_0010__be will be r_0046_0009__will_r_0046_0010__be->r_0046_0001__Port_r_0046_0002__wine [arg0] r_0046_0011__ready ready r_0046_0009__will_r_0046_0010__be->r_0046_0011__ready [prd] r_0046_0015__five_or_six_r_0046_0016__months five or six months r_0046_0009__will_r_0046_0010__be->r_0046_0015__five_or_six_r_0046_0016__months in [nim] r_0046_0012__to_r_0046_0013__drink to drink r_0046_0011__ready->r_0046_0012__to_r_0046_0013__drink [emb] z_000_46_a_beeton_1861_32 r_0046_0012__to_r_0046_0013__drink->z_000_46_a_beeton_1861_32 [arg0] r_0046_0018__but but r_0046_0018__but->r_0046_0009__will_r_0046_0010__be [conj1] r_0046_0019__if if r_0046_0018__but->r_0046_0019__if [conj2] r_0046_0021__is is r_0046_0019__if->r_0046_0021__is [restriction] r_0046_0029__every_quant every [quant] r_0046_0019__if->r_0046_0029__every_quant [scope] r_0046_0020__it it r_0046_0021__is->r_0046_0020__it [arg0] r_0046_0022__a_r_0046_0024__wine a wine r_0046_0021__is->r_0046_0022__a_r_0046_0024__wine [prd] r_0046_0027__will_r_0046_0028__improve will improve r_0046_0029__every_quant->r_0046_0027__will_r_0046_0028__improve [scope] r_0046_0030__year year r_0046_0029__every_quant->r_0046_0030__year [restriction] r_0046_0023__fruity fruity r_0046_0022__a_r_0046_0024__wine->r_0046_0023__fruity [attrib] r_0046_0026__it it r_0046_0027__will_r_0046_0028__improve->r_0046_0026__it [arg0] r_0046_0027__will_r_0046_0028__improve->r_0046_0030__year [nim] 
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) ) ).


n46_a_beeton_1861 n46_a_beeton_1861_6 Port n46_a_beeton_1861_8 wine n46_a_beeton_1861_10 , n46_a_beeton_1861_13 old n46_a_beeton_1861_16 in n46_a_beeton_1861_19 the n46_a_beeton_1861_21 wood n46_a_beeton_1861_23 , n46_a_beeton_1861_25 will n46_a_beeton_1861_28 be n46_a_beeton_1861_31 ready n46_a_beeton_1861_34 to n46_a_beeton_1861_36 drink n46_a_beeton_1861_39 in n46_a_beeton_1861_42 five_or_six n46_a_beeton_1861_44 months n46_a_beeton_1861_46 ; n46_a_beeton_1861_49 but n46_a_beeton_1861_53 if n46_a_beeton_1861_57 it n46_a_beeton_1861_59 is n46_a_beeton_1861_62 a n46_a_beeton_1861_65 fruity n46_a_beeton_1861_67 wine n46_a_beeton_1861_69 , n46_a_beeton_1861_72 it n46_a_beeton_1861_74 will n46_a_beeton_1861_77 improve n46_a_beeton_1861_80 every n46_a_beeton_1861_82 year n46_a_beeton_1861_84 . n46_a_beeton_1861_1 IP-MAT n46_a_beeton_1861_2 ILYR n46_a_beeton_1861_1->n46_a_beeton_1861_2 n46_a_beeton_1861_83 PUNC n46_a_beeton_1861_1->n46_a_beeton_1861_83 n46_a_beeton_1861_3 ILYR n46_a_beeton_1861_2->n46_a_beeton_1861_3 n46_a_beeton_1861_45 PUNC n46_a_beeton_1861_2->n46_a_beeton_1861_45 n46_a_beeton_1861_47 CONJP n46_a_beeton_1861_2->n46_a_beeton_1861_47 n46_a_beeton_1861_4 NP-SBJ n46_a_beeton_1861_3->n46_a_beeton_1861_4 n46_a_beeton_1861_22 PUNC n46_a_beeton_1861_3->n46_a_beeton_1861_22 n46_a_beeton_1861_24 MD;_cat_Vi_ n46_a_beeton_1861_3->n46_a_beeton_1861_24 n46_a_beeton_1861_26 IP-INF-CAT n46_a_beeton_1861_3->n46_a_beeton_1861_26 n46_a_beeton_1861_5 N n46_a_beeton_1861_4->n46_a_beeton_1861_5 n46_a_beeton_1861_7 N n46_a_beeton_1861_4->n46_a_beeton_1861_7 n46_a_beeton_1861_9 PUNC n46_a_beeton_1861_4->n46_a_beeton_1861_9 n46_a_beeton_1861_11 ADJP n46_a_beeton_1861_4->n46_a_beeton_1861_11 n46_a_beeton_1861_5->n46_a_beeton_1861_6 n46_a_beeton_1861_7->n46_a_beeton_1861_8 n46_a_beeton_1861_9->n46_a_beeton_1861_10 n46_a_beeton_1861_12 ADJ n46_a_beeton_1861_11->n46_a_beeton_1861_12 n46_a_beeton_1861_14 PP n46_a_beeton_1861_11->n46_a_beeton_1861_14 n46_a_beeton_1861_12->n46_a_beeton_1861_13 n46_a_beeton_1861_15 P-ROLE n46_a_beeton_1861_14->n46_a_beeton_1861_15 n46_a_beeton_1861_17 NP n46_a_beeton_1861_14->n46_a_beeton_1861_17 n46_a_beeton_1861_15->n46_a_beeton_1861_16 n46_a_beeton_1861_18 D n46_a_beeton_1861_17->n46_a_beeton_1861_18 n46_a_beeton_1861_20 N n46_a_beeton_1861_17->n46_a_beeton_1861_20 n46_a_beeton_1861_18->n46_a_beeton_1861_19 n46_a_beeton_1861_20->n46_a_beeton_1861_21 n46_a_beeton_1861_22->n46_a_beeton_1861_23 n46_a_beeton_1861_24->n46_a_beeton_1861_25 n46_a_beeton_1861_27 BE;_La_ n46_a_beeton_1861_26->n46_a_beeton_1861_27 n46_a_beeton_1861_29 ADJP-PRD n46_a_beeton_1861_26->n46_a_beeton_1861_29 n46_a_beeton_1861_37 PP-NIM n46_a_beeton_1861_26->n46_a_beeton_1861_37 n46_a_beeton_1861_27->n46_a_beeton_1861_28 n46_a_beeton_1861_30 ADJ;_cat_ n46_a_beeton_1861_29->n46_a_beeton_1861_30 n46_a_beeton_1861_32 IP-INF n46_a_beeton_1861_29->n46_a_beeton_1861_32 n46_a_beeton_1861_30->n46_a_beeton_1861_31 n46_a_beeton_1861_33 TO n46_a_beeton_1861_32->n46_a_beeton_1861_33 n46_a_beeton_1861_35 VB;__ n46_a_beeton_1861_32->n46_a_beeton_1861_35 n46_a_beeton_1861_33->n46_a_beeton_1861_34 n46_a_beeton_1861_35->n46_a_beeton_1861_36 n46_a_beeton_1861_38 P-ROLE n46_a_beeton_1861_37->n46_a_beeton_1861_38 n46_a_beeton_1861_40 NP n46_a_beeton_1861_37->n46_a_beeton_1861_40 n46_a_beeton_1861_38->n46_a_beeton_1861_39 n46_a_beeton_1861_41 NUM n46_a_beeton_1861_40->n46_a_beeton_1861_41 n46_a_beeton_1861_43 NS n46_a_beeton_1861_40->n46_a_beeton_1861_43 n46_a_beeton_1861_41->n46_a_beeton_1861_42 n46_a_beeton_1861_43->n46_a_beeton_1861_44 n46_a_beeton_1861_45->n46_a_beeton_1861_46 n46_a_beeton_1861_48 CONJ n46_a_beeton_1861_47->n46_a_beeton_1861_48 n46_a_beeton_1861_50 ILYR n46_a_beeton_1861_47->n46_a_beeton_1861_50 n46_a_beeton_1861_48->n46_a_beeton_1861_49 n46_a_beeton_1861_51 PP-SCON n46_a_beeton_1861_50->n46_a_beeton_1861_51 n46_a_beeton_1861_68 PUNC n46_a_beeton_1861_50->n46_a_beeton_1861_68 n46_a_beeton_1861_70 NP-SBJ n46_a_beeton_1861_50->n46_a_beeton_1861_70 n46_a_beeton_1861_73 MD;_cat_Vi_ n46_a_beeton_1861_50->n46_a_beeton_1861_73 n46_a_beeton_1861_75 IP-INF-CAT n46_a_beeton_1861_50->n46_a_beeton_1861_75 n46_a_beeton_1861_78 NP-NIM n46_a_beeton_1861_50->n46_a_beeton_1861_78 n46_a_beeton_1861_52 P-CONN n46_a_beeton_1861_51->n46_a_beeton_1861_52 n46_a_beeton_1861_54 IP-ADV n46_a_beeton_1861_51->n46_a_beeton_1861_54 n46_a_beeton_1861_52->n46_a_beeton_1861_53 n46_a_beeton_1861_55 NP-SBJ n46_a_beeton_1861_54->n46_a_beeton_1861_55 n46_a_beeton_1861_58 BEP;_Ln_ n46_a_beeton_1861_54->n46_a_beeton_1861_58 n46_a_beeton_1861_60 NP-PRD n46_a_beeton_1861_54->n46_a_beeton_1861_60 n46_a_beeton_1861_56 PRO n46_a_beeton_1861_55->n46_a_beeton_1861_56 n46_a_beeton_1861_56->n46_a_beeton_1861_57 n46_a_beeton_1861_58->n46_a_beeton_1861_59 n46_a_beeton_1861_61 D n46_a_beeton_1861_60->n46_a_beeton_1861_61 n46_a_beeton_1861_63 ADJP n46_a_beeton_1861_60->n46_a_beeton_1861_63 n46_a_beeton_1861_66 N n46_a_beeton_1861_60->n46_a_beeton_1861_66 n46_a_beeton_1861_61->n46_a_beeton_1861_62 n46_a_beeton_1861_64 ADJ n46_a_beeton_1861_63->n46_a_beeton_1861_64 n46_a_beeton_1861_64->n46_a_beeton_1861_65 n46_a_beeton_1861_66->n46_a_beeton_1861_67 n46_a_beeton_1861_68->n46_a_beeton_1861_69 n46_a_beeton_1861_71 PRO n46_a_beeton_1861_70->n46_a_beeton_1861_71 n46_a_beeton_1861_71->n46_a_beeton_1861_72 n46_a_beeton_1861_73->n46_a_beeton_1861_74 n46_a_beeton_1861_76 VB;__ n46_a_beeton_1861_75->n46_a_beeton_1861_76 n46_a_beeton_1861_76->n46_a_beeton_1861_77 n46_a_beeton_1861_79 Q n46_a_beeton_1861_78->n46_a_beeton_1861_79 n46_a_beeton_1861_81 N n46_a_beeton_1861_78->n46_a_beeton_1861_81 n46_a_beeton_1861_79->n46_a_beeton_1861_80 n46_a_beeton_1861_81->n46_a_beeton_1861_82 n46_a_beeton_1861_83->n46_a_beeton_1861_84 
( (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))