TSTP Solution File: PRD002+1 by Refute---2015
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Refute---2015
% Problem : PRD002+1 : TPTP v6.4.0. Released v6.2.0.
% Transfm : none
% Format : tptp:raw
% Command : isabelle tptp_refute %d %s
% Computer : n023.star.cs.uiowa.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2609 0 2.40GHz
% Memory : 16091.75MB
% OS : Linux 3.10.0-327.10.1.el7.x86_64
% CPULimit : 300s
% DateTime : Thu Apr 14 02:24:42 EDT 2016
% Result : Timeout 300.09s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.03 % Problem : PRD002+1 : TPTP v6.4.0. Released v6.2.0.
% 0.00/0.04 % Command : isabelle tptp_refute %d %s
% 0.03/0.23 % Computer : n023.star.cs.uiowa.edu
% 0.03/0.23 % Model : x86_64 x86_64
% 0.03/0.23 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
% 0.03/0.23 % Memory : 16091.75MB
% 0.03/0.23 % OS : Linux 3.10.0-327.10.1.el7.x86_64
% 0.03/0.23 % CPULimit : 300
% 0.03/0.23 % DateTime : Wed Apr 6 09:01:09 CDT 2016
% 0.03/0.23 % CPUTime :
% 6.28/5.94 > val it = (): unit
% 7.89/7.55 Trying to find a model that refutes: EX X. bnd_frenchwine X
% 26.73/26.39 Unfolded term: [| ALL X Y Z.
% 26.73/26.39 (((bnd_kaon2equal X Y & bnd_kaon2equal Y Z) & bnd_kaon2hu X) &
% 26.73/26.39 bnd_kaon2hu Y) &
% 26.73/26.39 bnd_kaon2hu Z -->
% 26.73/26.39 bnd_kaon2equal X Z;
% 26.73/26.39 ALL X Y.
% 26.73/26.39 (bnd_kaon2hu X & bnd_kaon2hu Y) & bnd_kaon2equal Y X -->
% 26.73/26.39 bnd_kaon2equal X Y;
% 26.73/26.39 ALL X Y1 Y2.
% 26.73/26.39 (bnd_q3 X & bnd_madefromgrape X Y1) & bnd_madefromgrape X Y2 -->
% 26.73/26.39 bnd_kaon2equal Y1 Y2;
% 26.73/26.39 ALL X Y1 Y2.
% 26.73/26.39 bnd_hasbody X Y1 & bnd_hasbody X Y2 --> bnd_kaon2equal Y1 Y2;
% 26.73/26.39 ALL X Y1 Y2.
% 26.73/26.39 bnd_hasmaker X Y1 & bnd_hasmaker X Y2 --> bnd_kaon2equal Y1 Y2;
% 26.73/26.39 ALL X Y1 Y2.
% 26.73/26.39 bnd_hascolor X Y1 & bnd_hascolor X Y2 --> bnd_kaon2equal Y1 Y2;
% 26.73/26.39 ALL X Y1 Y2.
% 26.73/26.39 bnd_hasvintageyear X Y1 & bnd_hasvintageyear X Y2 -->
% 26.73/26.39 bnd_kaon2equal Y1 Y2;
% 26.73/26.39 ALL X Y1 Y2.
% 26.73/26.39 bnd_hassugar X Y1 & bnd_hassugar X Y2 --> bnd_kaon2equal Y1 Y2;
% 26.73/26.39 ALL X Y1 Y2.
% 26.73/26.39 bnd_hasflavor X Y1 & bnd_hasflavor X Y2 --> bnd_kaon2equal Y1 Y2;
% 26.73/26.39 ALL X. bnd_kaon2hu X --> bnd_kaon2equal X X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.39 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X. bnd_kaon2namedobjects X --> bnd_kaon2hu X;
% 26.73/26.40 ALL X_0 Y X.
% 26.73/26.40 bnd_produceswine X_0 Y & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_produceswine X_0 X;
% 26.73/26.40 ALL Y X_1 X.
% 26.73/26.40 bnd_produceswine Y X_1 & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_produceswine X X_1;
% 26.73/26.40 ALL X Y. bnd_hasmaker X Y --> bnd_produceswine Y X;
% 26.73/26.40 ALL X_0 Y X.
% 26.73/26.40 bnd_madeintowine X_0 Y & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_madeintowine X_0 X;
% 26.73/26.40 ALL Y X_1 X.
% 26.73/26.40 bnd_madeintowine Y X_1 & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_madeintowine X X_1;
% 26.73/26.40 ALL X Y. bnd_madefromgrape X Y --> bnd_madeintowine Y X;
% 26.73/26.40 ALL X_0 Y X.
% 26.73/26.40 bnd_madefromgrape X_0 Y & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_madefromgrape X_0 X;
% 26.73/26.40 ALL Y X_1 X.
% 26.73/26.40 bnd_madefromgrape Y X_1 & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_madefromgrape X X_1;
% 26.73/26.40 ALL X. bnd_q63 X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X. bnd_q44 X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X. bnd_q69 X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X.
% 26.73/26.40 bnd_cabernetfranc X & bnd_kaon2namedobjects X -->
% 26.73/26.40 bnd_madefromgrape X X;
% 26.73/26.40 ALL X. bnd_chianti X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X. bnd_q13 X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X.
% 26.73/26.40 bnd_petitesyrah X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X. bnd_q6 X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X.
% 26.73/26.40 bnd_zinfandel X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X. bnd_q5 X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X. bnd_q24 X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X. bnd_q14 X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X.
% 26.73/26.40 bnd_semillon X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X. bnd_q5 X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X. bnd_q72 X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X. bnd_wine X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X.
% 26.73/26.40 bnd_riesling X & bnd_kaon2namedobjects X --> bnd_madefromgrape X X;
% 26.73/26.40 ALL X Y. bnd_madeintowine X Y --> bnd_madefromgrape Y X;
% 26.73/26.40 ALL X_0 Y X.
% 26.73/26.40 bnd_madefromfruit X_0 Y & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_madefromfruit X_0 X;
% 26.73/26.40 ALL Y X_1 X.
% 26.73/26.40 bnd_madefromfruit Y X_1 & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_madefromfruit X X_1;
% 26.73/26.40 ALL X Y. bnd_madefromgrape X Y --> bnd_madefromfruit X Y;
% 26.73/26.40 ALL X Y Z.
% 26.73/26.40 (((bnd_locatedin X Y & bnd_locatedin Y Z) & bnd_kaon2namedobjects Z) &
% 26.73/26.40 bnd_kaon2namedobjects Y) &
% 26.73/26.40 bnd_kaon2namedobjects X -->
% 26.73/26.40 bnd_locatedin X Z;
% 26.73/26.40 ALL X Y Z. bnd_locatedin X Y & bnd_locatedin Y Z --> bnd_locatedin X Z;
% 26.73/26.40 ALL X_0 Y X.
% 26.73/26.40 bnd_locatedin X_0 Y & bnd_kaon2equal X Y --> bnd_locatedin X_0 X;
% 26.73/26.40 ALL Y X_1 X.
% 26.73/26.40 bnd_locatedin Y X_1 & bnd_kaon2equal X Y --> bnd_locatedin X X_1;
% 26.73/26.40 ALL X. bnd_q66 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_sauternes X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q64 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q39 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q47 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q1 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q29 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q73 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q16 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q55 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q51 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q26 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_port X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_chianti X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q22 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q9 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q42 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q49 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q18 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_wine X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q33 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q59 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q61 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q37 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X. bnd_q57 X & bnd_kaon2namedobjects X --> bnd_locatedin X X;
% 26.73/26.40 ALL X_0 Y X.
% 26.73/26.40 bnd_haswinedescriptor X_0 Y & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_haswinedescriptor X_0 X;
% 26.73/26.40 ALL Y X_1 X.
% 26.73/26.40 bnd_haswinedescriptor Y X_1 & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_haswinedescriptor X X_1;
% 26.73/26.40 ALL X Y. bnd_hassugar X Y --> bnd_haswinedescriptor X Y;
% 26.73/26.40 ALL X Y. bnd_hasflavor X Y --> bnd_haswinedescriptor X Y;
% 26.73/26.40 ALL X Y. bnd_hascolor X Y --> bnd_haswinedescriptor X Y;
% 26.73/26.40 ALL X Y. bnd_hasbody X Y --> bnd_haswinedescriptor X Y;
% 26.73/26.40 ALL X_0 Y X.
% 26.73/26.40 bnd_hasvintageyear X_0 Y & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_hasvintageyear X_0 X;
% 26.73/26.40 ALL Y X_1 X.
% 26.73/26.40 bnd_hasvintageyear Y X_1 & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_hasvintageyear X X_1;
% 26.73/26.40 ALL X.
% 26.73/26.40 bnd_vintage X & bnd_kaon2namedobjects X --> bnd_hasvintageyear X X;
% 26.73/26.40 ALL X_0 Y X.
% 26.73/26.40 bnd_hassugar X_0 Y & bnd_kaon2equal X Y --> bnd_hassugar X_0 X;
% 26.73/26.40 ALL Y X_1 X.
% 26.73/26.40 bnd_hassugar Y X_1 & bnd_kaon2equal X Y --> bnd_hassugar X X_1;
% 26.73/26.40 ALL X. bnd_q32 X & bnd_kaon2namedobjects X --> bnd_hassugar X X;
% 26.73/26.40 ALL X. bnd_q70 X & bnd_kaon2namedobjects X --> bnd_hassugar X X;
% 26.73/26.40 ALL X. bnd_whitewine X & bnd_kaon2namedobjects X --> bnd_hassugar X X;
% 26.73/26.40 ALL X. bnd_q31 X & bnd_kaon2namedobjects X --> bnd_hassugar X X;
% 26.73/26.40 ALL X. bnd_wine X & bnd_kaon2namedobjects X --> bnd_hassugar X X;
% 26.73/26.40 ALL X_0 Y X.
% 26.73/26.40 bnd_hasmaker X_0 Y & bnd_kaon2equal X Y --> bnd_hasmaker X_0 X;
% 26.73/26.40 ALL Y X_1 X.
% 26.73/26.40 bnd_hasmaker Y X_1 & bnd_kaon2equal X Y --> bnd_hasmaker X X_1;
% 26.73/26.40 ALL X. bnd_wine X & bnd_kaon2namedobjects X --> bnd_hasmaker X X;
% 26.73/26.40 ALL X Y. bnd_produceswine X Y --> bnd_hasmaker Y X;
% 26.73/26.40 ALL X_0 Y X.
% 26.73/26.40 bnd_hasflavor X_0 Y & bnd_kaon2equal X Y --> bnd_hasflavor X_0 X;
% 26.73/26.40 ALL Y X_1 X.
% 26.73/26.40 bnd_hasflavor Y X_1 & bnd_kaon2equal X Y --> bnd_hasflavor X X_1;
% 26.73/26.40 ALL X. bnd_wine X & bnd_kaon2namedobjects X --> bnd_hasflavor X X;
% 26.73/26.40 ALL X. bnd_q20 X & bnd_kaon2namedobjects X --> bnd_hasflavor X X;
% 26.73/26.40 ALL X. bnd_q11 X & bnd_kaon2namedobjects X --> bnd_hasflavor X X;
% 26.73/26.40 ALL X. bnd_q4 X & bnd_kaon2namedobjects X --> bnd_hasflavor X X;
% 26.73/26.40 ALL X_0 Y X.
% 26.73/26.40 bnd_hascolor X_0 Y & bnd_kaon2equal X Y --> bnd_hascolor X_0 X;
% 26.73/26.40 ALL Y X_1 X.
% 26.73/26.40 bnd_hascolor Y X_1 & bnd_kaon2equal X Y --> bnd_hascolor X X_1;
% 26.73/26.40 ALL X. bnd_q12 X & bnd_kaon2namedobjects X --> bnd_hascolor X X;
% 26.73/26.40 ALL X. bnd_wine X & bnd_kaon2namedobjects X --> bnd_hascolor X X;
% 26.73/26.40 ALL X. bnd_q15 X & bnd_kaon2namedobjects X --> bnd_hascolor X X;
% 26.73/26.40 ALL X. bnd_q0 X & bnd_kaon2namedobjects X --> bnd_hascolor X X;
% 26.73/26.40 ALL X_0 Y X.
% 26.73/26.40 bnd_hasbody X_0 Y & bnd_kaon2equal X Y --> bnd_hasbody X_0 X;
% 26.73/26.40 ALL Y X_1 X.
% 26.73/26.40 bnd_hasbody Y X_1 & bnd_kaon2equal X Y --> bnd_hasbody X X_1;
% 26.73/26.40 ALL X. bnd_q7 X & bnd_kaon2namedobjects X --> bnd_hasbody X X;
% 26.73/26.40 ALL X. bnd_q35 X & bnd_kaon2namedobjects X --> bnd_hasbody X X;
% 26.73/26.40 ALL X. bnd_wine X & bnd_kaon2namedobjects X --> bnd_hasbody X X;
% 26.73/26.40 ALL X. bnd_q45 X & bnd_kaon2namedobjects X --> bnd_hasbody X X;
% 26.73/26.40 ALL X_0 Y X.
% 26.73/26.40 bnd_adjacentregion X_0 Y & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_adjacentregion X_0 X;
% 26.73/26.40 ALL Y X_1 X.
% 26.73/26.40 bnd_adjacentregion Y X_1 & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_adjacentregion X X_1;
% 26.73/26.40 ALL X Y. bnd_adjacentregion X Y --> bnd_adjacentregion Y X;
% 26.73/26.40 ALL Y X. bnd_ot____nom9 Y & bnd_kaon2equal X Y --> bnd_ot____nom9 X;
% 26.73/26.40 ALL X. bnd_winecolor X --> bnd_ot____nom9 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom8 Y & bnd_kaon2equal X Y --> bnd_ot____nom8 X;
% 26.73/26.40 ALL X Y. bnd_meritage X & bnd_madefromgrape X Y --> bnd_ot____nom8 Y;
% 26.73/26.40 ALL Y X. bnd_ot____nom7 Y & bnd_kaon2equal X Y --> bnd_ot____nom7 X;
% 26.73/26.40 ALL X Y. bnd_q36 X & bnd_hassugar X Y --> bnd_ot____nom7 Y;
% 26.73/26.40 ALL Y X. bnd_ot____nom64 Y & bnd_kaon2equal X Y --> bnd_ot____nom64 X;
% 26.73/26.40 ALL X Y. bnd_merlot X & bnd_hasflavor X Y --> bnd_ot____nom64 Y;
% 26.73/26.40 ALL Y X. bnd_ot____nom63 Y & bnd_kaon2equal X Y --> bnd_ot____nom63 X;
% 26.73/26.40 ALL X Y. bnd_whiteloire X & bnd_madefromgrape X Y --> bnd_ot____nom63 Y;
% 26.73/26.40 ALL Y X. bnd_ot____nom62 Y & bnd_kaon2equal X Y --> bnd_ot____nom62 X;
% 26.73/26.40 ALL X Y. bnd_redbordeaux X & bnd_madefromgrape X Y --> bnd_ot____nom62 Y;
% 26.73/26.40 ALL Y X. bnd_ot____nom61 Y & bnd_kaon2equal X Y --> bnd_ot____nom61 X;
% 26.73/26.40 ALL X. bnd_chianti X & bnd_kaon2namedobjects X --> bnd_ot____nom61 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom60 Y & bnd_kaon2equal X Y --> bnd_ot____nom60 X;
% 26.73/26.40 ALL X. bnd_chianti X & bnd_kaon2namedobjects X --> bnd_ot____nom60 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom6 Y & bnd_kaon2equal X Y --> bnd_ot____nom6 X;
% 26.73/26.40 ALL X Y. bnd_q68 X & bnd_madefromgrape X Y --> bnd_ot____nom6 Y;
% 26.73/26.40 ALL Y X. bnd_ot____nom59 Y & bnd_kaon2equal X Y --> bnd_ot____nom59 X;
% 26.73/26.40 ALL X Y. bnd_chianti X & bnd_hasbody X Y --> bnd_ot____nom59 Y;
% 26.73/26.40 ALL X Y. bnd_dryriesling X & bnd_hasbody X Y --> bnd_ot____nom59 Y;
% 26.73/26.40 ALL X Y. bnd_merlot X & bnd_hasbody X Y --> bnd_ot____nom59 Y;
% 26.73/26.40 ALL Y X. bnd_ot____nom58 Y & bnd_kaon2equal X Y --> bnd_ot____nom58 X;
% 26.73/26.40 ALL X. bnd_q11 X & bnd_kaon2namedobjects X --> bnd_ot____nom58 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom57 Y & bnd_kaon2equal X Y --> bnd_ot____nom57 X;
% 26.73/26.40 ALL X. bnd_port X & bnd_kaon2namedobjects X --> bnd_ot____nom57 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom56 Y & bnd_kaon2equal X Y --> bnd_ot____nom56 X;
% 26.73/26.40 ALL X. bnd_q45 X & bnd_kaon2namedobjects X --> bnd_ot____nom56 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom55 Y & bnd_kaon2equal X Y --> bnd_ot____nom55 X;
% 26.73/26.40 ALL X. bnd_q20 X & bnd_kaon2namedobjects X --> bnd_ot____nom55 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom54 Y & bnd_kaon2equal X Y --> bnd_ot____nom54 X;
% 26.73/26.40 ALL X. bnd_q32 X & bnd_kaon2namedobjects X --> bnd_ot____nom54 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom53 Y & bnd_kaon2equal X Y --> bnd_ot____nom53 X;
% 26.73/26.40 ALL X Y. bnd_dessertwine X & bnd_hassugar X Y --> bnd_ot____nom53 Y;
% 26.73/26.40 ALL Y X. bnd_ot____nom52 Y & bnd_kaon2equal X Y --> bnd_ot____nom52 X;
% 26.73/26.40 ALL X. bnd_sauternes X & bnd_kaon2namedobjects X --> bnd_ot____nom52 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom51 Y & bnd_kaon2equal X Y --> bnd_ot____nom51 X;
% 26.73/26.40 ALL X Y. bnd_zinfandel X & bnd_hasbody X Y --> bnd_ot____nom51 Y;
% 26.73/26.40 ALL X Y. bnd_petitesyrah X & bnd_hasbody X Y --> bnd_ot____nom51 Y;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 bnd_semillonorsauvignonblanc X & bnd_hasbody X Y -->
% 26.73/26.40 bnd_ot____nom51 Y;
% 26.73/26.40 ALL X Y. bnd_cabernetsauvignon X & bnd_hasbody X Y --> bnd_ot____nom51 Y;
% 26.73/26.40 ALL X Y. bnd_chardonnay X & bnd_hasbody X Y --> bnd_ot____nom51 Y;
% 26.73/26.40 ALL X Y. bnd_cheninblanc X & bnd_hasbody X Y --> bnd_ot____nom51 Y;
% 26.73/26.40 ALL X Y. bnd_icewine X & bnd_hasbody X Y --> bnd_ot____nom51 Y;
% 26.73/26.40 ALL Y X. bnd_ot____nom50 Y & bnd_kaon2equal X Y --> bnd_ot____nom50 X;
% 26.73/26.40 ALL X Y. bnd_petitesyrah X & bnd_hasflavor X Y --> bnd_ot____nom50 Y;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 bnd_cabernetsauvignon X & bnd_hasflavor X Y --> bnd_ot____nom50 Y;
% 26.73/26.40 ALL X Y. bnd_icewine X & bnd_hasflavor X Y --> bnd_ot____nom50 Y;
% 26.73/26.40 ALL X Y. bnd_zinfandel X & bnd_hasflavor X Y --> bnd_ot____nom50 Y;
% 26.73/26.40 ALL X Y. bnd_chardonnay X & bnd_hasflavor X Y --> bnd_ot____nom50 Y;
% 26.73/26.40 ALL X Y. bnd_lateharvest X & bnd_hasflavor X Y --> bnd_ot____nom50 Y;
% 26.73/26.40 ALL X Y. bnd_sweetriesling X & bnd_hasflavor X Y --> bnd_ot____nom50 Y;
% 26.73/26.40 ALL Y X. bnd_ot____nom5 Y & bnd_kaon2equal X Y --> bnd_ot____nom5 X;
% 26.73/26.40 ALL X. bnd_q12 X & bnd_kaon2namedobjects X --> bnd_ot____nom5 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom49 Y & bnd_kaon2equal X Y --> bnd_ot____nom49 X;
% 26.73/26.40 ALL X. bnd_q7 X & bnd_kaon2namedobjects X --> bnd_ot____nom49 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom48 Y & bnd_kaon2equal X Y --> bnd_ot____nom48 X;
% 26.73/26.40 ALL X. bnd_q4 X & bnd_kaon2namedobjects X --> bnd_ot____nom48 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom47 Y & bnd_kaon2equal X Y --> bnd_ot____nom47 X;
% 26.73/26.40 ALL X. bnd_q61 X & bnd_kaon2namedobjects X --> bnd_ot____nom47 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom46 Y & bnd_kaon2equal X Y --> bnd_ot____nom46 X;
% 26.73/26.40 ALL X. bnd_q42 X & bnd_kaon2namedobjects X --> bnd_ot____nom46 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom45 Y & bnd_kaon2equal X Y --> bnd_ot____nom45 X;
% 26.73/26.40 ALL X. bnd_q35 X & bnd_kaon2namedobjects X --> bnd_ot____nom45 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom44 Y & bnd_kaon2equal X Y --> bnd_ot____nom44 X;
% 26.73/26.40 ALL X. bnd_q29 X & bnd_kaon2namedobjects X --> bnd_ot____nom44 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom43 Y & bnd_kaon2equal X Y --> bnd_ot____nom43 X;
% 26.73/26.40 ALL X. bnd_q13 X & bnd_kaon2namedobjects X --> bnd_ot____nom43 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom42 Y & bnd_kaon2equal X Y --> bnd_ot____nom42 X;
% 26.73/26.40 ALL X. bnd_q37 X & bnd_kaon2namedobjects X --> bnd_ot____nom42 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom41 Y & bnd_kaon2equal X Y --> bnd_ot____nom41 X;
% 26.73/26.40 ALL X. bnd_q51 X & bnd_kaon2namedobjects X --> bnd_ot____nom41 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom40 Y & bnd_kaon2equal X Y --> bnd_ot____nom40 X;
% 26.73/26.40 ALL X. bnd_winebody X --> bnd_ot____nom40 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom4 Y & bnd_kaon2equal X Y --> bnd_ot____nom4 X;
% 26.73/26.40 ALL X. bnd_q9 X & bnd_kaon2namedobjects X --> bnd_ot____nom4 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom39 Y & bnd_kaon2equal X Y --> bnd_ot____nom39 X;
% 26.73/26.40 ALL X. bnd_q72 X & bnd_kaon2namedobjects X --> bnd_ot____nom39 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom38 Y & bnd_kaon2equal X Y --> bnd_ot____nom38 X;
% 26.73/26.40 ALL X. bnd_q26 X & bnd_kaon2namedobjects X --> bnd_ot____nom38 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom37 Y & bnd_kaon2equal X Y --> bnd_ot____nom37 X;
% 26.73/26.40 ALL X. bnd_riesling X & bnd_kaon2namedobjects X --> bnd_ot____nom37 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom36 Y & bnd_kaon2equal X Y --> bnd_ot____nom36 X;
% 26.73/26.40 ALL X. bnd_q64 X & bnd_kaon2namedobjects X --> bnd_ot____nom36 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom35 Y & bnd_kaon2equal X Y --> bnd_ot____nom35 X;
% 26.73/26.40 ALL X. bnd_wineflavor X --> bnd_ot____nom35 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom34 Y & bnd_kaon2equal X Y --> bnd_ot____nom34 X;
% 26.73/26.40 ALL X. bnd_q6 X & bnd_kaon2namedobjects X --> bnd_ot____nom34 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom33 Y & bnd_kaon2equal X Y --> bnd_ot____nom33 X;
% 26.73/26.40 ALL X. bnd_q14 X & bnd_kaon2namedobjects X --> bnd_ot____nom33 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom32 Y & bnd_kaon2equal X Y --> bnd_ot____nom32 X;
% 26.73/26.40 ALL X. bnd_q15 X & bnd_kaon2namedobjects X --> bnd_ot____nom32 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom31 Y & bnd_kaon2equal X Y --> bnd_ot____nom31 X;
% 26.73/26.40 ALL X. bnd_q16 X & bnd_kaon2namedobjects X --> bnd_ot____nom31 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom30 Y & bnd_kaon2equal X Y --> bnd_ot____nom30 X;
% 26.73/26.40 ALL X. bnd_q39 X & bnd_kaon2namedobjects X --> bnd_ot____nom30 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom3 Y & bnd_kaon2equal X Y --> bnd_ot____nom3 X;
% 26.73/26.40 ALL X.
% 26.73/26.40 bnd_cabernetfranc X & bnd_kaon2namedobjects X --> bnd_ot____nom3 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom29 Y & bnd_kaon2equal X Y --> bnd_ot____nom29 X;
% 26.73/26.40 ALL X. bnd_q69 X & bnd_kaon2namedobjects X --> bnd_ot____nom29 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom28 Y & bnd_kaon2equal X Y --> bnd_ot____nom28 X;
% 26.73/26.40 ALL X. bnd_q0 X & bnd_kaon2namedobjects X --> bnd_ot____nom28 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom27 Y & bnd_kaon2equal X Y --> bnd_ot____nom27 X;
% 26.73/26.40 ALL X. bnd_semillon X & bnd_kaon2namedobjects X --> bnd_ot____nom27 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom26 Y & bnd_kaon2equal X Y --> bnd_ot____nom26 X;
% 26.73/26.40 ALL X. bnd_q22 X & bnd_kaon2namedobjects X --> bnd_ot____nom26 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom25 Y & bnd_kaon2equal X Y --> bnd_ot____nom25 X;
% 26.73/26.40 ALL X. bnd_petitesyrah X & bnd_kaon2namedobjects X --> bnd_ot____nom25 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom24 Y & bnd_kaon2equal X Y --> bnd_ot____nom24 X;
% 26.73/26.40 ALL X. bnd_q63 X & bnd_kaon2namedobjects X --> bnd_ot____nom24 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom23 Y & bnd_kaon2equal X Y --> bnd_ot____nom23 X;
% 26.73/26.40 ALL X. bnd_q1 X & bnd_kaon2namedobjects X --> bnd_ot____nom23 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom22 Y & bnd_kaon2equal X Y --> bnd_ot____nom22 X;
% 26.73/26.40 ALL X. bnd_q18 X & bnd_kaon2namedobjects X --> bnd_ot____nom22 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom21 Y & bnd_kaon2equal X Y --> bnd_ot____nom21 X;
% 26.73/26.40 ALL X. bnd_q24 X & bnd_kaon2namedobjects X --> bnd_ot____nom21 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom20 Y & bnd_kaon2equal X Y --> bnd_ot____nom20 X;
% 26.73/26.40 ALL X. bnd_zinfandel X & bnd_kaon2namedobjects X --> bnd_ot____nom20 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom2 Y & bnd_kaon2equal X Y --> bnd_ot____nom2 X;
% 26.73/26.40 ALL X. bnd_q33 X & bnd_kaon2namedobjects X --> bnd_ot____nom2 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom19 Y & bnd_kaon2equal X Y --> bnd_ot____nom19 X;
% 26.73/26.40 ALL X. bnd_q57 X & bnd_kaon2namedobjects X --> bnd_ot____nom19 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom18 Y & bnd_kaon2equal X Y --> bnd_ot____nom18 X;
% 26.73/26.40 ALL X. bnd_winesugar X --> bnd_ot____nom18 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom17 Y & bnd_kaon2equal X Y --> bnd_ot____nom17 X;
% 26.73/26.40 ALL X. bnd_q49 X & bnd_kaon2namedobjects X --> bnd_ot____nom17 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom16 Y & bnd_kaon2equal X Y --> bnd_ot____nom16 X;
% 26.73/26.40 ALL X. bnd_q55 X & bnd_kaon2namedobjects X --> bnd_ot____nom16 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom15 Y & bnd_kaon2equal X Y --> bnd_ot____nom15 X;
% 26.73/26.40 ALL X. bnd_q47 X & bnd_kaon2namedobjects X --> bnd_ot____nom15 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom14 Y & bnd_kaon2equal X Y --> bnd_ot____nom14 X;
% 26.73/26.40 ALL X. bnd_q66 X & bnd_kaon2namedobjects X --> bnd_ot____nom14 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom13 Y & bnd_kaon2equal X Y --> bnd_ot____nom13 X;
% 26.73/26.40 ALL X. bnd_q59 X & bnd_kaon2namedobjects X --> bnd_ot____nom13 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom12 Y & bnd_kaon2equal X Y --> bnd_ot____nom12 X;
% 26.73/26.40 ALL X. bnd_q31 X & bnd_kaon2namedobjects X --> bnd_ot____nom12 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom11 Y & bnd_kaon2equal X Y --> bnd_ot____nom11 X;
% 26.73/26.40 ALL X. bnd_q44 X & bnd_kaon2namedobjects X --> bnd_ot____nom11 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom10 Y & bnd_kaon2equal X Y --> bnd_ot____nom10 X;
% 26.73/26.40 ALL X. bnd_q73 X & bnd_kaon2namedobjects X --> bnd_ot____nom10 X;
% 26.73/26.40 ALL Y X. bnd_ot____nom1 Y & bnd_kaon2equal X Y --> bnd_ot____nom1 X;
% 26.73/26.40 ALL X. bnd_q70 X & bnd_kaon2namedobjects X --> bnd_ot____nom1 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom20 Y -->
% 26.73/26.40 bnd_zinfandel X;
% 26.73/26.40 ALL Y X. bnd_zinfandel Y & bnd_kaon2equal X Y --> bnd_zinfandel X;
% 26.73/26.40 ALL Y X. bnd_winery Y & bnd_kaon2equal X Y --> bnd_winery X;
% 26.73/26.40 ALL X Y. bnd_wine X & bnd_hasmaker X Y --> bnd_winery Y;
% 26.73/26.40 ALL Y X. bnd_winetaste Y & bnd_kaon2equal X Y --> bnd_winetaste X;
% 26.73/26.40 ALL X. bnd_winedescriptor X --> bnd_winetaste X;
% 26.73/26.40 ALL X. bnd_winebody X --> bnd_winetaste X;
% 26.73/26.40 ALL X. bnd_winesugar X --> bnd_winetaste X;
% 26.73/26.40 ALL X. bnd_wineflavor X --> bnd_winetaste X;
% 26.73/26.40 ALL Y X. bnd_winesugar Y & bnd_kaon2equal X Y --> bnd_winesugar X;
% 26.73/26.40 ALL X Y. bnd_hassugar X Y --> bnd_winesugar Y;
% 26.73/26.40 ALL X. bnd_ot____nom18 X --> bnd_winesugar X;
% 26.73/26.40 ALL Y X. bnd_winegrape Y & bnd_kaon2equal X Y --> bnd_winegrape X;
% 26.73/26.40 ALL X Y. bnd_madefromgrape X Y --> bnd_winegrape Y;
% 26.73/26.40 ALL Y X. bnd_wineflavor Y & bnd_kaon2equal X Y --> bnd_wineflavor X;
% 26.73/26.40 ALL X. bnd_ot____nom35 X --> bnd_wineflavor X;
% 26.73/26.40 ALL X Y. bnd_hasflavor X Y --> bnd_wineflavor Y;
% 26.73/26.40 ALL Y X.
% 26.73/26.40 bnd_winedescriptor Y & bnd_kaon2equal X Y --> bnd_winedescriptor X;
% 26.73/26.40 ALL X Y. bnd_haswinedescriptor X Y --> bnd_winedescriptor Y;
% 26.73/26.40 ALL X. bnd_winetaste X --> bnd_winedescriptor X;
% 26.73/26.40 ALL X. bnd_winecolor X --> bnd_winedescriptor X;
% 26.73/26.40 ALL Y X. bnd_winecolor Y & bnd_kaon2equal X Y --> bnd_winecolor X;
% 26.73/26.40 ALL X. bnd_winedescriptor X --> bnd_winecolor X;
% 26.73/26.40 ALL X Y. bnd_hascolor X Y --> bnd_winecolor Y;
% 26.73/26.40 ALL X. bnd_ot____nom9 X --> bnd_winecolor X;
% 26.73/26.40 ALL Y X. bnd_winebody Y & bnd_kaon2equal X Y --> bnd_winebody X;
% 26.73/26.40 ALL X Y. bnd_hasbody X Y --> bnd_winebody Y;
% 26.73/26.40 ALL X. bnd_ot____nom40 X --> bnd_winebody X;
% 26.73/26.40 ALL Y X. bnd_wine Y & bnd_kaon2equal X Y --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_merlot X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_lateharvest X --> bnd_wine X; ALL X. bnd_q32 X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_rosewine X --> bnd_wine X; ALL X. bnd_q5 X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_semillon X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_chardonnay X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_italianwine X --> bnd_wine X; ALL X. bnd_q4 X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_q70 X --> bnd_wine X; ALL X. bnd_q72 X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_cabernetsauvignon X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_burgundy X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_germanwine X --> bnd_wine X; ALL X. bnd_q13 X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_drywine X --> bnd_wine X; ALL X. bnd_q6 X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_q69 X --> bnd_wine X; ALL X. bnd_dessertwine X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_whitewine X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_redwine X --> bnd_wine X;
% 26.73/26.40 ALL X Y. bnd_hascolor X Y --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_riesling X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_bordeaux X --> bnd_wine X; ALL X. bnd_q44 X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_pinotblanc X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_californiawine X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_zinfandel X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_meritage X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_frenchwine X --> bnd_wine X; ALL X. bnd_q24 X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_q35 X --> bnd_wine X; ALL X. bnd_pinotnoir X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_q7 X --> bnd_wine X; ALL X. bnd_q45 X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_q12 X --> bnd_wine X; ALL X. bnd_petitesyrah X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_loire X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_fullbodiedwine X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_beaujolais X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_semillonorsauvignonblanc X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_cabernetfranc X --> bnd_wine X;
% 26.73/26.40 ALL X Y. bnd_madefromgrape X Y --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_q0 X --> bnd_wine X; ALL X. bnd_alsatianwine X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_americanwine X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_sweetwine X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_earlyharvest X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_q15 X --> bnd_wine X; ALL X. bnd_q11 X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_q31 X --> bnd_wine X;
% 26.73/26.40 ALL X Y. bnd_haswinedescriptor X Y --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_tablewine X --> bnd_wine X; ALL X. bnd_q20 X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_q63 X --> bnd_wine X; ALL X. bnd_texaswine X --> bnd_wine X;
% 26.73/26.40 ALL X. bnd_q14 X --> bnd_wine X;
% 26.73/26.40 ALL Y X. bnd_whitewine Y & bnd_kaon2equal X Y --> bnd_whitewine X;
% 26.73/26.40 ALL X. bnd_q21 X & bnd_wine X --> bnd_whitewine X;
% 26.73/26.40 ALL X. bnd_whitenonsweetwine X --> bnd_whitewine X;
% 26.73/26.40 ALL X. bnd_whiteloire X --> bnd_whitewine X;
% 26.73/26.40 ALL X. bnd_whitebordeaux X --> bnd_whitewine X;
% 26.73/26.40 ALL X. bnd_whiteburgundy X --> bnd_whitewine X;
% 26.73/26.40 ALL X. bnd_drywhitewine X --> bnd_whitewine X;
% 26.73/26.40 ALL Y X.
% 26.73/26.40 bnd_whitetablewine Y & bnd_kaon2equal X Y --> bnd_whitetablewine X;
% 26.73/26.40 ALL X. bnd_q21 X & bnd_tablewine X --> bnd_whitetablewine X;
% 26.73/26.40 ALL X.
% 26.73/26.40 (bnd_ot____nom7 X & bnd_whitewine X) & bnd_kaon2namedobjects X -->
% 26.73/26.40 bnd_whitenonsweetwine X;
% 26.73/26.40 ALL Y X.
% 26.73/26.40 bnd_whitenonsweetwine Y & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_whitenonsweetwine X;
% 26.73/26.40 ALL X. bnd_q36 X & bnd_whitewine X --> bnd_whitenonsweetwine X;
% 26.73/26.40 ALL X.
% 26.73/26.40 bnd_whitewine X & bnd_kaon2namedobjects X --> bnd_whitenonsweetwine X;
% 26.73/26.40 ALL Y X. bnd_whiteloire Y & bnd_kaon2equal X Y --> bnd_whiteloire X;
% 26.73/26.40 ALL X. bnd_loire X & bnd_whitewine X --> bnd_whiteloire X;
% 26.73/26.40 ALL Y X.
% 26.73/26.40 bnd_whiteburgundy Y & bnd_kaon2equal X Y --> bnd_whiteburgundy X;
% 26.73/26.40 ALL X. bnd_burgundy X & bnd_whitewine X --> bnd_whiteburgundy X;
% 26.73/26.40 ALL X. bnd_meursault X --> bnd_whiteburgundy X;
% 26.73/26.40 ALL Y X.
% 26.73/26.40 bnd_whitebordeaux Y & bnd_kaon2equal X Y --> bnd_whitebordeaux X;
% 26.73/26.40 ALL X. bnd_bordeaux X & bnd_whitewine X --> bnd_whitebordeaux X;
% 26.73/26.40 ALL Y X. bnd_vintageyear Y & bnd_kaon2equal X Y --> bnd_vintageyear X;
% 26.73/26.40 ALL X Y. bnd_hasvintageyear X Y --> bnd_vintageyear Y;
% 26.73/26.40 ALL Y X. bnd_vintage Y & bnd_kaon2equal X Y --> bnd_vintage X;
% 26.73/26.40 ALL X Y. bnd_hasvintageyear X Y --> bnd_vintage X;
% 26.73/26.40 ALL Y X. bnd_tours Y & bnd_kaon2equal X Y --> bnd_tours X;
% 26.73/26.40 ALL X. bnd_q10 X & bnd_loire X --> bnd_tours X;
% 26.73/26.40 ALL Y X. bnd_texaswine Y & bnd_kaon2equal X Y --> bnd_texaswine X;
% 26.73/26.40 ALL X. bnd_q74 X & bnd_wine X --> bnd_texaswine X;
% 26.73/26.40 ALL Y X. bnd_tablewine Y & bnd_kaon2equal X Y --> bnd_tablewine X;
% 26.73/26.40 ALL X. bnd_q46 X & bnd_wine X --> bnd_tablewine X;
% 26.73/26.40 ALL X. bnd_redtablewine X --> bnd_tablewine X;
% 26.73/26.40 ALL X. bnd_whitetablewine X --> bnd_tablewine X;
% 26.73/26.40 ALL Y X. bnd_sweetwine Y & bnd_kaon2equal X Y --> bnd_sweetwine X;
% 26.73/26.40 ALL X. bnd_q71 X & bnd_wine X --> bnd_sweetwine X;
% 26.73/26.40 ALL Y X.
% 26.73/26.40 bnd_sweetriesling Y & bnd_kaon2equal X Y --> bnd_sweetriesling X;
% 26.73/26.40 ALL X. bnd_q71 X & bnd_riesling X --> bnd_sweetriesling X;
% 26.73/26.40 ALL Y X. bnd_stemilion Y & bnd_kaon2equal X Y --> bnd_stemilion X;
% 26.73/26.40 ALL X. bnd_q65 X & bnd_bordeaux X --> bnd_stemilion X;
% 26.73/26.40 ALL X.
% 26.73/26.40 (bnd_ot____nom6 X & bnd_wine X) & bnd_kaon2namedobjects X -->
% 26.73/26.40 bnd_semillonorsauvignonblanc X;
% 26.73/26.40 ALL Y X.
% 26.73/26.40 bnd_semillonorsauvignonblanc Y & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_semillonorsauvignonblanc X;
% 26.73/26.40 ALL X. bnd_q68 X & bnd_wine X --> bnd_semillonorsauvignonblanc X;
% 26.73/26.40 ALL X. bnd_sauvignonblanc X --> bnd_semillonorsauvignonblanc X;
% 26.73/26.40 ALL X. bnd_semillon X --> bnd_semillonorsauvignonblanc X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_semillonorsauvignonblanc X & bnd_madefromgrape X Y) &
% 26.73/26.40 bnd_ot____nom27 Y -->
% 26.73/26.40 bnd_semillon X;
% 26.73/26.40 ALL Y X. bnd_semillon Y & bnd_kaon2equal X Y --> bnd_semillon X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_semillonorsauvignonblanc X & bnd_madefromgrape X Y) &
% 26.73/26.40 bnd_ot____nom11 Y -->
% 26.73/26.40 bnd_sauvignonblanc X;
% 26.73/26.40 ALL Y X.
% 26.73/26.40 bnd_sauvignonblanc Y & bnd_kaon2equal X Y --> bnd_sauvignonblanc X;
% 26.73/26.40 ALL X.
% 26.73/26.40 bnd_q44 X & bnd_semillonorsauvignonblanc X --> bnd_sauvignonblanc X;
% 26.73/26.40 ALL Y X. bnd_sauternes Y & bnd_kaon2equal X Y --> bnd_sauternes X;
% 26.73/26.40 ALL Y X. bnd_sancerre Y & bnd_kaon2equal X Y --> bnd_sancerre X;
% 26.73/26.40 ALL X. bnd_q40 X & bnd_loire X --> bnd_sancerre X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_hascolor X Y) & bnd_ot____nom32 Y -->
% 26.73/26.40 bnd_rosewine X;
% 26.73/26.40 ALL Y X. bnd_rosewine Y & bnd_kaon2equal X Y --> bnd_rosewine X;
% 26.73/26.40 ALL X. bnd_q15 X --> bnd_rosewine X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom37 Y -->
% 26.73/26.40 bnd_riesling X;
% 26.73/26.40 ALL Y X. bnd_riesling Y & bnd_kaon2equal X Y --> bnd_riesling X;
% 26.73/26.40 ALL X. bnd_sweetriesling X --> bnd_riesling X;
% 26.73/26.40 ALL X. bnd_dryriesling X --> bnd_riesling X;
% 26.73/26.40 ALL Y X. bnd_region Y & bnd_kaon2equal X Y --> bnd_region X;
% 26.73/26.40 ALL X. bnd_wine X & bnd_kaon2namedobjects X --> bnd_region X;
% 26.73/26.40 ALL X Y. bnd_adjacentregion X Y --> bnd_region X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y --> bnd_region Y;
% 26.73/26.40 ALL X Y. bnd_adjacentregion X Y --> bnd_region Y;
% 26.73/26.40 ALL Y X. bnd_redwine Y & bnd_kaon2equal X Y --> bnd_redwine X;
% 26.73/26.40 ALL X. bnd_q41 X & bnd_wine X --> bnd_redwine X;
% 26.73/26.40 ALL X. bnd_port X --> bnd_redwine X;
% 26.73/26.40 ALL X. bnd_dryredwine X --> bnd_redwine X;
% 26.73/26.40 ALL X. bnd_redbordeaux X --> bnd_redwine X;
% 26.73/26.40 ALL X. bnd_redburgundy X --> bnd_redwine X;
% 26.73/26.40 ALL Y X. bnd_redtablewine Y & bnd_kaon2equal X Y --> bnd_redtablewine X;
% 26.73/26.40 ALL X. bnd_q41 X & bnd_tablewine X --> bnd_redtablewine X;
% 26.73/26.40 ALL Y X. bnd_redburgundy Y & bnd_kaon2equal X Y --> bnd_redburgundy X;
% 26.73/26.40 ALL X. bnd_burgundy X & bnd_redwine X --> bnd_redburgundy X;
% 26.73/26.40 ALL X. bnd_cotesdor X --> bnd_redburgundy X;
% 26.73/26.40 ALL Y X. bnd_redbordeaux Y & bnd_kaon2equal X Y --> bnd_redbordeaux X;
% 26.73/26.40 ALL X. bnd_redwine X & bnd_bordeaux X --> bnd_redbordeaux X;
% 26.73/26.40 ALL Y X.
% 26.73/26.40 bnd_potableliquid Y & bnd_kaon2equal X Y --> bnd_potableliquid X;
% 26.73/26.40 ALL X. bnd_wine X --> bnd_potableliquid X;
% 26.73/26.40 ALL Y X. bnd_port Y & bnd_kaon2equal X Y --> bnd_port X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom39 Y -->
% 26.73/26.40 bnd_pinotnoir X;
% 26.73/26.40 ALL Y X. bnd_pinotnoir Y & bnd_kaon2equal X Y --> bnd_pinotnoir X;
% 26.73/26.40 ALL X. bnd_q72 X --> bnd_pinotnoir X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom21 Y -->
% 26.73/26.40 bnd_pinotblanc X;
% 26.73/26.40 ALL Y X. bnd_pinotblanc Y & bnd_kaon2equal X Y --> bnd_pinotblanc X;
% 26.73/26.40 ALL X. bnd_q24 X --> bnd_pinotblanc X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom25 Y -->
% 26.73/26.40 bnd_petitesyrah X;
% 26.73/26.40 ALL Y X. bnd_petitesyrah Y & bnd_kaon2equal X Y --> bnd_petitesyrah X;
% 26.73/26.40 ALL Y X. bnd_pauillac Y & bnd_kaon2equal X Y --> bnd_pauillac X;
% 26.73/26.40 ALL X. bnd_q43 X & bnd_medoc X --> bnd_pauillac X;
% 26.73/26.40 ALL Y X. bnd_muscadet Y & bnd_kaon2equal X Y --> bnd_muscadet X;
% 26.73/26.40 ALL X. bnd_q56 X & bnd_loire X --> bnd_muscadet X;
% 26.73/26.40 ALL Y X. bnd_meursault Y & bnd_kaon2equal X Y --> bnd_meursault X;
% 26.73/26.40 ALL X. bnd_q17 X & bnd_whiteburgundy X --> bnd_meursault X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom43 Y -->
% 26.73/26.40 bnd_merlot X;
% 26.73/26.40 ALL Y X. bnd_merlot Y & bnd_kaon2equal X Y --> bnd_merlot X;
% 26.73/26.40 ALL X. bnd_q13 X --> bnd_merlot X;
% 26.73/26.40 ALL X.
% 26.73/26.40 (bnd_ot____nom8 X & bnd_wine X) & bnd_kaon2namedobjects X -->
% 26.73/26.40 bnd_meritage X;
% 26.73/26.40 ALL Y X. bnd_meritage Y & bnd_kaon2equal X Y --> bnd_meritage X;
% 26.73/26.40 ALL Y X. bnd_medoc Y & bnd_kaon2equal X Y --> bnd_medoc X;
% 26.73/26.40 ALL X. bnd_q34 X & bnd_bordeaux X --> bnd_medoc X;
% 26.73/26.40 ALL X. bnd_margaux X --> bnd_medoc X;
% 26.73/26.40 ALL X. bnd_pauillac X --> bnd_medoc X;
% 26.73/26.40 ALL Y X. bnd_margaux Y & bnd_kaon2equal X Y --> bnd_margaux X;
% 26.73/26.40 ALL X. bnd_q19 X & bnd_medoc X --> bnd_margaux X;
% 26.73/26.40 ALL Y X. bnd_loire Y & bnd_kaon2equal X Y --> bnd_loire X;
% 26.73/26.40 ALL X. bnd_q58 X & bnd_wine X --> bnd_loire X;
% 26.73/26.40 ALL X. bnd_muscadet X --> bnd_loire X;
% 26.73/26.40 ALL X. bnd_anjou X --> bnd_loire X;
% 26.73/26.40 ALL X. bnd_whiteloire X --> bnd_loire X;
% 26.73/26.40 ALL X. bnd_tours X --> bnd_loire X;
% 26.73/26.40 ALL X. bnd_sancerre X --> bnd_loire X;
% 26.73/26.40 ALL Y X. bnd_lateharvest Y & bnd_kaon2equal X Y --> bnd_lateharvest X;
% 26.73/26.40 ALL X. bnd_sauternes X --> bnd_lateharvest X;
% 26.73/26.40 ALL X. bnd_icewine X --> bnd_lateharvest X;
% 26.73/26.40 ALL Y X. bnd_italianwine Y & bnd_kaon2equal X Y --> bnd_italianwine X;
% 26.73/26.40 ALL X. bnd_q62 X & bnd_wine X --> bnd_italianwine X;
% 26.73/26.40 ALL X. bnd_chianti X --> bnd_italianwine X;
% 26.73/26.40 ALL X.
% 26.73/26.40 (bnd_q21 X & bnd_dessertwine X) & bnd_lateharvest X --> bnd_icewine X;
% 26.73/26.40 ALL Y X. bnd_icewine Y & bnd_kaon2equal X Y --> bnd_icewine X;
% 26.73/26.40 ALL Y X. bnd_grape Y & bnd_kaon2equal X Y --> bnd_grape X;
% 26.73/26.40 ALL X. bnd_winegrape X --> bnd_grape X;
% 26.73/26.40 ALL Y X. bnd_germanwine Y & bnd_kaon2equal X Y --> bnd_germanwine X;
% 26.73/26.40 ALL X. bnd_q50 X & bnd_wine X --> bnd_germanwine X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom33 Y -->
% 26.73/26.40 bnd_gamay X;
% 26.73/26.40 ALL Y X. bnd_gamay Y & bnd_kaon2equal X Y --> bnd_gamay X;
% 26.73/26.40 ALL X. bnd_q14 X --> bnd_gamay X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_hasbody X Y) & bnd_ot____nom45 Y -->
% 26.73/26.40 bnd_fullbodiedwine X;
% 26.73/26.40 ALL Y X.
% 26.73/26.40 bnd_fullbodiedwine Y & bnd_kaon2equal X Y --> bnd_fullbodiedwine X;
% 26.73/26.40 ALL X. bnd_q35 X --> bnd_fullbodiedwine X;
% 26.73/26.40 ALL Y X. bnd_frenchwine Y & bnd_kaon2equal X Y --> bnd_frenchwine X;
% 26.73/26.40 ALL X. bnd_q52 X & bnd_wine X --> bnd_frenchwine X;
% 26.73/26.40 ALL Y X. bnd_earlyharvest Y & bnd_kaon2equal X Y --> bnd_earlyharvest X;
% 26.73/26.40 ALL Y X. bnd_drywine Y & bnd_kaon2equal X Y --> bnd_drywine X;
% 26.73/26.40 ALL X. bnd_q46 X & bnd_wine X --> bnd_drywine X;
% 26.73/26.40 ALL X. bnd_dryredwine X --> bnd_drywine X;
% 26.73/26.40 ALL X. bnd_drywhitewine X --> bnd_drywine X;
% 26.73/26.40 ALL Y X. bnd_drywhitewine Y & bnd_kaon2equal X Y --> bnd_drywhitewine X;
% 26.73/26.40 ALL X. bnd_drywine X & bnd_whitewine X --> bnd_drywhitewine X;
% 26.73/26.40 ALL Y X. bnd_dryriesling Y & bnd_kaon2equal X Y --> bnd_dryriesling X;
% 26.73/26.40 ALL X. bnd_q46 X & bnd_riesling X --> bnd_dryriesling X;
% 26.73/26.40 ALL Y X. bnd_dryredwine Y & bnd_kaon2equal X Y --> bnd_dryredwine X;
% 26.73/26.40 ALL X. bnd_drywine X & bnd_redwine X --> bnd_dryredwine X;
% 26.73/26.40 ALL Y X. bnd_dessertwine Y & bnd_kaon2equal X Y --> bnd_dessertwine X;
% 26.73/26.40 ALL X. bnd_icewine X --> bnd_dessertwine X;
% 26.73/26.40 ALL X. bnd_sweetriesling X --> bnd_dessertwine X;
% 26.73/26.40 ALL Y X. bnd_cotesdor Y & bnd_kaon2equal X Y --> bnd_cotesdor X;
% 26.73/26.40 ALL X. bnd_q38 X & bnd_redburgundy X --> bnd_cotesdor X;
% 26.73/26.40 ALL Y X. bnd_chianti Y & bnd_kaon2equal X Y --> bnd_chianti X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom34 Y -->
% 26.73/26.40 bnd_cheninblanc X;
% 26.73/26.40 ALL Y X. bnd_cheninblanc Y & bnd_kaon2equal X Y --> bnd_cheninblanc X;
% 26.73/26.40 ALL X. bnd_q6 X --> bnd_cheninblanc X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom24 Y -->
% 26.73/26.40 bnd_chardonnay X;
% 26.73/26.40 ALL Y X. bnd_chardonnay Y & bnd_kaon2equal X Y --> bnd_chardonnay X;
% 26.73/26.40 ALL X. bnd_q63 X --> bnd_chardonnay X;
% 26.73/26.40 ALL Y X.
% 26.73/26.40 bnd_californiawine Y & bnd_kaon2equal X Y --> bnd_californiawine X;
% 26.73/26.40 ALL X. bnd_q48 X & bnd_wine X --> bnd_californiawine X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom29 Y -->
% 26.73/26.40 bnd_cabernetsauvignon X;
% 26.73/26.40 ALL Y X.
% 26.73/26.40 bnd_cabernetsauvignon Y & bnd_kaon2equal X Y -->
% 26.73/26.40 bnd_cabernetsauvignon X;
% 26.73/26.40 ALL X. bnd_q69 X --> bnd_cabernetsauvignon X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom3 Y -->
% 26.73/26.40 bnd_cabernetfranc X;
% 26.73/26.40 ALL Y X.
% 26.73/26.40 bnd_cabernetfranc Y & bnd_kaon2equal X Y --> bnd_cabernetfranc X;
% 26.73/26.40 ALL Y X. bnd_burgundy Y & bnd_kaon2equal X Y --> bnd_burgundy X;
% 26.73/26.40 ALL X. bnd_q30 X & bnd_wine X --> bnd_burgundy X;
% 26.73/26.40 ALL X. bnd_redburgundy X --> bnd_burgundy X;
% 26.73/26.40 ALL X. bnd_whiteburgundy X --> bnd_burgundy X;
% 26.73/26.40 ALL Y X. bnd_bordeaux Y & bnd_kaon2equal X Y --> bnd_bordeaux X;
% 26.73/26.40 ALL X. bnd_q2 X & bnd_wine X --> bnd_bordeaux X;
% 26.73/26.40 ALL X. bnd_whitebordeaux X --> bnd_bordeaux X;
% 26.73/26.40 ALL X. bnd_stemilion X --> bnd_bordeaux X;
% 26.73/26.40 ALL X. bnd_redbordeaux X --> bnd_bordeaux X;
% 26.73/26.40 ALL X. bnd_medoc X --> bnd_bordeaux X;
% 26.73/26.40 ALL X. bnd_sauternes X --> bnd_bordeaux X;
% 26.73/26.40 ALL Y X. bnd_beaujolais Y & bnd_kaon2equal X Y --> bnd_beaujolais X;
% 26.73/26.40 ALL X. bnd_q23 X & bnd_wine X --> bnd_beaujolais X;
% 26.73/26.40 ALL Y X. bnd_anjou Y & bnd_kaon2equal X Y --> bnd_anjou X;
% 26.73/26.40 ALL X. bnd_q67 X & bnd_loire X --> bnd_anjou X;
% 26.73/26.40 ALL Y X. bnd_americanwine Y & bnd_kaon2equal X Y --> bnd_americanwine X;
% 26.73/26.40 ALL X. bnd_q27 X & bnd_wine X --> bnd_americanwine X;
% 26.73/26.40 ALL Y X. bnd_alsatianwine Y & bnd_kaon2equal X Y --> bnd_alsatianwine X;
% 26.73/26.40 ALL X. bnd_q60 X & bnd_wine X --> bnd_alsatianwine X;
% 26.73/26.40 ALL Y X. bnd_q9 Y & bnd_kaon2equal X Y --> bnd_q9 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q10 Y --> bnd_q9 X;
% 26.73/26.40 ALL X. bnd_tours X --> bnd_q9 X;
% 26.73/26.40 ALL Y X. bnd_q74 Y & bnd_kaon2equal X Y --> bnd_q74 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom10 Y --> bnd_q74 X;
% 26.73/26.40 ALL X. bnd_q73 X --> bnd_q74 X;
% 26.73/26.40 ALL Y X. bnd_q73 Y & bnd_kaon2equal X Y --> bnd_q73 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q74 Y --> bnd_q73 X;
% 26.73/26.40 ALL X. bnd_texaswine X --> bnd_q73 X;
% 26.73/26.40 ALL Y X. bnd_q72 Y & bnd_kaon2equal X Y --> bnd_q72 X;
% 26.73/26.40 ALL X. bnd_redburgundy X --> bnd_q72 X;
% 26.73/26.40 ALL X. bnd_pinotnoir X --> bnd_q72 X;
% 26.73/26.40 ALL Y X. bnd_q71 Y & bnd_kaon2equal X Y --> bnd_q71 X;
% 26.73/26.40 ALL X Y. bnd_hassugar X Y & bnd_ot____nom1 Y --> bnd_q71 X;
% 26.73/26.40 ALL X. bnd_q70 X --> bnd_q71 X;
% 26.73/26.40 ALL Y X. bnd_q70 Y & bnd_kaon2equal X Y --> bnd_q70 X;
% 26.73/26.40 ALL X. bnd_lateharvest X --> bnd_q70 X;
% 26.73/26.40 ALL X. bnd_sweetwine X --> bnd_q70 X; ALL X. bnd_port X --> bnd_q70 X;
% 26.73/26.40 ALL X. bnd_sweetriesling X --> bnd_q70 X;
% 26.73/26.40 ALL Y X. bnd_q7 Y & bnd_kaon2equal X Y --> bnd_q7 X;
% 26.73/26.40 ALL X. bnd_sancerre X --> bnd_q7 X; ALL X. bnd_sauternes X --> bnd_q7 X;
% 26.73/26.40 ALL X. bnd_cabernetfranc X --> bnd_q7 X;
% 26.73/26.40 ALL Y X. bnd_q69 Y & bnd_kaon2equal X Y --> bnd_q69 X;
% 26.73/26.40 ALL X. bnd_stemilion X --> bnd_q69 X;
% 26.73/26.40 ALL X. bnd_cabernetsauvignon X --> bnd_q69 X;
% 26.73/26.40 ALL X. bnd_pauillac X --> bnd_q69 X;
% 26.73/26.40 ALL Y X. bnd_q68 Y & bnd_kaon2equal X Y --> bnd_q68 X;
% 26.73/26.40 ALL X. bnd_semillonorsauvignonblanc X --> bnd_q68 X;
% 26.73/26.40 ALL X. bnd_whitebordeaux X --> bnd_q68 X;
% 26.73/26.40 ALL Y X. bnd_q67 Y & bnd_kaon2equal X Y --> bnd_q67 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom14 Y --> bnd_q67 X;
% 26.73/26.40 ALL X. bnd_q66 X --> bnd_q67 X;
% 26.73/26.40 ALL Y X. bnd_q66 Y & bnd_kaon2equal X Y --> bnd_q66 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q67 Y --> bnd_q66 X;
% 26.73/26.40 ALL X. bnd_anjou X --> bnd_q66 X;
% 26.73/26.40 ALL Y X. bnd_q65 Y & bnd_kaon2equal X Y --> bnd_q65 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom36 Y --> bnd_q65 X;
% 26.73/26.40 ALL X. bnd_q64 X --> bnd_q65 X;
% 26.73/26.40 ALL Y X. bnd_q64 Y & bnd_kaon2equal X Y --> bnd_q64 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q65 Y --> bnd_q64 X;
% 26.73/26.40 ALL X. bnd_stemilion X --> bnd_q64 X;
% 26.73/26.40 ALL Y X. bnd_q63 Y & bnd_kaon2equal X Y --> bnd_q63 X;
% 26.73/26.40 ALL X. bnd_whiteburgundy X --> bnd_q63 X;
% 26.73/26.40 ALL X. bnd_chardonnay X --> bnd_q63 X;
% 26.73/26.40 ALL Y X. bnd_q62 Y & bnd_kaon2equal X Y --> bnd_q62 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom47 Y --> bnd_q62 X;
% 26.73/26.40 ALL X. bnd_q61 X --> bnd_q62 X;
% 26.73/26.40 ALL Y X. bnd_q61 Y & bnd_kaon2equal X Y --> bnd_q61 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q62 Y --> bnd_q61 X;
% 26.73/26.40 ALL X. bnd_italianwine X --> bnd_q61 X;
% 26.73/26.40 ALL Y X. bnd_q60 Y & bnd_kaon2equal X Y --> bnd_q60 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom13 Y --> bnd_q60 X;
% 26.73/26.40 ALL X. bnd_q59 X --> bnd_q60 X;
% 26.73/26.40 ALL Y X. bnd_q6 Y & bnd_kaon2equal X Y --> bnd_q6 X;
% 26.73/26.40 ALL X. bnd_tours X --> bnd_q6 X; ALL X. bnd_cheninblanc X --> bnd_q6 X;
% 26.73/26.40 ALL Y X. bnd_q59 Y & bnd_kaon2equal X Y --> bnd_q59 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q60 Y --> bnd_q59 X;
% 26.73/26.40 ALL X. bnd_alsatianwine X --> bnd_q59 X;
% 26.73/26.40 ALL Y X. bnd_q58 Y & bnd_kaon2equal X Y --> bnd_q58 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom19 Y --> bnd_q58 X;
% 26.73/26.40 ALL X. bnd_q57 X --> bnd_q58 X;
% 26.73/26.40 ALL Y X. bnd_q57 Y & bnd_kaon2equal X Y --> bnd_q57 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q58 Y --> bnd_q57 X;
% 26.73/26.40 ALL X. bnd_loire X --> bnd_q57 X;
% 26.73/26.40 ALL Y X. bnd_q56 Y & bnd_kaon2equal X Y --> bnd_q56 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom16 Y --> bnd_q56 X;
% 26.73/26.40 ALL X. bnd_q55 X --> bnd_q56 X;
% 26.73/26.40 ALL Y X. bnd_q55 Y & bnd_kaon2equal X Y --> bnd_q55 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q56 Y --> bnd_q55 X;
% 26.73/26.40 ALL X. bnd_muscadet X --> bnd_q55 X;
% 26.73/26.40 ALL Y X. bnd_q52 Y & bnd_kaon2equal X Y --> bnd_q52 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom41 Y --> bnd_q52 X;
% 26.73/26.40 ALL X. bnd_q51 X --> bnd_q52 X;
% 26.73/26.40 ALL Y X. bnd_q51 Y & bnd_kaon2equal X Y --> bnd_q51 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q52 Y --> bnd_q51 X;
% 26.73/26.40 ALL X. bnd_frenchwine X --> bnd_q51 X;
% 26.73/26.40 ALL Y X. bnd_q50 Y & bnd_kaon2equal X Y --> bnd_q50 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom17 Y --> bnd_q50 X;
% 26.73/26.40 ALL X. bnd_q49 X --> bnd_q50 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom29 Y --> bnd_q5 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom21 Y --> bnd_q5 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom25 Y --> bnd_q5 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_semillonorsauvignonblanc X & bnd_madefromgrape X Y) &
% 26.73/26.40 bnd_ot____nom27 Y -->
% 26.73/26.40 bnd_q5 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom39 Y --> bnd_q5 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom33 Y --> bnd_q5 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom20 Y --> bnd_q5 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom37 Y --> bnd_q5 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom34 Y --> bnd_q5 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_semillonorsauvignonblanc X & bnd_madefromgrape X Y) &
% 26.73/26.40 bnd_ot____nom11 Y -->
% 26.73/26.40 bnd_q5 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom24 Y --> bnd_q5 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom43 Y --> bnd_q5 X;
% 26.73/26.40 ALL X Y.
% 26.73/26.40 (bnd_wine X & bnd_madefromgrape X Y) & bnd_ot____nom3 Y --> bnd_q5 X;
% 26.73/26.40 ALL Y X. bnd_q5 Y & bnd_kaon2equal X Y --> bnd_q5 X;
% 26.73/26.40 ALL X. bnd_q44 X & bnd_semillonorsauvignonblanc X --> bnd_q5 X;
% 26.73/26.40 ALL X. bnd_q63 X --> bnd_q5 X; ALL X. bnd_q69 X --> bnd_q5 X;
% 26.73/26.40 ALL X. bnd_q14 X --> bnd_q5 X; ALL X. bnd_q72 X --> bnd_q5 X;
% 26.73/26.40 ALL X. bnd_q13 X --> bnd_q5 X; ALL X. bnd_q6 X --> bnd_q5 X;
% 26.73/26.40 ALL X. bnd_q24 X --> bnd_q5 X; ALL X. bnd_meritage X --> bnd_q5 X;
% 26.73/26.40 ALL Y X. bnd_q49 Y & bnd_kaon2equal X Y --> bnd_q49 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q50 Y --> bnd_q49 X;
% 26.73/26.40 ALL X. bnd_germanwine X --> bnd_q49 X;
% 26.73/26.40 ALL Y X. bnd_q48 Y & bnd_kaon2equal X Y --> bnd_q48 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom15 Y --> bnd_q48 X;
% 26.73/26.40 ALL X. bnd_q47 X --> bnd_q48 X;
% 26.73/26.40 ALL Y X. bnd_q47 Y & bnd_kaon2equal X Y --> bnd_q47 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q48 Y --> bnd_q47 X;
% 26.73/26.40 ALL X. bnd_californiawine X --> bnd_q47 X;
% 26.73/26.40 ALL Y X. bnd_q46 Y & bnd_kaon2equal X Y --> bnd_q46 X;
% 26.73/26.40 ALL X Y. bnd_hassugar X Y & bnd_ot____nom12 Y --> bnd_q46 X;
% 26.73/26.40 ALL X. bnd_q31 X --> bnd_q46 X;
% 26.73/26.40 ALL Y X. bnd_q45 Y & bnd_kaon2equal X Y --> bnd_q45 X;
% 26.73/26.40 ALL X. bnd_anjou X --> bnd_q45 X; ALL X. bnd_muscadet X --> bnd_q45 X;
% 26.73/26.40 ALL X. bnd_beaujolais X --> bnd_q45 X;
% 26.73/26.40 ALL Y X. bnd_q44 Y & bnd_kaon2equal X Y --> bnd_q44 X;
% 26.73/26.40 ALL X. bnd_sauvignonblanc X --> bnd_q44 X;
% 26.73/26.40 ALL X. bnd_sancerre X --> bnd_q44 X;
% 26.73/26.40 ALL Y X. bnd_q43 Y & bnd_kaon2equal X Y --> bnd_q43 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom46 Y --> bnd_q43 X;
% 26.73/26.40 ALL X. bnd_q42 X --> bnd_q43 X;
% 26.73/26.40 ALL Y X. bnd_q42 Y & bnd_kaon2equal X Y --> bnd_q42 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q43 Y --> bnd_q42 X;
% 26.73/26.40 ALL X. bnd_pauillac X --> bnd_q42 X;
% 26.73/26.40 ALL Y X. bnd_q41 Y & bnd_kaon2equal X Y --> bnd_q41 X;
% 26.73/26.40 ALL X Y. bnd_hascolor X Y & bnd_ot____nom28 Y --> bnd_q41 X;
% 26.73/26.40 ALL X. bnd_q0 X --> bnd_q41 X;
% 26.73/26.40 ALL Y X. bnd_q40 Y & bnd_kaon2equal X Y --> bnd_q40 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom30 Y --> bnd_q40 X;
% 26.73/26.40 ALL X. bnd_q39 X --> bnd_q40 X;
% 26.73/26.40 ALL Y X. bnd_q4 Y & bnd_kaon2equal X Y --> bnd_q4 X;
% 26.73/26.40 ALL X. bnd_cotesdor X --> bnd_q4 X;
% 26.73/26.40 ALL X. bnd_cabernetfranc X --> bnd_q4 X;
% 26.73/26.40 ALL X. bnd_chianti X --> bnd_q4 X; ALL X. bnd_cheninblanc X --> bnd_q4 X;
% 26.73/26.40 ALL Y X. bnd_q39 Y & bnd_kaon2equal X Y --> bnd_q39 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q40 Y --> bnd_q39 X;
% 26.73/26.40 ALL X. bnd_sancerre X --> bnd_q39 X;
% 26.73/26.40 ALL Y X. bnd_q38 Y & bnd_kaon2equal X Y --> bnd_q38 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom42 Y --> bnd_q38 X;
% 26.73/26.40 ALL X. bnd_q37 X --> bnd_q38 X;
% 26.73/26.40 ALL Y X. bnd_q37 Y & bnd_kaon2equal X Y --> bnd_q37 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q38 Y --> bnd_q37 X;
% 26.73/26.40 ALL X. bnd_cotesdor X --> bnd_q37 X;
% 26.73/26.40 ALL Y X. bnd_q36 Y & bnd_kaon2equal X Y --> bnd_q36 X;
% 26.73/26.40 ALL X. bnd_cheninblanc X --> bnd_q36 X;
% 26.73/26.40 ALL X. bnd_earlyharvest X --> bnd_q36 X;
% 26.73/26.40 ALL X. bnd_whitenonsweetwine X --> bnd_q36 X;
% 26.73/26.40 ALL Y X. bnd_q35 Y & bnd_kaon2equal X Y --> bnd_q35 X;
% 26.73/26.40 ALL X. bnd_fullbodiedwine X --> bnd_q35 X;
% 26.73/26.40 ALL X. bnd_meursault X --> bnd_q35 X;
% 26.73/26.40 ALL X. bnd_sweetriesling X --> bnd_q35 X;
% 26.73/26.40 ALL X. bnd_port X --> bnd_q35 X; ALL X. bnd_pauillac X --> bnd_q35 X;
% 26.73/26.40 ALL Y X. bnd_q34 Y & bnd_kaon2equal X Y --> bnd_q34 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom2 Y --> bnd_q34 X;
% 26.73/26.40 ALL X. bnd_q33 X --> bnd_q34 X;
% 26.73/26.40 ALL Y X. bnd_q33 Y & bnd_kaon2equal X Y --> bnd_q33 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q34 Y --> bnd_q33 X;
% 26.73/26.40 ALL X. bnd_medoc X --> bnd_q33 X;
% 26.73/26.40 ALL Y X. bnd_q32 Y & bnd_kaon2equal X Y --> bnd_q32 X;
% 26.73/26.40 ALL X. bnd_anjou X --> bnd_q32 X; ALL X. bnd_sancerre X --> bnd_q32 X;
% 26.73/26.40 ALL Y X. bnd_q31 Y & bnd_kaon2equal X Y --> bnd_q31 X;
% 26.73/26.40 ALL X. bnd_petitesyrah X --> bnd_q31 X;
% 26.73/26.40 ALL X. bnd_dryriesling X --> bnd_q31 X;
% 26.73/26.40 ALL X. bnd_burgundy X --> bnd_q31 X;
% 26.73/26.40 ALL X. bnd_cabernetfranc X --> bnd_q31 X;
% 26.73/26.40 ALL X. bnd_zinfandel X --> bnd_q31 X;
% 26.73/26.40 ALL X. bnd_beaujolais X --> bnd_q31 X;
% 26.73/26.40 ALL X. bnd_drywine X --> bnd_q31 X; ALL X. bnd_tablewine X --> bnd_q31 X;
% 26.73/26.40 ALL X. bnd_muscadet X --> bnd_q31 X; ALL X. bnd_merlot X --> bnd_q31 X;
% 26.73/26.40 ALL X. bnd_medoc X --> bnd_q31 X;
% 26.73/26.40 ALL X. bnd_cabernetsauvignon X --> bnd_q31 X;
% 26.73/26.40 ALL X. bnd_chianti X --> bnd_q31 X;
% 26.73/26.40 ALL Y X. bnd_q30 Y & bnd_kaon2equal X Y --> bnd_q30 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom44 Y --> bnd_q30 X;
% 26.73/26.40 ALL X. bnd_q29 X --> bnd_q30 X;
% 26.73/26.40 ALL X.
% 26.73/26.40 (bnd_ot____nom8 X & bnd_wine X) & bnd_kaon2namedobjects X -->
% 26.73/26.40 bnd_q3 X;
% 26.73/26.40 ALL Y X. bnd_q3 Y & bnd_kaon2equal X Y --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_gamay X --> bnd_q3 X; ALL X. bnd_pinotblanc X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_merlot X --> bnd_q3 X; ALL X. bnd_muscadet X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_redburgundy X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_sancerre X --> bnd_q3 X; ALL X. bnd_pinotnoir X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_stemilion X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_beaujolais X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_cabernetfranc X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_sauvignonblanc X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_cheninblanc X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_cabernetsauvignon X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_whiteburgundy X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_petitesyrah X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_semillon X --> bnd_q3 X; ALL X. bnd_riesling X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_tours X --> bnd_q3 X; ALL X. bnd_chardonnay X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_zinfandel X --> bnd_q3 X; ALL X. bnd_pauillac X --> bnd_q3 X;
% 26.73/26.40 ALL X. bnd_margaux X --> bnd_q3 X;
% 26.73/26.40 ALL Y X. bnd_q29 Y & bnd_kaon2equal X Y --> bnd_q29 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q30 Y --> bnd_q29 X;
% 26.73/26.40 ALL X. bnd_burgundy X --> bnd_q29 X;
% 26.73/26.40 ALL Y X. bnd_q27 Y & bnd_kaon2equal X Y --> bnd_q27 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom38 Y --> bnd_q27 X;
% 26.73/26.40 ALL X. bnd_q26 X --> bnd_q27 X;
% 26.73/26.40 ALL Y X. bnd_q26 Y & bnd_kaon2equal X Y --> bnd_q26 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q27 Y --> bnd_q26 X;
% 26.73/26.40 ALL X. bnd_americanwine X --> bnd_q26 X;
% 26.73/26.40 ALL Y X. bnd_q24 Y & bnd_kaon2equal X Y --> bnd_q24 X;
% 26.73/26.40 ALL X. bnd_muscadet X --> bnd_q24 X;
% 26.73/26.40 ALL X. bnd_pinotblanc X --> bnd_q24 X;
% 26.73/26.40 ALL Y X. bnd_q23 Y & bnd_kaon2equal X Y --> bnd_q23 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom26 Y --> bnd_q23 X;
% 26.73/26.40 ALL X. bnd_q22 X --> bnd_q23 X;
% 26.73/26.40 ALL Y X. bnd_q22 Y & bnd_kaon2equal X Y --> bnd_q22 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q23 Y --> bnd_q22 X;
% 26.73/26.40 ALL X. bnd_beaujolais X --> bnd_q22 X;
% 26.73/26.40 ALL Y X. bnd_q21 Y & bnd_kaon2equal X Y --> bnd_q21 X;
% 26.73/26.40 ALL X Y. bnd_hascolor X Y & bnd_ot____nom5 Y --> bnd_q21 X;
% 26.73/26.40 ALL X. bnd_q12 X --> bnd_q21 X;
% 26.73/26.40 ALL Y X. bnd_q20 Y & bnd_kaon2equal X Y --> bnd_q20 X;
% 26.73/26.40 ALL X. bnd_margaux X --> bnd_q20 X; ALL X. bnd_anjou X --> bnd_q20 X;
% 26.73/26.40 ALL X. bnd_dryriesling X --> bnd_q20 X;
% 26.73/26.40 ALL X. bnd_beaujolais X --> bnd_q20 X;
% 26.73/26.40 ALL X. bnd_muscadet X --> bnd_q20 X; ALL X. bnd_sancerre X --> bnd_q20 X;
% 26.73/26.40 ALL Y X. bnd_q2 Y & bnd_kaon2equal X Y --> bnd_q2 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom23 Y --> bnd_q2 X;
% 26.73/26.40 ALL X. bnd_q1 X --> bnd_q2 X;
% 26.73/26.40 ALL Y X. bnd_q19 Y & bnd_kaon2equal X Y --> bnd_q19 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom22 Y --> bnd_q19 X;
% 26.73/26.40 ALL X. bnd_q18 X --> bnd_q19 X;
% 26.73/26.40 ALL Y X. bnd_q18 Y & bnd_kaon2equal X Y --> bnd_q18 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q19 Y --> bnd_q18 X;
% 26.73/26.40 ALL X. bnd_margaux X --> bnd_q18 X;
% 26.73/26.40 ALL Y X. bnd_q17 Y & bnd_kaon2equal X Y --> bnd_q17 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom31 Y --> bnd_q17 X;
% 26.73/26.40 ALL X. bnd_q16 X --> bnd_q17 X;
% 26.73/26.40 ALL Y X. bnd_q16 Y & bnd_kaon2equal X Y --> bnd_q16 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q17 Y --> bnd_q16 X;
% 26.73/26.40 ALL X. bnd_meursault X --> bnd_q16 X;
% 26.73/26.40 ALL Y X. bnd_q15 Y & bnd_kaon2equal X Y --> bnd_q15 X;
% 26.73/26.40 ALL X. bnd_rosewine X --> bnd_q15 X; ALL X. bnd_anjou X --> bnd_q15 X;
% 26.73/26.40 ALL Y X. bnd_q14 Y & bnd_kaon2equal X Y --> bnd_q14 X;
% 26.73/26.40 ALL X. bnd_beaujolais X --> bnd_q14 X; ALL X. bnd_gamay X --> bnd_q14 X;
% 26.73/26.40 ALL Y X. bnd_q13 Y & bnd_kaon2equal X Y --> bnd_q13 X;
% 26.73/26.40 ALL X. bnd_merlot X --> bnd_q13 X; ALL X. bnd_margaux X --> bnd_q13 X;
% 26.73/26.40 ALL Y X. bnd_q12 Y & bnd_kaon2equal X Y --> bnd_q12 X;
% 26.73/26.40 ALL X. bnd_riesling X --> bnd_q12 X;
% 26.73/26.40 ALL X. bnd_semillonorsauvignonblanc X --> bnd_q12 X;
% 26.73/26.40 ALL X. bnd_sauternes X --> bnd_q12 X;
% 26.73/26.40 ALL X. bnd_dryriesling X --> bnd_q12 X;
% 26.73/26.40 ALL X. bnd_whitewine X --> bnd_q12 X;
% 26.73/26.40 ALL X. bnd_pinotblanc X --> bnd_q12 X;
% 26.73/26.40 ALL X. bnd_chardonnay X --> bnd_q12 X;
% 26.73/26.40 ALL X. bnd_cheninblanc X --> bnd_q12 X;
% 26.73/26.40 ALL X. bnd_whitetablewine X --> bnd_q12 X;
% 26.73/26.40 ALL X. bnd_icewine X --> bnd_q12 X;
% 26.73/26.40 ALL Y X. bnd_q11 Y & bnd_kaon2equal X Y --> bnd_q11 X;
% 26.73/26.40 ALL X. bnd_stemilion X --> bnd_q11 X; ALL X. bnd_port X --> bnd_q11 X;
% 26.73/26.40 ALL X. bnd_pauillac X --> bnd_q11 X;
% 26.73/26.40 ALL Y X. bnd_q10 Y & bnd_kaon2equal X Y --> bnd_q10 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_ot____nom4 Y --> bnd_q10 X;
% 26.73/26.40 ALL X. bnd_q9 X --> bnd_q10 X;
% 26.73/26.40 ALL Y X. bnd_q1 Y & bnd_kaon2equal X Y --> bnd_q1 X;
% 26.73/26.40 ALL X Y. bnd_locatedin X Y & bnd_q2 Y --> bnd_q1 X;
% 26.73/26.40 ALL X. bnd_bordeaux X --> bnd_q1 X;
% 26.73/26.40 ALL Y X. bnd_q0 Y & bnd_kaon2equal X Y --> bnd_q0 X;
% 26.73/26.40 ALL X. bnd_stemilion X --> bnd_q0 X; ALL X. bnd_chianti X --> bnd_q0 X;
% 26.73/26.40 ALL X. bnd_redwine X --> bnd_q0 X; ALL X. bnd_petitesyrah X --> bnd_q0 X;
% 26.73/26.40 ALL X. bnd_redtablewine X --> bnd_q0 X;
% 26.73/26.40 ALL X. bnd_cabernetsauvignon X --> bnd_q0 X;
% 26.73/26.40 ALL X. bnd_medoc X --> bnd_q0 X; ALL X. bnd_zinfandel X --> bnd_q0 X;
% 26.73/26.40 ALL X. bnd_cabernetfranc X --> bnd_q0 X;
% 26.73/26.40 ALL X. bnd_beaujolais X --> bnd_q0 X;
% 26.73/26.40 ALL X. bnd_pinotnoir X --> bnd_q0 X; ALL X. bnd_merlot X --> bnd_q0 X;
% 26.73/26.40 ALL X. bnd_meritage X --> bnd_q0 X;
% 26.73/26.40 ALL X. bnd_winecolor_aux X --> bnd_winecolor X;
% 26.73/26.40 ALL X. bnd_winebody_aux X --> bnd_winebody X;
% 26.73/26.40 ALL X. bnd_whitewine_aux X --> bnd_whitewine X;
% 26.73/26.40 ALL X. bnd_whiteburgundy_aux X --> bnd_whiteburgundy X;
% 26.73/26.40 ALL X. bnd_vintageyear_aux X --> bnd_vintageyear X;
% 26.73/26.40 ALL X. bnd_sweetriesling_aux X --> bnd_sweetriesling X;
% 26.73/26.40 ALL X. bnd_stemilion_aux X --> bnd_stemilion X;
% 26.73/26.40 ALL X. bnd_semillon_aux X --> bnd_semillon X;
% 26.73/26.40 ALL X. bnd_sauvignonblanc_aux X --> bnd_sauvignonblanc X;
% 26.73/26.40 ALL X. bnd_sauternes_aux X --> bnd_sauternes X;
% 26.73/26.40 ALL X. bnd_sancerre_aux X --> bnd_sancerre X;
% 26.73/26.40 ALL X. bnd_riesling_aux X --> bnd_riesling X;
% 26.73/26.40 ALL X. bnd_region_aux X --> bnd_region X;
% 26.73/26.40 ALL X. bnd_redtablewine_aux X --> bnd_redtablewine X;
% 26.73/26.40 ALL X. bnd_port_aux X --> bnd_port X;
% 26.73/26.40 ALL X. bnd_pinotnoir_aux X --> bnd_pinotnoir X;
% 26.73/26.40 ALL X. bnd_petitesyrah_aux X --> bnd_petitesyrah X;
% 26.73/26.40 ALL X. bnd_pauillac_aux X --> bnd_pauillac X;
% 26.73/26.40 ALL X. bnd_muscadet_aux X --> bnd_muscadet X;
% 26.73/26.40 ALL X. bnd_meursault_aux X --> bnd_meursault X;
% 26.73/26.40 ALL X. bnd_merlot_aux X --> bnd_merlot X;
% 26.73/26.40 ALL X. bnd_meritage_aux X --> bnd_meritage X;
% 26.73/26.40 ALL X. bnd_margaux_aux X --> bnd_margaux X;
% 26.73/26.40 ALL X. bnd_icewine_aux X --> bnd_icewine X;
% 26.73/26.40 ALL X. bnd_dryriesling_aux X --> bnd_dryriesling X;
% 26.73/26.40 ALL X. bnd_dessertwine_aux X --> bnd_dessertwine X;
% 26.73/26.40 ALL X. bnd_cotesdor_aux X --> bnd_cotesdor X;
% 26.73/26.40 ALL X. bnd_chianti_aux X --> bnd_chianti X;
% 26.73/26.40 ALL X. bnd_cheninblanc_aux X --> bnd_cheninblanc X;
% 26.73/26.40 ALL X. bnd_chardonnay_aux X --> bnd_chardonnay X;
% 26.73/26.40 ALL X. bnd_cabernetsauvignon_aux X --> bnd_cabernetsauvignon X;
% 26.73/26.40 ALL X. bnd_cabernetfranc_aux X --> bnd_cabernetfranc X;
% 26.73/26.40 ALL X. bnd_beaujolais_aux X --> bnd_beaujolais X;
% 26.73/26.40 ALL X. bnd_anjou_aux X --> bnd_anjou X;
% 26.73/26.40 ALL X. bnd_wineflavor_aux X --> bnd_wineflavor X;
% 26.73/26.40 ALL X. bnd_winesugar_aux X --> bnd_winesugar X;
% 26.73/26.40 ALL X. bnd_winegrape_aux X --> bnd_winegrape X;
% 26.73/26.40 ALL X. bnd_winery_aux X --> bnd_winery X;
% 26.73/26.40 ALL X. bnd_zinfandel_aux X --> bnd_zinfandel X;
% 26.73/26.40 ALL X. bnd_ot____nom9_aux X --> bnd_ot____nom9 X;
% 26.73/26.40 ALL X. bnd_ot____nom8_aux X --> bnd_ot____nom8 X;
% 26.73/26.40 ALL X. bnd_ot____nom7_aux X --> bnd_ot____nom7 X;
% 26.73/26.40 ALL X. bnd_ot____nom64_aux X --> bnd_ot____nom64 X;
% 26.73/26.40 ALL X. bnd_ot____nom63_aux X --> bnd_ot____nom63 X;
% 26.73/26.40 ALL X. bnd_ot____nom62_aux X --> bnd_ot____nom62 X;
% 26.73/26.40 ALL X. bnd_ot____nom61_aux X --> bnd_ot____nom61 X;
% 26.73/26.40 ALL X. bnd_ot____nom60_aux X --> bnd_ot____nom60 X;
% 26.73/26.40 ALL X. bnd_ot____nom6_aux X --> bnd_ot____nom6 X;
% 26.73/26.40 ALL X. bnd_ot____nom59_aux X --> bnd_ot____nom59 X;
% 26.73/26.40 ALL X. bnd_ot____nom58_aux X --> bnd_ot____nom58 X;
% 26.73/26.40 ALL X. bnd_ot____nom57_aux X --> bnd_ot____nom57 X;
% 26.73/26.40 ALL X. bnd_ot____nom56_aux X --> bnd_ot____nom56 X;
% 26.73/26.40 ALL X. bnd_ot____nom55_aux X --> bnd_ot____nom55 X;
% 26.73/26.40 ALL X. bnd_ot____nom54_aux X --> bnd_ot____nom54 X;
% 26.73/26.40 ALL X. bnd_ot____nom53_aux X --> bnd_ot____nom53 X;
% 26.73/26.40 ALL X. bnd_ot____nom52_aux X --> bnd_ot____nom52 X;
% 26.73/26.40 ALL X. bnd_ot____nom51_aux X --> bnd_ot____nom51 X;
% 26.73/26.40 ALL X. bnd_ot____nom50_aux X --> bnd_ot____nom50 X;
% 26.73/26.40 ALL X. bnd_ot____nom5_aux X --> bnd_ot____nom5 X;
% 26.73/26.40 ALL X. bnd_ot____nom49_aux X --> bnd_ot____nom49 X;
% 26.73/26.40 ALL X. bnd_ot____nom48_aux X --> bnd_ot____nom48 X;
% 26.73/26.40 ALL X. bnd_ot____nom47_aux X --> bnd_ot____nom47 X;
% 26.73/26.40 ALL X. bnd_ot____nom46_aux X --> bnd_ot____nom46 X;
% 26.73/26.40 ALL X. bnd_ot____nom45_aux X --> bnd_ot____nom45 X;
% 26.73/26.40 ALL X. bnd_ot____nom44_aux X --> bnd_ot____nom44 X;
% 26.73/26.40 ALL X. bnd_ot____nom43_aux X --> bnd_ot____nom43 X;
% 26.73/26.40 ALL X. bnd_ot____nom42_aux X --> bnd_ot____nom42 X;
% 26.73/26.40 ALL X. bnd_ot____nom41_aux X --> bnd_ot____nom41 X;
% 26.73/26.40 ALL X. bnd_ot____nom40_aux X --> bnd_ot____nom40 X;
% 26.73/26.40 ALL X. bnd_ot____nom4_aux X --> bnd_ot____nom4 X;
% 26.73/26.40 ALL X. bnd_ot____nom39_aux X --> bnd_ot____nom39 X;
% 26.73/26.40 ALL X. bnd_ot____nom38_aux X --> bnd_ot____nom38 X;
% 26.73/26.40 ALL X. bnd_ot____nom37_aux X --> bnd_ot____nom37 X;
% 26.73/26.40 ALL X. bnd_ot____nom36_aux X --> bnd_ot____nom36 X;
% 26.73/26.40 ALL X. bnd_ot____nom35_aux X --> bnd_ot____nom35 X;
% 26.73/26.40 ALL X. bnd_ot____nom34_aux X --> bnd_ot____nom34 X;
% 26.73/26.40 ALL X. bnd_ot____nom33_aux X --> bnd_ot____nom33 X;
% 26.73/26.40 ALL X. bnd_ot____nom32_aux X --> bnd_ot____nom32 X;
% 26.73/26.40 ALL X. bnd_ot____nom31_aux X --> bnd_ot____nom31 X;
% 26.73/26.40 ALL X. bnd_ot____nom30_aux X --> bnd_ot____nom30 X;
% 26.73/26.40 ALL X. bnd_ot____nom3_aux X --> bnd_ot____nom3 X;
% 26.73/26.40 ALL X. bnd_ot____nom29_aux X --> bnd_ot____nom29 X;
% 26.73/26.40 ALL X. bnd_ot____nom28_aux X --> bnd_ot____nom28 X;
% 26.73/26.40 ALL X. bnd_ot____nom27_aux X --> bnd_ot____nom27 X;
% 26.73/26.40 ALL X. bnd_ot____nom26_aux X --> bnd_ot____nom26 X;
% 26.73/26.40 ALL X. bnd_ot____nom25_aux X --> bnd_ot____nom25 X;
% 26.73/26.40 ALL X. bnd_ot____nom24_aux X --> bnd_ot____nom24 X;
% 26.73/26.40 ALL X. bnd_ot____nom23_aux X --> bnd_ot____nom23 X;
% 26.73/26.40 ALL X. bnd_ot____nom22_aux X --> bnd_ot____nom22 X;
% 26.73/26.40 ALL X. bnd_ot____nom21_aux X --> bnd_ot____nom21 X;
% 26.73/26.40 ALL X. bnd_ot____nom20_aux X --> bnd_ot____nom20 X;
% 26.73/26.40 ALL X. bnd_ot____nom2_aux X --> bnd_ot____nom2 X;
% 26.73/26.40 ALL X. bnd_ot____nom19_aux X --> bnd_ot____nom19 X;
% 26.73/26.40 ALL X. bnd_ot____nom18_aux X --> bnd_ot____nom18 X;
% 26.73/26.40 ALL X. bnd_ot____nom17_aux X --> bnd_ot____nom17 X;
% 26.73/26.40 ALL X. bnd_ot____nom16_aux X --> bnd_ot____nom16 X;
% 26.73/26.40 ALL X. bnd_ot____nom15_aux X --> bnd_ot____nom15 X;
% 26.73/26.40 ALL X. bnd_ot____nom14_aux X --> bnd_ot____nom14 X;
% 26.73/26.40 ALL X. bnd_ot____nom13_aux X --> bnd_ot____nom13 X;
% 26.73/26.40 ALL X. bnd_ot____nom12_aux X --> bnd_ot____nom12 X;
% 26.73/26.40 ALL X. bnd_ot____nom11_aux X --> bnd_ot____nom11 X;
% 26.73/26.40 ALL X. bnd_ot____nom10_aux X --> bnd_ot____nom10 X;
% 26.73/26.40 ALL X. bnd_ot____nom1_aux X --> bnd_ot____nom1 X;
% 26.73/26.40 ALL Y X. bnd_hasvintageyear_aux Y X --> bnd_hasvintageyear Y X;
% 26.73/26.40 ALL Y X. bnd_adjacentregion_aux Y X --> bnd_adjacentregion Y X;
% 26.73/26.40 ALL X Y. bnd_hasbody_aux X Y --> bnd_hasbody X Y;
% 26.73/26.40 ALL X Y. bnd_hascolor_aux X Y --> bnd_hascolor X Y;
% 26.73/26.40 ALL X Y. bnd_hasflavor_aux X Y --> bnd_hasflavor X Y;
% 26.73/26.40 ALL X Y. bnd_hasmaker_aux X Y --> bnd_hasmaker X Y;
% 26.73/26.40 ALL X Y. bnd_hassugar_aux X Y --> bnd_hassugar X Y;
% 26.73/26.40 ALL X Y. bnd_locatedin_aux X Y --> bnd_locatedin X Y;
% 26.73/26.40 ALL X Y. bnd_madefromgrape_aux X Y --> bnd_madefromgrape X Y;
% 26.73/26.40 bnd_hasvintageyear_aux bnd_saucelitocanyonzinfandel1998 bnd_year1998;
% 26.73/26.40 bnd_vintageyear_aux bnd_year1998;
% 26.73/26.40 bnd_kaon2namedobjects bnd_petitesyrahgrape;
% 26.73/26.40 bnd_kaon2namedobjects bnd_centralcoastregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_italianregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_stemilionregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_pinotnoirgrape;
% 26.73/26.40 bnd_kaon2namedobjects bnd_sevreetmainemuscadet;
% 26.73/26.40 bnd_kaon2namedobjects bnd_mountadam; bnd_kaon2namedobjects bnd_rose;
% 26.73/26.40 bnd_kaon2namedobjects bnd_cotesdorregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_closdelapoussie; bnd_kaon2namedobjects bnd_red;
% 26.73/26.40 bnd_kaon2namedobjects bnd_newzealandregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_dry; bnd_kaon2namedobjects bnd_selaks;
% 26.73/26.40 bnd_kaon2namedobjects bnd_congressspringssemillon;
% 26.73/26.40 bnd_kaon2namedobjects bnd_centraltexasregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_usregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_bourgogneregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_mountedenvineyard;
% 26.73/26.40 bnd_kaon2namedobjects bnd_longridgemerlot;
% 26.73/26.40 bnd_kaon2namedobjects bnd_zinfandelgrape;
% 26.73/26.40 bnd_kaon2namedobjects bnd_gamaygrape; bnd_kaon2namedobjects bnd_danjou;
% 26.73/26.40 bnd_kaon2namedobjects bnd_semillongrape;
% 26.73/26.40 bnd_kaon2namedobjects bnd_southaustraliaregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_bancroftchardonnay;
% 26.73/26.40 bnd_kaon2namedobjects bnd_schlossrothermel;
% 26.73/26.40 bnd_kaon2namedobjects bnd_closdevougeotcotesdor;
% 26.73/26.40 bnd_kaon2namedobjects bnd_kalincellarssemillon;
% 26.73/26.40 bnd_kaon2namedobjects bnd_pulignymontrachetwhiteburgundy;
% 26.73/26.40 bnd_kaon2namedobjects bnd_elysezinfandel;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chateaudychemsauterne;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chiantiregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_naparegion; bnd_kaon2namedobjects bnd_handley;
% 26.73/26.40 bnd_kaon2namedobjects bnd_mariettapetitesyrah;
% 26.73/26.40 bnd_kaon2namedobjects bnd_white;
% 26.73/26.40 bnd_kaon2namedobjects bnd_bordeauxregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_sauterneregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_kathrynkennedy;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chateaumargaux;
% 26.73/26.40 bnd_kaon2namedobjects bnd_petiteverdotgrape;
% 26.73/26.40 bnd_kaon2namedobjects bnd_kalincellars;
% 26.73/26.40 bnd_kaon2namedobjects bnd_mountedenvineyardestatepinotnoir;
% 26.73/26.40 bnd_kaon2namedobjects bnd_meursaultregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_pulignymontrachet;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chianticlassico;
% 26.73/26.40 bnd_kaon2namedobjects bnd_whitehalllane;
% 26.73/26.40 bnd_kaon2namedobjects bnd_offdry; bnd_kaon2namedobjects bnd_stgenevieve;
% 26.73/26.40 bnd_kaon2namedobjects bnd_foxen;
% 26.73/26.40 bnd_kaon2namedobjects bnd_mountadamchardonnay;
% 26.73/26.40 bnd_kaon2namedobjects bnd_kathrynkennedylateral;
% 26.73/26.40 bnd_kaon2namedobjects bnd_mariettazinfandel;
% 26.73/26.40 bnd_kaon2namedobjects bnd_schlossrothermeltrochenbierenausleseriesling;
% 26.73/26.40 bnd_kaon2namedobjects bnd_stonleigh;
% 26.73/26.40 bnd_kaon2namedobjects bnd_seanthackreysiriuspetitesyrah;
% 26.73/26.40 bnd_kaon2namedobjects bnd_saucelitocanyonzinfandel;
% 26.73/26.40 bnd_kaon2namedobjects bnd_sevreetmaine;
% 26.73/26.40 bnd_kaon2namedobjects bnd_mariettacabernetsauvignon;
% 26.73/26.40 bnd_kaon2namedobjects bnd_mountadamriesling;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chateauchevalblanc;
% 26.73/26.40 bnd_kaon2namedobjects bnd_ventanacheninblanc;
% 26.73/26.40 bnd_kaon2namedobjects bnd_saucelitocanyon;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chateaumorgon;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chateaulafiterothschild;
% 26.73/26.40 bnd_kaon2namedobjects bnd_rosedanjou;
% 26.73/26.40 bnd_kaon2namedobjects bnd_mariettaoldvinesred;
% 26.73/26.40 bnd_kaon2namedobjects bnd_cotturi; bnd_kaon2namedobjects bnd_ventana;
% 26.73/26.40 bnd_kaon2namedobjects bnd_lanetannerpinotnoir;
% 26.73/26.40 bnd_kaon2namedobjects bnd_cortonmontrachetwhiteburgundy;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chateaulafiterothschildpauillac;
% 26.73/26.40 bnd_kaon2namedobjects bnd_selakssauvignonblanc;
% 26.73/26.40 bnd_kaon2namedobjects bnd_sancerreregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_californiaregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_santacruzmountainsregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chateaumorgonbeaujolais;
% 26.73/26.40 bnd_kaon2namedobjects bnd_mendocinoregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_mcguinnesso;
% 26.73/26.40 bnd_kaon2namedobjects bnd_lanetanner;
% 26.73/26.40 bnd_kaon2namedobjects bnd_santabarbararegion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_pauillacregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_rieslinggrape; bnd_kaon2namedobjects bnd_light;
% 26.73/26.40 bnd_kaon2namedobjects bnd_garyfarrell;
% 26.73/26.40 bnd_kaon2namedobjects bnd_muscadetregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_germanyregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_congresssprings;
% 26.73/26.40 bnd_kaon2namedobjects bnd_stgenevievetexaswhite;
% 26.73/26.40 bnd_kaon2namedobjects bnd_pagemillwinery;
% 26.73/26.40 bnd_kaon2namedobjects bnd_petermccoychardonnay;
% 26.73/26.40 bnd_kaon2namedobjects bnd_beaujolaisregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_anjouregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_whitehalllanecabernetfranc;
% 26.73/26.40 bnd_kaon2namedobjects bnd_elyse;
% 26.73/26.40 bnd_kaon2namedobjects bnd_arroyogranderegion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_sweet; bnd_kaon2namedobjects bnd_marietta;
% 26.73/26.40 bnd_kaon2namedobjects bnd_schlossvolrad;
% 26.73/26.40 bnd_kaon2namedobjects bnd_ednavalleyregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_closdelapoussiesancerre;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chateaumargauxwinery;
% 26.73/26.40 bnd_kaon2namedobjects bnd_toursregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_sangiovesegrape;
% 26.73/26.40 bnd_kaon2namedobjects bnd_medocregion; bnd_kaon2namedobjects bnd_medium;
% 26.73/26.40 bnd_kaon2namedobjects bnd_cabernetfrancgrape;
% 26.73/26.40 bnd_kaon2namedobjects bnd_schlossvolradtrochenbierenausleseriesling;
% 26.73/26.40 bnd_kaon2namedobjects bnd_strong; bnd_kaon2namedobjects bnd_frenchregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_margauxregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_portugalregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_santacruzmountainvineyard;
% 26.73/26.40 bnd_kaon2namedobjects bnd_garyfarrellmerlot;
% 26.73/26.40 bnd_kaon2namedobjects bnd_merlotgrape;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chateaudemeursaultmeursault;
% 26.73/26.40 bnd_kaon2namedobjects bnd_formanchardonnay;
% 26.73/26.40 bnd_kaon2namedobjects bnd_beringer;
% 26.73/26.40 bnd_kaon2namedobjects bnd_australianregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chateaudychem;
% 26.73/26.40 bnd_kaon2namedobjects bnd_cortonmontrachet;
% 26.73/26.40 bnd_kaon2namedobjects bnd_corbansprivatebinsauvignonblanc;
% 26.73/26.40 bnd_kaon2namedobjects bnd_loireregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_stonleighsauvignonblanc;
% 26.73/26.40 bnd_kaon2namedobjects bnd_corbans;
% 26.73/26.40 bnd_kaon2namedobjects bnd_closdevougeot;
% 26.73/26.40 bnd_kaon2namedobjects bnd_malbecgrape; bnd_kaon2namedobjects bnd_taylor;
% 26.73/26.40 bnd_kaon2namedobjects bnd_full;
% 26.73/26.40 bnd_kaon2namedobjects bnd_corbanssauvignonblanc;
% 26.73/26.40 bnd_kaon2namedobjects bnd_saucelitocanyonzinfandel1998;
% 26.73/26.40 bnd_kaon2namedobjects bnd_alsaceregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_moderate;
% 26.73/26.40 bnd_kaon2namedobjects bnd_mountedenvineyardednavalleychardonnay;
% 26.73/26.40 bnd_kaon2namedobjects bnd_bancroft; bnd_kaon2namedobjects bnd_longridge;
% 26.73/26.40 bnd_kaon2namedobjects bnd_whitehalllaneprimavera;
% 26.73/26.40 bnd_kaon2namedobjects bnd_cotturizinfandel;
% 26.73/26.40 bnd_kaon2namedobjects bnd_year1998;
% 26.73/26.40 bnd_kaon2namedobjects bnd_pinotblancgrape;
% 26.73/26.40 bnd_kaon2namedobjects bnd_mountadampinotnoir;
% 26.73/26.40 bnd_kaon2namedobjects bnd_cabernetsauvignongrape;
% 26.73/26.40 bnd_kaon2namedobjects bnd_sauvignonblancgrape;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chardonnaygrape;
% 26.73/26.40 bnd_kaon2namedobjects bnd_selaksicewine;
% 26.73/26.40 bnd_kaon2namedobjects bnd_santacruzmountainvineyardcabernetsauvignon;
% 26.73/26.40 bnd_kaon2namedobjects bnd_foxencheninblanc;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chateauchevalblancstemilion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_pagemillwinerycabernetsauvignon;
% 26.73/26.40 bnd_kaon2namedobjects bnd_taylorport; bnd_kaon2namedobjects bnd_forman;
% 26.73/26.40 bnd_kaon2namedobjects bnd_petermccoy; bnd_kaon2namedobjects bnd_delicate;
% 26.73/26.40 bnd_kaon2namedobjects bnd_cheninblancgrape;
% 26.73/26.40 bnd_kaon2namedobjects bnd_corbansdrywhiteriesling;
% 26.73/26.40 bnd_kaon2namedobjects bnd_sonomaregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_texasregion;
% 26.73/26.40 bnd_kaon2namedobjects bnd_formancabernetsauvignon;
% 26.73/26.40 bnd_kaon2namedobjects bnd_seanthackrey;
% 26.73/26.40 bnd_kaon2namedobjects bnd_chateaudemeursault;
% 26.73/26.40 bnd_sweetriesling_aux bnd_schlossvolradtrochenbierenausleseriesling;
% 26.73/26.40 bnd_sweetriesling_aux bnd_schlossrothermeltrochenbierenausleseriesling;
% 26.73/26.40 bnd_stemilion_aux bnd_chateauchevalblancstemilion;
% 26.73/26.40 bnd_semillon_aux bnd_kalincellarssemillon;
% 26.73/26.40 bnd_semillon_aux bnd_congressspringssemillon;
% 26.73/26.40 bnd_sauvignonblanc_aux bnd_selakssauvignonblanc;
% 26.73/26.40 bnd_sauvignonblanc_aux bnd_stonleighsauvignonblanc;
% 26.73/26.40 bnd_sauvignonblanc_aux bnd_corbanssauvignonblanc;
% 26.73/26.40 bnd_sauvignonblanc_aux bnd_corbansprivatebinsauvignonblanc;
% 26.73/26.40 bnd_sauternes_aux bnd_chateaudychemsauterne;
% 26.73/26.40 bnd_sancerre_aux bnd_closdelapoussiesancerre;
% 26.73/26.40 bnd_riesling_aux bnd_corbansdrywhiteriesling;
% 26.73/26.40 bnd_region_aux bnd_arroyogranderegion;
% 26.73/26.40 bnd_region_aux bnd_ednavalleyregion; bnd_region_aux bnd_meursaultregion;
% 26.73/26.40 bnd_region_aux bnd_beaujolaisregion; bnd_region_aux bnd_cotesdorregion;
% 26.73/26.40 bnd_region_aux bnd_frenchregion; bnd_region_aux bnd_toursregion;
% 26.73/26.40 bnd_region_aux bnd_bourgogneregion; bnd_region_aux bnd_stemilionregion;
% 26.73/26.40 bnd_region_aux bnd_alsaceregion; bnd_region_aux bnd_muscadetregion;
% 26.73/26.40 bnd_region_aux bnd_texasregion; bnd_region_aux bnd_margauxregion;
% 26.73/26.40 bnd_region_aux bnd_italianregion;
% 26.73/26.40 bnd_region_aux bnd_santacruzmountainsregion;
% 26.73/26.40 bnd_region_aux bnd_mendocinoregion;
% 26.73/26.40 bnd_region_aux bnd_southaustraliaregion;
% 26.73/26.40 bnd_region_aux bnd_australianregion; bnd_region_aux bnd_medocregion;
% 26.73/26.40 bnd_region_aux bnd_santabarbararegion; bnd_region_aux bnd_sonomaregion;
% 26.73/26.40 bnd_region_aux bnd_centralcoastregion; bnd_region_aux bnd_anjouregion;
% 26.73/26.40 bnd_region_aux bnd_portugalregion; bnd_region_aux bnd_bordeauxregion;
% 26.73/26.40 bnd_region_aux bnd_centraltexasregion; bnd_region_aux bnd_pauillacregion;
% 26.73/26.40 bnd_region_aux bnd_germanyregion; bnd_region_aux bnd_sauterneregion;
% 26.73/26.40 bnd_region_aux bnd_chiantiregion; bnd_region_aux bnd_newzealandregion;
% 26.73/26.40 bnd_region_aux bnd_naparegion; bnd_region_aux bnd_usregion;
% 26.73/26.40 bnd_region_aux bnd_loireregion; bnd_region_aux bnd_sancerreregion;
% 26.73/26.40 bnd_region_aux bnd_californiaregion;
% 26.73/26.40 bnd_redtablewine_aux bnd_mariettaoldvinesred;
% 26.73/26.40 bnd_port_aux bnd_taylorport;
% 26.73/26.40 bnd_pinotnoir_aux bnd_mountedenvineyardestatepinotnoir;
% 26.73/26.40 bnd_pinotnoir_aux bnd_lanetannerpinotnoir;
% 26.73/26.40 bnd_pinotnoir_aux bnd_mountadampinotnoir;
% 26.73/26.40 bnd_petitesyrah_aux bnd_seanthackreysiriuspetitesyrah;
% 26.73/26.40 bnd_petitesyrah_aux bnd_mariettapetitesyrah;
% 26.73/26.40 bnd_pauillac_aux bnd_chateaulafiterothschildpauillac;
% 26.73/26.40 bnd_merlot_aux bnd_longridgemerlot; bnd_merlot_aux bnd_garyfarrellmerlot;
% 26.73/26.40 bnd_cotesdor_aux bnd_closdevougeotcotesdor;
% 26.73/26.40 bnd_chianti_aux bnd_chianticlassico;
% 26.73/26.40 bnd_cheninblanc_aux bnd_ventanacheninblanc;
% 26.73/26.40 bnd_cheninblanc_aux bnd_foxencheninblanc;
% 26.73/26.40 bnd_chardonnay_aux bnd_mountedenvineyardednavalleychardonnay;
% 26.73/26.40 bnd_chardonnay_aux bnd_mountadamchardonnay;
% 26.73/26.40 bnd_chardonnay_aux bnd_bancroftchardonnay;
% 26.73/26.40 bnd_chardonnay_aux bnd_petermccoychardonnay;
% 26.73/26.40 bnd_chardonnay_aux bnd_formanchardonnay; bnd_anjou_aux bnd_rosedanjou;
% 26.73/26.40 bnd_beaujolais_aux bnd_chateaumorgonbeaujolais;
% 26.73/26.40 bnd_cabernetfranc_aux bnd_whitehalllanecabernetfranc;
% 26.73/26.40 bnd_cabernetsauvignon_aux bnd_formancabernetsauvignon;
% 26.73/26.40 bnd_cabernetsauvignon_aux bnd_santacruzmountainvineyardcabernetsauvignon;
% 26.73/26.40 bnd_cabernetsauvignon_aux bnd_pagemillwinerycabernetsauvignon;
% 26.73/26.40 bnd_cabernetsauvignon_aux bnd_mariettacabernetsauvignon;
% 26.73/26.40 bnd_dessertwine_aux bnd_whitehalllaneprimavera;
% 26.73/26.40 bnd_dryriesling_aux bnd_mountadamriesling;
% 26.73/26.40 bnd_icewine_aux bnd_selaksicewine; bnd_margaux_aux bnd_chateaumargaux;
% 26.73/26.40 bnd_meritage_aux bnd_kathrynkennedylateral;
% 26.73/26.40 bnd_meursault_aux bnd_chateaudemeursaultmeursault;
% 26.73/26.40 bnd_muscadet_aux bnd_sevreetmainemuscadet;
% 26.73/26.40 bnd_whitewine_aux bnd_stgenevievetexaswhite;
% 26.73/26.40 bnd_whiteburgundy_aux bnd_cortonmontrachetwhiteburgundy;
% 26.73/26.40 bnd_whiteburgundy_aux bnd_pulignymontrachetwhiteburgundy;
% 26.73/26.40 bnd_winecolor_aux bnd_red; bnd_winecolor_aux bnd_rose;
% 26.73/26.40 bnd_winecolor_aux bnd_white; bnd_winebody_aux bnd_medium;
% 26.73/26.40 bnd_winebody_aux bnd_full; bnd_winebody_aux bnd_light;
% 26.73/26.40 bnd_zinfandel_aux bnd_saucelitocanyonzinfandel;
% 26.73/26.40 bnd_zinfandel_aux bnd_mariettazinfandel;
% 26.73/26.40 bnd_zinfandel_aux bnd_saucelitocanyonzinfandel1998;
% 26.73/26.40 bnd_zinfandel_aux bnd_cotturizinfandel;
% 26.73/26.40 bnd_zinfandel_aux bnd_elysezinfandel; bnd_winery_aux bnd_foxen;
% 26.73/26.40 bnd_winery_aux bnd_pulignymontrachet; bnd_winery_aux bnd_handley;
% 26.73/26.40 bnd_winery_aux bnd_pagemillwinery; bnd_winery_aux bnd_chateaumorgon;
% 26.73/26.40 bnd_winery_aux bnd_mountadam; bnd_winery_aux bnd_chateauchevalblanc;
% 26.73/26.40 bnd_winery_aux bnd_chateaudemeursault;
% 26.73/26.40 bnd_winery_aux bnd_congresssprings;
% 26.73/26.40 bnd_winery_aux bnd_chateaumargauxwinery; bnd_winery_aux bnd_cotturi;
% 26.73/26.40 bnd_winery_aux bnd_kathrynkennedy; bnd_winery_aux bnd_chateaudychem;
% 26.73/26.40 bnd_winery_aux bnd_kalincellars; bnd_winery_aux bnd_corbans;
% 26.73/26.40 bnd_winery_aux bnd_stgenevieve; bnd_winery_aux bnd_taylor;
% 26.73/26.40 bnd_winery_aux bnd_mountedenvineyard; bnd_winery_aux bnd_saucelitocanyon;
% 26.73/26.40 bnd_winery_aux bnd_lanetanner; bnd_winery_aux bnd_whitehalllane;
% 26.73/26.40 bnd_winery_aux bnd_bancroft; bnd_winery_aux bnd_sevreetmaine;
% 26.73/26.40 bnd_winery_aux bnd_beringer; bnd_winery_aux bnd_mcguinnesso;
% 26.73/26.40 bnd_winery_aux bnd_longridge; bnd_winery_aux bnd_schlossrothermel;
% 26.73/26.40 bnd_winery_aux bnd_ventana; bnd_winery_aux bnd_closdevougeot;
% 26.73/26.40 bnd_winery_aux bnd_santacruzmountainvineyard;
% 26.73/26.40 bnd_winery_aux bnd_closdelapoussie; bnd_winery_aux bnd_garyfarrell;
% 26.73/26.40 bnd_winery_aux bnd_elyse; bnd_winery_aux bnd_chateaulafiterothschild;
% 26.73/26.40 bnd_winery_aux bnd_forman; bnd_winery_aux bnd_cortonmontrachet;
% 26.73/26.40 bnd_winery_aux bnd_selaks; bnd_winery_aux bnd_schlossvolrad;
% 26.73/26.40 bnd_winery_aux bnd_stonleigh; bnd_winery_aux bnd_danjou;
% 26.73/26.40 bnd_winery_aux bnd_petermccoy; bnd_winery_aux bnd_marietta;
% 26.73/26.40 bnd_winery_aux bnd_seanthackrey; bnd_winesugar_aux bnd_offdry;
% 26.73/26.40 bnd_winesugar_aux bnd_dry; bnd_winesugar_aux bnd_sweet;
% 26.73/26.40 bnd_winegrape_aux bnd_merlotgrape; bnd_winegrape_aux bnd_malbecgrape;
% 26.73/26.40 bnd_winegrape_aux bnd_cheninblancgrape;
% 26.73/26.40 bnd_winegrape_aux bnd_sauvignonblancgrape;
% 26.73/26.40 bnd_winegrape_aux bnd_cabernetsauvignongrape;
% 26.73/26.40 bnd_winegrape_aux bnd_pinotnoirgrape;
% 26.73/26.40 bnd_winegrape_aux bnd_chardonnaygrape;
% 26.73/26.40 bnd_winegrape_aux bnd_petiteverdotgrape;
% 26.73/26.40 bnd_winegrape_aux bnd_gamaygrape; bnd_winegrape_aux bnd_pinotblancgrape;
% 26.73/26.40 bnd_winegrape_aux bnd_rieslinggrape; bnd_winegrape_aux bnd_semillongrape;
% 26.73/26.40 bnd_winegrape_aux bnd_cabernetfrancgrape;
% 26.73/26.40 bnd_winegrape_aux bnd_sangiovesegrape;
% 26.73/26.40 bnd_winegrape_aux bnd_zinfandelgrape;
% 26.73/26.40 bnd_winegrape_aux bnd_petitesyrahgrape; bnd_wineflavor_aux bnd_moderate;
% 26.73/26.40 bnd_wineflavor_aux bnd_strong; bnd_wineflavor_aux bnd_delicate;
% 26.73/26.40 bnd_ot____nom9_aux bnd_red; bnd_ot____nom9_aux bnd_rose;
% 26.73/26.40 bnd_ot____nom9_aux bnd_white; bnd_ot____nom8_aux bnd_merlotgrape;
% 26.73/26.40 bnd_ot____nom8_aux bnd_malbecgrape;
% 26.73/26.40 bnd_ot____nom8_aux bnd_cabernetsauvignongrape;
% 26.73/26.40 bnd_ot____nom8_aux bnd_petiteverdotgrape;
% 26.73/26.40 bnd_ot____nom8_aux bnd_cabernetfrancgrape; bnd_ot____nom7_aux bnd_offdry;
% 26.73/26.40 bnd_ot____nom7_aux bnd_dry; bnd_ot____nom64_aux bnd_moderate;
% 26.73/26.40 bnd_ot____nom64_aux bnd_delicate;
% 26.73/26.40 bnd_ot____nom63_aux bnd_cheninblancgrape;
% 26.73/26.40 bnd_ot____nom63_aux bnd_sauvignonblancgrape;
% 26.73/26.40 bnd_ot____nom63_aux bnd_pinotblancgrape;
% 26.73/26.40 bnd_ot____nom62_aux bnd_merlotgrape;
% 26.73/26.40 bnd_ot____nom62_aux bnd_cabernetsauvignongrape;
% 26.73/26.40 bnd_ot____nom61_aux bnd_chiantiregion;
% 26.73/26.40 bnd_ot____nom60_aux bnd_sangiovesegrape;
% 26.73/26.40 bnd_ot____nom6_aux bnd_sauvignonblancgrape;
% 26.73/26.40 bnd_ot____nom6_aux bnd_semillongrape; bnd_ot____nom59_aux bnd_medium;
% 26.73/26.40 bnd_ot____nom59_aux bnd_light; bnd_ot____nom58_aux bnd_strong;
% 26.73/26.40 bnd_ot____nom57_aux bnd_portugalregion; bnd_ot____nom56_aux bnd_light;
% 26.73/26.40 bnd_ot____nom55_aux bnd_delicate; bnd_ot____nom54_aux bnd_offdry;
% 26.73/26.40 bnd_ot____nom53_aux bnd_offdry; bnd_ot____nom53_aux bnd_sweet;
% 26.73/26.40 bnd_ot____nom52_aux bnd_sauterneregion; bnd_ot____nom51_aux bnd_medium;
% 26.73/26.40 bnd_ot____nom51_aux bnd_full; bnd_ot____nom50_aux bnd_moderate;
% 26.73/26.40 bnd_ot____nom50_aux bnd_strong; bnd_ot____nom5_aux bnd_white;
% 26.73/26.40 bnd_ot____nom49_aux bnd_medium; bnd_ot____nom48_aux bnd_moderate;
% 26.73/26.40 bnd_ot____nom47_aux bnd_italianregion;
% 26.73/26.40 bnd_ot____nom46_aux bnd_pauillacregion; bnd_ot____nom45_aux bnd_full;
% 26.73/26.40 bnd_ot____nom44_aux bnd_bourgogneregion;
% 26.73/26.40 bnd_ot____nom43_aux bnd_merlotgrape;
% 26.73/26.40 bnd_ot____nom42_aux bnd_cotesdorregion;
% 26.73/26.40 bnd_ot____nom41_aux bnd_frenchregion; bnd_ot____nom40_aux bnd_medium;
% 26.73/26.40 bnd_ot____nom40_aux bnd_full; bnd_ot____nom40_aux bnd_light;
% 26.73/26.40 bnd_ot____nom4_aux bnd_toursregion;
% 26.73/26.40 bnd_ot____nom39_aux bnd_pinotnoirgrape; bnd_ot____nom38_aux bnd_usregion;
% 26.73/26.40 bnd_ot____nom37_aux bnd_rieslinggrape;
% 26.73/26.40 bnd_ot____nom36_aux bnd_stemilionregion;
% 26.73/26.40 bnd_ot____nom35_aux bnd_moderate; bnd_ot____nom35_aux bnd_strong;
% 26.73/26.40 bnd_ot____nom35_aux bnd_delicate;
% 26.73/26.40 bnd_ot____nom34_aux bnd_cheninblancgrape;
% 26.73/26.40 bnd_ot____nom33_aux bnd_gamaygrape; bnd_ot____nom32_aux bnd_rose;
% 26.73/26.40 bnd_ot____nom31_aux bnd_meursaultregion;
% 26.73/26.40 bnd_ot____nom30_aux bnd_sancerreregion;
% 26.73/26.40 bnd_ot____nom3_aux bnd_cabernetfrancgrape;
% 26.73/26.40 bnd_ot____nom29_aux bnd_cabernetsauvignongrape;
% 26.73/26.40 bnd_ot____nom28_aux bnd_red; bnd_ot____nom27_aux bnd_semillongrape;
% 26.73/26.40 bnd_ot____nom26_aux bnd_beaujolaisregion;
% 26.73/26.40 bnd_ot____nom25_aux bnd_petitesyrahgrape;
% 26.73/26.40 bnd_ot____nom24_aux bnd_chardonnaygrape;
% 26.73/26.40 bnd_ot____nom23_aux bnd_bordeauxregion;
% 26.73/26.40 bnd_ot____nom22_aux bnd_margauxregion;
% 26.73/26.40 bnd_ot____nom21_aux bnd_pinotblancgrape;
% 26.73/26.40 bnd_ot____nom20_aux bnd_zinfandelgrape;
% 26.73/26.40 bnd_ot____nom2_aux bnd_medocregion; bnd_ot____nom19_aux bnd_loireregion;
% 26.73/26.40 bnd_ot____nom18_aux bnd_offdry; bnd_ot____nom18_aux bnd_dry;
% 26.73/26.40 bnd_ot____nom18_aux bnd_sweet; bnd_ot____nom17_aux bnd_germanyregion;
% 26.73/26.40 bnd_ot____nom16_aux bnd_muscadetregion;
% 26.73/26.40 bnd_ot____nom15_aux bnd_californiaregion;
% 26.73/26.40 bnd_ot____nom14_aux bnd_anjouregion;
% 26.73/26.40 bnd_ot____nom13_aux bnd_alsaceregion; bnd_ot____nom12_aux bnd_dry;
% 26.73/26.40 bnd_ot____nom11_aux bnd_sauvignonblancgrape;
% 26.73/26.40 bnd_ot____nom10_aux bnd_texasregion; bnd_ot____nom1_aux bnd_sweet;
% 26.73/26.40 bnd_madefromgrape_aux bnd_chateaudychemsauterne bnd_sauvignonblancgrape;
% 26.73/26.40 bnd_madefromgrape_aux bnd_chateaudychemsauterne bnd_semillongrape;
% 26.73/26.40 bnd_locatedin_aux bnd_selakssauvignonblanc bnd_newzealandregion;
% 26.73/26.40 bnd_locatedin_aux bnd_arroyogranderegion bnd_californiaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_stonleighsauvignonblanc bnd_newzealandregion;
% 26.73/26.40 bnd_locatedin_aux bnd_ednavalleyregion bnd_californiaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_meursaultregion bnd_bourgogneregion;
% 26.73/26.40 bnd_locatedin_aux bnd_mountedenvineyardednavalleychardonnay
% 26.73/26.40 bnd_ednavalleyregion;
% 26.73/26.40 bnd_locatedin_aux bnd_beaujolaisregion bnd_frenchregion;
% 26.73/26.40 bnd_locatedin_aux bnd_schlossvolradtrochenbierenausleseriesling
% 26.73/26.40 bnd_germanyregion;
% 26.73/26.40 bnd_locatedin_aux bnd_formancabernetsauvignon bnd_naparegion;
% 26.73/26.40 bnd_locatedin_aux bnd_saucelitocanyonzinfandel bnd_arroyogranderegion;
% 26.73/26.40 bnd_locatedin_aux bnd_ventanacheninblanc bnd_centralcoastregion;
% 26.73/26.40 bnd_locatedin_aux bnd_whitehalllanecabernetfranc bnd_naparegion;
% 26.73/26.40 bnd_locatedin_aux bnd_mountedenvineyardestatepinotnoir
% 26.73/26.40 bnd_ednavalleyregion;
% 26.73/26.40 bnd_locatedin_aux bnd_cotesdorregion bnd_bourgogneregion;
% 26.73/26.40 bnd_locatedin_aux bnd_toursregion bnd_loireregion;
% 26.73/26.40 bnd_locatedin_aux bnd_mariettazinfandel bnd_sonomaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_bourgogneregion bnd_frenchregion;
% 26.73/26.40 bnd_locatedin_aux bnd_stemilionregion bnd_bordeauxregion;
% 26.73/26.40 bnd_locatedin_aux bnd_mountadamriesling bnd_southaustraliaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_alsaceregion bnd_frenchregion;
% 26.73/26.40 bnd_locatedin_aux bnd_mountadamchardonnay bnd_southaustraliaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_muscadetregion bnd_loireregion;
% 26.73/26.40 bnd_locatedin_aux bnd_texasregion bnd_usregion;
% 26.73/26.40 bnd_locatedin_aux bnd_margauxregion bnd_medocregion;
% 26.73/26.40 bnd_locatedin_aux bnd_corbansdrywhiteriesling bnd_newzealandregion;
% 26.73/26.40 bnd_locatedin_aux bnd_santacruzmountainsregion bnd_californiaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_mendocinoregion bnd_californiaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_lanetannerpinotnoir bnd_santabarbararegion;
% 26.73/26.40 bnd_locatedin_aux bnd_santacruzmountainvineyardcabernetsauvignon
% 26.73/26.40 bnd_santacruzmountainsregion;
% 26.73/26.40 bnd_locatedin_aux bnd_whitehalllaneprimavera bnd_naparegion;
% 26.73/26.40 bnd_locatedin_aux bnd_southaustraliaregion bnd_australianregion;
% 26.73/26.40 bnd_locatedin_aux bnd_medocregion bnd_bordeauxregion;
% 26.73/26.40 bnd_locatedin_aux bnd_saucelitocanyonzinfandel1998
% 26.73/26.40 bnd_arroyogranderegion;
% 26.73/26.40 bnd_locatedin_aux bnd_seanthackreysiriuspetitesyrah bnd_naparegion;
% 26.73/26.40 bnd_locatedin_aux bnd_pagemillwinerycabernetsauvignon bnd_naparegion;
% 26.73/26.40 bnd_locatedin_aux bnd_santabarbararegion bnd_californiaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_sonomaregion bnd_californiaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_longridgemerlot bnd_newzealandregion;
% 26.73/26.40 bnd_locatedin_aux bnd_mariettaoldvinesred bnd_sonomaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_centralcoastregion bnd_californiaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_anjouregion bnd_loireregion;
% 26.73/26.40 bnd_locatedin_aux bnd_cotturizinfandel bnd_sonomaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_bordeauxregion bnd_frenchregion;
% 26.73/26.40 bnd_locatedin_aux bnd_garyfarrellmerlot bnd_sonomaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_schlossrothermeltrochenbierenausleseriesling
% 26.73/26.40 bnd_germanyregion;
% 26.73/26.40 bnd_locatedin_aux bnd_centraltexasregion bnd_texasregion;
% 26.73/26.40 bnd_locatedin_aux bnd_pauillacregion bnd_medocregion;
% 26.73/26.40 bnd_locatedin_aux bnd_sauterneregion bnd_bordeauxregion;
% 26.73/26.40 bnd_locatedin_aux bnd_mariettacabernetsauvignon bnd_sonomaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_chiantiregion bnd_italianregion;
% 26.73/26.40 bnd_locatedin_aux bnd_mountadampinotnoir bnd_southaustraliaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_naparegion bnd_californiaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_elysezinfandel bnd_naparegion;
% 26.73/26.40 bnd_locatedin_aux bnd_bancroftchardonnay bnd_naparegion;
% 26.73/26.40 bnd_locatedin_aux bnd_selaksicewine bnd_newzealandregion;
% 26.73/26.40 bnd_locatedin_aux bnd_petermccoychardonnay bnd_sonomaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_corbanssauvignonblanc bnd_newzealandregion;
% 26.73/26.40 bnd_locatedin_aux bnd_mariettapetitesyrah bnd_sonomaregion;
% 26.73/26.40 bnd_locatedin_aux bnd_corbansprivatebinsauvignonblanc
% 26.73/26.40 bnd_newzealandregion;
% 26.73/26.40 bnd_locatedin_aux bnd_loireregion bnd_frenchregion;
% 26.73/26.40 bnd_locatedin_aux bnd_foxencheninblanc bnd_santabarbararegion;
% 26.73/26.40 bnd_locatedin_aux bnd_stgenevievetexaswhite bnd_centraltexasregion;
% 26.73/26.40 bnd_locatedin_aux bnd_formanchardonnay bnd_naparegion;
% 26.73/26.40 bnd_locatedin_aux bnd_sancerreregion bnd_loireregion;
% 26.73/26.40 bnd_locatedin_aux bnd_californiaregion bnd_usregion;
% 26.73/26.40 bnd_hassugar_aux bnd_selakssauvignonblanc bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_stonleighsauvignonblanc bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_mountedenvineyardednavalleychardonnay bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_schlossvolradtrochenbierenausleseriesling bnd_sweet;
% 26.73/26.40 bnd_hassugar_aux bnd_formancabernetsauvignon bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_saucelitocanyonzinfandel bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_ventanacheninblanc bnd_offdry;
% 26.73/26.40 bnd_hassugar_aux bnd_whitehalllanecabernetfranc bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_mountedenvineyardestatepinotnoir bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_kathrynkennedylateral bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_mariettazinfandel bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_mountadamriesling bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_mountadamchardonnay bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_corbansdrywhiteriesling bnd_offdry;
% 26.73/26.40 bnd_hassugar_aux bnd_lanetannerpinotnoir bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_santacruzmountainvineyardcabernetsauvignon bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_whitehalllaneprimavera bnd_sweet;
% 26.73/26.40 bnd_hassugar_aux bnd_saucelitocanyonzinfandel1998 bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_seanthackreysiriuspetitesyrah bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_pagemillwinerycabernetsauvignon bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_kalincellarssemillon bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_longridgemerlot bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_mariettaoldvinesred bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_cotturizinfandel bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_garyfarrellmerlot bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_schlossrothermeltrochenbierenausleseriesling
% 26.73/26.40 bnd_sweet;
% 26.73/26.40 bnd_hassugar_aux bnd_mariettacabernetsauvignon bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_mountadampinotnoir bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_elysezinfandel bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_bancroftchardonnay bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_petermccoychardonnay bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_corbanssauvignonblanc bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_mariettapetitesyrah bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_congressspringssemillon bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_corbansprivatebinsauvignonblanc bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_cortonmontrachetwhiteburgundy bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_foxencheninblanc bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_stgenevievetexaswhite bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_formanchardonnay bnd_dry;
% 26.73/26.40 bnd_hassugar_aux bnd_pulignymontrachetwhiteburgundy bnd_dry;
% 26.73/26.40 bnd_hasmaker_aux bnd_sevreetmainemuscadet bnd_sevreetmaine;
% 26.73/26.40 bnd_hasmaker_aux bnd_selakssauvignonblanc bnd_selaks;
% 26.73/26.40 bnd_hasmaker_aux bnd_stonleighsauvignonblanc bnd_stonleigh;
% 26.73/26.40 bnd_hasmaker_aux bnd_mountedenvineyardednavalleychardonnay
% 26.73/26.40 bnd_mountedenvineyard;
% 26.73/26.40 bnd_hasmaker_aux bnd_schlossvolradtrochenbierenausleseriesling
% 26.73/26.40 bnd_schlossvolrad;
% 26.73/26.40 bnd_hasmaker_aux bnd_formancabernetsauvignon bnd_forman;
% 26.73/26.40 bnd_hasmaker_aux bnd_saucelitocanyonzinfandel bnd_saucelitocanyon;
% 26.73/26.40 bnd_hasmaker_aux bnd_ventanacheninblanc bnd_ventana;
% 26.73/26.40 bnd_hasmaker_aux bnd_whitehalllanecabernetfranc bnd_whitehalllane;
% 26.73/26.40 bnd_hasmaker_aux bnd_mountedenvineyardestatepinotnoir
% 26.73/26.40 bnd_mountedenvineyard;
% 26.73/26.40 bnd_hasmaker_aux bnd_kathrynkennedylateral bnd_kathrynkennedy;
% 26.73/26.40 bnd_hasmaker_aux bnd_chateaumargaux bnd_chateaumargauxwinery;
% 26.73/26.40 bnd_hasmaker_aux bnd_mariettazinfandel bnd_marietta;
% 26.73/26.40 bnd_hasmaker_aux bnd_mountadamriesling bnd_mountadam;
% 26.73/26.40 bnd_hasmaker_aux bnd_mountadamchardonnay bnd_mountadam;
% 26.73/26.40 bnd_hasmaker_aux bnd_rosedanjou bnd_danjou;
% 26.73/26.40 bnd_hasmaker_aux bnd_corbansdrywhiteriesling bnd_corbans;
% 26.73/26.40 bnd_hasmaker_aux bnd_lanetannerpinotnoir bnd_lanetanner;
% 26.73/26.40 bnd_hasmaker_aux bnd_santacruzmountainvineyardcabernetsauvignon
% 26.73/26.40 bnd_santacruzmountainvineyard;
% 26.73/26.40 bnd_hasmaker_aux bnd_chateaudemeursaultmeursault bnd_chateaudemeursault;
% 26.73/26.40 bnd_hasmaker_aux bnd_saucelitocanyonzinfandel1998 bnd_saucelitocanyon;
% 26.73/26.40 bnd_hasmaker_aux bnd_seanthackreysiriuspetitesyrah bnd_seanthackrey;
% 26.73/26.40 bnd_hasmaker_aux bnd_pagemillwinerycabernetsauvignon bnd_pagemillwinery;
% 26.73/26.40 bnd_hasmaker_aux bnd_kalincellarssemillon bnd_kalincellars;
% 26.73/26.40 bnd_hasmaker_aux bnd_longridgemerlot bnd_longridge;
% 26.73/26.40 bnd_hasmaker_aux bnd_mariettaoldvinesred bnd_marietta;
% 26.73/26.40 bnd_hasmaker_aux bnd_closdelapoussiesancerre bnd_closdelapoussie;
% 26.73/26.40 bnd_hasmaker_aux bnd_cotturizinfandel bnd_cotturi;
% 26.73/26.40 bnd_hasmaker_aux bnd_closdevougeotcotesdor bnd_closdevougeot;
% 26.73/26.40 bnd_hasmaker_aux bnd_garyfarrellmerlot bnd_garyfarrell;
% 26.73/26.40 bnd_hasmaker_aux bnd_schlossrothermeltrochenbierenausleseriesling
% 26.73/26.40 bnd_schlossrothermel;
% 26.73/26.40 bnd_hasmaker_aux bnd_mariettacabernetsauvignon bnd_marietta;
% 26.73/26.40 bnd_hasmaker_aux bnd_chateaudychemsauterne bnd_chateaudychem;
% 26.73/26.40 bnd_hasmaker_aux bnd_taylorport bnd_taylor;
% 26.73/26.40 bnd_hasmaker_aux bnd_mountadampinotnoir bnd_mountadam;
% 26.73/26.40 bnd_hasmaker_aux bnd_elysezinfandel bnd_elyse;
% 26.73/26.40 bnd_hasmaker_aux bnd_chateaumorgonbeaujolais bnd_chateaumorgon;
% 26.73/26.40 bnd_hasmaker_aux bnd_chateauchevalblancstemilion bnd_chateauchevalblanc;
% 26.73/26.40 bnd_hasmaker_aux bnd_bancroftchardonnay bnd_bancroft;
% 26.73/26.40 bnd_hasmaker_aux bnd_selaksicewine bnd_selaks;
% 26.73/26.40 bnd_hasmaker_aux bnd_petermccoychardonnay bnd_petermccoy;
% 26.73/26.40 bnd_hasmaker_aux bnd_corbanssauvignonblanc bnd_corbans;
% 26.73/26.40 bnd_hasmaker_aux bnd_mariettapetitesyrah bnd_marietta;
% 26.73/26.40 bnd_hasmaker_aux bnd_congressspringssemillon bnd_congresssprings;
% 26.73/26.40 bnd_hasmaker_aux bnd_corbansprivatebinsauvignonblanc bnd_corbans;
% 26.73/26.40 bnd_hasmaker_aux bnd_cortonmontrachetwhiteburgundy bnd_cortonmontrachet;
% 26.73/26.40 bnd_hasmaker_aux bnd_chianticlassico bnd_mcguinnesso;
% 26.73/26.40 bnd_hasmaker_aux bnd_foxencheninblanc bnd_foxen;
% 26.73/26.40 bnd_hasmaker_aux bnd_stgenevievetexaswhite bnd_stgenevieve;
% 26.73/26.40 bnd_hasmaker_aux bnd_formanchardonnay bnd_forman;
% 26.73/26.40 bnd_hasmaker_aux bnd_chateaulafiterothschildpauillac
% 26.73/26.40 bnd_chateaulafiterothschild;
% 26.73/26.40 bnd_hasmaker_aux bnd_pulignymontrachetwhiteburgundy
% 26.73/26.40 bnd_pulignymontrachet;
% 26.73/26.40 bnd_hasflavor_aux bnd_selakssauvignonblanc bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_stonleighsauvignonblanc bnd_delicate;
% 26.73/26.40 bnd_hasflavor_aux bnd_mountedenvineyardednavalleychardonnay bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_schlossvolradtrochenbierenausleseriesling
% 26.73/26.40 bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_formancabernetsauvignon bnd_strong;
% 26.73/26.40 bnd_hasflavor_aux bnd_saucelitocanyonzinfandel bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_ventanacheninblanc bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_whitehalllanecabernetfranc bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_mountedenvineyardestatepinotnoir bnd_strong;
% 26.73/26.40 bnd_hasflavor_aux bnd_kathrynkennedylateral bnd_delicate;
% 26.73/26.40 bnd_hasflavor_aux bnd_mariettazinfandel bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_mountadamriesling bnd_delicate;
% 26.73/26.40 bnd_hasflavor_aux bnd_mountadamchardonnay bnd_strong;
% 26.73/26.40 bnd_hasflavor_aux bnd_corbansdrywhiteriesling bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_lanetannerpinotnoir bnd_delicate;
% 26.73/26.40 bnd_hasflavor_aux bnd_santacruzmountainvineyardcabernetsauvignon
% 26.73/26.40 bnd_strong;
% 26.73/26.40 bnd_hasflavor_aux bnd_whitehalllaneprimavera bnd_delicate;
% 26.73/26.40 bnd_hasflavor_aux bnd_chateaudemeursaultmeursault bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_saucelitocanyonzinfandel1998 bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_seanthackreysiriuspetitesyrah bnd_strong;
% 26.73/26.40 bnd_hasflavor_aux bnd_pagemillwinerycabernetsauvignon bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_kalincellarssemillon bnd_strong;
% 26.73/26.40 bnd_hasflavor_aux bnd_longridgemerlot bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_mariettaoldvinesred bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_cotturizinfandel bnd_strong;
% 26.73/26.40 bnd_hasflavor_aux bnd_garyfarrellmerlot bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_schlossrothermeltrochenbierenausleseriesling
% 26.73/26.40 bnd_strong;
% 26.73/26.40 bnd_hasflavor_aux bnd_mariettacabernetsauvignon bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_chateaudychemsauterne bnd_strong;
% 26.73/26.40 bnd_hasflavor_aux bnd_mountadampinotnoir bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_elysezinfandel bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_bancroftchardonnay bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_selaksicewine bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_petermccoychardonnay bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_corbanssauvignonblanc bnd_strong;
% 26.73/26.40 bnd_hasflavor_aux bnd_mariettapetitesyrah bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_congressspringssemillon bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_corbansprivatebinsauvignonblanc bnd_strong;
% 26.73/26.40 bnd_hasflavor_aux bnd_cortonmontrachetwhiteburgundy bnd_strong;
% 26.73/26.40 bnd_hasflavor_aux bnd_foxencheninblanc bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_stgenevievetexaswhite bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_formanchardonnay bnd_moderate;
% 26.73/26.40 bnd_hasflavor_aux bnd_pulignymontrachetwhiteburgundy bnd_moderate;
% 26.73/26.40 bnd_hascolor_aux bnd_selaksicewine bnd_white;
% 26.73/26.40 bnd_hasbody_aux bnd_selakssauvignonblanc bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_stonleighsauvignonblanc bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_mountedenvineyardednavalleychardonnay bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_schlossvolradtrochenbierenausleseriesling bnd_full;
% 26.73/26.40 bnd_hasbody_aux bnd_formancabernetsauvignon bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_saucelitocanyonzinfandel bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_ventanacheninblanc bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_whitehalllanecabernetfranc bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_mountedenvineyardestatepinotnoir bnd_full;
% 26.73/26.40 bnd_hasbody_aux bnd_kathrynkennedylateral bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_mariettazinfandel bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_mountadamriesling bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_mountadamchardonnay bnd_full;
% 26.73/26.40 bnd_hasbody_aux bnd_corbansdrywhiteriesling bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_lanetannerpinotnoir bnd_light;
% 26.73/26.40 bnd_hasbody_aux bnd_santacruzmountainvineyardcabernetsauvignon bnd_full;
% 26.73/26.40 bnd_hasbody_aux bnd_whitehalllaneprimavera bnd_light;
% 26.73/26.40 bnd_hasbody_aux bnd_saucelitocanyonzinfandel1998 bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_seanthackreysiriuspetitesyrah bnd_full;
% 26.73/26.40 bnd_hasbody_aux bnd_pagemillwinerycabernetsauvignon bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_kalincellarssemillon bnd_full;
% 26.73/26.40 bnd_hasbody_aux bnd_longridgemerlot bnd_light;
% 26.73/26.40 bnd_hasbody_aux bnd_mariettaoldvinesred bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_cotturizinfandel bnd_full;
% 26.73/26.40 bnd_hasbody_aux bnd_garyfarrellmerlot bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_schlossrothermeltrochenbierenausleseriesling
% 26.73/26.40 bnd_full;
% 26.73/26.40 bnd_hasbody_aux bnd_mariettacabernetsauvignon bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_mountadampinotnoir bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_elysezinfandel bnd_full;
% 26.73/26.40 bnd_hasbody_aux bnd_bancroftchardonnay bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_selaksicewine bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_petermccoychardonnay bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_corbanssauvignonblanc bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_mariettapetitesyrah bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_congressspringssemillon bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_corbansprivatebinsauvignonblanc bnd_full;
% 26.73/26.40 bnd_hasbody_aux bnd_cortonmontrachetwhiteburgundy bnd_full;
% 26.73/26.40 bnd_hasbody_aux bnd_chianticlassico bnd_medium;
% 26.73/26.40 bnd_hasbody_aux bnd_foxencheninblanc bnd_full;
% 26.73/26.40 bnd_hasbody_aux bnd_formanchardonnay bnd_full;
% 26.73/26.40 bnd_hasbody_aux bnd_pulignymontrachetwhiteburgundy bnd_medium |]
% 26.73/26.40 ==> Ex bnd_frenchwine
% 26.73/26.40 Adding axioms...
% 26.73/26.40 Typedef.type_definition_def
% 102.34/101.80 ...done.
% 102.34/101.89 Ground types: ?'b, TPTP_Interpret.ind
% 102.34/101.89 Translating term (sizes: 1, 1) ...
% 167.12/166.31 Invoking SAT solver...
% 167.12/166.31 No model exists.
% 167.12/166.31 Translating term (sizes: 2, 1) ...
% 232.83/231.63 Invoking SAT solver...
% 232.83/231.64 No model exists.
% 232.83/231.64 Translating term (sizes: 1, 2) ...
% 300.09/298.32 /export/starexec/sandbox/solver/lib/scripts/run-polyml-5.5.2: line 82: 26446 CPU time limit exceeded (core dumped) "$ISABELLE_HOME/lib/scripts/feeder" -p -h "$MLTEXT" -t "$MLEXIT" $FEEDER_OPTS
% 300.09/298.32 26447 (core dumped) | { read FPID; "$POLY" -q -i $ML_OPTIONS; RC="$?"; kill -TERM "$FPID"; exit "$RC"; }
% 300.09/298.33 /export/starexec/sandbox/solver/src/HOL/TPTP/lib/Tools/tptp_refute: line 26: 26392 Exit 152 "$ISABELLE_PROCESS" -q -e "use_thy \"/tmp/$SCRATCH\"; exit 1;" HOL-TPTP
% 300.09/298.33 26393 CPU time limit exceeded (core dumped) | grep --line-buffered -v "^###\|^PROOF FAILED for depth\|^Failure node\|inferences so far. Searching to depth\|^val \|^Loading theory\|^Warning-The type of\|^ monotype.$"
%------------------------------------------------------------------------------