%------------------------------------------------------------------------------
% File     : Otter---3.3
% Problem  : PRD001+1 : TPTP v8.1.0. Released v6.2.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : otter-tptp-script %s

% Computer : n007.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 300s
% DateTime : Wed Jul 27 13:10:54 EDT 2022

% Result   : Unknown 3.58s 3.55s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12  % Problem  : PRD001+1 : TPTP v8.1.0. Released v6.2.0.
% 0.10/0.13  % Command  : otter-tptp-script %s
% 0.12/0.33  % Computer : n007.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % WCLimit  : 300
% 0.12/0.33  % DateTime : Wed Jul 27 02:50:16 EDT 2022
% 0.12/0.34  % CPUTime  : 
% 3.58/3.53  ----- Otter 3.3f, August 2004 -----
% 3.58/3.53  The process was started by sandbox on n007.cluster.edu,
% 3.58/3.53  Wed Jul 27 02:50:16 2022
% 3.58/3.53  The command was "./otter".  The process ID is 519.
% 3.58/3.53  
% 3.58/3.53  set(prolog_style_variables).
% 3.58/3.53  set(auto).
% 3.58/3.53     dependent: set(auto1).
% 3.58/3.53     dependent: set(process_input).
% 3.58/3.53     dependent: clear(print_kept).
% 3.58/3.53     dependent: clear(print_new_demod).
% 3.58/3.53     dependent: clear(print_back_demod).
% 3.58/3.53     dependent: clear(print_back_sub).
% 3.58/3.53     dependent: set(control_memory).
% 3.58/3.53     dependent: assign(max_mem, 12000).
% 3.58/3.53     dependent: assign(pick_given_ratio, 4).
% 3.58/3.53     dependent: assign(stats_level, 1).
% 3.58/3.53     dependent: assign(max_seconds, 10800).
% 3.58/3.53  clear(print_given).
% 3.58/3.53  
% 3.58/3.53  formula_list(usable).
% 3.58/3.53  hasbody_aux(pulignymontrachetwhiteburgundy,medium).
% 3.58/3.53  hasbody_aux(formanchardonnay,full).
% 3.58/3.53  hasbody_aux(foxencheninblanc,full).
% 3.58/3.53  hasbody_aux(chianticlassico,medium).
% 3.58/3.53  hasbody_aux(cortonmontrachetwhiteburgundy,full).
% 3.58/3.53  hasbody_aux(corbansprivatebinsauvignonblanc,full).
% 3.58/3.53  hasbody_aux(congressspringssemillon,medium).
% 3.58/3.53  hasbody_aux(mariettapetitesyrah,medium).
% 3.58/3.53  hasbody_aux(corbanssauvignonblanc,medium).
% 3.58/3.53  hasbody_aux(petermccoychardonnay,medium).
% 3.58/3.53  hasbody_aux(selaksicewine,medium).
% 3.58/3.53  hasbody_aux(bancroftchardonnay,medium).
% 3.58/3.53  hasbody_aux(elysezinfandel,full).
% 3.58/3.53  hasbody_aux(mountadampinotnoir,medium).
% 3.58/3.53  hasbody_aux(mariettacabernetsauvignon,medium).
% 3.58/3.53  hasbody_aux(schlossrothermeltrochenbierenausleseriesling,full).
% 3.58/3.53  hasbody_aux(garyfarrellmerlot,medium).
% 3.58/3.53  hasbody_aux(cotturizinfandel,full).
% 3.58/3.53  hasbody_aux(mariettaoldvinesred,medium).
% 3.58/3.53  hasbody_aux(longridgemerlot,light).
% 3.58/3.53  hasbody_aux(kalincellarssemillon,full).
% 3.58/3.53  hasbody_aux(pagemillwinerycabernetsauvignon,medium).
% 3.58/3.53  hasbody_aux(seanthackreysiriuspetitesyrah,full).
% 3.58/3.53  hasbody_aux(saucelitocanyonzinfandel1998,medium).
% 3.58/3.53  hasbody_aux(whitehalllaneprimavera,light).
% 3.58/3.53  hasbody_aux(santacruzmountainvineyardcabernetsauvignon,full).
% 3.58/3.53  hasbody_aux(lanetannerpinotnoir,light).
% 3.58/3.53  hasbody_aux(corbansdrywhiteriesling,medium).
% 3.58/3.53  hasbody_aux(mountadamchardonnay,full).
% 3.58/3.53  hasbody_aux(mountadamriesling,medium).
% 3.58/3.53  hasbody_aux(mariettazinfandel,medium).
% 3.58/3.53  hasbody_aux(kathrynkennedylateral,medium).
% 3.58/3.53  hasbody_aux(mountedenvineyardestatepinotnoir,full).
% 3.58/3.53  hasbody_aux(whitehalllanecabernetfranc,medium).
% 3.58/3.53  hasbody_aux(ventanacheninblanc,medium).
% 3.58/3.53  hasbody_aux(saucelitocanyonzinfandel,medium).
% 3.58/3.53  hasbody_aux(formancabernetsauvignon,medium).
% 3.58/3.53  hasbody_aux(schlossvolradtrochenbierenausleseriesling,full).
% 3.58/3.53  hasbody_aux(mountedenvineyardednavalleychardonnay,medium).
% 3.58/3.53  hasbody_aux(stonleighsauvignonblanc,medium).
% 3.58/3.53  hasbody_aux(selakssauvignonblanc,medium).
% 3.58/3.53  hascolor_aux(selaksicewine,white).
% 3.58/3.53  hasflavor_aux(pulignymontrachetwhiteburgundy,moderate).
% 3.58/3.53  hasflavor_aux(formanchardonnay,moderate).
% 3.58/3.53  hasflavor_aux(stgenevievetexaswhite,moderate).
% 3.58/3.53  hasflavor_aux(foxencheninblanc,moderate).
% 3.58/3.53  hasflavor_aux(cortonmontrachetwhiteburgundy,strong).
% 3.58/3.53  hasflavor_aux(corbansprivatebinsauvignonblanc,strong).
% 3.58/3.53  hasflavor_aux(congressspringssemillon,moderate).
% 3.58/3.53  hasflavor_aux(mariettapetitesyrah,moderate).
% 3.58/3.53  hasflavor_aux(corbanssauvignonblanc,strong).
% 3.58/3.53  hasflavor_aux(petermccoychardonnay,moderate).
% 3.58/3.53  hasflavor_aux(selaksicewine,moderate).
% 3.58/3.53  hasflavor_aux(bancroftchardonnay,moderate).
% 3.58/3.53  hasflavor_aux(elysezinfandel,moderate).
% 3.58/3.53  hasflavor_aux(mountadampinotnoir,moderate).
% 3.58/3.53  hasflavor_aux(chateaudychemsauterne,strong).
% 3.58/3.53  hasflavor_aux(mariettacabernetsauvignon,moderate).
% 3.58/3.53  hasflavor_aux(schlossrothermeltrochenbierenausleseriesling,strong).
% 3.58/3.53  hasflavor_aux(garyfarrellmerlot,moderate).
% 3.58/3.53  hasflavor_aux(cotturizinfandel,strong).
% 3.58/3.53  hasflavor_aux(mariettaoldvinesred,moderate).
% 3.58/3.53  hasflavor_aux(longridgemerlot,moderate).
% 3.58/3.53  hasflavor_aux(kalincellarssemillon,strong).
% 3.58/3.53  hasflavor_aux(pagemillwinerycabernetsauvignon,moderate).
% 3.58/3.53  hasflavor_aux(seanthackreysiriuspetitesyrah,strong).
% 3.58/3.53  hasflavor_aux(saucelitocanyonzinfandel1998,moderate).
% 3.58/3.53  hasflavor_aux(chateaudemeursaultmeursault,moderate).
% 3.58/3.53  hasflavor_aux(whitehalllaneprimavera,delicate).
% 3.58/3.53  hasflavor_aux(santacruzmountainvineyardcabernetsauvignon,strong).
% 3.58/3.53  hasflavor_aux(lanetannerpinotnoir,delicate).
% 3.58/3.53  hasflavor_aux(corbansdrywhiteriesling,moderate).
% 3.58/3.53  hasflavor_aux(mountadamchardonnay,strong).
% 3.58/3.53  hasflavor_aux(mountadamriesling,delicate).
% 3.58/3.53  hasflavor_aux(mariettazinfandel,moderate).
% 3.58/3.53  hasflavor_aux(kathrynkennedylateral,delicate).
% 3.58/3.53  hasflavor_aux(mountedenvineyardestatepinotnoir,strong).
% 3.58/3.53  hasflavor_aux(whitehalllanecabernetfranc,moderate).
% 3.58/3.53  hasflavor_aux(ventanacheninblanc,moderate).
% 3.58/3.53  hasflavor_aux(saucelitocanyonzinfandel,moderate).
% 3.58/3.53  hasflavor_aux(formancabernetsauvignon,strong).
% 3.58/3.53  hasflavor_aux(schlossvolradtrochenbierenausleseriesling,moderate).
% 3.58/3.53  hasflavor_aux(mountedenvineyardednavalleychardonnay,moderate).
% 3.58/3.53  hasflavor_aux(stonleighsauvignonblanc,delicate).
% 3.58/3.53  hasflavor_aux(selakssauvignonblanc,moderate).
% 3.58/3.53  hasmaker_aux(pulignymontrachetwhiteburgundy,pulignymontrachet).
% 3.58/3.53  hasmaker_aux(chateaulafiterothschildpauillac,chateaulafiterothschild).
% 3.58/3.53  hasmaker_aux(formanchardonnay,forman).
% 3.58/3.53  hasmaker_aux(stgenevievetexaswhite,stgenevieve).
% 3.58/3.53  hasmaker_aux(foxencheninblanc,foxen).
% 3.58/3.53  hasmaker_aux(chianticlassico,mcguinnesso).
% 3.58/3.53  hasmaker_aux(cortonmontrachetwhiteburgundy,cortonmontrachet).
% 3.58/3.53  hasmaker_aux(corbansprivatebinsauvignonblanc,corbans).
% 3.58/3.53  hasmaker_aux(congressspringssemillon,congresssprings).
% 3.58/3.53  hasmaker_aux(mariettapetitesyrah,marietta).
% 3.58/3.53  hasmaker_aux(corbanssauvignonblanc,corbans).
% 3.58/3.53  hasmaker_aux(petermccoychardonnay,petermccoy).
% 3.58/3.53  hasmaker_aux(selaksicewine,selaks).
% 3.58/3.53  hasmaker_aux(bancroftchardonnay,bancroft).
% 3.58/3.53  hasmaker_aux(chateauchevalblancstemilion,chateauchevalblanc).
% 3.58/3.53  hasmaker_aux(chateaumorgonbeaujolais,chateaumorgon).
% 3.58/3.53  hasmaker_aux(elysezinfandel,elyse).
% 3.58/3.53  hasmaker_aux(mountadampinotnoir,mountadam).
% 3.58/3.53  hasmaker_aux(taylorport,taylor).
% 3.58/3.53  hasmaker_aux(chateaudychemsauterne,chateaudychem).
% 3.58/3.53  hasmaker_aux(mariettacabernetsauvignon,marietta).
% 3.58/3.53  hasmaker_aux(schlossrothermeltrochenbierenausleseriesling,schlossrothermel).
% 3.58/3.53  hasmaker_aux(garyfarrellmerlot,garyfarrell).
% 3.58/3.53  hasmaker_aux(closdevougeotcotesdor,closdevougeot).
% 3.58/3.53  hasmaker_aux(cotturizinfandel,cotturi).
% 3.58/3.53  hasmaker_aux(closdelapoussiesancerre,closdelapoussie).
% 3.58/3.53  hasmaker_aux(mariettaoldvinesred,marietta).
% 3.58/3.53  hasmaker_aux(longridgemerlot,longridge).
% 3.58/3.53  hasmaker_aux(kalincellarssemillon,kalincellars).
% 3.58/3.53  hasmaker_aux(pagemillwinerycabernetsauvignon,pagemillwinery).
% 3.58/3.53  hasmaker_aux(seanthackreysiriuspetitesyrah,seanthackrey).
% 3.58/3.53  hasmaker_aux(saucelitocanyonzinfandel1998,saucelitocanyon).
% 3.58/3.53  hasmaker_aux(chateaudemeursaultmeursault,chateaudemeursault).
% 3.58/3.53  hasmaker_aux(santacruzmountainvineyardcabernetsauvignon,santacruzmountainvineyard).
% 3.58/3.53  hasmaker_aux(lanetannerpinotnoir,lanetanner).
% 3.58/3.53  hasmaker_aux(corbansdrywhiteriesling,corbans).
% 3.58/3.53  hasmaker_aux(rosedanjou,danjou).
% 3.58/3.53  hasmaker_aux(mountadamchardonnay,mountadam).
% 3.58/3.53  hasmaker_aux(mountadamriesling,mountadam).
% 3.58/3.53  hasmaker_aux(mariettazinfandel,marietta).
% 3.58/3.53  hasmaker_aux(chateaumargaux,chateaumargauxwinery).
% 3.58/3.53  hasmaker_aux(kathrynkennedylateral,kathrynkennedy).
% 3.58/3.53  hasmaker_aux(mountedenvineyardestatepinotnoir,mountedenvineyard).
% 3.58/3.53  hasmaker_aux(whitehalllanecabernetfranc,whitehalllane).
% 3.58/3.53  hasmaker_aux(ventanacheninblanc,ventana).
% 3.58/3.53  hasmaker_aux(saucelitocanyonzinfandel,saucelitocanyon).
% 3.58/3.53  hasmaker_aux(formancabernetsauvignon,forman).
% 3.58/3.53  hasmaker_aux(schlossvolradtrochenbierenausleseriesling,schlossvolrad).
% 3.58/3.53  hasmaker_aux(mountedenvineyardednavalleychardonnay,mountedenvineyard).
% 3.58/3.53  hasmaker_aux(stonleighsauvignonblanc,stonleigh).
% 3.58/3.53  hasmaker_aux(selakssauvignonblanc,selaks).
% 3.58/3.53  hasmaker_aux(sevreetmainemuscadet,sevreetmaine).
% 3.58/3.53  hassugar_aux(pulignymontrachetwhiteburgundy,dry).
% 3.58/3.53  hassugar_aux(formanchardonnay,dry).
% 3.58/3.53  hassugar_aux(stgenevievetexaswhite,dry).
% 3.58/3.53  hassugar_aux(foxencheninblanc,dry).
% 3.58/3.53  hassugar_aux(cortonmontrachetwhiteburgundy,dry).
% 3.58/3.53  hassugar_aux(corbansprivatebinsauvignonblanc,dry).
% 3.58/3.53  hassugar_aux(congressspringssemillon,dry).
% 3.58/3.53  hassugar_aux(mariettapetitesyrah,dry).
% 3.58/3.53  hassugar_aux(corbanssauvignonblanc,dry).
% 3.58/3.53  hassugar_aux(petermccoychardonnay,dry).
% 3.58/3.53  hassugar_aux(bancroftchardonnay,dry).
% 3.58/3.53  hassugar_aux(elysezinfandel,dry).
% 3.58/3.53  hassugar_aux(mountadampinotnoir,dry).
% 3.58/3.53  hassugar_aux(mariettacabernetsauvignon,dry).
% 3.58/3.53  hassugar_aux(schlossrothermeltrochenbierenausleseriesling,sweet).
% 3.58/3.53  hassugar_aux(garyfarrellmerlot,dry).
% 3.58/3.53  hassugar_aux(cotturizinfandel,dry).
% 3.58/3.53  hassugar_aux(mariettaoldvinesred,dry).
% 3.58/3.53  hassugar_aux(longridgemerlot,dry).
% 3.58/3.53  hassugar_aux(kalincellarssemillon,dry).
% 3.58/3.53  hassugar_aux(pagemillwinerycabernetsauvignon,dry).
% 3.58/3.53  hassugar_aux(seanthackreysiriuspetitesyrah,dry).
% 3.58/3.53  hassugar_aux(saucelitocanyonzinfandel1998,dry).
% 3.58/3.53  hassugar_aux(whitehalllaneprimavera,sweet).
% 3.58/3.53  hassugar_aux(santacruzmountainvineyardcabernetsauvignon,dry).
% 3.58/3.53  hassugar_aux(lanetannerpinotnoir,dry).
% 3.58/3.53  hassugar_aux(corbansdrywhiteriesling,offdry).
% 3.58/3.53  hassugar_aux(mountadamchardonnay,dry).
% 3.58/3.53  hassugar_aux(mountadamriesling,dry).
% 3.58/3.53  hassugar_aux(mariettazinfandel,dry).
% 3.58/3.53  hassugar_aux(kathrynkennedylateral,dry).
% 3.58/3.53  hassugar_aux(mountedenvineyardestatepinotnoir,dry).
% 3.58/3.53  hassugar_aux(whitehalllanecabernetfranc,dry).
% 3.58/3.53  hassugar_aux(ventanacheninblanc,offdry).
% 3.58/3.53  hassugar_aux(saucelitocanyonzinfandel,dry).
% 3.58/3.53  hassugar_aux(formancabernetsauvignon,dry).
% 3.58/3.53  hassugar_aux(schlossvolradtrochenbierenausleseriesling,sweet).
% 3.58/3.53  hassugar_aux(mountedenvineyardednavalleychardonnay,dry).
% 3.58/3.53  hassugar_aux(stonleighsauvignonblanc,dry).
% 3.58/3.53  hassugar_aux(selakssauvignonblanc,dry).
% 3.58/3.53  locatedin_aux(californiaregion,usregion).
% 3.58/3.53  locatedin_aux(sancerreregion,loireregion).
% 3.58/3.53  locatedin_aux(formanchardonnay,naparegion).
% 3.58/3.53  locatedin_aux(stgenevievetexaswhite,centraltexasregion).
% 3.58/3.53  locatedin_aux(foxencheninblanc,santabarbararegion).
% 3.58/3.53  locatedin_aux(loireregion,frenchregion).
% 3.58/3.53  locatedin_aux(corbansprivatebinsauvignonblanc,newzealandregion).
% 3.58/3.53  locatedin_aux(mariettapetitesyrah,sonomaregion).
% 3.58/3.53  locatedin_aux(corbanssauvignonblanc,newzealandregion).
% 3.58/3.53  locatedin_aux(petermccoychardonnay,sonomaregion).
% 3.58/3.53  locatedin_aux(selaksicewine,newzealandregion).
% 3.58/3.53  locatedin_aux(bancroftchardonnay,naparegion).
% 3.58/3.53  locatedin_aux(elysezinfandel,naparegion).
% 3.58/3.53  locatedin_aux(naparegion,californiaregion).
% 3.58/3.53  locatedin_aux(mountadampinotnoir,southaustraliaregion).
% 3.58/3.53  locatedin_aux(chiantiregion,italianregion).
% 3.58/3.53  locatedin_aux(mariettacabernetsauvignon,sonomaregion).
% 3.58/3.53  locatedin_aux(sauterneregion,bordeauxregion).
% 3.58/3.53  locatedin_aux(pauillacregion,medocregion).
% 3.58/3.53  locatedin_aux(centraltexasregion,texasregion).
% 3.58/3.53  locatedin_aux(schlossrothermeltrochenbierenausleseriesling,germanyregion).
% 3.58/3.53  locatedin_aux(garyfarrellmerlot,sonomaregion).
% 3.58/3.53  locatedin_aux(bordeauxregion,frenchregion).
% 3.58/3.53  locatedin_aux(cotturizinfandel,sonomaregion).
% 3.58/3.53  locatedin_aux(anjouregion,loireregion).
% 3.58/3.53  locatedin_aux(centralcoastregion,californiaregion).
% 3.58/3.53  locatedin_aux(mariettaoldvinesred,sonomaregion).
% 3.58/3.53  locatedin_aux(longridgemerlot,newzealandregion).
% 3.58/3.53  locatedin_aux(sonomaregion,californiaregion).
% 3.58/3.53  locatedin_aux(santabarbararegion,californiaregion).
% 3.58/3.53  locatedin_aux(pagemillwinerycabernetsauvignon,naparegion).
% 3.58/3.53  locatedin_aux(seanthackreysiriuspetitesyrah,naparegion).
% 3.58/3.53  locatedin_aux(saucelitocanyonzinfandel1998,arroyogranderegion).
% 3.58/3.53  locatedin_aux(medocregion,bordeauxregion).
% 3.58/3.53  locatedin_aux(southaustraliaregion,australianregion).
% 3.58/3.53  locatedin_aux(whitehalllaneprimavera,naparegion).
% 3.58/3.53  locatedin_aux(santacruzmountainvineyardcabernetsauvignon,santacruzmountainsregion).
% 3.58/3.53  locatedin_aux(lanetannerpinotnoir,santabarbararegion).
% 3.58/3.53  locatedin_aux(mendocinoregion,californiaregion).
% 3.58/3.53  locatedin_aux(santacruzmountainsregion,californiaregion).
% 3.58/3.53  locatedin_aux(corbansdrywhiteriesling,newzealandregion).
% 3.58/3.53  locatedin_aux(margauxregion,medocregion).
% 3.58/3.53  locatedin_aux(texasregion,usregion).
% 3.58/3.53  locatedin_aux(muscadetregion,loireregion).
% 3.58/3.53  locatedin_aux(mountadamchardonnay,southaustraliaregion).
% 3.58/3.53  locatedin_aux(alsaceregion,frenchregion).
% 3.58/3.53  locatedin_aux(mountadamriesling,southaustraliaregion).
% 3.58/3.53  locatedin_aux(stemilionregion,bordeauxregion).
% 3.58/3.53  locatedin_aux(bourgogneregion,frenchregion).
% 3.58/3.53  locatedin_aux(mariettazinfandel,sonomaregion).
% 3.58/3.53  locatedin_aux(toursregion,loireregion).
% 3.58/3.53  locatedin_aux(cotesdorregion,bourgogneregion).
% 3.58/3.53  locatedin_aux(mountedenvineyardestatepinotnoir,ednavalleyregion).
% 3.58/3.53  locatedin_aux(whitehalllanecabernetfranc,naparegion).
% 3.58/3.53  locatedin_aux(ventanacheninblanc,centralcoastregion).
% 3.58/3.53  locatedin_aux(saucelitocanyonzinfandel,arroyogranderegion).
% 3.58/3.53  locatedin_aux(formancabernetsauvignon,naparegion).
% 3.58/3.53  locatedin_aux(schlossvolradtrochenbierenausleseriesling,germanyregion).
% 3.58/3.53  locatedin_aux(beaujolaisregion,frenchregion).
% 3.58/3.53  locatedin_aux(mountedenvineyardednavalleychardonnay,ednavalleyregion).
% 3.58/3.53  locatedin_aux(meursaultregion,bourgogneregion).
% 3.58/3.53  locatedin_aux(ednavalleyregion,californiaregion).
% 3.58/3.53  locatedin_aux(stonleighsauvignonblanc,newzealandregion).
% 3.58/3.53  locatedin_aux(arroyogranderegion,californiaregion).
% 3.58/3.53  locatedin_aux(selakssauvignonblanc,newzealandregion).
% 3.58/3.53  madefromgrape_aux(chateaudychemsauterne,semillongrape).
% 3.58/3.53  madefromgrape_aux(chateaudychemsauterne,sauvignonblancgrape).
% 3.58/3.53  ot____nom1_aux(sweet).
% 3.58/3.53  ot____nom10_aux(texasregion).
% 3.58/3.53  ot____nom11_aux(sauvignonblancgrape).
% 3.58/3.53  ot____nom12_aux(dry).
% 3.58/3.53  ot____nom13_aux(alsaceregion).
% 3.58/3.53  ot____nom14_aux(anjouregion).
% 3.58/3.53  ot____nom15_aux(californiaregion).
% 3.58/3.53  ot____nom16_aux(muscadetregion).
% 3.58/3.53  ot____nom17_aux(germanyregion).
% 3.58/3.53  ot____nom18_aux(sweet).
% 3.58/3.53  ot____nom18_aux(dry).
% 3.58/3.53  ot____nom18_aux(offdry).
% 3.58/3.53  ot____nom19_aux(loireregion).
% 3.58/3.53  ot____nom2_aux(medocregion).
% 3.58/3.53  ot____nom20_aux(zinfandelgrape).
% 3.58/3.53  ot____nom21_aux(pinotblancgrape).
% 3.58/3.53  ot____nom22_aux(margauxregion).
% 3.58/3.53  ot____nom23_aux(bordeauxregion).
% 3.58/3.53  ot____nom24_aux(chardonnaygrape).
% 3.58/3.53  ot____nom25_aux(petitesyrahgrape).
% 3.58/3.53  ot____nom26_aux(beaujolaisregion).
% 3.58/3.53  ot____nom27_aux(semillongrape).
% 3.58/3.53  ot____nom28_aux(red).
% 3.58/3.53  ot____nom29_aux(cabernetsauvignongrape).
% 3.58/3.53  ot____nom3_aux(cabernetfrancgrape).
% 3.58/3.53  ot____nom30_aux(sancerreregion).
% 3.58/3.53  ot____nom31_aux(meursaultregion).
% 3.58/3.53  ot____nom32_aux(rose).
% 3.58/3.53  ot____nom33_aux(gamaygrape).
% 3.58/3.53  ot____nom34_aux(cheninblancgrape).
% 3.58/3.53  ot____nom35_aux(delicate).
% 3.58/3.53  ot____nom35_aux(strong).
% 3.58/3.53  ot____nom35_aux(moderate).
% 3.58/3.53  ot____nom36_aux(stemilionregion).
% 3.58/3.53  ot____nom37_aux(rieslinggrape).
% 3.58/3.53  ot____nom38_aux(usregion).
% 3.58/3.53  ot____nom39_aux(pinotnoirgrape).
% 3.58/3.53  ot____nom4_aux(toursregion).
% 3.58/3.53  ot____nom40_aux(light).
% 3.58/3.53  ot____nom40_aux(full).
% 3.58/3.53  ot____nom40_aux(medium).
% 3.58/3.53  ot____nom41_aux(frenchregion).
% 3.58/3.53  ot____nom42_aux(cotesdorregion).
% 3.58/3.53  ot____nom43_aux(merlotgrape).
% 3.58/3.53  ot____nom44_aux(bourgogneregion).
% 3.58/3.53  ot____nom45_aux(full).
% 3.58/3.53  ot____nom46_aux(pauillacregion).
% 3.58/3.53  ot____nom47_aux(italianregion).
% 3.58/3.53  ot____nom48_aux(moderate).
% 3.58/3.53  ot____nom49_aux(medium).
% 3.58/3.53  ot____nom5_aux(white).
% 3.58/3.53  ot____nom50_aux(strong).
% 3.58/3.53  ot____nom50_aux(moderate).
% 3.58/3.53  ot____nom51_aux(full).
% 3.58/3.53  ot____nom51_aux(medium).
% 3.58/3.53  ot____nom52_aux(sauterneregion).
% 3.58/3.53  ot____nom53_aux(sweet).
% 3.58/3.53  ot____nom53_aux(offdry).
% 3.58/3.53  ot____nom54_aux(offdry).
% 3.58/3.53  ot____nom55_aux(delicate).
% 3.58/3.53  ot____nom56_aux(light).
% 3.58/3.53  ot____nom57_aux(portugalregion).
% 3.58/3.53  ot____nom58_aux(strong).
% 3.58/3.53  ot____nom59_aux(light).
% 3.58/3.53  ot____nom59_aux(medium).
% 3.58/3.53  ot____nom6_aux(semillongrape).
% 3.58/3.53  ot____nom6_aux(sauvignonblancgrape).
% 3.58/3.53  ot____nom60_aux(sangiovesegrape).
% 3.58/3.53  ot____nom61_aux(chiantiregion).
% 3.58/3.53  ot____nom62_aux(cabernetsauvignongrape).
% 3.58/3.53  ot____nom62_aux(merlotgrape).
% 3.58/3.53  ot____nom63_aux(pinotblancgrape).
% 3.58/3.53  ot____nom63_aux(sauvignonblancgrape).
% 3.58/3.53  ot____nom63_aux(cheninblancgrape).
% 3.58/3.53  ot____nom64_aux(delicate).
% 3.58/3.53  ot____nom64_aux(moderate).
% 3.58/3.53  ot____nom7_aux(dry).
% 3.58/3.53  ot____nom7_aux(offdry).
% 3.58/3.53  ot____nom8_aux(cabernetfrancgrape).
% 3.58/3.53  ot____nom8_aux(petiteverdotgrape).
% 3.58/3.53  ot____nom8_aux(cabernetsauvignongrape).
% 3.58/3.53  ot____nom8_aux(malbecgrape).
% 3.58/3.53  ot____nom8_aux(merlotgrape).
% 3.58/3.53  ot____nom9_aux(white).
% 3.58/3.53  ot____nom9_aux(rose).
% 3.58/3.53  ot____nom9_aux(red).
% 3.58/3.53  wineflavor_aux(delicate).
% 3.58/3.53  wineflavor_aux(strong).
% 3.58/3.53  wineflavor_aux(moderate).
% 3.58/3.53  winegrape_aux(petitesyrahgrape).
% 3.58/3.53  winegrape_aux(zinfandelgrape).
% 3.58/3.53  winegrape_aux(sangiovesegrape).
% 3.58/3.53  winegrape_aux(cabernetfrancgrape).
% 3.58/3.53  winegrape_aux(semillongrape).
% 3.58/3.53  winegrape_aux(rieslinggrape).
% 3.58/3.53  winegrape_aux(pinotblancgrape).
% 3.58/3.53  winegrape_aux(gamaygrape).
% 3.58/3.53  winegrape_aux(petiteverdotgrape).
% 3.58/3.53  winegrape_aux(chardonnaygrape).
% 3.58/3.53  winegrape_aux(pinotnoirgrape).
% 3.58/3.53  winegrape_aux(cabernetsauvignongrape).
% 3.58/3.53  winegrape_aux(sauvignonblancgrape).
% 3.58/3.53  winegrape_aux(cheninblancgrape).
% 3.58/3.53  winegrape_aux(malbecgrape).
% 3.58/3.53  winegrape_aux(merlotgrape).
% 3.58/3.53  winesugar_aux(sweet).
% 3.58/3.53  winesugar_aux(dry).
% 3.58/3.53  winesugar_aux(offdry).
% 3.58/3.53  winery_aux(seanthackrey).
% 3.58/3.53  winery_aux(marietta).
% 3.58/3.53  winery_aux(petermccoy).
% 3.58/3.53  winery_aux(danjou).
% 3.58/3.53  winery_aux(stonleigh).
% 3.58/3.53  winery_aux(schlossvolrad).
% 3.58/3.53  winery_aux(selaks).
% 3.58/3.53  winery_aux(cortonmontrachet).
% 3.58/3.53  winery_aux(forman).
% 3.58/3.53  winery_aux(chateaulafiterothschild).
% 3.58/3.53  winery_aux(elyse).
% 3.58/3.53  winery_aux(garyfarrell).
% 3.58/3.53  winery_aux(closdelapoussie).
% 3.58/3.53  winery_aux(santacruzmountainvineyard).
% 3.58/3.53  winery_aux(closdevougeot).
% 3.58/3.53  winery_aux(ventana).
% 3.58/3.53  winery_aux(schlossrothermel).
% 3.58/3.53  winery_aux(longridge).
% 3.58/3.53  winery_aux(mcguinnesso).
% 3.58/3.53  winery_aux(beringer).
% 3.58/3.53  winery_aux(sevreetmaine).
% 3.58/3.53  winery_aux(bancroft).
% 3.58/3.53  winery_aux(whitehalllane).
% 3.58/3.53  winery_aux(lanetanner).
% 3.58/3.53  winery_aux(saucelitocanyon).
% 3.58/3.53  winery_aux(mountedenvineyard).
% 3.58/3.53  winery_aux(taylor).
% 3.58/3.53  winery_aux(stgenevieve).
% 3.58/3.53  winery_aux(corbans).
% 3.58/3.53  winery_aux(kalincellars).
% 3.58/3.53  winery_aux(chateaudychem).
% 3.58/3.53  winery_aux(kathrynkennedy).
% 3.58/3.53  winery_aux(cotturi).
% 3.58/3.53  winery_aux(chateaumargauxwinery).
% 3.58/3.53  winery_aux(congresssprings).
% 3.58/3.53  winery_aux(chateaudemeursault).
% 3.58/3.53  winery_aux(chateauchevalblanc).
% 3.58/3.53  winery_aux(mountadam).
% 3.58/3.53  winery_aux(chateaumorgon).
% 3.58/3.53  winery_aux(pagemillwinery).
% 3.58/3.53  winery_aux(handley).
% 3.58/3.53  winery_aux(pulignymontrachet).
% 3.58/3.53  winery_aux(foxen).
% 3.58/3.53  zinfandel_aux(elysezinfandel).
% 3.58/3.53  zinfandel_aux(cotturizinfandel).
% 3.58/3.53  zinfandel_aux(saucelitocanyonzinfandel1998).
% 3.58/3.53  zinfandel_aux(mariettazinfandel).
% 3.58/3.53  zinfandel_aux(saucelitocanyonzinfandel).
% 3.58/3.53  winebody_aux(light).
% 3.58/3.53  winebody_aux(full).
% 3.58/3.53  winebody_aux(medium).
% 3.58/3.53  winecolor_aux(white).
% 3.58/3.53  winecolor_aux(rose).
% 3.58/3.53  winecolor_aux(red).
% 3.58/3.53  whiteburgundy_aux(pulignymontrachetwhiteburgundy).
% 3.58/3.53  whiteburgundy_aux(cortonmontrachetwhiteburgundy).
% 3.58/3.53  whitewine_aux(stgenevievetexaswhite).
% 3.58/3.53  muscadet_aux(sevreetmainemuscadet).
% 3.58/3.53  meursault_aux(chateaudemeursaultmeursault).
% 3.58/3.53  meritage_aux(kathrynkennedylateral).
% 3.58/3.53  margaux_aux(chateaumargaux).
% 3.58/3.53  icewine_aux(selaksicewine).
% 3.58/3.53  dryriesling_aux(mountadamriesling).
% 3.58/3.53  dessertwine_aux(whitehalllaneprimavera).
% 3.58/3.53  cabernetsauvignon_aux(mariettacabernetsauvignon).
% 3.58/3.53  cabernetsauvignon_aux(pagemillwinerycabernetsauvignon).
% 3.58/3.53  cabernetsauvignon_aux(santacruzmountainvineyardcabernetsauvignon).
% 3.58/3.53  cabernetsauvignon_aux(formancabernetsauvignon).
% 3.58/3.53  cabernetfranc_aux(whitehalllanecabernetfranc).
% 3.58/3.53  beaujolais_aux(chateaumorgonbeaujolais).
% 3.58/3.53  anjou_aux(rosedanjou).
% 3.58/3.53  chardonnay_aux(formanchardonnay).
% 3.58/3.53  chardonnay_aux(petermccoychardonnay).
% 3.58/3.53  chardonnay_aux(bancroftchardonnay).
% 3.58/3.53  chardonnay_aux(mountadamchardonnay).
% 3.58/3.53  chardonnay_aux(mountedenvineyardednavalleychardonnay).
% 3.58/3.53  cheninblanc_aux(foxencheninblanc).
% 3.58/3.53  cheninblanc_aux(ventanacheninblanc).
% 3.58/3.53  chianti_aux(chianticlassico).
% 3.58/3.53  cotesdor_aux(closdevougeotcotesdor).
% 3.58/3.53  merlot_aux(garyfarrellmerlot).
% 3.58/3.53  merlot_aux(longridgemerlot).
% 3.58/3.53  pauillac_aux(chateaulafiterothschildpauillac).
% 3.58/3.53  petitesyrah_aux(mariettapetitesyrah).
% 3.58/3.53  petitesyrah_aux(seanthackreysiriuspetitesyrah).
% 3.58/3.53  pinotnoir_aux(mountadampinotnoir).
% 3.58/3.53  pinotnoir_aux(lanetannerpinotnoir).
% 3.58/3.53  pinotnoir_aux(mountedenvineyardestatepinotnoir).
% 3.58/3.53  port_aux(taylorport).
% 3.58/3.53  redtablewine_aux(mariettaoldvinesred).
% 3.58/3.53  region_aux(californiaregion).
% 3.58/3.53  region_aux(sancerreregion).
% 3.58/3.53  region_aux(loireregion).
% 3.58/3.53  region_aux(usregion).
% 3.58/3.53  region_aux(naparegion).
% 3.58/3.53  region_aux(newzealandregion).
% 3.58/3.53  region_aux(chiantiregion).
% 3.58/3.53  region_aux(sauterneregion).
% 3.58/3.53  region_aux(germanyregion).
% 3.58/3.53  region_aux(pauillacregion).
% 3.58/3.53  region_aux(centraltexasregion).
% 3.58/3.53  region_aux(bordeauxregion).
% 3.58/3.53  region_aux(portugalregion).
% 3.58/3.53  region_aux(anjouregion).
% 3.58/3.53  region_aux(centralcoastregion).
% 3.58/3.53  region_aux(sonomaregion).
% 3.58/3.53  region_aux(santabarbararegion).
% 3.58/3.53  region_aux(medocregion).
% 3.58/3.53  region_aux(australianregion).
% 3.58/3.53  region_aux(southaustraliaregion).
% 3.58/3.53  region_aux(mendocinoregion).
% 3.58/3.53  region_aux(santacruzmountainsregion).
% 3.58/3.53  region_aux(italianregion).
% 3.58/3.53  region_aux(margauxregion).
% 3.58/3.53  region_aux(texasregion).
% 3.58/3.53  region_aux(muscadetregion).
% 3.58/3.53  region_aux(alsaceregion).
% 3.58/3.53  region_aux(stemilionregion).
% 3.58/3.53  region_aux(bourgogneregion).
% 3.58/3.53  region_aux(toursregion).
% 3.58/3.53  region_aux(frenchregion).
% 3.58/3.53  region_aux(cotesdorregion).
% 3.58/3.53  region_aux(beaujolaisregion).
% 3.58/3.53  region_aux(meursaultregion).
% 3.58/3.53  region_aux(ednavalleyregion).
% 3.58/3.53  region_aux(arroyogranderegion).
% 3.58/3.53  riesling_aux(corbansdrywhiteriesling).
% 3.58/3.53  sancerre_aux(closdelapoussiesancerre).
% 3.58/3.53  sauternes_aux(chateaudychemsauterne).
% 3.58/3.53  sauvignonblanc_aux(corbansprivatebinsauvignonblanc).
% 3.58/3.53  sauvignonblanc_aux(corbanssauvignonblanc).
% 3.58/3.53  sauvignonblanc_aux(stonleighsauvignonblanc).
% 3.58/3.53  sauvignonblanc_aux(selakssauvignonblanc).
% 3.58/3.53  semillon_aux(congressspringssemillon).
% 3.58/3.53  semillon_aux(kalincellarssemillon).
% 3.58/3.53  stemilion_aux(chateauchevalblancstemilion).
% 3.58/3.53  sweetriesling_aux(schlossrothermeltrochenbierenausleseriesling).
% 3.58/3.53  sweetriesling_aux(schlossvolradtrochenbierenausleseriesling).
% 3.58/3.53  kaon2namedobjects(chateaudemeursault).
% 3.58/3.53  kaon2namedobjects(seanthackrey).
% 3.58/3.53  kaon2namedobjects(formancabernetsauvignon).
% 3.58/3.53  kaon2namedobjects(texasregion).
% 3.58/3.53  kaon2namedobjects(sonomaregion).
% 3.58/3.53  kaon2namedobjects(corbansdrywhiteriesling).
% 3.58/3.53  kaon2namedobjects(cheninblancgrape).
% 3.58/3.53  kaon2namedobjects(delicate).
% 3.58/3.53  kaon2namedobjects(petermccoy).
% 3.58/3.53  kaon2namedobjects(forman).
% 3.58/3.53  kaon2namedobjects(taylorport).
% 3.58/3.53  kaon2namedobjects(pagemillwinerycabernetsauvignon).
% 3.58/3.53  kaon2namedobjects(chateauchevalblancstemilion).
% 3.58/3.53  kaon2namedobjects(foxencheninblanc).
% 3.58/3.53  kaon2namedobjects(santacruzmountainvineyardcabernetsauvignon).
% 3.58/3.53  kaon2namedobjects(selaksicewine).
% 3.58/3.53  kaon2namedobjects(chardonnaygrape).
% 3.58/3.53  kaon2namedobjects(sauvignonblancgrape).
% 3.58/3.53  kaon2namedobjects(cabernetsauvignongrape).
% 3.58/3.53  kaon2namedobjects(mountadampinotnoir).
% 3.58/3.53  kaon2namedobjects(pinotblancgrape).
% 3.58/3.53  kaon2namedobjects(year1998).
% 3.58/3.53  kaon2namedobjects(cotturizinfandel).
% 3.58/3.53  kaon2namedobjects(whitehalllaneprimavera).
% 3.58/3.53  kaon2namedobjects(longridge).
% 3.58/3.53  kaon2namedobjects(bancroft).
% 3.58/3.53  kaon2namedobjects(mountedenvineyardednavalleychardonnay).
% 3.58/3.53  kaon2namedobjects(moderate).
% 3.58/3.53  kaon2namedobjects(alsaceregion).
% 3.58/3.53  kaon2namedobjects(saucelitocanyonzinfandel1998).
% 3.58/3.53  kaon2namedobjects(corbanssauvignonblanc).
% 3.58/3.53  kaon2namedobjects(full).
% 3.58/3.53  kaon2namedobjects(taylor).
% 3.58/3.53  kaon2namedobjects(malbecgrape).
% 3.58/3.53  kaon2namedobjects(closdevougeot).
% 3.58/3.53  kaon2namedobjects(corbans).
% 3.58/3.53  kaon2namedobjects(stonleighsauvignonblanc).
% 3.58/3.53  kaon2namedobjects(loireregion).
% 3.58/3.53  kaon2namedobjects(corbansprivatebinsauvignonblanc).
% 3.58/3.53  kaon2namedobjects(cortonmontrachet).
% 3.58/3.53  kaon2namedobjects(chateaudychem).
% 3.58/3.53  kaon2namedobjects(australianregion).
% 3.58/3.53  kaon2namedobjects(beringer).
% 3.58/3.53  kaon2namedobjects(formanchardonnay).
% 3.58/3.53  kaon2namedobjects(chateaudemeursaultmeursault).
% 3.58/3.53  kaon2namedobjects(merlotgrape).
% 3.58/3.53  kaon2namedobjects(garyfarrellmerlot).
% 3.58/3.53  kaon2namedobjects(santacruzmountainvineyard).
% 3.58/3.53  kaon2namedobjects(portugalregion).
% 3.58/3.53  kaon2namedobjects(margauxregion).
% 3.58/3.53  kaon2namedobjects(frenchregion).
% 3.58/3.53  kaon2namedobjects(strong).
% 3.58/3.53  kaon2namedobjects(schlossvolradtrochenbierenausleseriesling).
% 3.58/3.53  kaon2namedobjects(cabernetfrancgrape).
% 3.58/3.53  kaon2namedobjects(medium).
% 3.58/3.53  kaon2namedobjects(medocregion).
% 3.58/3.53  kaon2namedobjects(sangiovesegrape).
% 3.58/3.53  kaon2namedobjects(toursregion).
% 3.58/3.53  kaon2namedobjects(chateaumargauxwinery).
% 3.58/3.53  kaon2namedobjects(closdelapoussiesancerre).
% 3.58/3.53  kaon2namedobjects(ednavalleyregion).
% 3.58/3.53  kaon2namedobjects(schlossvolrad).
% 3.58/3.53  kaon2namedobjects(marietta).
% 3.58/3.53  kaon2namedobjects(sweet).
% 3.58/3.53  kaon2namedobjects(arroyogranderegion).
% 3.58/3.53  kaon2namedobjects(elyse).
% 3.58/3.53  kaon2namedobjects(whitehalllanecabernetfranc).
% 3.58/3.53  kaon2namedobjects(anjouregion).
% 3.58/3.53  kaon2namedobjects(beaujolaisregion).
% 3.58/3.53  kaon2namedobjects(petermccoychardonnay).
% 3.58/3.53  kaon2namedobjects(pagemillwinery).
% 3.58/3.53  kaon2namedobjects(stgenevievetexaswhite).
% 3.58/3.53  kaon2namedobjects(congresssprings).
% 3.58/3.53  kaon2namedobjects(germanyregion).
% 3.58/3.53  kaon2namedobjects(muscadetregion).
% 3.58/3.53  kaon2namedobjects(garyfarrell).
% 3.58/3.53  kaon2namedobjects(light).
% 3.58/3.53  kaon2namedobjects(rieslinggrape).
% 3.58/3.53  kaon2namedobjects(pauillacregion).
% 3.58/3.53  kaon2namedobjects(santabarbararegion).
% 3.58/3.53  kaon2namedobjects(lanetanner).
% 3.58/3.53  kaon2namedobjects(mcguinnesso).
% 3.58/3.53  kaon2namedobjects(mendocinoregion).
% 3.58/3.53  kaon2namedobjects(chateaumorgonbeaujolais).
% 3.58/3.53  kaon2namedobjects(santacruzmountainsregion).
% 3.58/3.53  kaon2namedobjects(californiaregion).
% 3.58/3.53  kaon2namedobjects(sancerreregion).
% 3.58/3.53  kaon2namedobjects(selakssauvignonblanc).
% 3.58/3.53  kaon2namedobjects(chateaulafiterothschildpauillac).
% 3.58/3.53  kaon2namedobjects(cortonmontrachetwhiteburgundy).
% 3.58/3.53  kaon2namedobjects(lanetannerpinotnoir).
% 3.58/3.53  kaon2namedobjects(ventana).
% 3.58/3.53  kaon2namedobjects(cotturi).
% 3.58/3.53  kaon2namedobjects(mariettaoldvinesred).
% 3.58/3.53  kaon2namedobjects(rosedanjou).
% 3.58/3.53  kaon2namedobjects(chateaulafiterothschild).
% 3.58/3.53  kaon2namedobjects(chateaumorgon).
% 3.58/3.53  kaon2namedobjects(saucelitocanyon).
% 3.58/3.53  kaon2namedobjects(ventanacheninblanc).
% 3.58/3.53  kaon2namedobjects(chateauchevalblanc).
% 3.58/3.53  kaon2namedobjects(mountadamriesling).
% 3.58/3.53  kaon2namedobjects(mariettacabernetsauvignon).
% 3.58/3.53  kaon2namedobjects(sevreetmaine).
% 3.58/3.53  kaon2namedobjects(saucelitocanyonzinfandel).
% 3.58/3.53  kaon2namedobjects(seanthackreysiriuspetitesyrah).
% 3.58/3.53  kaon2namedobjects(stonleigh).
% 3.58/3.53  kaon2namedobjects(schlossrothermeltrochenbierenausleseriesling).
% 3.58/3.53  kaon2namedobjects(mariettazinfandel).
% 3.58/3.53  kaon2namedobjects(kathrynkennedylateral).
% 3.58/3.53  kaon2namedobjects(mountadamchardonnay).
% 3.58/3.53  kaon2namedobjects(foxen).
% 3.58/3.53  kaon2namedobjects(stgenevieve).
% 3.58/3.53  kaon2namedobjects(offdry).
% 3.58/3.53  kaon2namedobjects(whitehalllane).
% 3.58/3.53  kaon2namedobjects(chianticlassico).
% 3.58/3.53  kaon2namedobjects(pulignymontrachet).
% 3.58/3.53  kaon2namedobjects(meursaultregion).
% 3.58/3.53  kaon2namedobjects(mountedenvineyardestatepinotnoir).
% 3.58/3.53  kaon2namedobjects(kalincellars).
% 3.58/3.53  kaon2namedobjects(petiteverdotgrape).
% 3.58/3.53  kaon2namedobjects(chateaumargaux).
% 3.58/3.53  kaon2namedobjects(kathrynkennedy).
% 3.58/3.53  kaon2namedobjects(sauterneregion).
% 3.58/3.53  kaon2namedobjects(bordeauxregion).
% 3.58/3.53  kaon2namedobjects(white).
% 3.58/3.53  kaon2namedobjects(mariettapetitesyrah).
% 3.58/3.53  kaon2namedobjects(handley).
% 3.58/3.53  kaon2namedobjects(naparegion).
% 3.58/3.53  kaon2namedobjects(chiantiregion).
% 3.58/3.53  kaon2namedobjects(chateaudychemsauterne).
% 3.58/3.53  kaon2namedobjects(elysezinfandel).
% 3.58/3.53  kaon2namedobjects(pulignymontrachetwhiteburgundy).
% 3.58/3.53  kaon2namedobjects(kalincellarssemillon).
% 3.58/3.53  kaon2namedobjects(closdevougeotcotesdor).
% 3.58/3.53  kaon2namedobjects(schlossrothermel).
% 3.58/3.53  kaon2namedobjects(bancroftchardonnay).
% 3.58/3.53  kaon2namedobjects(southaustraliaregion).
% 3.58/3.53  kaon2namedobjects(semillongrape).
% 3.58/3.53  kaon2namedobjects(danjou).
% 3.58/3.53  kaon2namedobjects(gamaygrape).
% 3.58/3.53  kaon2namedobjects(zinfandelgrape).
% 3.58/3.53  kaon2namedobjects(longridgemerlot).
% 3.58/3.53  kaon2namedobjects(mountedenvineyard).
% 3.58/3.53  kaon2namedobjects(bourgogneregion).
% 3.58/3.53  kaon2namedobjects(usregion).
% 3.58/3.53  kaon2namedobjects(centraltexasregion).
% 3.58/3.53  kaon2namedobjects(congressspringssemillon).
% 3.58/3.53  kaon2namedobjects(selaks).
% 3.58/3.53  kaon2namedobjects(dry).
% 3.58/3.53  kaon2namedobjects(newzealandregion).
% 3.58/3.53  kaon2namedobjects(red).
% 3.58/3.53  kaon2namedobjects(closdelapoussie).
% 3.58/3.53  kaon2namedobjects(cotesdorregion).
% 3.58/3.53  kaon2namedobjects(rose).
% 3.58/3.53  kaon2namedobjects(mountadam).
% 3.58/3.53  kaon2namedobjects(sevreetmainemuscadet).
% 3.58/3.53  kaon2namedobjects(pinotnoirgrape).
% 3.58/3.53  kaon2namedobjects(stemilionregion).
% 3.58/3.53  kaon2namedobjects(italianregion).
% 3.58/3.53  kaon2namedobjects(centralcoastregion).
% 3.58/3.53  kaon2namedobjects(petitesyrahgrape).
% 3.58/3.53  vintageyear_aux(year1998).
% 3.58/3.53  hasvintageyear_aux(saucelitocanyonzinfandel1998,year1998).
% 3.58/3.53  all X Y (madefromgrape_aux(X,Y)->madefromgrape(X,Y)).
% 3.58/3.53  all X Y (locatedin_aux(X,Y)->locatedin(X,Y)).
% 3.58/3.53  all X Y (hassugar_aux(X,Y)->hassugar(X,Y)).
% 3.58/3.53  all X Y (hasmaker_aux(X,Y)->hasmaker(X,Y)).
% 3.58/3.53  all X Y (hasflavor_aux(X,Y)->hasflavor(X,Y)).
% 3.58/3.53  all X Y (hascolor_aux(X,Y)->hascolor(X,Y)).
% 3.58/3.53  all X Y (hasbody_aux(X,Y)->hasbody(X,Y)).
% 3.58/3.53  all Y X (adjacentregion_aux(Y,X)->adjacentregion(Y,X)).
% 3.58/3.53  all Y X (hasvintageyear_aux(Y,X)->hasvintageyear(Y,X)).
% 3.58/3.53  all X (ot____nom1_aux(X)->ot____nom1(X)).
% 3.58/3.53  all X (ot____nom10_aux(X)->ot____nom10(X)).
% 3.58/3.53  all X (ot____nom11_aux(X)->ot____nom11(X)).
% 3.58/3.53  all X (ot____nom12_aux(X)->ot____nom12(X)).
% 3.58/3.53  all X (ot____nom13_aux(X)->ot____nom13(X)).
% 3.58/3.53  all X (ot____nom14_aux(X)->ot____nom14(X)).
% 3.58/3.53  all X (ot____nom15_aux(X)->ot____nom15(X)).
% 3.58/3.53  all X (ot____nom16_aux(X)->ot____nom16(X)).
% 3.58/3.53  all X (ot____nom17_aux(X)->ot____nom17(X)).
% 3.58/3.53  all X (ot____nom18_aux(X)->ot____nom18(X)).
% 3.58/3.53  all X (ot____nom19_aux(X)->ot____nom19(X)).
% 3.58/3.53  all X (ot____nom2_aux(X)->ot____nom2(X)).
% 3.58/3.53  all X (ot____nom20_aux(X)->ot____nom20(X)).
% 3.58/3.53  all X (ot____nom21_aux(X)->ot____nom21(X)).
% 3.58/3.53  all X (ot____nom22_aux(X)->ot____nom22(X)).
% 3.58/3.53  all X (ot____nom23_aux(X)->ot____nom23(X)).
% 3.58/3.53  all X (ot____nom24_aux(X)->ot____nom24(X)).
% 3.58/3.53  all X (ot____nom25_aux(X)->ot____nom25(X)).
% 3.58/3.53  all X (ot____nom26_aux(X)->ot____nom26(X)).
% 3.58/3.53  all X (ot____nom27_aux(X)->ot____nom27(X)).
% 3.58/3.53  all X (ot____nom28_aux(X)->ot____nom28(X)).
% 3.58/3.53  all X (ot____nom29_aux(X)->ot____nom29(X)).
% 3.58/3.53  all X (ot____nom3_aux(X)->ot____nom3(X)).
% 3.58/3.53  all X (ot____nom30_aux(X)->ot____nom30(X)).
% 3.58/3.53  all X (ot____nom31_aux(X)->ot____nom31(X)).
% 3.58/3.53  all X (ot____nom32_aux(X)->ot____nom32(X)).
% 3.58/3.53  all X (ot____nom33_aux(X)->ot____nom33(X)).
% 3.58/3.53  all X (ot____nom34_aux(X)->ot____nom34(X)).
% 3.58/3.53  all X (ot____nom35_aux(X)->ot____nom35(X)).
% 3.58/3.53  all X (ot____nom36_aux(X)->ot____nom36(X)).
% 3.58/3.53  all X (ot____nom37_aux(X)->ot____nom37(X)).
% 3.58/3.53  all X (ot____nom38_aux(X)->ot____nom38(X)).
% 3.58/3.53  all X (ot____nom39_aux(X)->ot____nom39(X)).
% 3.58/3.53  all X (ot____nom4_aux(X)->ot____nom4(X)).
% 3.58/3.53  all X (ot____nom40_aux(X)->ot____nom40(X)).
% 3.58/3.53  all X (ot____nom41_aux(X)->ot____nom41(X)).
% 3.58/3.53  all X (ot____nom42_aux(X)->ot____nom42(X)).
% 3.58/3.53  all X (ot____nom43_aux(X)->ot____nom43(X)).
% 3.58/3.53  all X (ot____nom44_aux(X)->ot____nom44(X)).
% 3.58/3.53  all X (ot____nom45_aux(X)->ot____nom45(X)).
% 3.58/3.53  all X (ot____nom46_aux(X)->ot____nom46(X)).
% 3.58/3.53  all X (ot____nom47_aux(X)->ot____nom47(X)).
% 3.58/3.53  all X (ot____nom48_aux(X)->ot____nom48(X)).
% 3.58/3.53  all X (ot____nom49_aux(X)->ot____nom49(X)).
% 3.58/3.53  all X (ot____nom5_aux(X)->ot____nom5(X)).
% 3.58/3.53  all X (ot____nom50_aux(X)->ot____nom50(X)).
% 3.58/3.53  all X (ot____nom51_aux(X)->ot____nom51(X)).
% 3.58/3.53  all X (ot____nom52_aux(X)->ot____nom52(X)).
% 3.58/3.53  all X (ot____nom53_aux(X)->ot____nom53(X)).
% 3.58/3.53  all X (ot____nom54_aux(X)->ot____nom54(X)).
% 3.58/3.53  all X (ot____nom55_aux(X)->ot____nom55(X)).
% 3.58/3.53  all X (ot____nom56_aux(X)->ot____nom56(X)).
% 3.58/3.53  all X (ot____nom57_aux(X)->ot____nom57(X)).
% 3.58/3.53  all X (ot____nom58_aux(X)->ot____nom58(X)).
% 3.58/3.53  all X (ot____nom59_aux(X)->ot____nom59(X)).
% 3.58/3.53  all X (ot____nom6_aux(X)->ot____nom6(X)).
% 3.58/3.53  all X (ot____nom60_aux(X)->ot____nom60(X)).
% 3.58/3.53  all X (ot____nom61_aux(X)->ot____nom61(X)).
% 3.58/3.53  all X (ot____nom62_aux(X)->ot____nom62(X)).
% 3.58/3.53  all X (ot____nom63_aux(X)->ot____nom63(X)).
% 3.58/3.53  all X (ot____nom64_aux(X)->ot____nom64(X)).
% 3.58/3.53  all X (ot____nom7_aux(X)->ot____nom7(X)).
% 3.58/3.53  all X (ot____nom8_aux(X)->ot____nom8(X)).
% 3.58/3.53  all X (ot____nom9_aux(X)->ot____nom9(X)).
% 3.58/3.53  all X (zinfandel_aux(X)->zinfandel(X)).
% 3.58/3.53  all X (winery_aux(X)->winery(X)).
% 3.58/3.53  all X (winegrape_aux(X)->winegrape(X)).
% 3.58/3.53  all X (winesugar_aux(X)->winesugar(X)).
% 3.58/3.53  all X (wineflavor_aux(X)->wineflavor(X)).
% 3.58/3.53  all X (anjou_aux(X)->anjou(X)).
% 3.58/3.53  all X (beaujolais_aux(X)->beaujolais(X)).
% 3.58/3.53  all X (cabernetfranc_aux(X)->cabernetfranc(X)).
% 3.58/3.53  all X (cabernetsauvignon_aux(X)->cabernetsauvignon(X)).
% 3.58/3.53  all X (chardonnay_aux(X)->chardonnay(X)).
% 3.58/3.53  all X (cheninblanc_aux(X)->cheninblanc(X)).
% 3.58/3.53  all X (chianti_aux(X)->chianti(X)).
% 3.58/3.53  all X (cotesdor_aux(X)->cotesdor(X)).
% 3.58/3.53  all X (dessertwine_aux(X)->dessertwine(X)).
% 3.58/3.53  all X (dryriesling_aux(X)->dryriesling(X)).
% 3.58/3.53  all X (icewine_aux(X)->icewine(X)).
% 3.58/3.53  all X (margaux_aux(X)->margaux(X)).
% 3.58/3.53  all X (meritage_aux(X)->meritage(X)).
% 3.58/3.53  all X (merlot_aux(X)->merlot(X)).
% 3.58/3.53  all X (meursault_aux(X)->meursault(X)).
% 3.58/3.53  all X (muscadet_aux(X)->muscadet(X)).
% 3.58/3.53  all X (pauillac_aux(X)->pauillac(X)).
% 3.58/3.53  all X (petitesyrah_aux(X)->petitesyrah(X)).
% 3.58/3.53  all X (pinotnoir_aux(X)->pinotnoir(X)).
% 3.58/3.53  all X (port_aux(X)->port(X)).
% 3.58/3.53  all X (redtablewine_aux(X)->redtablewine(X)).
% 3.58/3.53  all X (region_aux(X)->region(X)).
% 3.58/3.53  all X (riesling_aux(X)->riesling(X)).
% 3.58/3.53  all X (sancerre_aux(X)->sancerre(X)).
% 3.58/3.53  all X (sauternes_aux(X)->sauternes(X)).
% 3.58/3.53  all X (sauvignonblanc_aux(X)->sauvignonblanc(X)).
% 3.58/3.53  all X (semillon_aux(X)->semillon(X)).
% 3.58/3.53  all X (stemilion_aux(X)->stemilion(X)).
% 3.58/3.53  all X (sweetriesling_aux(X)->sweetriesling(X)).
% 3.58/3.53  all X (vintageyear_aux(X)->vintageyear(X)).
% 3.58/3.53  all X (whiteburgundy_aux(X)->whiteburgundy(X)).
% 3.58/3.53  all X (whitewine_aux(X)->whitewine(X)).
% 3.58/3.53  all X (winebody_aux(X)->winebody(X)).
% 3.58/3.53  all X (winecolor_aux(X)->winecolor(X)).
% 3.58/3.53  all X (meritage(X)->q0(X)).
% 3.58/3.53  all X (merlot(X)->q0(X)).
% 3.58/3.53  all X (pinotnoir(X)->q0(X)).
% 3.58/3.53  all X (beaujolais(X)->q0(X)).
% 3.58/3.53  all X (cabernetfranc(X)->q0(X)).
% 3.58/3.53  all X (zinfandel(X)->q0(X)).
% 3.58/3.53  all X (medoc(X)->q0(X)).
% 3.58/3.53  all X (cabernetsauvignon(X)->q0(X)).
% 3.58/3.53  all X (redtablewine(X)->q0(X)).
% 3.58/3.53  all X (petitesyrah(X)->q0(X)).
% 3.58/3.53  all X (redwine(X)->q0(X)).
% 3.58/3.53  all X (chianti(X)->q0(X)).
% 3.58/3.53  all X (stemilion(X)->q0(X)).
% 3.58/3.53  all Y X (q0(Y)&kaon2e_qual(X,Y)->q0(X)).
% 3.58/3.53  all X (bordeaux(X)->q1(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&q2(Y)->q1(X)).
% 3.58/3.53  all Y X (q1(Y)&kaon2e_qual(X,Y)->q1(X)).
% 3.58/3.53  all X (q9(X)->q10(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&ot____nom4(Y)->q10(X)).
% 3.58/3.53  all Y X (q10(Y)&kaon2e_qual(X,Y)->q10(X)).
% 3.58/3.53  all X (pauillac(X)->q11(X)).
% 3.58/3.53  all X (port(X)->q11(X)).
% 3.58/3.53  all X (stemilion(X)->q11(X)).
% 3.58/3.53  all Y X (q11(Y)&kaon2e_qual(X,Y)->q11(X)).
% 3.58/3.53  all X (icewine(X)->q12(X)).
% 3.58/3.53  all X (whitetablewine(X)->q12(X)).
% 3.58/3.53  all X (cheninblanc(X)->q12(X)).
% 3.58/3.53  all X (chardonnay(X)->q12(X)).
% 3.58/3.53  all X (pinotblanc(X)->q12(X)).
% 3.58/3.53  all X (whitewine(X)->q12(X)).
% 3.58/3.53  all X (dryriesling(X)->q12(X)).
% 3.58/3.53  all X (sauternes(X)->q12(X)).
% 3.58/3.53  all X (semillonorsauvignonblanc(X)->q12(X)).
% 3.58/3.53  all X (riesling(X)->q12(X)).
% 3.58/3.53  all Y X (q12(Y)&kaon2e_qual(X,Y)->q12(X)).
% 3.58/3.53  all X (margaux(X)->q13(X)).
% 3.58/3.53  all X (merlot(X)->q13(X)).
% 3.58/3.53  all Y X (q13(Y)&kaon2e_qual(X,Y)->q13(X)).
% 3.58/3.53  all X (gamay(X)->q14(X)).
% 3.58/3.53  all X (beaujolais(X)->q14(X)).
% 3.58/3.53  all Y X (q14(Y)&kaon2e_qual(X,Y)->q14(X)).
% 3.58/3.53  all X (anjou(X)->q15(X)).
% 3.58/3.53  all X (rosewine(X)->q15(X)).
% 3.58/3.53  all Y X (q15(Y)&kaon2e_qual(X,Y)->q15(X)).
% 3.58/3.53  all X (meursault(X)->q16(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&q17(Y)->q16(X)).
% 3.58/3.53  all Y X (q16(Y)&kaon2e_qual(X,Y)->q16(X)).
% 3.58/3.53  all X (q16(X)->q17(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&ot____nom31(Y)->q17(X)).
% 3.58/3.53  all Y X (q17(Y)&kaon2e_qual(X,Y)->q17(X)).
% 3.58/3.53  all X (margaux(X)->q18(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&q19(Y)->q18(X)).
% 3.58/3.53  all Y X (q18(Y)&kaon2e_qual(X,Y)->q18(X)).
% 3.58/3.53  all X (q18(X)->q19(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&ot____nom22(Y)->q19(X)).
% 3.58/3.53  all Y X (q19(Y)&kaon2e_qual(X,Y)->q19(X)).
% 3.58/3.53  all X (q1(X)->q2(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&ot____nom23(Y)->q2(X)).
% 3.58/3.53  all Y X (q2(Y)&kaon2e_qual(X,Y)->q2(X)).
% 3.58/3.53  all X (sancerre(X)->q20(X)).
% 3.58/3.53  all X (muscadet(X)->q20(X)).
% 3.58/3.53  all X (beaujolais(X)->q20(X)).
% 3.58/3.53  all X (dryriesling(X)->q20(X)).
% 3.58/3.53  all X (anjou(X)->q20(X)).
% 3.58/3.53  all X (margaux(X)->q20(X)).
% 3.58/3.53  all Y X (q20(Y)&kaon2e_qual(X,Y)->q20(X)).
% 3.58/3.53  all X (q12(X)->q21(X)).
% 3.58/3.53  all X Y (hascolor(X,Y)&ot____nom5(Y)->q21(X)).
% 3.58/3.53  all Y X (q21(Y)&kaon2e_qual(X,Y)->q21(X)).
% 3.58/3.53  all X (beaujolais(X)->q22(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&q23(Y)->q22(X)).
% 3.58/3.53  all Y X (q22(Y)&kaon2e_qual(X,Y)->q22(X)).
% 3.58/3.53  all X (q22(X)->q23(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&ot____nom26(Y)->q23(X)).
% 3.58/3.53  all Y X (q23(Y)&kaon2e_qual(X,Y)->q23(X)).
% 3.58/3.53  all X (pinotblanc(X)->q24(X)).
% 3.58/3.53  all X (muscadet(X)->q24(X)).
% 3.58/3.53  all Y X (q24(Y)&kaon2e_qual(X,Y)->q24(X)).
% 3.58/3.53  all X (americanwine(X)->q26(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&q27(Y)->q26(X)).
% 3.58/3.53  all Y X (q26(Y)&kaon2e_qual(X,Y)->q26(X)).
% 3.58/3.53  all X (q26(X)->q27(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&ot____nom38(Y)->q27(X)).
% 3.58/3.53  all Y X (q27(Y)&kaon2e_qual(X,Y)->q27(X)).
% 3.58/3.53  all X (burgundy(X)->q29(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&q30(Y)->q29(X)).
% 3.58/3.53  all Y X (q29(Y)&kaon2e_qual(X,Y)->q29(X)).
% 3.58/3.53  all X (margaux(X)->q3(X)).
% 3.58/3.53  all X (pauillac(X)->q3(X)).
% 3.58/3.53  all X (zinfandel(X)->q3(X)).
% 3.58/3.53  all X (chardonnay(X)->q3(X)).
% 3.58/3.53  all X (tours(X)->q3(X)).
% 3.58/3.53  all X (riesling(X)->q3(X)).
% 3.58/3.53  all X (semillon(X)->q3(X)).
% 3.58/3.53  all X (petitesyrah(X)->q3(X)).
% 3.58/3.53  all X (whiteburgundy(X)->q3(X)).
% 3.58/3.53  all X (cabernetsauvignon(X)->q3(X)).
% 3.58/3.53  all X (cheninblanc(X)->q3(X)).
% 3.58/3.53  all X (sauvignonblanc(X)->q3(X)).
% 3.58/3.53  all X (cabernetfranc(X)->q3(X)).
% 3.58/3.53  all X (beaujolais(X)->q3(X)).
% 3.58/3.53  all X (stemilion(X)->q3(X)).
% 3.58/3.53  all X (pinotnoir(X)->q3(X)).
% 3.58/3.53  all X (sancerre(X)->q3(X)).
% 3.58/3.53  all X (redburgundy(X)->q3(X)).
% 3.58/3.53  all X (muscadet(X)->q3(X)).
% 3.58/3.53  all X (merlot(X)->q3(X)).
% 3.58/3.53  all X (pinotblanc(X)->q3(X)).
% 3.58/3.53  all X (gamay(X)->q3(X)).
% 3.58/3.53  all Y X (q3(Y)&kaon2e_qual(X,Y)->q3(X)).
% 3.58/3.53  all X (ot____nom8(X)&wine(X)&kaon2namedobjects(X)->q3(X)).
% 3.58/3.53  all X (q29(X)->q30(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&ot____nom44(Y)->q30(X)).
% 3.58/3.53  all Y X (q30(Y)&kaon2e_qual(X,Y)->q30(X)).
% 3.58/3.53  all X (chianti(X)->q31(X)).
% 3.58/3.53  all X (cabernetsauvignon(X)->q31(X)).
% 3.58/3.53  all X (medoc(X)->q31(X)).
% 3.58/3.53  all X (merlot(X)->q31(X)).
% 3.58/3.53  all X (muscadet(X)->q31(X)).
% 3.58/3.53  all X (tablewine(X)->q31(X)).
% 3.58/3.53  all X (drywine(X)->q31(X)).
% 3.58/3.53  all X (beaujolais(X)->q31(X)).
% 3.58/3.53  all X (zinfandel(X)->q31(X)).
% 3.58/3.53  all X (cabernetfranc(X)->q31(X)).
% 3.58/3.53  all X (burgundy(X)->q31(X)).
% 3.58/3.53  all X (dryriesling(X)->q31(X)).
% 3.58/3.53  all X (petitesyrah(X)->q31(X)).
% 3.58/3.53  all Y X (q31(Y)&kaon2e_qual(X,Y)->q31(X)).
% 3.58/3.53  all X (sancerre(X)->q32(X)).
% 3.58/3.53  all X (anjou(X)->q32(X)).
% 3.58/3.53  all Y X (q32(Y)&kaon2e_qual(X,Y)->q32(X)).
% 3.58/3.53  all X (medoc(X)->q33(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&q34(Y)->q33(X)).
% 3.58/3.53  all Y X (q33(Y)&kaon2e_qual(X,Y)->q33(X)).
% 3.58/3.53  all X (q33(X)->q34(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&ot____nom2(Y)->q34(X)).
% 3.58/3.53  all Y X (q34(Y)&kaon2e_qual(X,Y)->q34(X)).
% 3.58/3.53  all X (pauillac(X)->q35(X)).
% 3.58/3.53  all X (port(X)->q35(X)).
% 3.58/3.53  all X (sweetriesling(X)->q35(X)).
% 3.58/3.53  all X (meursault(X)->q35(X)).
% 3.58/3.53  all X (fullbodiedwine(X)->q35(X)).
% 3.58/3.53  all Y X (q35(Y)&kaon2e_qual(X,Y)->q35(X)).
% 3.58/3.53  all X (whitenonsweetwine(X)->q36(X)).
% 3.58/3.53  all X (earlyharvest(X)->q36(X)).
% 3.58/3.53  all X (cheninblanc(X)->q36(X)).
% 3.58/3.53  all Y X (q36(Y)&kaon2e_qual(X,Y)->q36(X)).
% 3.58/3.53  all X (cotesdor(X)->q37(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&q38(Y)->q37(X)).
% 3.58/3.53  all Y X (q37(Y)&kaon2e_qual(X,Y)->q37(X)).
% 3.58/3.53  all X (q37(X)->q38(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&ot____nom42(Y)->q38(X)).
% 3.58/3.53  all Y X (q38(Y)&kaon2e_qual(X,Y)->q38(X)).
% 3.58/3.53  all X (sancerre(X)->q39(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&q40(Y)->q39(X)).
% 3.58/3.53  all Y X (q39(Y)&kaon2e_qual(X,Y)->q39(X)).
% 3.58/3.53  all X (cheninblanc(X)->q4(X)).
% 3.58/3.53  all X (chianti(X)->q4(X)).
% 3.58/3.53  all X (cabernetfranc(X)->q4(X)).
% 3.58/3.53  all X (cotesdor(X)->q4(X)).
% 3.58/3.53  all Y X (q4(Y)&kaon2e_qual(X,Y)->q4(X)).
% 3.58/3.53  all X (q39(X)->q40(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&ot____nom30(Y)->q40(X)).
% 3.58/3.53  all Y X (q40(Y)&kaon2e_qual(X,Y)->q40(X)).
% 3.58/3.53  all X (q0(X)->q41(X)).
% 3.58/3.53  all X Y (hascolor(X,Y)&ot____nom28(Y)->q41(X)).
% 3.58/3.53  all Y X (q41(Y)&kaon2e_qual(X,Y)->q41(X)).
% 3.58/3.53  all X (pauillac(X)->q42(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&q43(Y)->q42(X)).
% 3.58/3.53  all Y X (q42(Y)&kaon2e_qual(X,Y)->q42(X)).
% 3.58/3.53  all X (q42(X)->q43(X)).
% 3.58/3.53  all X Y (locatedin(X,Y)&ot____nom46(Y)->q43(X)).
% 3.58/3.53  all Y X (q43(Y)&kaon2e_qual(X,Y)->q43(X)).
% 3.58/3.53  all X (sancerre(X)->q44(X)).
% 3.58/3.54  all X (sauvignonblanc(X)->q44(X)).
% 3.58/3.54  all Y X (q44(Y)&kaon2e_qual(X,Y)->q44(X)).
% 3.58/3.54  all X (beaujolais(X)->q45(X)).
% 3.58/3.54  all X (muscadet(X)->q45(X)).
% 3.58/3.54  all X (anjou(X)->q45(X)).
% 3.58/3.54  all Y X (q45(Y)&kaon2e_qual(X,Y)->q45(X)).
% 3.58/3.54  all X (q31(X)->q46(X)).
% 3.58/3.54  all X Y (hassugar(X,Y)&ot____nom12(Y)->q46(X)).
% 3.58/3.54  all Y X (q46(Y)&kaon2e_qual(X,Y)->q46(X)).
% 3.58/3.54  all X (californiawine(X)->q47(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&q48(Y)->q47(X)).
% 3.58/3.54  all Y X (q47(Y)&kaon2e_qual(X,Y)->q47(X)).
% 3.58/3.54  all X (q47(X)->q48(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&ot____nom15(Y)->q48(X)).
% 3.58/3.54  all Y X (q48(Y)&kaon2e_qual(X,Y)->q48(X)).
% 3.58/3.54  all X (germanwine(X)->q49(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&q50(Y)->q49(X)).
% 3.58/3.54  all Y X (q49(Y)&kaon2e_qual(X,Y)->q49(X)).
% 3.58/3.54  all X (meritage(X)->q5(X)).
% 3.58/3.54  all X (q24(X)->q5(X)).
% 3.58/3.54  all X (q6(X)->q5(X)).
% 3.58/3.54  all X (q13(X)->q5(X)).
% 3.58/3.54  all X (q72(X)->q5(X)).
% 3.58/3.54  all X (q14(X)->q5(X)).
% 3.58/3.54  all X (q69(X)->q5(X)).
% 3.58/3.54  all X (q63(X)->q5(X)).
% 3.58/3.54  all X (q44(X)&semillonorsauvignonblanc(X)->q5(X)).
% 3.58/3.54  all Y X (q5(Y)&kaon2e_qual(X,Y)->q5(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom3(Y)->q5(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom43(Y)->q5(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom24(Y)->q5(X)).
% 3.58/3.54  all X Y (semillonorsauvignonblanc(X)&madefromgrape(X,Y)&ot____nom11(Y)->q5(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom34(Y)->q5(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom37(Y)->q5(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom20(Y)->q5(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom33(Y)->q5(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom39(Y)->q5(X)).
% 3.58/3.54  all X Y (semillonorsauvignonblanc(X)&madefromgrape(X,Y)&ot____nom27(Y)->q5(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom25(Y)->q5(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom21(Y)->q5(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom29(Y)->q5(X)).
% 3.58/3.54  all X (q49(X)->q50(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&ot____nom17(Y)->q50(X)).
% 3.58/3.54  all Y X (q50(Y)&kaon2e_qual(X,Y)->q50(X)).
% 3.58/3.54  all X (frenchwine(X)->q51(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&q52(Y)->q51(X)).
% 3.58/3.54  all Y X (q51(Y)&kaon2e_qual(X,Y)->q51(X)).
% 3.58/3.54  all X (q51(X)->q52(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&ot____nom41(Y)->q52(X)).
% 3.58/3.54  all Y X (q52(Y)&kaon2e_qual(X,Y)->q52(X)).
% 3.58/3.54  all X (muscadet(X)->q55(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&q56(Y)->q55(X)).
% 3.58/3.54  all Y X (q55(Y)&kaon2e_qual(X,Y)->q55(X)).
% 3.58/3.54  all X (q55(X)->q56(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&ot____nom16(Y)->q56(X)).
% 3.58/3.54  all Y X (q56(Y)&kaon2e_qual(X,Y)->q56(X)).
% 3.58/3.54  all X (loire(X)->q57(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&q58(Y)->q57(X)).
% 3.58/3.54  all Y X (q57(Y)&kaon2e_qual(X,Y)->q57(X)).
% 3.58/3.54  all X (q57(X)->q58(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&ot____nom19(Y)->q58(X)).
% 3.58/3.54  all Y X (q58(Y)&kaon2e_qual(X,Y)->q58(X)).
% 3.58/3.54  all X (alsatianwine(X)->q59(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&q60(Y)->q59(X)).
% 3.58/3.54  all Y X (q59(Y)&kaon2e_qual(X,Y)->q59(X)).
% 3.58/3.54  all X (cheninblanc(X)->q6(X)).
% 3.58/3.54  all X (tours(X)->q6(X)).
% 3.58/3.54  all Y X (q6(Y)&kaon2e_qual(X,Y)->q6(X)).
% 3.58/3.54  all X (q59(X)->q60(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&ot____nom13(Y)->q60(X)).
% 3.58/3.54  all Y X (q60(Y)&kaon2e_qual(X,Y)->q60(X)).
% 3.58/3.54  all X (italianwine(X)->q61(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&q62(Y)->q61(X)).
% 3.58/3.54  all Y X (q61(Y)&kaon2e_qual(X,Y)->q61(X)).
% 3.58/3.54  all X (q61(X)->q62(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&ot____nom47(Y)->q62(X)).
% 3.58/3.54  all Y X (q62(Y)&kaon2e_qual(X,Y)->q62(X)).
% 3.58/3.54  all X (chardonnay(X)->q63(X)).
% 3.58/3.54  all X (whiteburgundy(X)->q63(X)).
% 3.58/3.54  all Y X (q63(Y)&kaon2e_qual(X,Y)->q63(X)).
% 3.58/3.54  all X (stemilion(X)->q64(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&q65(Y)->q64(X)).
% 3.58/3.54  all Y X (q64(Y)&kaon2e_qual(X,Y)->q64(X)).
% 3.58/3.54  all X (q64(X)->q65(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&ot____nom36(Y)->q65(X)).
% 3.58/3.54  all Y X (q65(Y)&kaon2e_qual(X,Y)->q65(X)).
% 3.58/3.54  all X (anjou(X)->q66(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&q67(Y)->q66(X)).
% 3.58/3.54  all Y X (q66(Y)&kaon2e_qual(X,Y)->q66(X)).
% 3.58/3.54  all X (q66(X)->q67(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&ot____nom14(Y)->q67(X)).
% 3.58/3.54  all Y X (q67(Y)&kaon2e_qual(X,Y)->q67(X)).
% 3.58/3.54  all X (whitebordeaux(X)->q68(X)).
% 3.58/3.54  all X (semillonorsauvignonblanc(X)->q68(X)).
% 3.58/3.54  all Y X (q68(Y)&kaon2e_qual(X,Y)->q68(X)).
% 3.58/3.54  all X (pauillac(X)->q69(X)).
% 3.58/3.54  all X (cabernetsauvignon(X)->q69(X)).
% 3.58/3.54  all X (stemilion(X)->q69(X)).
% 3.58/3.54  all Y X (q69(Y)&kaon2e_qual(X,Y)->q69(X)).
% 3.58/3.54  all X (cabernetfranc(X)->q7(X)).
% 3.58/3.54  all X (sauternes(X)->q7(X)).
% 3.58/3.54  all X (sancerre(X)->q7(X)).
% 3.58/3.54  all Y X (q7(Y)&kaon2e_qual(X,Y)->q7(X)).
% 3.58/3.54  all X (sweetriesling(X)->q70(X)).
% 3.58/3.54  all X (port(X)->q70(X)).
% 3.58/3.54  all X (sweetwine(X)->q70(X)).
% 3.58/3.54  all X (lateharvest(X)->q70(X)).
% 3.58/3.54  all Y X (q70(Y)&kaon2e_qual(X,Y)->q70(X)).
% 3.58/3.54  all X (q70(X)->q71(X)).
% 3.58/3.54  all X Y (hassugar(X,Y)&ot____nom1(Y)->q71(X)).
% 3.58/3.54  all Y X (q71(Y)&kaon2e_qual(X,Y)->q71(X)).
% 3.58/3.54  all X (pinotnoir(X)->q72(X)).
% 3.58/3.54  all X (redburgundy(X)->q72(X)).
% 3.58/3.54  all Y X (q72(Y)&kaon2e_qual(X,Y)->q72(X)).
% 3.58/3.54  all X (texaswine(X)->q73(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&q74(Y)->q73(X)).
% 3.58/3.54  all Y X (q73(Y)&kaon2e_qual(X,Y)->q73(X)).
% 3.58/3.54  all X (q73(X)->q74(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&ot____nom10(Y)->q74(X)).
% 3.58/3.54  all Y X (q74(Y)&kaon2e_qual(X,Y)->q74(X)).
% 3.58/3.54  all X (tours(X)->q9(X)).
% 3.58/3.54  all X Y (locatedin(X,Y)&q10(Y)->q9(X)).
% 3.58/3.54  all Y X (q9(Y)&kaon2e_qual(X,Y)->q9(X)).
% 3.58/3.54  all X (q60(X)&wine(X)->alsatianwine(X)).
% 3.58/3.54  all Y X (alsatianwine(Y)&kaon2e_qual(X,Y)->alsatianwine(X)).
% 3.58/3.54  all X (q27(X)&wine(X)->americanwine(X)).
% 3.58/3.54  all Y X (americanwine(Y)&kaon2e_qual(X,Y)->americanwine(X)).
% 3.58/3.54  all X (q67(X)&loire(X)->anjou(X)).
% 3.58/3.54  all Y X (anjou(Y)&kaon2e_qual(X,Y)->anjou(X)).
% 3.58/3.54  all X (q23(X)&wine(X)->beaujolais(X)).
% 3.58/3.54  all Y X (beaujolais(Y)&kaon2e_qual(X,Y)->beaujolais(X)).
% 3.58/3.54  all X (sauternes(X)->bordeaux(X)).
% 3.58/3.54  all X (medoc(X)->bordeaux(X)).
% 3.58/3.54  all X (redbordeaux(X)->bordeaux(X)).
% 3.58/3.54  all X (stemilion(X)->bordeaux(X)).
% 3.58/3.54  all X (whitebordeaux(X)->bordeaux(X)).
% 3.58/3.54  all X (q2(X)&wine(X)->bordeaux(X)).
% 3.58/3.54  all Y X (bordeaux(Y)&kaon2e_qual(X,Y)->bordeaux(X)).
% 3.58/3.54  all X (whiteburgundy(X)->burgundy(X)).
% 3.58/3.54  all X (redburgundy(X)->burgundy(X)).
% 3.58/3.54  all X (q30(X)&wine(X)->burgundy(X)).
% 3.58/3.54  all Y X (burgundy(Y)&kaon2e_qual(X,Y)->burgundy(X)).
% 3.58/3.54  all Y X (cabernetfranc(Y)&kaon2e_qual(X,Y)->cabernetfranc(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom3(Y)->cabernetfranc(X)).
% 3.58/3.54  all X (q69(X)->cabernetsauvignon(X)).
% 3.58/3.54  all Y X (cabernetsauvignon(Y)&kaon2e_qual(X,Y)->cabernetsauvignon(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom29(Y)->cabernetsauvignon(X)).
% 3.58/3.54  all X (q48(X)&wine(X)->californiawine(X)).
% 3.58/3.54  all Y X (californiawine(Y)&kaon2e_qual(X,Y)->californiawine(X)).
% 3.58/3.54  all X (q63(X)->chardonnay(X)).
% 3.58/3.54  all Y X (chardonnay(Y)&kaon2e_qual(X,Y)->chardonnay(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom24(Y)->chardonnay(X)).
% 3.58/3.54  all X (q6(X)->cheninblanc(X)).
% 3.58/3.54  all Y X (cheninblanc(Y)&kaon2e_qual(X,Y)->cheninblanc(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom34(Y)->cheninblanc(X)).
% 3.58/3.54  all Y X (chianti(Y)&kaon2e_qual(X,Y)->chianti(X)).
% 3.58/3.54  all X (q38(X)&redburgundy(X)->cotesdor(X)).
% 3.58/3.54  all Y X (cotesdor(Y)&kaon2e_qual(X,Y)->cotesdor(X)).
% 3.58/3.54  all X (sweetriesling(X)->dessertwine(X)).
% 3.58/3.54  all X (icewine(X)->dessertwine(X)).
% 3.58/3.54  all Y X (dessertwine(Y)&kaon2e_qual(X,Y)->dessertwine(X)).
% 3.58/3.54  all X (drywine(X)&redwine(X)->dryredwine(X)).
% 3.58/3.54  all Y X (dryredwine(Y)&kaon2e_qual(X,Y)->dryredwine(X)).
% 3.58/3.54  all X (q46(X)&riesling(X)->dryriesling(X)).
% 3.58/3.54  all Y X (dryriesling(Y)&kaon2e_qual(X,Y)->dryriesling(X)).
% 3.58/3.54  all X (drywine(X)&whitewine(X)->drywhitewine(X)).
% 3.58/3.54  all Y X (drywhitewine(Y)&kaon2e_qual(X,Y)->drywhitewine(X)).
% 3.58/3.54  all X (drywhitewine(X)->drywine(X)).
% 3.58/3.54  all X (dryredwine(X)->drywine(X)).
% 3.58/3.54  all X (q46(X)&wine(X)->drywine(X)).
% 3.58/3.54  all Y X (drywine(Y)&kaon2e_qual(X,Y)->drywine(X)).
% 3.58/3.54  all Y X (earlyharvest(Y)&kaon2e_qual(X,Y)->earlyharvest(X)).
% 3.58/3.54  all X (q52(X)&wine(X)->frenchwine(X)).
% 3.58/3.54  all Y X (frenchwine(Y)&kaon2e_qual(X,Y)->frenchwine(X)).
% 3.58/3.54  all X (q35(X)->fullbodiedwine(X)).
% 3.58/3.54  all Y X (fullbodiedwine(Y)&kaon2e_qual(X,Y)->fullbodiedwine(X)).
% 3.58/3.54  all X Y (wine(X)&hasbody(X,Y)&ot____nom45(Y)->fullbodiedwine(X)).
% 3.58/3.54  all X (q14(X)->gamay(X)).
% 3.58/3.54  all Y X (gamay(Y)&kaon2e_qual(X,Y)->gamay(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom33(Y)->gamay(X)).
% 3.58/3.54  all X (q50(X)&wine(X)->germanwine(X)).
% 3.58/3.54  all Y X (germanwine(Y)&kaon2e_qual(X,Y)->germanwine(X)).
% 3.58/3.54  all X (winegrape(X)->grape(X)).
% 3.58/3.54  all Y X (grape(Y)&kaon2e_qual(X,Y)->grape(X)).
% 3.58/3.54  all Y X (icewine(Y)&kaon2e_qual(X,Y)->icewine(X)).
% 3.58/3.54  all X (q21(X)&dessertwine(X)&lateharvest(X)->icewine(X)).
% 3.58/3.54  all X (chianti(X)->italianwine(X)).
% 3.58/3.54  all X (q62(X)&wine(X)->italianwine(X)).
% 3.58/3.54  all Y X (italianwine(Y)&kaon2e_qual(X,Y)->italianwine(X)).
% 3.58/3.54  all X (icewine(X)->lateharvest(X)).
% 3.58/3.54  all X (sauternes(X)->lateharvest(X)).
% 3.58/3.54  all Y X (lateharvest(Y)&kaon2e_qual(X,Y)->lateharvest(X)).
% 3.58/3.54  all X (sancerre(X)->loire(X)).
% 3.58/3.54  all X (tours(X)->loire(X)).
% 3.58/3.54  all X (whiteloire(X)->loire(X)).
% 3.58/3.54  all X (anjou(X)->loire(X)).
% 3.58/3.54  all X (muscadet(X)->loire(X)).
% 3.58/3.54  all X (q58(X)&wine(X)->loire(X)).
% 3.58/3.54  all Y X (loire(Y)&kaon2e_qual(X,Y)->loire(X)).
% 3.58/3.54  all X (q19(X)&medoc(X)->margaux(X)).
% 3.58/3.54  all Y X (margaux(Y)&kaon2e_qual(X,Y)->margaux(X)).
% 3.58/3.54  all X (pauillac(X)->medoc(X)).
% 3.58/3.54  all X (margaux(X)->medoc(X)).
% 3.58/3.54  all X (q34(X)&bordeaux(X)->medoc(X)).
% 3.58/3.54  all Y X (medoc(Y)&kaon2e_qual(X,Y)->medoc(X)).
% 3.58/3.54  all Y X (meritage(Y)&kaon2e_qual(X,Y)->meritage(X)).
% 3.58/3.54  all X (ot____nom8(X)&wine(X)&kaon2namedobjects(X)->meritage(X)).
% 3.58/3.54  all X (q13(X)->merlot(X)).
% 3.58/3.54  all Y X (merlot(Y)&kaon2e_qual(X,Y)->merlot(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom43(Y)->merlot(X)).
% 3.58/3.54  all X (q17(X)&whiteburgundy(X)->meursault(X)).
% 3.58/3.54  all Y X (meursault(Y)&kaon2e_qual(X,Y)->meursault(X)).
% 3.58/3.54  all X (q56(X)&loire(X)->muscadet(X)).
% 3.58/3.54  all Y X (muscadet(Y)&kaon2e_qual(X,Y)->muscadet(X)).
% 3.58/3.54  all X (q43(X)&medoc(X)->pauillac(X)).
% 3.58/3.54  all Y X (pauillac(Y)&kaon2e_qual(X,Y)->pauillac(X)).
% 3.58/3.54  all Y X (petitesyrah(Y)&kaon2e_qual(X,Y)->petitesyrah(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom25(Y)->petitesyrah(X)).
% 3.58/3.54  all X (q24(X)->pinotblanc(X)).
% 3.58/3.54  all Y X (pinotblanc(Y)&kaon2e_qual(X,Y)->pinotblanc(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom21(Y)->pinotblanc(X)).
% 3.58/3.54  all X (q72(X)->pinotnoir(X)).
% 3.58/3.54  all Y X (pinotnoir(Y)&kaon2e_qual(X,Y)->pinotnoir(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom39(Y)->pinotnoir(X)).
% 3.58/3.54  all Y X (port(Y)&kaon2e_qual(X,Y)->port(X)).
% 3.58/3.54  all X (wine(X)->potableliquid(X)).
% 3.58/3.54  all Y X (potableliquid(Y)&kaon2e_qual(X,Y)->potableliquid(X)).
% 3.58/3.54  all X (redwine(X)&bordeaux(X)->redbordeaux(X)).
% 3.58/3.54  all Y X (redbordeaux(Y)&kaon2e_qual(X,Y)->redbordeaux(X)).
% 3.58/3.54  all X (cotesdor(X)->redburgundy(X)).
% 3.58/3.54  all X (burgundy(X)&redwine(X)->redburgundy(X)).
% 3.58/3.54  all Y X (redburgundy(Y)&kaon2e_qual(X,Y)->redburgundy(X)).
% 3.58/3.54  all X (q41(X)&tablewine(X)->redtablewine(X)).
% 3.58/3.54  all Y X (redtablewine(Y)&kaon2e_qual(X,Y)->redtablewine(X)).
% 3.58/3.54  all X (redburgundy(X)->redwine(X)).
% 3.58/3.54  all X (redbordeaux(X)->redwine(X)).
% 3.58/3.54  all X (dryredwine(X)->redwine(X)).
% 3.58/3.54  all X (port(X)->redwine(X)).
% 3.58/3.54  all X (q41(X)&wine(X)->redwine(X)).
% 3.58/3.54  all Y X (redwine(Y)&kaon2e_qual(X,Y)->redwine(X)).
% 3.58/3.54  all X Y (adjacentregion(X,Y)->region(Y)).
% 3.58/3.54  all X Y (locatedin(X,Y)->region(Y)).
% 3.58/3.54  all X Y (adjacentregion(X,Y)->region(X)).
% 3.58/3.54  all X (wine(X)&kaon2namedobjects(X)->region(X)).
% 3.58/3.54  all Y X (region(Y)&kaon2e_qual(X,Y)->region(X)).
% 3.58/3.54  all X (dryriesling(X)->riesling(X)).
% 3.58/3.54  all X (sweetriesling(X)->riesling(X)).
% 3.58/3.54  all Y X (riesling(Y)&kaon2e_qual(X,Y)->riesling(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom37(Y)->riesling(X)).
% 3.58/3.54  all X (q15(X)->rosewine(X)).
% 3.58/3.54  all Y X (rosewine(Y)&kaon2e_qual(X,Y)->rosewine(X)).
% 3.58/3.54  all X Y (wine(X)&hascolor(X,Y)&ot____nom32(Y)->rosewine(X)).
% 3.58/3.54  all X (q40(X)&loire(X)->sancerre(X)).
% 3.58/3.54  all Y X (sancerre(Y)&kaon2e_qual(X,Y)->sancerre(X)).
% 3.58/3.54  all Y X (sauternes(Y)&kaon2e_qual(X,Y)->sauternes(X)).
% 3.58/3.54  all X (q44(X)&semillonorsauvignonblanc(X)->sauvignonblanc(X)).
% 3.58/3.54  all Y X (sauvignonblanc(Y)&kaon2e_qual(X,Y)->sauvignonblanc(X)).
% 3.58/3.54  all X Y (semillonorsauvignonblanc(X)&madefromgrape(X,Y)&ot____nom11(Y)->sauvignonblanc(X)).
% 3.58/3.54  all Y X (semillon(Y)&kaon2e_qual(X,Y)->semillon(X)).
% 3.58/3.54  all X Y (semillonorsauvignonblanc(X)&madefromgrape(X,Y)&ot____nom27(Y)->semillon(X)).
% 3.58/3.54  all X (semillon(X)->semillonorsauvignonblanc(X)).
% 3.58/3.54  all X (sauvignonblanc(X)->semillonorsauvignonblanc(X)).
% 3.58/3.54  all X (q68(X)&wine(X)->semillonorsauvignonblanc(X)).
% 3.58/3.54  all Y X (semillonorsauvignonblanc(Y)&kaon2e_qual(X,Y)->semillonorsauvignonblanc(X)).
% 3.58/3.54  all X (ot____nom6(X)&wine(X)&kaon2namedobjects(X)->semillonorsauvignonblanc(X)).
% 3.58/3.54  all X (q65(X)&bordeaux(X)->stemilion(X)).
% 3.58/3.54  all Y X (stemilion(Y)&kaon2e_qual(X,Y)->stemilion(X)).
% 3.58/3.54  all X (q71(X)&riesling(X)->sweetriesling(X)).
% 3.58/3.54  all Y X (sweetriesling(Y)&kaon2e_qual(X,Y)->sweetriesling(X)).
% 3.58/3.54  all X (q71(X)&wine(X)->sweetwine(X)).
% 3.58/3.54  all Y X (sweetwine(Y)&kaon2e_qual(X,Y)->sweetwine(X)).
% 3.58/3.54  all X (whitetablewine(X)->tablewine(X)).
% 3.58/3.54  all X (redtablewine(X)->tablewine(X)).
% 3.58/3.54  all X (q46(X)&wine(X)->tablewine(X)).
% 3.58/3.54  all Y X (tablewine(Y)&kaon2e_qual(X,Y)->tablewine(X)).
% 3.58/3.54  all X (q74(X)&wine(X)->texaswine(X)).
% 3.58/3.54  all Y X (texaswine(Y)&kaon2e_qual(X,Y)->texaswine(X)).
% 3.58/3.54  all X (q10(X)&loire(X)->tours(X)).
% 3.58/3.54  all Y X (tours(Y)&kaon2e_qual(X,Y)->tours(X)).
% 3.58/3.54  all X Y (hasvintageyear(X,Y)->vintage(X)).
% 3.58/3.54  all Y X (vintage(Y)&kaon2e_qual(X,Y)->vintage(X)).
% 3.58/3.54  all X Y (hasvintageyear(X,Y)->vintageyear(Y)).
% 3.58/3.54  all Y X (vintageyear(Y)&kaon2e_qual(X,Y)->vintageyear(X)).
% 3.58/3.54  all X (bordeaux(X)&whitewine(X)->whitebordeaux(X)).
% 3.58/3.54  all Y X (whitebordeaux(Y)&kaon2e_qual(X,Y)->whitebordeaux(X)).
% 3.58/3.54  all X (meursault(X)->whiteburgundy(X)).
% 3.58/3.54  all X (burgundy(X)&whitewine(X)->whiteburgundy(X)).
% 3.58/3.54  all Y X (whiteburgundy(Y)&kaon2e_qual(X,Y)->whiteburgundy(X)).
% 3.58/3.54  all X (loire(X)&whitewine(X)->whiteloire(X)).
% 3.58/3.54  all Y X (whiteloire(Y)&kaon2e_qual(X,Y)->whiteloire(X)).
% 3.58/3.54  all X (whitewine(X)&kaon2namedobjects(X)->whitenonsweetwine(X)).
% 3.58/3.54  all X (q36(X)&whitewine(X)->whitenonsweetwine(X)).
% 3.58/3.54  all Y X (whitenonsweetwine(Y)&kaon2e_qual(X,Y)->whitenonsweetwine(X)).
% 3.58/3.54  all X (ot____nom7(X)&whitewine(X)&kaon2namedobjects(X)->whitenonsweetwine(X)).
% 3.58/3.54  all X (q21(X)&tablewine(X)->whitetablewine(X)).
% 3.58/3.54  all Y X (whitetablewine(Y)&kaon2e_qual(X,Y)->whitetablewine(X)).
% 3.58/3.54  all X (drywhitewine(X)->whitewine(X)).
% 3.58/3.54  all X (whiteburgundy(X)->whitewine(X)).
% 3.58/3.54  all X (whitebordeaux(X)->whitewine(X)).
% 3.58/3.54  all X (whiteloire(X)->whitewine(X)).
% 3.58/3.54  all X (whitenonsweetwine(X)->whitewine(X)).
% 3.58/3.54  all X (q21(X)&wine(X)->whitewine(X)).
% 3.58/3.54  all Y X (whitewine(Y)&kaon2e_qual(X,Y)->whitewine(X)).
% 3.58/3.54  all X (q14(X)->wine(X)).
% 3.58/3.54  all X (texaswine(X)->wine(X)).
% 3.58/3.54  all X (q63(X)->wine(X)).
% 3.58/3.54  all X (q20(X)->wine(X)).
% 3.58/3.54  all X (tablewine(X)->wine(X)).
% 3.58/3.54  all X Y (haswinedescriptor(X,Y)->wine(X)).
% 3.58/3.54  all X (q31(X)->wine(X)).
% 3.58/3.54  all X (q11(X)->wine(X)).
% 3.58/3.54  all X (q15(X)->wine(X)).
% 3.58/3.54  all X (earlyharvest(X)->wine(X)).
% 3.58/3.54  all X (sweetwine(X)->wine(X)).
% 3.58/3.54  all X (americanwine(X)->wine(X)).
% 3.58/3.54  all X (alsatianwine(X)->wine(X)).
% 3.58/3.54  all X (q0(X)->wine(X)).
% 3.58/3.54  all X Y (madefromgrape(X,Y)->wine(X)).
% 3.58/3.54  all X (cabernetfranc(X)->wine(X)).
% 3.58/3.54  all X (semillonorsauvignonblanc(X)->wine(X)).
% 3.58/3.54  all X (beaujolais(X)->wine(X)).
% 3.58/3.54  all X (fullbodiedwine(X)->wine(X)).
% 3.58/3.54  all X (loire(X)->wine(X)).
% 3.58/3.54  all X (petitesyrah(X)->wine(X)).
% 3.58/3.54  all X (q12(X)->wine(X)).
% 3.58/3.54  all X (q45(X)->wine(X)).
% 3.58/3.54  all X (q7(X)->wine(X)).
% 3.58/3.54  all X (pinotnoir(X)->wine(X)).
% 3.58/3.54  all X (q35(X)->wine(X)).
% 3.58/3.54  all X (q24(X)->wine(X)).
% 3.58/3.54  all X (frenchwine(X)->wine(X)).
% 3.58/3.54  all X (meritage(X)->wine(X)).
% 3.58/3.54  all X (zinfandel(X)->wine(X)).
% 3.58/3.54  all X (californiawine(X)->wine(X)).
% 3.58/3.54  all X (pinotblanc(X)->wine(X)).
% 3.58/3.54  all X (q44(X)->wine(X)).
% 3.58/3.54  all X (bordeaux(X)->wine(X)).
% 3.58/3.54  all X (riesling(X)->wine(X)).
% 3.58/3.54  all X Y (hascolor(X,Y)->wine(X)).
% 3.58/3.54  all X (redwine(X)->wine(X)).
% 3.58/3.54  all X (whitewine(X)->wine(X)).
% 3.58/3.54  all X (dessertwine(X)->wine(X)).
% 3.58/3.54  all X (q69(X)->wine(X)).
% 3.58/3.54  all X (q6(X)->wine(X)).
% 3.58/3.54  all X (drywine(X)->wine(X)).
% 3.58/3.54  all X (q13(X)->wine(X)).
% 3.58/3.54  all X (germanwine(X)->wine(X)).
% 3.58/3.54  all X (burgundy(X)->wine(X)).
% 3.58/3.54  all X (cabernetsauvignon(X)->wine(X)).
% 3.58/3.54  all X (q72(X)->wine(X)).
% 3.58/3.54  all X (q70(X)->wine(X)).
% 3.58/3.54  all X (q4(X)->wine(X)).
% 3.58/3.54  all X (italianwine(X)->wine(X)).
% 3.58/3.54  all X (chardonnay(X)->wine(X)).
% 3.58/3.54  all X (semillon(X)->wine(X)).
% 3.58/3.54  all X (q5(X)->wine(X)).
% 3.58/3.54  all X (rosewine(X)->wine(X)).
% 3.58/3.54  all X (q32(X)->wine(X)).
% 3.58/3.54  all X (lateharvest(X)->wine(X)).
% 3.58/3.54  all X (merlot(X)->wine(X)).
% 3.58/3.54  all Y X (wine(Y)&kaon2e_qual(X,Y)->wine(X)).
% 3.58/3.54  all X (ot____nom40(X)->winebody(X)).
% 3.58/3.54  all X Y (hasbody(X,Y)->winebody(Y)).
% 3.58/3.54  all Y X (winebody(Y)&kaon2e_qual(X,Y)->winebody(X)).
% 3.58/3.54  all X (ot____nom9(X)->winecolor(X)).
% 3.58/3.54  all X Y (hascolor(X,Y)->winecolor(Y)).
% 3.58/3.54  all X (winedescriptor(X)->winecolor(X)).
% 3.58/3.54  all Y X (winecolor(Y)&kaon2e_qual(X,Y)->winecolor(X)).
% 3.58/3.54  all X (winecolor(X)->winedescriptor(X)).
% 3.58/3.54  all X (winetaste(X)->winedescriptor(X)).
% 3.58/3.54  all X Y (haswinedescriptor(X,Y)->winedescriptor(Y)).
% 3.58/3.54  all Y X (winedescriptor(Y)&kaon2e_qual(X,Y)->winedescriptor(X)).
% 3.58/3.54  all X Y (hasflavor(X,Y)->wineflavor(Y)).
% 3.58/3.54  all X (ot____nom35(X)->wineflavor(X)).
% 3.58/3.54  all Y X (wineflavor(Y)&kaon2e_qual(X,Y)->wineflavor(X)).
% 3.58/3.54  all X Y (madefromgrape(X,Y)->winegrape(Y)).
% 3.58/3.54  all Y X (winegrape(Y)&kaon2e_qual(X,Y)->winegrape(X)).
% 3.58/3.54  all X (ot____nom18(X)->winesugar(X)).
% 3.58/3.54  all X Y (hassugar(X,Y)->winesugar(Y)).
% 3.58/3.54  all Y X (winesugar(Y)&kaon2e_qual(X,Y)->winesugar(X)).
% 3.58/3.54  all X (wineflavor(X)->winetaste(X)).
% 3.58/3.54  all X (winesugar(X)->winetaste(X)).
% 3.58/3.54  all X (winebody(X)->winetaste(X)).
% 3.58/3.54  all X (winedescriptor(X)->winetaste(X)).
% 3.58/3.54  all Y X (winetaste(Y)&kaon2e_qual(X,Y)->winetaste(X)).
% 3.58/3.54  all X Y (wine(X)&hasmaker(X,Y)->winery(Y)).
% 3.58/3.54  all Y X (winery(Y)&kaon2e_qual(X,Y)->winery(X)).
% 3.58/3.54  all Y X (zinfandel(Y)&kaon2e_qual(X,Y)->zinfandel(X)).
% 3.58/3.54  all X Y (wine(X)&madefromgrape(X,Y)&ot____nom20(Y)->zinfandel(X)).
% 3.58/3.54  all X (q70(X)&kaon2namedobjects(X)->ot____nom1(X)).
% 3.58/3.54  all Y X (ot____nom1(Y)&kaon2e_qual(X,Y)->ot____nom1(X)).
% 3.58/3.54  all X (q73(X)&kaon2namedobjects(X)->ot____nom10(X)).
% 3.58/3.54  all Y X (ot____nom10(Y)&kaon2e_qual(X,Y)->ot____nom10(X)).
% 3.58/3.54  all X (q44(X)&kaon2namedobjects(X)->ot____nom11(X)).
% 3.58/3.54  all Y X (ot____nom11(Y)&kaon2e_qual(X,Y)->ot____nom11(X)).
% 3.58/3.54  all X (q31(X)&kaon2namedobjects(X)->ot____nom12(X)).
% 3.58/3.54  all Y X (ot____nom12(Y)&kaon2e_qual(X,Y)->ot____nom12(X)).
% 3.58/3.54  all X (q59(X)&kaon2namedobjects(X)->ot____nom13(X)).
% 3.58/3.54  all Y X (ot____nom13(Y)&kaon2e_qual(X,Y)->ot____nom13(X)).
% 3.58/3.54  all X (q66(X)&kaon2namedobjects(X)->ot____nom14(X)).
% 3.58/3.54  all Y X (ot____nom14(Y)&kaon2e_qual(X,Y)->ot____nom14(X)).
% 3.58/3.54  all X (q47(X)&kaon2namedobjects(X)->ot____nom15(X)).
% 3.58/3.54  all Y X (ot____nom15(Y)&kaon2e_qual(X,Y)->ot____nom15(X)).
% 3.58/3.54  all X (q55(X)&kaon2namedobjects(X)->ot____nom16(X)).
% 3.58/3.54  all Y X (ot____nom16(Y)&kaon2e_qual(X,Y)->ot____nom16(X)).
% 3.58/3.54  all X (q49(X)&kaon2namedobjects(X)->ot____nom17(X)).
% 3.58/3.54  all Y X (ot____nom17(Y)&kaon2e_qual(X,Y)->ot____nom17(X)).
% 3.58/3.54  all X (winesugar(X)->ot____nom18(X)).
% 3.58/3.54  all Y X (ot____nom18(Y)&kaon2e_qual(X,Y)->ot____nom18(X)).
% 3.58/3.54  all X (q57(X)&kaon2namedobjects(X)->ot____nom19(X)).
% 3.58/3.54  all Y X (ot____nom19(Y)&kaon2e_qual(X,Y)->ot____nom19(X)).
% 3.58/3.54  all X (q33(X)&kaon2namedobjects(X)->ot____nom2(X)).
% 3.58/3.54  all Y X (ot____nom2(Y)&kaon2e_qual(X,Y)->ot____nom2(X)).
% 3.58/3.54  all X (zinfandel(X)&kaon2namedobjects(X)->ot____nom20(X)).
% 3.58/3.54  all Y X (ot____nom20(Y)&kaon2e_qual(X,Y)->ot____nom20(X)).
% 3.58/3.54  all X (q24(X)&kaon2namedobjects(X)->ot____nom21(X)).
% 3.58/3.54  all Y X (ot____nom21(Y)&kaon2e_qual(X,Y)->ot____nom21(X)).
% 3.58/3.54  all X (q18(X)&kaon2namedobjects(X)->ot____nom22(X)).
% 3.58/3.54  all Y X (ot____nom22(Y)&kaon2e_qual(X,Y)->ot____nom22(X)).
% 3.58/3.54  all X (q1(X)&kaon2namedobjects(X)->ot____nom23(X)).
% 3.58/3.54  all Y X (ot____nom23(Y)&kaon2e_qual(X,Y)->ot____nom23(X)).
% 3.58/3.54  all X (q63(X)&kaon2namedobjects(X)->ot____nom24(X)).
% 3.58/3.54  all Y X (ot____nom24(Y)&kaon2e_qual(X,Y)->ot____nom24(X)).
% 3.58/3.54  all X (petitesyrah(X)&kaon2namedobjects(X)->ot____nom25(X)).
% 3.58/3.54  all Y X (ot____nom25(Y)&kaon2e_qual(X,Y)->ot____nom25(X)).
% 3.58/3.54  all X (q22(X)&kaon2namedobjects(X)->ot____nom26(X)).
% 3.58/3.54  all Y X (ot____nom26(Y)&kaon2e_qual(X,Y)->ot____nom26(X)).
% 3.58/3.54  all X (semillon(X)&kaon2namedobjects(X)->ot____nom27(X)).
% 3.58/3.54  all Y X (ot____nom27(Y)&kaon2e_qual(X,Y)->ot____nom27(X)).
% 3.58/3.54  all X (q0(X)&kaon2namedobjects(X)->ot____nom28(X)).
% 3.58/3.54  all Y X (ot____nom28(Y)&kaon2e_qual(X,Y)->ot____nom28(X)).
% 3.58/3.54  all X (q69(X)&kaon2namedobjects(X)->ot____nom29(X)).
% 3.58/3.54  all Y X (ot____nom29(Y)&kaon2e_qual(X,Y)->ot____nom29(X)).
% 3.58/3.54  all X (cabernetfranc(X)&kaon2namedobjects(X)->ot____nom3(X)).
% 3.58/3.54  all Y X (ot____nom3(Y)&kaon2e_qual(X,Y)->ot____nom3(X)).
% 3.58/3.54  all X (q39(X)&kaon2namedobjects(X)->ot____nom30(X)).
% 3.58/3.54  all Y X (ot____nom30(Y)&kaon2e_qual(X,Y)->ot____nom30(X)).
% 3.58/3.54  all X (q16(X)&kaon2namedobjects(X)->ot____nom31(X)).
% 3.58/3.54  all Y X (ot____nom31(Y)&kaon2e_qual(X,Y)->ot____nom31(X)).
% 3.58/3.54  all X (q15(X)&kaon2namedobjects(X)->ot____nom32(X)).
% 3.58/3.54  all Y X (ot____nom32(Y)&kaon2e_qual(X,Y)->ot____nom32(X)).
% 3.58/3.54  all X (q14(X)&kaon2namedobjects(X)->ot____nom33(X)).
% 3.58/3.54  all Y X (ot____nom33(Y)&kaon2e_qual(X,Y)->ot____nom33(X)).
% 3.58/3.54  all X (q6(X)&kaon2namedobjects(X)->ot____nom34(X)).
% 3.58/3.54  all Y X (ot____nom34(Y)&kaon2e_qual(X,Y)->ot____nom34(X)).
% 3.58/3.54  all X (wineflavor(X)->ot____nom35(X)).
% 3.58/3.54  all Y X (ot____nom35(Y)&kaon2e_qual(X,Y)->ot____nom35(X)).
% 3.58/3.54  all X (q64(X)&kaon2namedobjects(X)->ot____nom36(X)).
% 3.58/3.54  all Y X (ot____nom36(Y)&kaon2e_qual(X,Y)->ot____nom36(X)).
% 3.58/3.54  all X (riesling(X)&kaon2namedobjects(X)->ot____nom37(X)).
% 3.58/3.54  all Y X (ot____nom37(Y)&kaon2e_qual(X,Y)->ot____nom37(X)).
% 3.58/3.54  all X (q26(X)&kaon2namedobjects(X)->ot____nom38(X)).
% 3.58/3.54  all Y X (ot____nom38(Y)&kaon2e_qual(X,Y)->ot____nom38(X)).
% 3.58/3.54  all X (q72(X)&kaon2namedobjects(X)->ot____nom39(X)).
% 3.58/3.54  all Y X (ot____nom39(Y)&kaon2e_qual(X,Y)->ot____nom39(X)).
% 3.58/3.54  all X (q9(X)&kaon2namedobjects(X)->ot____nom4(X)).
% 3.58/3.54  all Y X (ot____nom4(Y)&kaon2e_qual(X,Y)->ot____nom4(X)).
% 3.58/3.54  all X (winebody(X)->ot____nom40(X)).
% 3.58/3.54  all Y X (ot____nom40(Y)&kaon2e_qual(X,Y)->ot____nom40(X)).
% 3.58/3.54  all X (q51(X)&kaon2namedobjects(X)->ot____nom41(X)).
% 3.58/3.54  all Y X (ot____nom41(Y)&kaon2e_qual(X,Y)->ot____nom41(X)).
% 3.58/3.54  all X (q37(X)&kaon2namedobjects(X)->ot____nom42(X)).
% 3.58/3.54  all Y X (ot____nom42(Y)&kaon2e_qual(X,Y)->ot____nom42(X)).
% 3.58/3.54  all X (q13(X)&kaon2namedobjects(X)->ot____nom43(X)).
% 3.58/3.54  all Y X (ot____nom43(Y)&kaon2e_qual(X,Y)->ot____nom43(X)).
% 3.58/3.54  all X (q29(X)&kaon2namedobjects(X)->ot____nom44(X)).
% 3.58/3.54  all Y X (ot____nom44(Y)&kaon2e_qual(X,Y)->ot____nom44(X)).
% 3.58/3.54  all X (q35(X)&kaon2namedobjects(X)->ot____nom45(X)).
% 3.58/3.54  all Y X (ot____nom45(Y)&kaon2e_qual(X,Y)->ot____nom45(X)).
% 3.58/3.54  all X (q42(X)&kaon2namedobjects(X)->ot____nom46(X)).
% 3.58/3.54  all Y X (ot____nom46(Y)&kaon2e_qual(X,Y)->ot____nom46(X)).
% 3.58/3.54  all X (q61(X)&kaon2namedobjects(X)->ot____nom47(X)).
% 3.58/3.54  all Y X (ot____nom47(Y)&kaon2e_qual(X,Y)->ot____nom47(X)).
% 3.58/3.54  all X (q4(X)&kaon2namedobjects(X)->ot____nom48(X)).
% 3.58/3.54  all Y X (ot____nom48(Y)&kaon2e_qual(X,Y)->ot____nom48(X)).
% 3.58/3.54  all X (q7(X)&kaon2namedobjects(X)->ot____nom49(X)).
% 3.58/3.54  all Y X (ot____nom49(Y)&kaon2e_qual(X,Y)->ot____nom49(X)).
% 3.58/3.54  all X (q12(X)&kaon2namedobjects(X)->ot____nom5(X)).
% 3.58/3.54  all Y X (ot____nom5(Y)&kaon2e_qual(X,Y)->ot____nom5(X)).
% 3.58/3.54  all X Y (sweetriesling(X)&hasflavor(X,Y)->ot____nom50(Y)).
% 3.58/3.54  all X Y (lateharvest(X)&hasflavor(X,Y)->ot____nom50(Y)).
% 3.58/3.54  all X Y (chardonnay(X)&hasflavor(X,Y)->ot____nom50(Y)).
% 3.58/3.54  all X Y (zinfandel(X)&hasflavor(X,Y)->ot____nom50(Y)).
% 3.58/3.54  all X Y (icewine(X)&hasflavor(X,Y)->ot____nom50(Y)).
% 3.58/3.54  all X Y (cabernetsauvignon(X)&hasflavor(X,Y)->ot____nom50(Y)).
% 3.58/3.54  all X Y (petitesyrah(X)&hasflavor(X,Y)->ot____nom50(Y)).
% 3.58/3.54  all Y X (ot____nom50(Y)&kaon2e_qual(X,Y)->ot____nom50(X)).
% 3.58/3.54  all X Y (icewine(X)&hasbody(X,Y)->ot____nom51(Y)).
% 3.58/3.54  all X Y (cheninblanc(X)&hasbody(X,Y)->ot____nom51(Y)).
% 3.58/3.54  all X Y (chardonnay(X)&hasbody(X,Y)->ot____nom51(Y)).
% 3.58/3.54  all X Y (cabernetsauvignon(X)&hasbody(X,Y)->ot____nom51(Y)).
% 3.58/3.54  all X Y (semillonorsauvignonblanc(X)&hasbody(X,Y)->ot____nom51(Y)).
% 3.58/3.54  all X Y (petitesyrah(X)&hasbody(X,Y)->ot____nom51(Y)).
% 3.58/3.54  all X Y (zinfandel(X)&hasbody(X,Y)->ot____nom51(Y)).
% 3.58/3.54  all Y X (ot____nom51(Y)&kaon2e_qual(X,Y)->ot____nom51(X)).
% 3.58/3.54  all X (sauternes(X)&kaon2namedobjects(X)->ot____nom52(X)).
% 3.58/3.54  all Y X (ot____nom52(Y)&kaon2e_qual(X,Y)->ot____nom52(X)).
% 3.58/3.54  all X Y (dessertwine(X)&hassugar(X,Y)->ot____nom53(Y)).
% 3.58/3.54  all Y X (ot____nom53(Y)&kaon2e_qual(X,Y)->ot____nom53(X)).
% 3.58/3.54  all X (q32(X)&kaon2namedobjects(X)->ot____nom54(X)).
% 3.58/3.54  all Y X (ot____nom54(Y)&kaon2e_qual(X,Y)->ot____nom54(X)).
% 3.58/3.54  all X (q20(X)&kaon2namedobjects(X)->ot____nom55(X)).
% 3.58/3.54  all Y X (ot____nom55(Y)&kaon2e_qual(X,Y)->ot____nom55(X)).
% 3.58/3.54  all X (q45(X)&kaon2namedobjects(X)->ot____nom56(X)).
% 3.58/3.54  all Y X (ot____nom56(Y)&kaon2e_qual(X,Y)->ot____nom56(X)).
% 3.58/3.54  all X (port(X)&kaon2namedobjects(X)->ot____nom57(X)).
% 3.58/3.54  all Y X (ot____nom57(Y)&kaon2e_qual(X,Y)->ot____nom57(X)).
% 3.58/3.54  all X (q11(X)&kaon2namedobjects(X)->ot____nom58(X)).
% 3.58/3.54  all Y X (ot____nom58(Y)&kaon2e_qual(X,Y)->ot____nom58(X)).
% 3.58/3.54  all X Y (merlot(X)&hasbody(X,Y)->ot____nom59(Y)).
% 3.58/3.54  all X Y (dryriesling(X)&hasbody(X,Y)->ot____nom59(Y)).
% 3.58/3.54  all X Y (chianti(X)&hasbody(X,Y)->ot____nom59(Y)).
% 3.58/3.54  all Y X (ot____nom59(Y)&kaon2e_qual(X,Y)->ot____nom59(X)).
% 3.58/3.54  all X Y (q68(X)&madefromgrape(X,Y)->ot____nom6(Y)).
% 3.58/3.54  all Y X (ot____nom6(Y)&kaon2e_qual(X,Y)->ot____nom6(X)).
% 3.58/3.54  all X (chianti(X)&kaon2namedobjects(X)->ot____nom60(X)).
% 3.58/3.54  all Y X (ot____nom60(Y)&kaon2e_qual(X,Y)->ot____nom60(X)).
% 3.58/3.54  all X (chianti(X)&kaon2namedobjects(X)->ot____nom61(X)).
% 3.58/3.54  all Y X (ot____nom61(Y)&kaon2e_qual(X,Y)->ot____nom61(X)).
% 3.58/3.54  all X Y (redbordeaux(X)&madefromgrape(X,Y)->ot____nom62(Y)).
% 3.58/3.54  all Y X (ot____nom62(Y)&kaon2e_qual(X,Y)->ot____nom62(X)).
% 3.58/3.54  all X Y (whiteloire(X)&madefromgrape(X,Y)->ot____nom63(Y)).
% 3.58/3.54  all Y X (ot____nom63(Y)&kaon2e_qual(X,Y)->ot____nom63(X)).
% 3.58/3.54  all X Y (merlot(X)&hasflavor(X,Y)->ot____nom64(Y)).
% 3.58/3.54  all Y X (ot____nom64(Y)&kaon2e_qual(X,Y)->ot____nom64(X)).
% 3.58/3.54  all X Y (q36(X)&hassugar(X,Y)->ot____nom7(Y)).
% 3.58/3.54  all Y X (ot____nom7(Y)&kaon2e_qual(X,Y)->ot____nom7(X)).
% 3.58/3.54  all X Y (meritage(X)&madefromgrape(X,Y)->ot____nom8(Y)).
% 3.58/3.54  all Y X (ot____nom8(Y)&kaon2e_qual(X,Y)->ot____nom8(X)).
% 3.58/3.54  all X (winecolor(X)->ot____nom9(X)).
% 3.58/3.54  all Y X (ot____nom9(Y)&kaon2e_qual(X,Y)->ot____nom9(X)).
% 3.58/3.54  all X Y (adjacentregion(X,Y)->adjacentregion(Y,X)).
% 3.58/3.54  all Y X_1 X (adjacentregion(Y,X_1)&kaon2e_qual(X,Y)->adjacentregion(X,X_1)).
% 3.58/3.54  all X_0 Y X (adjacentregion(X_0,Y)&kaon2e_qual(X,Y)->adjacentregion(X_0,X)).
% 3.58/3.54  all X (q45(X)&kaon2namedobjects(X)->hasbody(X,X)).
% 3.58/3.54  all X (wine(X)&kaon2namedobjects(X)->hasbody(X,X)).
% 3.58/3.54  all X (q35(X)&kaon2namedobjects(X)->hasbody(X,X)).
% 3.58/3.54  all X (q7(X)&kaon2namedobjects(X)->hasbody(X,X)).
% 3.58/3.54  all Y X_1 X (hasbody(Y,X_1)&kaon2e_qual(X,Y)->hasbody(X,X_1)).
% 3.58/3.54  all X_0 Y X (hasbody(X_0,Y)&kaon2e_qual(X,Y)->hasbody(X_0,X)).
% 3.58/3.54  all X (q0(X)&kaon2namedobjects(X)->hascolor(X,X)).
% 3.58/3.54  all X (q15(X)&kaon2namedobjects(X)->hascolor(X,X)).
% 3.58/3.54  all X (wine(X)&kaon2namedobjects(X)->hascolor(X,X)).
% 3.58/3.54  all X (q12(X)&kaon2namedobjects(X)->hascolor(X,X)).
% 3.58/3.54  all Y X_1 X (hascolor(Y,X_1)&kaon2e_qual(X,Y)->hascolor(X,X_1)).
% 3.58/3.54  all X_0 Y X (hascolor(X_0,Y)&kaon2e_qual(X,Y)->hascolor(X_0,X)).
% 3.58/3.54  all X (q4(X)&kaon2namedobjects(X)->hasflavor(X,X)).
% 3.58/3.54  all X (q11(X)&kaon2namedobjects(X)->hasflavor(X,X)).
% 3.58/3.54  all X (q20(X)&kaon2namedobjects(X)->hasflavor(X,X)).
% 3.58/3.54  all X (wine(X)&kaon2namedobjects(X)->hasflavor(X,X)).
% 3.58/3.54  all Y X_1 X (hasflavor(Y,X_1)&kaon2e_qual(X,Y)->hasflavor(X,X_1)).
% 3.58/3.54  all X_0 Y X (hasflavor(X_0,Y)&kaon2e_qual(X,Y)->hasflavor(X_0,X)).
% 3.58/3.54  all X Y (produceswine(X,Y)->hasmaker(Y,X)).
% 3.58/3.54  all X (wine(X)&kaon2namedobjects(X)->hasmaker(X,X)).
% 3.58/3.54  all Y X_1 X (hasmaker(Y,X_1)&kaon2e_qual(X,Y)->hasmaker(X,X_1)).
% 3.58/3.54  all X_0 Y X (hasmaker(X_0,Y)&kaon2e_qual(X,Y)->hasmaker(X_0,X)).
% 3.58/3.54  all X (wine(X)&kaon2namedobjects(X)->hassugar(X,X)).
% 3.58/3.54  all X (q31(X)&kaon2namedobjects(X)->hassugar(X,X)).
% 3.58/3.54  all X (whitewine(X)&kaon2namedobjects(X)->hassugar(X,X)).
% 3.58/3.54  all X (q70(X)&kaon2namedobjects(X)->hassugar(X,X)).
% 3.58/3.54  all X (q32(X)&kaon2namedobjects(X)->hassugar(X,X)).
% 3.58/3.54  all Y X_1 X (hassugar(Y,X_1)&kaon2e_qual(X,Y)->hassugar(X,X_1)).
% 3.58/3.54  all X_0 Y X (hassugar(X_0,Y)&kaon2e_qual(X,Y)->hassugar(X_0,X)).
% 3.58/3.54  all X (vintage(X)&kaon2namedobjects(X)->hasvintageyear(X,X)).
% 3.58/3.54  all Y X_1 X (hasvintageyear(Y,X_1)&kaon2e_qual(X,Y)->hasvintageyear(X,X_1)).
% 3.58/3.54  all X_0 Y X (hasvintageyear(X_0,Y)&kaon2e_qual(X,Y)->hasvintageyear(X_0,X)).
% 3.58/3.54  all X Y (hasbody(X,Y)->haswinedescriptor(X,Y)).
% 3.58/3.54  all X Y (hascolor(X,Y)->haswinedescriptor(X,Y)).
% 3.58/3.54  all X Y (hasflavor(X,Y)->haswinedescriptor(X,Y)).
% 3.58/3.54  all X Y (hassugar(X,Y)->haswinedescriptor(X,Y)).
% 3.58/3.54  all Y X_1 X (haswinedescriptor(Y,X_1)&kaon2e_qual(X,Y)->haswinedescriptor(X,X_1)).
% 3.58/3.54  all X_0 Y X (haswinedescriptor(X_0,Y)&kaon2e_qual(X,Y)->haswinedescriptor(X_0,X)).
% 3.58/3.54  all X (q57(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q37(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q61(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q59(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q33(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (wine(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q18(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q49(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q42(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q9(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q22(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (chianti(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (port(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q26(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q51(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q55(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q16(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q73(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q29(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q1(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q47(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q39(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q64(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (sauternes(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all X (q66(X)&kaon2namedobjects(X)->locatedin(X,X)).
% 3.58/3.54  all Y X_1 X (locatedin(Y,X_1)&kaon2e_qual(X,Y)->locatedin(X,X_1)).
% 3.58/3.54  all X_0 Y X (locatedin(X_0,Y)&kaon2e_qual(X,Y)->locatedin(X_0,X)).
% 3.58/3.54  all X Y Z (locatedin(X,Y)&locatedin(Y,Z)->locatedin(X,Z)).
% 3.58/3.54  all X Y Z (locatedin(X,Y)&locatedin(Y,Z)&kaon2namedobjects(Z)&kaon2namedobjects(Y)&kaon2namedobjects(X)->locatedin(X,Z)).
% 3.58/3.54  all X Y (madefromgrape(X,Y)->madefromfruit(X,Y)).
% 3.58/3.55  all Y X_1 X (madefromfruit(Y,X_1)&kaon2e_qual(X,Y)->madefromfruit(X,X_1)).
% 3.58/3.55  all X_0 Y X (madefromfruit(X_0,Y)&kaon2e_qual(X,Y)->madefromfruit(X_0,X)).
% 3.58/3.55  all X Y (madeintowine(X,Y)->madefromgrape(Y,X)).
% 3.58/3.55  all X (riesling(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (wine(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (q72(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (q5(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (semillon(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (q14(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (q24(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (q5(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (zinfandel(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (q6(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (petitesyrah(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (q13(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (chianti(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (cabernetfranc(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (q69(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (q44(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all X (q63(X)&kaon2namedobjects(X)->madefromgrape(X,X)).
% 3.58/3.55  all Y X_1 X (madefromgrape(Y,X_1)&kaon2e_qual(X,Y)->madefromgrape(X,X_1)).
% 3.58/3.55  all X_0 Y X (madefromgrape(X_0,Y)&kaon2e_qual(X,Y)->madefromgrape(X_0,X)).
% 3.58/3.55  all X Y (madefromgrape(X,Y)->madeintowine(Y,X)).
% 3.58/3.55  all Y X_1 X (madeintowine(Y,X_1)&kaon2e_qual(X,Y)->madeintowine(X,X_1)).
% 3.58/3.55  all X_0 Y X (madeintowine(X_0,Y)&kaon2e_qual(X,Y)->madeintowine(X_0,X)).
% 3.58/3.55  all X Y (hasmaker(X,Y)->produceswine(Y,X)).
% 3.58/3.55  all Y X_1 X (produceswine(Y,X_1)&kaon2e_qual(X,Y)->produceswine(X,X_1)).
% 3.58/3.55  all X_0 Y X (produceswine(X_0,Y)&kaon2e_qual(X,Y)->produceswine(X_0,X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2namedobjects(X)->kaon2hu(X)).
% 3.58/3.55  all X (kaon2hu(X)->kaon2e_qual(X,X)).
% 3.58/3.55  all X Y1 Y2 (hasflavor(X,Y1)&hasflavor(X,Y2)->kaon2e_qual(Y1,Y2)).
% 3.58/3.55  all X Y1 Y2 (hassugar(X,Y1)&hassugar(X,Y2)->kaon2e_qual(Y1,Y2)).
% 3.58/3.55  all X Y1 Y2 (hasvintageyear(X,Y1)&hasvintageyear(X,Y2)->kaon2e_qual(Y1,Y2)).
% 3.58/3.55  all X Y1 Y2 (hascolor(X,Y1)&hascolor(X,Y2)->kaon2e_qual(Y1,Y2)).
% 3.58/3.55  all X Y1 Y2 (hasmaker(X,Y1)&hasmaker(X,Y2)->kaon2e_qual(Y1,Y2)).
% 3.58/3.55  all X Y1 Y2 (hasbody(X,Y1)&hasbody(X,Y2)->kaon2e_qual(Y1,Y2)).
% 3.58/3.55  all X Y1 Y2 (q3(X)&madefromgrape(X,Y1)&madefromgrape(X,Y2)->kaon2e_qual(Y1,Y2)).
% 3.58/3.55  all X Y (kaon2hu(X)&kaon2hu(Y)&kaon2e_qual(Y,X)->kaon2e_qual(X,Y)).
% 3.58/3.55  all X Y Z (kaon2e_qual(X,Y)&kaon2e_qual(Y,Z)&kaon2hu(X)&kaon2hu(Y)&kaon2hu(Z)->kaon2e_qual(X,Z)).
% 3.58/3.55  -((exists X californiawine(X))& (exists X americanwine(X))& (exists X bordeaux(X))& (exists X burgundy(X))& (exists X anjou(X))& (exists X beaujolais(X))& (exists X cabernetfranc(X))& (exists X cabernetsauvignon(X))& (exists X californiawine(X))& (exists X chardonnay(X))& (exists X cheninblanc(X))& (exists X chianti(X))& (exists X cotesdor(X))& (exists X dessertwine(X))& (exists X dryriesling(X))& (exists X dryredwine(X))& (exists X drywhitewine(X))& (exists X drywine(X))& (exists X fullbodiedwine(X))& (exists X gamay(X))& (exists X germanwine(X))& (exists X grape(X))& (exists X icewine(X))& (exists X italianwine(X))& (exists X lateharvest(X))& (exists X loire(X))& (exists X margaux(X))& (exists X medoc(X))& (exists X meritage(X))& (exists X merlot(X))& (exists X meursault(X))& (exists X muscadet(X))& (exists X pauillac(X))& (exists X petitesyrah(X))& (exists X pinotblanc(X))& (exists X pinotnoir(X))& (exists X port(X))& (exists X potableliquid(X))& (exists X redbordeaux(X))& (exists X redburgundy(X))& (exists X redtablewine(X))& (exists X redwine(X))& (exists X region(X))& (exists X riesling(X))& (exists X rosewine(X))& (exists X sancerre(X))& (exists X sauternes(X))& (exists X sauvignonblanc(X))& (exists X semillon(X))& (exists X semillonorsauvignonblanc(X))& (exists X stemilion(X))& (exists X sweetriesling(X))& (exists X sweetwine(X))& (exists X tablewine(X))& (exists X texaswine(X))& (exists X vintage(X))& (exists X vintageyear(X))& (exists X whitebordeaux(X))& (exists X whiteburgundy(X))& (exists X whiteloire(X))& (exists X whitenonsweetwine(X))& (exists X whitetablewine(X))& (exists X whitewine(X))& (exists X wine(X))& (exists X winebody(X))& (exists X winecolor(X))& (exists X winedescriptor(X))& (exists X wineflavor(X))& (exists X winegrape(X))& (exists X winesugar(X))& (exists X winery(X))& (exists X winetaste(X))& (exists X zinfandel(X))& (exists Y X hasbody(X,Y))& (exists Y X hascolor(X,Y))& (exists Y X hasflavor(X,Y))& (exists Y X hasmaker(X,Y))& (exists Y X hassugar(X,Y))& (exists Y X hasvintageyear(X,Y))& (exists Y X haswinedescriptor(X,Y))& (exists Y X locatedin(X,Y))& (exists Y X madefromgrape(X,Y))& (exists Y X madefromfruit(X,Y))& (exists Y X madeintowine(X,Y))& (exists Y X produceswine(X,Y))).
% 3.58/3.55  end_of_list.
% 3.58/3.55  0 [] -californiawine(X)| -americanwine(X1)| -bordeaux(X2)| -burgundy(X3)| -anjou(X4)| -beaujolais(X5)| -cabernetfranc(X6)| -cabernetsauvignon(X7)| -californiawine(X8)| -chardonnay(X9)| -cheninblanc(X10)| -chianti(X11)| -cotesdor(X12)| -dessertwine(X13)| -dryriesling(X14)| -dryredwine(X15)| -drywhitewine(X16)| -drywine(X17)| -fullbodiedwine(X18)| -gamay(X19)| -germanwine(X20)| -grape(X21)| -icewine(X22)| -italianwine(X23)| -lateharvest(X24)| -loire(X25)| -margaux(X26)| -medoc(X27)| -meritage(X28)| -merlot(X29)| -meursault(X30)| -muscadet(X31)| -pauillac(X32)| -petitesyrah(X33)| -pinotblanc(X34)| -pinotnoir(X35)| -port(X36)| -potableliquid(X37)| -redbordeaux(X38)| -redburgundy(X39)| -redtablewine(X40)| -redwine(X41)| -region(X42)| -riesling(X43)| -rosewine(X44)| -sancerre(X45)| -sauternes(X46)| -sauvignonblanc(X47)| -semillon(X48)| -semillonorsauvignonblanc(X49)| -stemilion(X50)| -sweetriesling(X51)| -sweetwine(X52)| -tablewine(X53)| -texaswine(X54)| -vintage(X55)| -vintageyear(X56)| -whitebordeaux(X57)| -whiteburgundy(X58)| -whiteloire(X59)| -whitenonsweetwine(X60)| -whitetablewine(X61)| -whitewine(X62)| -wine(X63)| -winebody(X64)| -winecolor(X65)| -winedescriptor(X66)| -wineflavor(X67)| -winegrape(X68)| -winesugar(X69)| -winery(X70)| -winetaste(X71)| -zinfandel(X72)| -hasbody(X73,Y)| -hascolor(X75,X74)| -hasflavor(X77,X76)| -hasmaker(X79,X78)| -hassugar(X81,X80)| -hasvintageyear(X83,X82)| -haswinedescriptor(X85,X84)| -locatedin(X87,X86)| -madefromgrape(X89,X88)| -madefromfruit(X91,X90)| -madeintowine(X93,X92)| -produceswine(X95,X94).
% 3.58/3.55  
% 3.58/3.55  ------------- memory usage ------------
% 3.58/3.55  1 mallocs of 1000000 bytes each, 976.6 K.
% 3.58/3.55    type (bytes each)        gets      frees     in use      avail      bytes
% 3.58/3.55  sym_ent ( 300)              709          0        709          0    207.7 K
% 3.58/3.55  term (  20)               80726      72049       8677        789    184.9 K
% 3.58/3.55  rel (  20)                57551      53554       3997        969     97.0 K
% 3.58/3.55  term_ptr (   8)               0          0          0          0      0.0 K
% 3.58/3.55  formu
% 3.58/3.55  ********** ABNORMAL END **********
% 3.58/3.55  
% 3.58/3.55  ********** disj_to_clause, too many variables in clause, max is 64.
% 3.58/3.55  la_ptr_2 (  28)          0          0          0          0      0.0 K
% 3.58/3.55  fpa_head (  12)               0          0          0          0      0.0 K
% 3.58/3.55  fnode (1608)                  0          0          0          0      0.0 K
% 3.58/3.55  fpa_tree (  32)               0          0          0          0      0.0 K
% 3.58/3.55  context ( 776)                0          0          0          0      0.0 K
% 3.58/3.55  trail (  12)                  0          0          0          0      0.0 K
% 3.58/3.55  imd_tree (  20)               1          0          1          0      0.0 K
% 3.58/3.55  imd_pos (2016)                0          0          0          0      0.0 K
% 3.58/3.55  is_tree (  12)                2          0          2          0      0.0 K
% 3.58/3.55  is_pos (1216)                 0          0          0          0      0.0 K
% 3.58/3.55  fsub_pos (   8)               0          0          0          0      0.0 K
% 3.58/3.55  literal (  16)             3206          0       3206          0     50.1 K
% 3.58/3.55  clause (  40)              1615          0       1615          0     63.1 K
% 3.58/3.55  list ( 264)                1624       1614         10          0      2.6 K
% 3.58/3.55  clash_nd (  44)               0          0          0          0      0.0 K
% 3.58/3.55  clause_ptr (   8)             0          0          0          0      0.0 K
% 3.58/3.55  ilist (   8)                  0          0          0          0      0.0 K
% 3.58/3.55  ci_ptr (  12)                 0          0          0          0      0.0 K
% 3.58/3.55  link_node (  68)              0          0          0          0      0.0 K
% 3.58/3.55  ans_lit_node(  12)            0          0          0          0      0.0 K
% 3.58/3.55  formula_box( 148)             0          0          0          0      0.0 K
% 3.58/3.55  formula(  20)              8466       8466          0       6230    121.7 K
% 3.58/3.55  formula_ptr(   8)          1615       1614          1       1614     12.6 K
% 3.58/3.55  cl_attribute(  16)            0          0          0          0      0.0 K
% 3.58/3.55  glist (   8)                  0          0          0          0      0.0 K
% 3.58/3.55  g2list (  12)                 0          0          0          0      0.0 K
% 3.58/3.55  
% 3.58/3.55  -------------- statistics -------------
% 3.58/3.55  clauses given                  0
% 3.58/3.55  clauses generated              0
% 3.58/3.55  demod & eval rewrites          0
% 3.58/3.55  clauses wt,lit,sk delete       0
% 3.58/3.55  tautologies deleted            0
% 3.58/3.55  clauses forward subsumed       0
% 3.58/3.55    (subsumed by sos)            0
% 3.58/3.55  unit deletions                 0
% 3.58/3.55  factor simplifications         0
% 3.58/3.55  clauses kept                   0
% 3.58/3.55  new demodulators               0
% 3.58/3.55  empty clauses                  0
% 3.58/3.55  clauses back demodulated       0
% 3.58/3.55  clauses back subsumed          0
% 3.58/3.55  usable size                    0
% 3.58/3.55  sos size                       0
% 3.58/3.55  demodulators size              0
% 3.58/3.55  passive size                   0
% 3.58/3.55  hot size                       0
% 3.58/3.55  Kbytes malloced              976
% 3.58/3.55  
% 3.58/3.55  ----------- times (seconds) -----------
% 3.58/3.55  user CPU time          0.12          (0 hr, 0 min, 0 sec)
% 3.58/3.55  system CPU time        0.00          (0 hr, 0 min, 0 sec)
% 3.58/3.55  wall-clock time        3             (0 hr, 0 min, 3 sec)
% 3.58/3.55  
% 3.58/3.55  Forward subsumption counts, subsumer:number_subsumed.
% 3.58/3.55   1:0     2:0     3:0     4:0     5:0     6:0     7:0     8:0     9:0    10:0   
% 3.58/3.55  11:0    12:0    13:0    14:0    15:0    16:0    17:0    18:0    19:0    20:0   
% 3.58/3.55  21:0    22:0    23:0    24:0    25:0    26:0    27:0    28:0    29:0    30:0   
% 3.58/3.55  31:0    32:0    33:0    34:0    35:0    36:0    37:0    38:0    39:0    40:0   
% 3.58/3.55  41:0    42:0    43:0    44:0    45:0    46:0    47:0    48:0    49:0    50:0   
% 3.58/3.55  51:0    52:0    53:0    54:0    55:0    56:0    57:0    58:0    59:0    60:0   
% 3.58/3.55  61:0    62:0    63:0    64:0    65:0    66:0    67:0    68:0    69:0    70:0   
% 3.58/3.55  71:0    72:0    73:0    74:0    75:0    76:0    77:0    78:0    79:0    80:0   
% 3.58/3.55  81:0    82:0    83:0    84:0    85:0    86:0    87:0    88:0    89:0    90:0   
% 3.58/3.55  91:0    92:0    93:0    94:0    95:0    96:0    97:0    98:0    99:0    
% 3.58/3.55  All others: 0.
% 3.58/3.55  
% 3.58/3.55  ********** ABNORMAL END **********
% 3.58/3.55  
% 3.58/3.55  ********** disj_to_clause, too many variables in clause, max is 64.
% 3.58/3.55  Otter interrupted
% 3.58/3.55  PROOF NOT FOUND
%------------------------------------------------------------------------------