TSTP Solution File: PRD003+1 by Bliksem---1.12
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Bliksem---1.12
% Problem : PRD003+1 : TPTP v8.1.0. Released v6.2.0.
% Transfm : none
% Format : tptp:raw
% Command : bliksem %s
% Computer : n018.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 : 0s
% DateTime : Mon Jul 18 17:38:37 EDT 2022
% Result : Timeout 300.07s 300.43s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.11 % Problem : PRD003+1 : TPTP v8.1.0. Released v6.2.0.
% 0.09/0.12 % Command : bliksem %s
% 0.13/0.33 % Computer : n018.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % DateTime : Mon Jun 6 10:22:04 EDT 2022
% 0.13/0.33 % CPUTime :
% 0.86/1.25 *** allocated 10000 integers for termspace/termends
% 0.86/1.25 *** allocated 10000 integers for clauses
% 0.86/1.25 *** allocated 10000 integers for justifications
% 0.86/1.25 *** allocated 15000 integers for termspace/termends
% 0.86/1.25 Bliksem 1.12
% 0.86/1.25
% 0.86/1.25
% 0.86/1.25 Automatic Strategy Selection
% 0.86/1.25
% 0.86/1.25 *** allocated 22500 integers for termspace/termends
% 0.86/1.25 *** allocated 33750 integers for termspace/termends
% 0.86/1.25 *** allocated 50625 integers for termspace/termends
% 0.86/1.25
% 0.86/1.25 Clauses:
% 0.86/1.25
% 0.86/1.25 { hasbody_aux( pulignymontrachetwhiteburgundy, medium ) }.
% 0.86/1.25 { hasbody_aux( formanchardonnay, full ) }.
% 0.86/1.25 { hasbody_aux( foxencheninblanc, full ) }.
% 0.86/1.25 { hasbody_aux( chianticlassico, medium ) }.
% 0.86/1.25 { hasbody_aux( cortonmontrachetwhiteburgundy, full ) }.
% 0.86/1.25 { hasbody_aux( corbansprivatebinsauvignonblanc, full ) }.
% 0.86/1.25 { hasbody_aux( congressspringssemillon, medium ) }.
% 0.86/1.25 { hasbody_aux( mariettapetitesyrah, medium ) }.
% 0.86/1.25 { hasbody_aux( corbanssauvignonblanc, medium ) }.
% 0.86/1.25 { hasbody_aux( petermccoychardonnay, medium ) }.
% 0.86/1.25 { hasbody_aux( selaksicewine, medium ) }.
% 0.86/1.25 { hasbody_aux( bancroftchardonnay, medium ) }.
% 0.86/1.25 { hasbody_aux( elysezinfandel, full ) }.
% 0.86/1.25 { hasbody_aux( mountadampinotnoir, medium ) }.
% 0.86/1.25 { hasbody_aux( mariettacabernetsauvignon, medium ) }.
% 0.86/1.25 { hasbody_aux( schlossrothermeltrochenbierenausleseriesling, full ) }.
% 0.86/1.25 { hasbody_aux( garyfarrellmerlot, medium ) }.
% 0.86/1.25 { hasbody_aux( cotturizinfandel, full ) }.
% 0.86/1.25 { hasbody_aux( mariettaoldvinesred, medium ) }.
% 0.86/1.25 { hasbody_aux( longridgemerlot, light ) }.
% 0.86/1.25 { hasbody_aux( kalincellarssemillon, full ) }.
% 0.86/1.25 { hasbody_aux( pagemillwinerycabernetsauvignon, medium ) }.
% 0.86/1.25 { hasbody_aux( seanthackreysiriuspetitesyrah, full ) }.
% 0.86/1.25 { hasbody_aux( saucelitocanyonzinfandel1998, medium ) }.
% 0.86/1.25 { hasbody_aux( whitehalllaneprimavera, light ) }.
% 0.86/1.25 { hasbody_aux( santacruzmountainvineyardcabernetsauvignon, full ) }.
% 0.86/1.25 { hasbody_aux( lanetannerpinotnoir, light ) }.
% 0.86/1.25 { hasbody_aux( corbansdrywhiteriesling, medium ) }.
% 0.86/1.25 { hasbody_aux( mountadamchardonnay, full ) }.
% 0.86/1.25 { hasbody_aux( mountadamriesling, medium ) }.
% 0.86/1.25 { hasbody_aux( mariettazinfandel, medium ) }.
% 0.86/1.25 { hasbody_aux( kathrynkennedylateral, medium ) }.
% 0.86/1.25 { hasbody_aux( mountedenvineyardestatepinotnoir, full ) }.
% 0.86/1.25 { hasbody_aux( whitehalllanecabernetfranc, medium ) }.
% 0.86/1.25 { hasbody_aux( ventanacheninblanc, medium ) }.
% 0.86/1.25 { hasbody_aux( saucelitocanyonzinfandel, medium ) }.
% 0.86/1.25 { hasbody_aux( formancabernetsauvignon, medium ) }.
% 0.86/1.25 { hasbody_aux( schlossvolradtrochenbierenausleseriesling, full ) }.
% 0.86/1.25 { hasbody_aux( mountedenvineyardednavalleychardonnay, medium ) }.
% 0.86/1.25 { hasbody_aux( stonleighsauvignonblanc, medium ) }.
% 0.86/1.25 { hasbody_aux( selakssauvignonblanc, medium ) }.
% 0.86/1.25 { hascolor_aux( selaksicewine, white ) }.
% 0.86/1.25 { hasflavor_aux( pulignymontrachetwhiteburgundy, moderate ) }.
% 0.86/1.25 { hasflavor_aux( formanchardonnay, moderate ) }.
% 0.86/1.25 { hasflavor_aux( stgenevievetexaswhite, moderate ) }.
% 0.86/1.25 { hasflavor_aux( foxencheninblanc, moderate ) }.
% 0.86/1.25 { hasflavor_aux( cortonmontrachetwhiteburgundy, strong ) }.
% 0.86/1.25 { hasflavor_aux( corbansprivatebinsauvignonblanc, strong ) }.
% 0.86/1.25 { hasflavor_aux( congressspringssemillon, moderate ) }.
% 0.86/1.25 { hasflavor_aux( mariettapetitesyrah, moderate ) }.
% 0.86/1.25 { hasflavor_aux( corbanssauvignonblanc, strong ) }.
% 0.86/1.25 { hasflavor_aux( petermccoychardonnay, moderate ) }.
% 0.86/1.25 { hasflavor_aux( selaksicewine, moderate ) }.
% 0.86/1.25 { hasflavor_aux( bancroftchardonnay, moderate ) }.
% 0.86/1.25 { hasflavor_aux( elysezinfandel, moderate ) }.
% 0.86/1.25 { hasflavor_aux( mountadampinotnoir, moderate ) }.
% 0.86/1.25 { hasflavor_aux( chateaudychemsauterne, strong ) }.
% 0.86/1.25 { hasflavor_aux( mariettacabernetsauvignon, moderate ) }.
% 0.86/1.25 { hasflavor_aux( schlossrothermeltrochenbierenausleseriesling, strong ) }.
% 0.86/1.25 { hasflavor_aux( garyfarrellmerlot, moderate ) }.
% 0.86/1.25 { hasflavor_aux( cotturizinfandel, strong ) }.
% 0.86/1.25 { hasflavor_aux( mariettaoldvinesred, moderate ) }.
% 0.86/1.25 { hasflavor_aux( longridgemerlot, moderate ) }.
% 0.86/1.25 { hasflavor_aux( kalincellarssemillon, strong ) }.
% 0.86/1.25 { hasflavor_aux( pagemillwinerycabernetsauvignon, moderate ) }.
% 0.86/1.25 { hasflavor_aux( seanthackreysiriuspetitesyrah, strong ) }.
% 0.86/1.25 { hasflavor_aux( saucelitocanyonzinfandel1998, moderate ) }.
% 0.86/1.25 { hasflavor_aux( chateaudemeursaultmeursault, moderate ) }.
% 0.86/1.25 { hasflavor_aux( whitehalllaneprimavera, delicate ) }.
% 0.86/1.25 { hasflavor_aux( santacruzmountainvineyardcabernetsauvignon, strong ) }.
% 0.86/1.25 { hasflavor_aux( lanetannerpinotnoir, delicate ) }.
% 0.86/1.25 { hasflavor_aux( corbansdrywhiteriesling, moderate ) }.
% 0.86/1.25 { hasflavor_aux( mountadamchardonnay, strong ) }.
% 0.86/1.25 { hasflavor_aux( mountadamriesling, delicate ) }.
% 0.86/1.25 { hasflavor_aux( mariettazinfandel, moderate ) }.
% 0.86/1.25 { hasflavor_aux( kathrynkennedylateral, delicate ) }.
% 0.86/1.25 { hasflavor_aux( mountedenvineyardestatepinotnoir, strong ) }.
% 0.86/1.25 { hasflavor_aux( whitehalllanecabernetfranc, moderate ) }.
% 0.86/1.25 { hasflavor_aux( ventanacheninblanc, moderate ) }.
% 0.86/1.25 { hasflavor_aux( saucelitocanyonzinfandel, moderate ) }.
% 0.86/1.25 { hasflavor_aux( formancabernetsauvignon, strong ) }.
% 0.86/1.25 { hasflavor_aux( schlossvolradtrochenbierenausleseriesling, moderate ) }.
% 0.86/1.25 { hasflavor_aux( mountedenvineyardednavalleychardonnay, moderate ) }.
% 0.86/1.25 { hasflavor_aux( stonleighsauvignonblanc, delicate ) }.
% 0.86/1.25 { hasflavor_aux( selakssauvignonblanc, moderate ) }.
% 0.86/1.25 { hasmaker_aux( pulignymontrachetwhiteburgundy, pulignymontrachet ) }.
% 0.86/1.25 { hasmaker_aux( chateaulafiterothschildpauillac, chateaulafiterothschild )
% 0.86/1.25 }.
% 0.86/1.25 { hasmaker_aux( formanchardonnay, forman ) }.
% 0.86/1.25 { hasmaker_aux( stgenevievetexaswhite, stgenevieve ) }.
% 0.86/1.25 { hasmaker_aux( foxencheninblanc, foxen ) }.
% 0.86/1.25 { hasmaker_aux( chianticlassico, mcguinnesso ) }.
% 0.86/1.25 { hasmaker_aux( cortonmontrachetwhiteburgundy, cortonmontrachet ) }.
% 0.86/1.25 { hasmaker_aux( corbansprivatebinsauvignonblanc, corbans ) }.
% 0.86/1.25 { hasmaker_aux( congressspringssemillon, congresssprings ) }.
% 0.86/1.25 { hasmaker_aux( mariettapetitesyrah, marietta ) }.
% 0.86/1.25 { hasmaker_aux( corbanssauvignonblanc, corbans ) }.
% 0.86/1.25 { hasmaker_aux( petermccoychardonnay, petermccoy ) }.
% 0.86/1.25 { hasmaker_aux( selaksicewine, selaks ) }.
% 0.86/1.25 { hasmaker_aux( bancroftchardonnay, bancroft ) }.
% 0.86/1.25 { hasmaker_aux( chateauchevalblancstemilion, chateauchevalblanc ) }.
% 0.86/1.25 { hasmaker_aux( chateaumorgonbeaujolais, chateaumorgon ) }.
% 0.86/1.25 { hasmaker_aux( elysezinfandel, elyse ) }.
% 0.86/1.25 { hasmaker_aux( mountadampinotnoir, mountadam ) }.
% 0.86/1.25 { hasmaker_aux( taylorport, taylor ) }.
% 0.86/1.25 { hasmaker_aux( chateaudychemsauterne, chateaudychem ) }.
% 0.86/1.25 { hasmaker_aux( mariettacabernetsauvignon, marietta ) }.
% 0.86/1.25 { hasmaker_aux( schlossrothermeltrochenbierenausleseriesling,
% 0.86/1.25 schlossrothermel ) }.
% 0.86/1.25 { hasmaker_aux( garyfarrellmerlot, garyfarrell ) }.
% 0.86/1.25 { hasmaker_aux( closdevougeotcotesdor, closdevougeot ) }.
% 0.86/1.25 { hasmaker_aux( cotturizinfandel, cotturi ) }.
% 0.86/1.25 { hasmaker_aux( closdelapoussiesancerre, closdelapoussie ) }.
% 0.86/1.25 { hasmaker_aux( mariettaoldvinesred, marietta ) }.
% 0.86/1.25 { hasmaker_aux( longridgemerlot, longridge ) }.
% 0.86/1.25 { hasmaker_aux( kalincellarssemillon, kalincellars ) }.
% 0.86/1.25 { hasmaker_aux( pagemillwinerycabernetsauvignon, pagemillwinery ) }.
% 0.86/1.25 { hasmaker_aux( seanthackreysiriuspetitesyrah, seanthackrey ) }.
% 0.86/1.25 { hasmaker_aux( saucelitocanyonzinfandel1998, saucelitocanyon ) }.
% 0.86/1.25 { hasmaker_aux( chateaudemeursaultmeursault, chateaudemeursault ) }.
% 0.86/1.25 { hasmaker_aux( santacruzmountainvineyardcabernetsauvignon,
% 0.86/1.25 santacruzmountainvineyard ) }.
% 0.86/1.25 { hasmaker_aux( lanetannerpinotnoir, lanetanner ) }.
% 0.86/1.25 { hasmaker_aux( corbansdrywhiteriesling, corbans ) }.
% 0.86/1.25 { hasmaker_aux( rosedanjou, danjou ) }.
% 0.86/1.25 { hasmaker_aux( mountadamchardonnay, mountadam ) }.
% 0.86/1.25 { hasmaker_aux( mountadamriesling, mountadam ) }.
% 0.86/1.25 { hasmaker_aux( mariettazinfandel, marietta ) }.
% 0.86/1.25 { hasmaker_aux( chateaumargaux, chateaumargauxwinery ) }.
% 0.86/1.25 { hasmaker_aux( kathrynkennedylateral, kathrynkennedy ) }.
% 0.86/1.25 { hasmaker_aux( mountedenvineyardestatepinotnoir, mountedenvineyard ) }.
% 0.86/1.25 { hasmaker_aux( whitehalllanecabernetfranc, whitehalllane ) }.
% 0.86/1.25 { hasmaker_aux( ventanacheninblanc, ventana ) }.
% 0.86/1.25 { hasmaker_aux( saucelitocanyonzinfandel, saucelitocanyon ) }.
% 0.86/1.25 { hasmaker_aux( formancabernetsauvignon, forman ) }.
% 0.86/1.25 { hasmaker_aux( schlossvolradtrochenbierenausleseriesling, schlossvolrad )
% 0.86/1.25 }.
% 0.86/1.25 { hasmaker_aux( mountedenvineyardednavalleychardonnay, mountedenvineyard )
% 0.86/1.25 }.
% 0.86/1.25 { hasmaker_aux( stonleighsauvignonblanc, stonleigh ) }.
% 0.86/1.25 { hasmaker_aux( selakssauvignonblanc, selaks ) }.
% 0.86/1.25 { hasmaker_aux( sevreetmainemuscadet, sevreetmaine ) }.
% 0.86/1.25 { hassugar_aux( pulignymontrachetwhiteburgundy, dry ) }.
% 0.86/1.25 { hassugar_aux( formanchardonnay, dry ) }.
% 0.86/1.25 { hassugar_aux( stgenevievetexaswhite, dry ) }.
% 0.86/1.25 { hassugar_aux( foxencheninblanc, dry ) }.
% 0.86/1.25 { hassugar_aux( cortonmontrachetwhiteburgundy, dry ) }.
% 0.86/1.25 { hassugar_aux( corbansprivatebinsauvignonblanc, dry ) }.
% 0.86/1.25 { hassugar_aux( congressspringssemillon, dry ) }.
% 0.86/1.25 { hassugar_aux( mariettapetitesyrah, dry ) }.
% 0.86/1.25 { hassugar_aux( corbanssauvignonblanc, dry ) }.
% 0.86/1.25 { hassugar_aux( petermccoychardonnay, dry ) }.
% 0.86/1.25 { hassugar_aux( bancroftchardonnay, dry ) }.
% 0.86/1.25 { hassugar_aux( elysezinfandel, dry ) }.
% 0.86/1.25 { hassugar_aux( mountadampinotnoir, dry ) }.
% 0.86/1.25 { hassugar_aux( mariettacabernetsauvignon, dry ) }.
% 0.86/1.25 { hassugar_aux( schlossrothermeltrochenbierenausleseriesling, sweet ) }.
% 0.86/1.25 { hassugar_aux( garyfarrellmerlot, dry ) }.
% 0.86/1.25 { hassugar_aux( cotturizinfandel, dry ) }.
% 0.86/1.25 { hassugar_aux( mariettaoldvinesred, dry ) }.
% 0.86/1.25 { hassugar_aux( longridgemerlot, dry ) }.
% 0.86/1.25 { hassugar_aux( kalincellarssemillon, dry ) }.
% 0.86/1.25 { hassugar_aux( pagemillwinerycabernetsauvignon, dry ) }.
% 0.86/1.25 { hassugar_aux( seanthackreysiriuspetitesyrah, dry ) }.
% 0.86/1.25 { hassugar_aux( saucelitocanyonzinfandel1998, dry ) }.
% 0.86/1.25 { hassugar_aux( whitehalllaneprimavera, sweet ) }.
% 0.86/1.25 { hassugar_aux( santacruzmountainvineyardcabernetsauvignon, dry ) }.
% 0.86/1.25 { hassugar_aux( lanetannerpinotnoir, dry ) }.
% 0.86/1.25 { hassugar_aux( corbansdrywhiteriesling, offdry ) }.
% 0.86/1.25 { hassugar_aux( mountadamchardonnay, dry ) }.
% 0.86/1.25 { hassugar_aux( mountadamriesling, dry ) }.
% 0.86/1.25 { hassugar_aux( mariettazinfandel, dry ) }.
% 0.86/1.25 { hassugar_aux( kathrynkennedylateral, dry ) }.
% 0.86/1.25 { hassugar_aux( mountedenvineyardestatepinotnoir, dry ) }.
% 0.86/1.25 { hassugar_aux( whitehalllanecabernetfranc, dry ) }.
% 0.86/1.25 { hassugar_aux( ventanacheninblanc, offdry ) }.
% 0.86/1.25 { hassugar_aux( saucelitocanyonzinfandel, dry ) }.
% 0.86/1.25 { hassugar_aux( formancabernetsauvignon, dry ) }.
% 0.86/1.25 { hassugar_aux( schlossvolradtrochenbierenausleseriesling, sweet ) }.
% 0.86/1.25 { hassugar_aux( mountedenvineyardednavalleychardonnay, dry ) }.
% 0.86/1.25 { hassugar_aux( stonleighsauvignonblanc, dry ) }.
% 0.86/1.25 { hassugar_aux( selakssauvignonblanc, dry ) }.
% 0.86/1.25 { locatedin_aux( californiaregion, usregion ) }.
% 0.86/1.25 { locatedin_aux( sancerreregion, loireregion ) }.
% 0.86/1.25 { locatedin_aux( formanchardonnay, naparegion ) }.
% 0.86/1.25 { locatedin_aux( stgenevievetexaswhite, centraltexasregion ) }.
% 0.86/1.25 { locatedin_aux( foxencheninblanc, santabarbararegion ) }.
% 0.86/1.25 { locatedin_aux( loireregion, frenchregion ) }.
% 0.86/1.25 { locatedin_aux( corbansprivatebinsauvignonblanc, newzealandregion ) }.
% 0.86/1.25 { locatedin_aux( mariettapetitesyrah, sonomaregion ) }.
% 0.86/1.25 { locatedin_aux( corbanssauvignonblanc, newzealandregion ) }.
% 0.86/1.25 { locatedin_aux( petermccoychardonnay, sonomaregion ) }.
% 0.86/1.25 { locatedin_aux( selaksicewine, newzealandregion ) }.
% 0.86/1.25 { locatedin_aux( bancroftchardonnay, naparegion ) }.
% 0.86/1.25 { locatedin_aux( elysezinfandel, naparegion ) }.
% 0.86/1.25 { locatedin_aux( naparegion, californiaregion ) }.
% 0.86/1.25 { locatedin_aux( mountadampinotnoir, southaustraliaregion ) }.
% 0.86/1.25 { locatedin_aux( chiantiregion, italianregion ) }.
% 0.86/1.25 { locatedin_aux( mariettacabernetsauvignon, sonomaregion ) }.
% 0.86/1.25 { locatedin_aux( sauterneregion, bordeauxregion ) }.
% 0.86/1.25 { locatedin_aux( pauillacregion, medocregion ) }.
% 0.86/1.25 { locatedin_aux( centraltexasregion, texasregion ) }.
% 0.86/1.25 { locatedin_aux( schlossrothermeltrochenbierenausleseriesling,
% 0.86/1.25 germanyregion ) }.
% 0.86/1.25 { locatedin_aux( garyfarrellmerlot, sonomaregion ) }.
% 0.86/1.25 { locatedin_aux( bordeauxregion, frenchregion ) }.
% 0.86/1.25 { locatedin_aux( cotturizinfandel, sonomaregion ) }.
% 0.86/1.25 { locatedin_aux( anjouregion, loireregion ) }.
% 0.86/1.25 { locatedin_aux( centralcoastregion, californiaregion ) }.
% 0.86/1.25 { locatedin_aux( mariettaoldvinesred, sonomaregion ) }.
% 0.86/1.25 { locatedin_aux( longridgemerlot, newzealandregion ) }.
% 0.86/1.25 { locatedin_aux( sonomaregion, californiaregion ) }.
% 0.86/1.25 { locatedin_aux( santabarbararegion, californiaregion ) }.
% 0.86/1.25 { locatedin_aux( pagemillwinerycabernetsauvignon, naparegion ) }.
% 0.86/1.25 { locatedin_aux( seanthackreysiriuspetitesyrah, naparegion ) }.
% 0.86/1.25 { locatedin_aux( saucelitocanyonzinfandel1998, arroyogranderegion ) }.
% 0.86/1.25 { locatedin_aux( medocregion, bordeauxregion ) }.
% 0.86/1.25 { locatedin_aux( southaustraliaregion, australianregion ) }.
% 0.86/1.25 { locatedin_aux( whitehalllaneprimavera, naparegion ) }.
% 0.86/1.25 { locatedin_aux( santacruzmountainvineyardcabernetsauvignon,
% 0.86/1.25 santacruzmountainsregion ) }.
% 0.86/1.25 { locatedin_aux( lanetannerpinotnoir, santabarbararegion ) }.
% 0.86/1.25 { locatedin_aux( mendocinoregion, californiaregion ) }.
% 0.86/1.26 { locatedin_aux( santacruzmountainsregion, californiaregion ) }.
% 0.86/1.26 { locatedin_aux( corbansdrywhiteriesling, newzealandregion ) }.
% 0.86/1.26 { locatedin_aux( margauxregion, medocregion ) }.
% 0.86/1.26 { locatedin_aux( texasregion, usregion ) }.
% 0.86/1.26 { locatedin_aux( muscadetregion, loireregion ) }.
% 0.86/1.26 { locatedin_aux( mountadamchardonnay, southaustraliaregion ) }.
% 0.86/1.26 { locatedin_aux( alsaceregion, frenchregion ) }.
% 0.86/1.26 { locatedin_aux( mountadamriesling, southaustraliaregion ) }.
% 0.86/1.26 { locatedin_aux( stemilionregion, bordeauxregion ) }.
% 0.86/1.26 { locatedin_aux( bourgogneregion, frenchregion ) }.
% 0.86/1.26 { locatedin_aux( mariettazinfandel, sonomaregion ) }.
% 0.86/1.26 { locatedin_aux( toursregion, loireregion ) }.
% 0.86/1.26 { locatedin_aux( cotesdorregion, bourgogneregion ) }.
% 0.86/1.26 { locatedin_aux( mountedenvineyardestatepinotnoir, ednavalleyregion ) }.
% 0.86/1.26 { locatedin_aux( whitehalllanecabernetfranc, naparegion ) }.
% 0.86/1.26 { locatedin_aux( ventanacheninblanc, centralcoastregion ) }.
% 0.86/1.26 { locatedin_aux( saucelitocanyonzinfandel, arroyogranderegion ) }.
% 0.86/1.26 { locatedin_aux( formancabernetsauvignon, naparegion ) }.
% 0.86/1.26 { locatedin_aux( schlossvolradtrochenbierenausleseriesling, germanyregion )
% 0.86/1.26 }.
% 0.86/1.26 { locatedin_aux( beaujolaisregion, frenchregion ) }.
% 0.86/1.26 { locatedin_aux( mountedenvineyardednavalleychardonnay, ednavalleyregion )
% 0.86/1.26 }.
% 0.86/1.26 { locatedin_aux( meursaultregion, bourgogneregion ) }.
% 0.86/1.26 { locatedin_aux( ednavalleyregion, californiaregion ) }.
% 0.86/1.26 { locatedin_aux( stonleighsauvignonblanc, newzealandregion ) }.
% 0.86/1.26 { locatedin_aux( arroyogranderegion, californiaregion ) }.
% 0.86/1.26 { locatedin_aux( selakssauvignonblanc, newzealandregion ) }.
% 0.86/1.26 { madefromgrape_aux( chateaudychemsauterne, semillongrape ) }.
% 0.86/1.26 { madefromgrape_aux( chateaudychemsauterne, sauvignonblancgrape ) }.
% 0.86/1.26 { ot____nom1_aux( sweet ) }.
% 0.86/1.26 { ot____nom10_aux( texasregion ) }.
% 0.86/1.26 { ot____nom11_aux( sauvignonblancgrape ) }.
% 0.86/1.26 { ot____nom12_aux( dry ) }.
% 0.86/1.26 { ot____nom13_aux( alsaceregion ) }.
% 0.86/1.26 { ot____nom14_aux( anjouregion ) }.
% 0.86/1.26 { ot____nom15_aux( californiaregion ) }.
% 0.86/1.26 { ot____nom16_aux( muscadetregion ) }.
% 0.86/1.26 { ot____nom17_aux( germanyregion ) }.
% 0.86/1.26 { ot____nom18_aux( sweet ) }.
% 0.86/1.26 { ot____nom18_aux( dry ) }.
% 0.86/1.26 { ot____nom18_aux( offdry ) }.
% 0.86/1.26 { ot____nom19_aux( loireregion ) }.
% 0.86/1.26 { ot____nom2_aux( medocregion ) }.
% 0.86/1.26 { ot____nom20_aux( zinfandelgrape ) }.
% 0.86/1.26 { ot____nom21_aux( pinotblancgrape ) }.
% 0.86/1.26 { ot____nom22_aux( margauxregion ) }.
% 0.86/1.26 { ot____nom23_aux( bordeauxregion ) }.
% 0.86/1.26 { ot____nom24_aux( chardonnaygrape ) }.
% 0.86/1.26 { ot____nom25_aux( petitesyrahgrape ) }.
% 0.86/1.26 { ot____nom26_aux( beaujolaisregion ) }.
% 0.86/1.26 { ot____nom27_aux( semillongrape ) }.
% 0.86/1.26 { ot____nom28_aux( red ) }.
% 0.86/1.26 { ot____nom29_aux( cabernetsauvignongrape ) }.
% 0.86/1.26 { ot____nom3_aux( cabernetfrancgrape ) }.
% 0.86/1.26 { ot____nom30_aux( sancerreregion ) }.
% 0.86/1.26 { ot____nom31_aux( meursaultregion ) }.
% 0.86/1.26 { ot____nom32_aux( rose ) }.
% 0.86/1.26 { ot____nom33_aux( gamaygrape ) }.
% 0.86/1.26 { ot____nom34_aux( cheninblancgrape ) }.
% 0.86/1.26 { ot____nom35_aux( delicate ) }.
% 0.86/1.26 { ot____nom35_aux( strong ) }.
% 0.86/1.26 { ot____nom35_aux( moderate ) }.
% 0.86/1.26 { ot____nom36_aux( stemilionregion ) }.
% 0.86/1.26 { ot____nom37_aux( rieslinggrape ) }.
% 0.86/1.26 { ot____nom38_aux( usregion ) }.
% 0.86/1.26 { ot____nom39_aux( pinotnoirgrape ) }.
% 0.86/1.26 { ot____nom4_aux( toursregion ) }.
% 0.86/1.26 { ot____nom40_aux( light ) }.
% 0.86/1.26 { ot____nom40_aux( full ) }.
% 0.86/1.26 { ot____nom40_aux( medium ) }.
% 0.86/1.26 { ot____nom41_aux( frenchregion ) }.
% 0.86/1.26 { ot____nom42_aux( cotesdorregion ) }.
% 0.86/1.26 { ot____nom43_aux( merlotgrape ) }.
% 0.86/1.26 { ot____nom44_aux( bourgogneregion ) }.
% 0.86/1.26 { ot____nom45_aux( full ) }.
% 0.86/1.26 { ot____nom46_aux( pauillacregion ) }.
% 0.86/1.26 { ot____nom47_aux( italianregion ) }.
% 0.86/1.26 { ot____nom48_aux( moderate ) }.
% 0.86/1.26 { ot____nom49_aux( medium ) }.
% 0.86/1.26 { ot____nom5_aux( white ) }.
% 0.86/1.26 { ot____nom50_aux( strong ) }.
% 0.86/1.26 { ot____nom50_aux( moderate ) }.
% 0.86/1.26 { ot____nom51_aux( full ) }.
% 0.86/1.26 { ot____nom51_aux( medium ) }.
% 0.86/1.26 { ot____nom52_aux( sauterneregion ) }.
% 0.86/1.26 { ot____nom53_aux( sweet ) }.
% 0.86/1.26 { ot____nom53_aux( offdry ) }.
% 0.86/1.26 { ot____nom54_aux( offdry ) }.
% 0.86/1.26 { ot____nom55_aux( delicate ) }.
% 0.86/1.26 { ot____nom56_aux( light ) }.
% 0.86/1.26 { ot____nom57_aux( portugalregion ) }.
% 0.86/1.26 { ot____nom58_aux( strong ) }.
% 0.86/1.26 { ot____nom59_aux( light ) }.
% 0.86/1.26 { ot____nom59_aux( medium ) }.
% 0.86/1.26 { ot____nom6_aux( semillongrape ) }.
% 0.86/1.26 { ot____nom6_aux( sauvignonblancgrape ) }.
% 0.86/1.26 { ot____nom60_aux( sangiovesegrape ) }.
% 0.86/1.26 { ot____nom61_aux( chiantiregion ) }.
% 0.86/1.26 { ot____nom62_aux( cabernetsauvignongrape ) }.
% 0.86/1.26 { ot____nom62_aux( merlotgrape ) }.
% 0.86/1.26 { ot____nom63_aux( pinotblancgrape ) }.
% 0.86/1.26 { ot____nom63_aux( sauvignonblancgrape ) }.
% 0.86/1.26 { ot____nom63_aux( cheninblancgrape ) }.
% 0.86/1.26 { ot____nom64_aux( delicate ) }.
% 0.86/1.26 { ot____nom64_aux( moderate ) }.
% 0.86/1.26 { ot____nom7_aux( dry ) }.
% 0.86/1.26 { ot____nom7_aux( offdry ) }.
% 0.86/1.26 { ot____nom8_aux( cabernetfrancgrape ) }.
% 0.86/1.26 { ot____nom8_aux( petiteverdotgrape ) }.
% 0.86/1.26 { ot____nom8_aux( cabernetsauvignongrape ) }.
% 0.86/1.26 { ot____nom8_aux( malbecgrape ) }.
% 0.86/1.26 { ot____nom8_aux( merlotgrape ) }.
% 0.86/1.26 { ot____nom9_aux( white ) }.
% 0.86/1.26 { ot____nom9_aux( rose ) }.
% 0.86/1.26 { ot____nom9_aux( red ) }.
% 0.86/1.26 { wineflavor_aux( delicate ) }.
% 0.86/1.26 { wineflavor_aux( strong ) }.
% 0.86/1.26 { wineflavor_aux( moderate ) }.
% 0.86/1.26 { winegrape_aux( petitesyrahgrape ) }.
% 0.86/1.26 { winegrape_aux( zinfandelgrape ) }.
% 0.86/1.26 { winegrape_aux( sangiovesegrape ) }.
% 0.86/1.26 { winegrape_aux( cabernetfrancgrape ) }.
% 0.86/1.26 { winegrape_aux( semillongrape ) }.
% 0.86/1.26 { winegrape_aux( rieslinggrape ) }.
% 0.86/1.26 { winegrape_aux( pinotblancgrape ) }.
% 0.86/1.26 { winegrape_aux( gamaygrape ) }.
% 0.86/1.26 { winegrape_aux( petiteverdotgrape ) }.
% 0.86/1.26 { winegrape_aux( chardonnaygrape ) }.
% 0.86/1.26 { winegrape_aux( pinotnoirgrape ) }.
% 0.86/1.26 { winegrape_aux( cabernetsauvignongrape ) }.
% 0.86/1.26 { winegrape_aux( sauvignonblancgrape ) }.
% 0.86/1.26 { winegrape_aux( cheninblancgrape ) }.
% 0.86/1.26 { winegrape_aux( malbecgrape ) }.
% 0.86/1.26 { winegrape_aux( merlotgrape ) }.
% 0.86/1.26 { winesugar_aux( sweet ) }.
% 0.86/1.26 { winesugar_aux( dry ) }.
% 0.86/1.26 { winesugar_aux( offdry ) }.
% 0.86/1.26 { winery_aux( seanthackrey ) }.
% 0.86/1.26 { winery_aux( marietta ) }.
% 0.86/1.26 { winery_aux( petermccoy ) }.
% 0.86/1.26 { winery_aux( danjou ) }.
% 0.86/1.26 { winery_aux( stonleigh ) }.
% 0.86/1.26 { winery_aux( schlossvolrad ) }.
% 0.86/1.26 { winery_aux( selaks ) }.
% 0.86/1.26 { winery_aux( cortonmontrachet ) }.
% 0.86/1.26 { winery_aux( forman ) }.
% 0.86/1.26 { winery_aux( chateaulafiterothschild ) }.
% 0.86/1.26 { winery_aux( elyse ) }.
% 0.86/1.26 { winery_aux( garyfarrell ) }.
% 0.86/1.26 { winery_aux( closdelapoussie ) }.
% 0.86/1.26 { winery_aux( santacruzmountainvineyard ) }.
% 0.86/1.26 { winery_aux( closdevougeot ) }.
% 0.86/1.26 { winery_aux( ventana ) }.
% 0.86/1.26 { winery_aux( schlossrothermel ) }.
% 0.86/1.26 { winery_aux( longridge ) }.
% 0.86/1.26 { winery_aux( mcguinnesso ) }.
% 0.86/1.26 { winery_aux( beringer ) }.
% 0.86/1.26 { winery_aux( sevreetmaine ) }.
% 0.86/1.26 { winery_aux( bancroft ) }.
% 0.86/1.26 { winery_aux( whitehalllane ) }.
% 0.86/1.26 { winery_aux( lanetanner ) }.
% 0.86/1.26 { winery_aux( saucelitocanyon ) }.
% 0.86/1.26 { winery_aux( mountedenvineyard ) }.
% 0.86/1.26 { winery_aux( taylor ) }.
% 0.86/1.26 { winery_aux( stgenevieve ) }.
% 0.86/1.26 { winery_aux( corbans ) }.
% 0.86/1.26 { winery_aux( kalincellars ) }.
% 0.86/1.26 { winery_aux( chateaudychem ) }.
% 0.86/1.26 { winery_aux( kathrynkennedy ) }.
% 0.86/1.26 { winery_aux( cotturi ) }.
% 0.86/1.26 { winery_aux( chateaumargauxwinery ) }.
% 0.86/1.26 { winery_aux( congresssprings ) }.
% 0.86/1.26 { winery_aux( chateaudemeursault ) }.
% 0.86/1.26 { winery_aux( chateauchevalblanc ) }.
% 0.86/1.26 { winery_aux( mountadam ) }.
% 0.86/1.26 { winery_aux( chateaumorgon ) }.
% 0.86/1.26 { winery_aux( pagemillwinery ) }.
% 0.86/1.26 { winery_aux( handley ) }.
% 0.86/1.26 { winery_aux( pulignymontrachet ) }.
% 0.86/1.26 { winery_aux( foxen ) }.
% 0.86/1.26 { zinfandel_aux( elysezinfandel ) }.
% 0.86/1.26 { zinfandel_aux( cotturizinfandel ) }.
% 0.86/1.26 { zinfandel_aux( saucelitocanyonzinfandel1998 ) }.
% 0.86/1.26 { zinfandel_aux( mariettazinfandel ) }.
% 0.86/1.26 { zinfandel_aux( saucelitocanyonzinfandel ) }.
% 0.86/1.26 { winebody_aux( light ) }.
% 0.86/1.26 { winebody_aux( full ) }.
% 0.86/1.26 { winebody_aux( medium ) }.
% 0.86/1.26 { winecolor_aux( white ) }.
% 0.86/1.26 { winecolor_aux( rose ) }.
% 0.86/1.26 { winecolor_aux( red ) }.
% 0.86/1.26 { whiteburgundy_aux( pulignymontrachetwhiteburgundy ) }.
% 0.86/1.26 { whiteburgundy_aux( cortonmontrachetwhiteburgundy ) }.
% 0.86/1.26 { whitewine_aux( stgenevievetexaswhite ) }.
% 0.86/1.26 { muscadet_aux( sevreetmainemuscadet ) }.
% 0.86/1.26 { meursault_aux( chateaudemeursaultmeursault ) }.
% 0.86/1.26 { meritage_aux( kathrynkennedylateral ) }.
% 0.86/1.26 { margaux_aux( chateaumargaux ) }.
% 0.86/1.26 { icewine_aux( selaksicewine ) }.
% 0.86/1.26 { dryriesling_aux( mountadamriesling ) }.
% 0.86/1.26 { dessertwine_aux( whitehalllaneprimavera ) }.
% 0.86/1.26 { cabernetsauvignon_aux( mariettacabernetsauvignon ) }.
% 0.86/1.26 { cabernetsauvignon_aux( pagemillwinerycabernetsauvignon ) }.
% 0.86/1.26 { cabernetsauvignon_aux( santacruzmountainvineyardcabernetsauvignon ) }.
% 0.86/1.26 { cabernetsauvignon_aux( formancabernetsauvignon ) }.
% 0.86/1.26 { cabernetfranc_aux( whitehalllanecabernetfranc ) }.
% 0.86/1.26 { beaujolais_aux( chateaumorgonbeaujolais ) }.
% 0.86/1.26 { anjou_aux( rosedanjou ) }.
% 0.86/1.26 { chardonnay_aux( formanchardonnay ) }.
% 0.86/1.26 { chardonnay_aux( petermccoychardonnay ) }.
% 0.86/1.26 { chardonnay_aux( bancroftchardonnay ) }.
% 0.86/1.26 { chardonnay_aux( mountadamchardonnay ) }.
% 0.86/1.26 { chardonnay_aux( mountedenvineyardednavalleychardonnay ) }.
% 0.86/1.26 { cheninblanc_aux( foxencheninblanc ) }.
% 0.86/1.26 { cheninblanc_aux( ventanacheninblanc ) }.
% 0.86/1.26 { chianti_aux( chianticlassico ) }.
% 0.86/1.26 { cotesdor_aux( closdevougeotcotesdor ) }.
% 0.86/1.26 { merlot_aux( garyfarrellmerlot ) }.
% 0.86/1.26 { merlot_aux( longridgemerlot ) }.
% 0.86/1.26 { pauillac_aux( chateaulafiterothschildpauillac ) }.
% 0.86/1.26 { petitesyrah_aux( mariettapetitesyrah ) }.
% 0.86/1.26 { petitesyrah_aux( seanthackreysiriuspetitesyrah ) }.
% 0.86/1.26 { pinotnoir_aux( mountadampinotnoir ) }.
% 0.86/1.26 { pinotnoir_aux( lanetannerpinotnoir ) }.
% 0.86/1.26 { pinotnoir_aux( mountedenvineyardestatepinotnoir ) }.
% 0.86/1.26 { port_aux( taylorport ) }.
% 0.86/1.26 { redtablewine_aux( mariettaoldvinesred ) }.
% 0.86/1.26 { region_aux( californiaregion ) }.
% 0.86/1.26 { region_aux( sancerreregion ) }.
% 0.86/1.26 { region_aux( loireregion ) }.
% 0.86/1.26 { region_aux( usregion ) }.
% 0.86/1.26 { region_aux( naparegion ) }.
% 0.86/1.26 { region_aux( newzealandregion ) }.
% 0.86/1.26 { region_aux( chiantiregion ) }.
% 0.86/1.26 { region_aux( sauterneregion ) }.
% 0.86/1.26 { region_aux( germanyregion ) }.
% 0.86/1.26 { region_aux( pauillacregion ) }.
% 0.86/1.26 { region_aux( centraltexasregion ) }.
% 0.86/1.26 { region_aux( bordeauxregion ) }.
% 0.86/1.26 { region_aux( portugalregion ) }.
% 0.86/1.26 { region_aux( anjouregion ) }.
% 0.86/1.26 { region_aux( centralcoastregion ) }.
% 0.86/1.26 { region_aux( sonomaregion ) }.
% 0.86/1.26 { region_aux( santabarbararegion ) }.
% 0.86/1.26 { region_aux( medocregion ) }.
% 0.86/1.26 { region_aux( australianregion ) }.
% 0.86/1.26 { region_aux( southaustraliaregion ) }.
% 0.86/1.26 { region_aux( mendocinoregion ) }.
% 0.86/1.26 { region_aux( santacruzmountainsregion ) }.
% 0.86/1.26 { region_aux( italianregion ) }.
% 0.86/1.26 { region_aux( margauxregion ) }.
% 0.86/1.26 { region_aux( texasregion ) }.
% 0.86/1.26 { region_aux( muscadetregion ) }.
% 0.86/1.26 { region_aux( alsaceregion ) }.
% 0.86/1.26 { region_aux( stemilionregion ) }.
% 0.86/1.26 { region_aux( bourgogneregion ) }.
% 0.86/1.26 { region_aux( toursregion ) }.
% 0.86/1.26 { region_aux( frenchregion ) }.
% 0.86/1.26 { region_aux( cotesdorregion ) }.
% 0.86/1.26 { region_aux( beaujolaisregion ) }.
% 0.86/1.26 { region_aux( meursaultregion ) }.
% 0.86/1.26 { region_aux( ednavalleyregion ) }.
% 0.86/1.26 { region_aux( arroyogranderegion ) }.
% 0.86/1.26 { riesling_aux( corbansdrywhiteriesling ) }.
% 0.86/1.26 { sancerre_aux( closdelapoussiesancerre ) }.
% 0.86/1.26 { sauternes_aux( chateaudychemsauterne ) }.
% 0.86/1.26 { sauvignonblanc_aux( corbansprivatebinsauvignonblanc ) }.
% 0.86/1.26 { sauvignonblanc_aux( corbanssauvignonblanc ) }.
% 0.86/1.26 { sauvignonblanc_aux( stonleighsauvignonblanc ) }.
% 0.86/1.26 { sauvignonblanc_aux( selakssauvignonblanc ) }.
% 0.86/1.26 { semillon_aux( congressspringssemillon ) }.
% 0.86/1.26 { semillon_aux( kalincellarssemillon ) }.
% 0.86/1.26 { stemilion_aux( chateauchevalblancstemilion ) }.
% 0.86/1.26 { sweetriesling_aux( schlossrothermeltrochenbierenausleseriesling ) }.
% 0.86/1.26 { sweetriesling_aux( schlossvolradtrochenbierenausleseriesling ) }.
% 0.86/1.26 { kaon2namedobjects( chateaudemeursault ) }.
% 0.86/1.26 { kaon2namedobjects( seanthackrey ) }.
% 0.86/1.26 { kaon2namedobjects( formancabernetsauvignon ) }.
% 0.86/1.26 { kaon2namedobjects( texasregion ) }.
% 0.86/1.26 { kaon2namedobjects( sonomaregion ) }.
% 0.86/1.26 { kaon2namedobjects( corbansdrywhiteriesling ) }.
% 0.86/1.26 { kaon2namedobjects( cheninblancgrape ) }.
% 0.86/1.26 { kaon2namedobjects( delicate ) }.
% 0.86/1.26 { kaon2namedobjects( petermccoy ) }.
% 0.86/1.26 { kaon2namedobjects( forman ) }.
% 0.86/1.26 { kaon2namedobjects( taylorport ) }.
% 0.86/1.26 { kaon2namedobjects( pagemillwinerycabernetsauvignon ) }.
% 0.86/1.26 { kaon2namedobjects( chateauchevalblancstemilion ) }.
% 0.86/1.26 { kaon2namedobjects( foxencheninblanc ) }.
% 0.86/1.26 { kaon2namedobjects( santacruzmountainvineyardcabernetsauvignon ) }.
% 0.86/1.26 { kaon2namedobjects( selaksicewine ) }.
% 0.86/1.26 { kaon2namedobjects( chardonnaygrape ) }.
% 0.86/1.26 { kaon2namedobjects( sauvignonblancgrape ) }.
% 0.86/1.26 { kaon2namedobjects( cabernetsauvignongrape ) }.
% 0.86/1.26 { kaon2namedobjects( mountadampinotnoir ) }.
% 0.86/1.26 { kaon2namedobjects( pinotblancgrape ) }.
% 0.86/1.26 { kaon2namedobjects( year1998 ) }.
% 0.86/1.26 { kaon2namedobjects( cotturizinfandel ) }.
% 0.86/1.26 { kaon2namedobjects( whitehalllaneprimavera ) }.
% 0.86/1.26 { kaon2namedobjects( longridge ) }.
% 0.86/1.26 { kaon2namedobjects( bancroft ) }.
% 0.86/1.26 { kaon2namedobjects( mountedenvineyardednavalleychardonnay ) }.
% 0.86/1.26 { kaon2namedobjects( moderate ) }.
% 0.86/1.26 { kaon2namedobjects( alsaceregion ) }.
% 0.86/1.26 { kaon2namedobjects( saucelitocanyonzinfandel1998 ) }.
% 0.86/1.26 { kaon2namedobjects( corbanssauvignonblanc ) }.
% 0.86/1.26 { kaon2namedobjects( full ) }.
% 0.86/1.26 { kaon2namedobjects( taylor ) }.
% 0.86/1.26 { kaon2namedobjects( malbecgrape ) }.
% 0.86/1.26 { kaon2namedobjects( closdevougeot ) }.
% 0.86/1.26 { kaon2namedobjects( corbans ) }.
% 0.86/1.26 { kaon2namedobjects( stonleighsauvignonblanc ) }.
% 0.86/1.26 { kaon2namedobjects( loireregion ) }.
% 0.86/1.26 { kaon2namedobjects( corbansprivatebinsauvignonblanc ) }.
% 0.86/1.26 { kaon2namedobjects( cortonmontrachet ) }.
% 0.86/1.26 { kaon2namedobjects( chateaudychem ) }.
% 0.86/1.26 { kaon2namedobjects( australianregion ) }.
% 0.86/1.26 { kaon2namedobjects( beringer ) }.
% 0.86/1.26 { kaon2namedobjects( formanchardonnay ) }.
% 0.86/1.26 { kaon2namedobjects( chateaudemeursaultmeursault ) }.
% 0.86/1.26 { kaon2namedobjects( merlotgrape ) }.
% 0.86/1.26 { kaon2namedobjects( garyfarrellmerlot ) }.
% 0.86/1.26 { kaon2namedobjects( santacruzmountainvineyard ) }.
% 0.86/1.26 { kaon2namedobjects( portugalregion ) }.
% 0.86/1.26 { kaon2namedobjects( margauxregion ) }.
% 0.86/1.26 { kaon2namedobjects( frenchregion ) }.
% 0.86/1.26 { kaon2namedobjects( strong ) }.
% 0.86/1.26 { kaon2namedobjects( schlossvolradtrochenbierenausleseriesling ) }.
% 0.86/1.26 { kaon2namedobjects( cabernetfrancgrape ) }.
% 0.86/1.26 { kaon2namedobjects( medium ) }.
% 0.86/1.26 { kaon2namedobjects( medocregion ) }.
% 0.86/1.26 { kaon2namedobjects( sangiovesegrape ) }.
% 0.86/1.26 { kaon2namedobjects( toursregion ) }.
% 0.86/1.26 { kaon2namedobjects( chateaumargauxwinery ) }.
% 0.86/1.26 { kaon2namedobjects( closdelapoussiesancerre ) }.
% 0.86/1.26 { kaon2namedobjects( ednavalleyregion ) }.
% 0.86/1.26 { kaon2namedobjects( schlossvolrad ) }.
% 0.86/1.26 { kaon2namedobjects( marietta ) }.
% 0.86/1.26 { kaon2namedobjects( sweet ) }.
% 0.86/1.26 { kaon2namedobjects( arroyogranderegion ) }.
% 0.86/1.26 { kaon2namedobjects( elyse ) }.
% 0.86/1.26 { kaon2namedobjects( whitehalllanecabernetfranc ) }.
% 0.86/1.26 { kaon2namedobjects( anjouregion ) }.
% 0.86/1.26 { kaon2namedobjects( beaujolaisregion ) }.
% 0.86/1.26 { kaon2namedobjects( petermccoychardonnay ) }.
% 0.86/1.26 { kaon2namedobjects( pagemillwinery ) }.
% 0.86/1.26 { kaon2namedobjects( stgenevievetexaswhite ) }.
% 0.86/1.26 { kaon2namedobjects( congresssprings ) }.
% 0.86/1.26 { kaon2namedobjects( germanyregion ) }.
% 0.86/1.26 { kaon2namedobjects( muscadetregion ) }.
% 0.86/1.26 { kaon2namedobjects( garyfarrell ) }.
% 0.86/1.26 { kaon2namedobjects( light ) }.
% 0.86/1.26 { kaon2namedobjects( rieslinggrape ) }.
% 0.86/1.26 { kaon2namedobjects( pauillacregion ) }.
% 0.86/1.26 { kaon2namedobjects( santabarbararegion ) }.
% 0.86/1.26 { kaon2namedobjects( lanetanner ) }.
% 0.86/1.26 { kaon2namedobjects( mcguinnesso ) }.
% 0.86/1.26 { kaon2namedobjects( mendocinoregion ) }.
% 0.86/1.26 { kaon2namedobjects( chateaumorgonbeaujolais ) }.
% 0.86/1.26 { kaon2namedobjects( santacruzmountainsregion ) }.
% 0.86/1.26 { kaon2namedobjects( californiaregion ) }.
% 0.86/1.26 { kaon2namedobjects( sancerreregion ) }.
% 0.86/1.26 { kaon2namedobjects( selakssauvignonblanc ) }.
% 0.86/1.26 { kaon2namedobjects( chateaulafiterothschildpauillac ) }.
% 0.86/1.26 { kaon2namedobjects( cortonmontrachetwhiteburgundy ) }.
% 0.86/1.26 { kaon2namedobjects( lanetannerpinotnoir ) }.
% 0.86/1.26 { kaon2namedobjects( ventana ) }.
% 0.86/1.26 { kaon2namedobjects( cotturi ) }.
% 0.86/1.26 { kaon2namedobjects( mariettaoldvinesred ) }.
% 0.86/1.26 { kaon2namedobjects( rosedanjou ) }.
% 0.86/1.26 { kaon2namedobjects( chateaulafiterothschild ) }.
% 0.86/1.26 { kaon2namedobjects( chateaumorgon ) }.
% 0.86/1.26 { kaon2namedobjects( saucelitocanyon ) }.
% 0.86/1.26 { kaon2namedobjects( ventanacheninblanc ) }.
% 0.86/1.26 { kaon2namedobjects( chateauchevalblanc ) }.
% 0.86/1.26 { kaon2namedobjects( mountadamriesling ) }.
% 0.86/1.26 { kaon2namedobjects( mariettacabernetsauvignon ) }.
% 0.86/1.26 { kaon2namedobjects( sevreetmaine ) }.
% 0.86/1.26 { kaon2namedobjects( saucelitocanyonzinfandel ) }.
% 0.86/1.26 { kaon2namedobjects( seanthackreysiriuspetitesyrah ) }.
% 0.86/1.26 { kaon2namedobjects( stonleigh ) }.
% 0.86/1.26 { kaon2namedobjects( schlossrothermeltrochenbierenausleseriesling ) }.
% 0.86/1.26 { kaon2namedobjects( mariettazinfandel ) }.
% 0.86/1.26 { kaon2namedobjects( kathrynkennedylateral ) }.
% 0.86/1.26 { kaon2namedobjects( mountadamchardonnay ) }.
% 0.86/1.26 { kaon2namedobjects( foxen ) }.
% 0.86/1.26 { kaon2namedobjects( stgenevieve ) }.
% 0.86/1.26 { kaon2namedobjects( offdry ) }.
% 0.86/1.26 { kaon2namedobjects( whitehalllane ) }.
% 0.86/1.26 { kaon2namedobjects( chianticlassico ) }.
% 0.86/1.26 { kaon2namedobjects( pulignymontrachet ) }.
% 0.86/1.26 { kaon2namedobjects( meursaultregion ) }.
% 0.86/1.26 { kaon2namedobjects( mountedenvineyardestatepinotnoir ) }.
% 0.86/1.26 { kaon2namedobjects( kalincellars ) }.
% 0.86/1.26 { kaon2namedobjects( petiteverdotgrape ) }.
% 0.86/1.26 { kaon2namedobjects( chateaumargaux ) }.
% 0.86/1.26 { kaon2namedobjects( kathrynkennedy ) }.
% 0.86/1.26 { kaon2namedobjects( sauterneregion ) }.
% 0.86/1.26 { kaon2namedobjects( bordeauxregion ) }.
% 0.86/1.26 { kaon2namedobjects( white ) }.
% 0.86/1.26 { kaon2namedobjects( mariettapetitesyrah ) }.
% 0.86/1.26 { kaon2namedobjects( handley ) }.
% 0.86/1.26 { kaon2namedobjects( naparegion ) }.
% 0.86/1.26 { kaon2namedobjects( chiantiregion ) }.
% 0.86/1.26 { kaon2namedobjects( chateaudychemsauterne ) }.
% 0.86/1.26 { kaon2namedobjects( elysezinfandel ) }.
% 0.86/1.26 { kaon2namedobjects( pulignymontrachetwhiteburgundy ) }.
% 0.86/1.26 { kaon2namedobjects( kalincellarssemillon ) }.
% 0.86/1.26 { kaon2namedobjects( closdevougeotcotesdor ) }.
% 0.86/1.26 { kaon2namedobjects( schlossrothermel ) }.
% 0.86/1.26 { kaon2namedobjects( bancroftchardonnay ) }.
% 0.86/1.26 { kaon2namedobjects( southaustraliaregion ) }.
% 0.86/1.26 { kaon2namedobjects( semillongrape ) }.
% 0.86/1.26 { kaon2namedobjects( danjou ) }.
% 0.86/1.26 { kaon2namedobjects( gamaygrape ) }.
% 0.86/1.26 { kaon2namedobjects( zinfandelgrape ) }.
% 0.86/1.26 { kaon2namedobjects( longridgemerlot ) }.
% 0.86/1.26 { kaon2namedobjects( mountedenvineyard ) }.
% 0.86/1.26 { kaon2namedobjects( bourgogneregion ) }.
% 0.86/1.26 { kaon2namedobjects( usregion ) }.
% 0.86/1.26 { kaon2namedobjects( centraltexasregion ) }.
% 0.86/1.26 { kaon2namedobjects( congressspringssemillon ) }.
% 0.86/1.26 { kaon2namedobjects( selaks ) }.
% 0.86/1.26 { kaon2namedobjects( dry ) }.
% 0.86/1.26 { kaon2namedobjects( newzealandregion ) }.
% 0.86/1.26 { kaon2namedobjects( red ) }.
% 0.86/1.26 { kaon2namedobjects( closdelapoussie ) }.
% 0.86/1.26 { kaon2namedobjects( cotesdorregion ) }.
% 0.86/1.26 { kaon2namedobjects( rose ) }.
% 0.86/1.26 { kaon2namedobjects( mountadam ) }.
% 0.86/1.26 { kaon2namedobjects( sevreetmainemuscadet ) }.
% 0.86/1.26 { kaon2namedobjects( pinotnoirgrape ) }.
% 0.86/1.26 { kaon2namedobjects( stemilionregion ) }.
% 0.86/1.26 { kaon2namedobjects( italianregion ) }.
% 0.86/1.26 { kaon2namedobjects( centralcoastregion ) }.
% 0.86/1.26 { kaon2namedobjects( petitesyrahgrape ) }.
% 0.86/1.26 { vintageyear_aux( year1998 ) }.
% 0.86/1.26 { hasvintageyear_aux( saucelitocanyonzinfandel1998, year1998 ) }.
% 0.86/1.26 { ! madefromgrape_aux( X, Y ), madefromgrape( X, Y ) }.
% 0.86/1.26 { ! locatedin_aux( X, Y ), locatedin( X, Y ) }.
% 0.86/1.26 { ! hassugar_aux( X, Y ), hassugar( X, Y ) }.
% 0.86/1.26 { ! hasmaker_aux( X, Y ), hasmaker( X, Y ) }.
% 0.86/1.26 { ! hasflavor_aux( X, Y ), hasflavor( X, Y ) }.
% 0.86/1.26 { ! hascolor_aux( X, Y ), hascolor( X, Y ) }.
% 0.86/1.26 { ! hasbody_aux( X, Y ), hasbody( X, Y ) }.
% 0.86/1.26 { ! adjacentregion_aux( X, Y ), adjacentregion( X, Y ) }.
% 0.86/1.26 { ! hasvintageyear_aux( X, Y ), hasvintageyear( X, Y ) }.
% 0.86/1.26 { ! ot____nom1_aux( X ), ot____nom1( X ) }.
% 0.86/1.26 { ! ot____nom10_aux( X ), ot____nom10( X ) }.
% 0.86/1.26 { ! ot____nom11_aux( X ), ot____nom11( X ) }.
% 0.86/1.26 { ! ot____nom12_aux( X ), ot____nom12( X ) }.
% 0.86/1.26 { ! ot____nom13_aux( X ), ot____nom13( X ) }.
% 0.86/1.26 { ! ot____nom14_aux( X ), ot____nom14( X ) }.
% 0.86/1.26 { ! ot____nom15_aux( X ), ot____nom15( X ) }.
% 0.86/1.26 { ! ot____nom16_aux( X ), ot____nom16( X ) }.
% 0.86/1.26 { ! ot____nom17_aux( X ), ot____nom17( X ) }.
% 0.86/1.26 { ! ot____nom18_aux( X ), ot____nom18( X ) }.
% 0.86/1.26 { ! ot____nom19_aux( X ), ot____nom19( X ) }.
% 0.86/1.26 { ! ot____nom2_aux( X ), ot____nom2( X ) }.
% 0.86/1.26 { ! ot____nom20_aux( X ), ot____nom20( X ) }.
% 0.86/1.26 { ! ot____nom21_aux( X ), ot____nom21( X ) }.
% 0.86/1.26 { ! ot____nom22_aux( X ), ot____nom22( X ) }.
% 0.86/1.26 { ! ot____nom23_aux( X ), ot____nom23( X ) }.
% 0.86/1.26 { ! ot____nom24_aux( X ), ot____nom24( X ) }.
% 0.86/1.26 { ! ot____nom25_aux( X ), ot____nom25( X ) }.
% 0.86/1.26 { ! ot____nom26_aux( X ), ot____nom26( X ) }.
% 0.86/1.26 { ! ot____nom27_aux( X ), ot____nom27( X ) }.
% 0.86/1.26 { ! ot____nom28_aux( X ), ot____nom28( X ) }.
% 0.86/1.26 { ! ot____nom29_aux( X ), ot____nom29( X ) }.
% 0.86/1.26 { ! ot____nom3_aux( X ), ot____nom3( X ) }.
% 0.86/1.26 { ! ot____nom30_aux( X ), ot____nom30( X ) }.
% 0.86/1.26 { ! ot____nom31_aux( X ), ot____nom31( X ) }.
% 0.86/1.26 { ! ot____nom32_aux( X ), ot____nom32( X ) }.
% 0.86/1.26 { ! ot____nom33_aux( X ), ot____nom33( X ) }.
% 0.86/1.26 { ! ot____nom34_aux( X ), ot____nom34( X ) }.
% 0.86/1.26 { ! ot____nom35_aux( X ), ot____nom35( X ) }.
% 0.86/1.26 { ! ot____nom36_aux( X ), ot____nom36( X ) }.
% 0.86/1.26 { ! ot____nom37_aux( X ), ot____nom37( X ) }.
% 0.86/1.26 { ! ot____nom38_aux( X ), ot____nom38( X ) }.
% 0.86/1.26 { ! ot____nom39_aux( X ), ot____nom39( X ) }.
% 0.86/1.26 { ! ot____nom4_aux( X ), ot____nom4( X ) }.
% 0.86/1.26 { ! ot____nom40_aux( X ), ot____nom40( X ) }.
% 0.86/1.26 { ! ot____nom41_aux( X ), ot____nom41( X ) }.
% 0.86/1.26 { ! ot____nom42_aux( X ), ot____nom42( X ) }.
% 0.86/1.26 { ! ot____nom43_aux( X ), ot____nom43( X ) }.
% 0.86/1.26 { ! ot____nom44_aux( X ), ot____nom44( X ) }.
% 0.86/1.26 { ! ot____nom45_aux( X ), ot____nom45( X ) }.
% 0.86/1.26 { ! ot____nom46_aux( X ), ot____nom46( X ) }.
% 0.86/1.26 { ! ot____nom47_aux( X ), ot____nom47( X ) }.
% 0.86/1.26 { ! ot____nom48_aux( X ), ot____nom48( X ) }.
% 0.86/1.26 { ! ot____nom49_aux( X ), ot____nom49( X ) }.
% 0.86/1.26 { ! ot____nom5_aux( X ), ot____nom5( X ) }.
% 0.86/1.26 { ! ot____nom50_aux( X ), ot____nom50( X ) }.
% 0.86/1.26 { ! ot____nom51_aux( X ), ot____nom51( X ) }.
% 0.86/1.26 { ! ot____nom52_aux( X ), ot____nom52( X ) }.
% 0.86/1.26 { ! ot____nom53_aux( X ), ot____nom53( X ) }.
% 0.86/1.26 { ! ot____nom54_aux( X ), ot____nom54( X ) }.
% 0.86/1.26 { ! ot____nom55_aux( X ), ot____nom55( X ) }.
% 0.86/1.26 { ! ot____nom56_aux( X ), ot____nom56( X ) }.
% 0.86/1.26 { ! ot____nom57_aux( X ), ot____nom57( X ) }.
% 0.86/1.26 { ! ot____nom58_aux( X ), ot____nom58( X ) }.
% 0.86/1.26 { ! ot____nom59_aux( X ), ot____nom59( X ) }.
% 0.86/1.26 { ! ot____nom6_aux( X ), ot____nom6( X ) }.
% 0.86/1.26 { ! ot____nom60_aux( X ), ot____nom60( X ) }.
% 0.86/1.26 { ! ot____nom61_aux( X ), ot____nom61( X ) }.
% 0.86/1.26 { ! ot____nom62_aux( X ), ot____nom62( X ) }.
% 0.86/1.26 { ! ot____nom63_aux( X ), ot____nom63( X ) }.
% 0.86/1.26 { ! ot____nom64_aux( X ), ot____nom64( X ) }.
% 0.86/1.26 { ! ot____nom7_aux( X ), ot____nom7( X ) }.
% 0.86/1.26 { ! ot____nom8_aux( X ), ot____nom8( X ) }.
% 0.86/1.26 { ! ot____nom9_aux( X ), ot____nom9( X ) }.
% 0.86/1.26 { ! zinfandel_aux( X ), zinfandel( X ) }.
% 0.86/1.26 { ! winery_aux( X ), winery( X ) }.
% 0.86/1.26 { ! winegrape_aux( X ), winegrape( X ) }.
% 0.86/1.26 { ! winesugar_aux( X ), winesugar( X ) }.
% 0.86/1.26 { ! wineflavor_aux( X ), wineflavor( X ) }.
% 0.86/1.26 { ! anjou_aux( X ), anjou( X ) }.
% 0.86/1.26 { ! beaujolais_aux( X ), beaujolais( X ) }.
% 0.86/1.26 { ! cabernetfranc_aux( X ), cabernetfranc( X ) }.
% 0.86/1.26 { ! cabernetsauvignon_aux( X ), cabernetsauvignon( X ) }.
% 0.86/1.26 { ! chardonnay_aux( X ), chardonnay( X ) }.
% 0.86/1.26 { ! cheninblanc_aux( X ), cheninblanc( X ) }.
% 0.86/1.26 { ! chianti_aux( X ), chianti( X ) }.
% 0.86/1.26 { ! cotesdor_aux( X ), cotesdor( X ) }.
% 0.86/1.26 { ! dessertwine_aux( X ), dessertwine( X ) }.
% 0.86/1.26 { ! dryriesling_aux( X ), dryriesling( X ) }.
% 0.86/1.26 { ! icewine_aux( X ), icewine( X ) }.
% 0.86/1.26 { ! margaux_aux( X ), margaux( X ) }.
% 0.86/1.26 { ! meritage_aux( X ), meritage( X ) }.
% 0.86/1.26 { ! merlot_aux( X ), merlot( X ) }.
% 0.86/1.26 { ! meursault_aux( X ), meursault( X ) }.
% 0.86/1.26 { ! muscadet_aux( X ), muscadet( X ) }.
% 0.86/1.26 { ! pauillac_aux( X ), pauillac( X ) }.
% 0.86/1.26 { ! petitesyrah_aux( X ), petitesyrah( X ) }.
% 0.86/1.26 { ! pinotnoir_aux( X ), pinotnoir( X ) }.
% 0.86/1.26 { ! port_aux( X ), port( X ) }.
% 0.86/1.26 { ! redtablewine_aux( X ), redtablewine( X ) }.
% 0.86/1.26 { ! region_aux( X ), region( X ) }.
% 0.86/1.26 { ! riesling_aux( X ), riesling( X ) }.
% 0.86/1.26 { ! sancerre_aux( X ), sancerre( X ) }.
% 0.86/1.26 { ! sauternes_aux( X ), sauternes( X ) }.
% 0.86/1.26 { ! sauvignonblanc_aux( X ), sauvignonblanc( X ) }.
% 0.86/1.26 { ! semillon_aux( X ), semillon( X ) }.
% 0.86/1.26 { ! stemilion_aux( X ), stemilion( X ) }.
% 0.86/1.26 { ! sweetriesling_aux( X ), sweetriesling( X ) }.
% 0.86/1.26 { ! vintageyear_aux( X ), vintageyear( X ) }.
% 0.86/1.26 { ! whiteburgundy_aux( X ), whiteburgundy( X ) }.
% 0.86/1.26 { ! whitewine_aux( X ), whitewine( X ) }.
% 0.86/1.26 { ! winebody_aux( X ), winebody( X ) }.
% 0.86/1.26 { ! winecolor_aux( X ), winecolor( X ) }.
% 0.86/1.26 { ! meritage( X ), q0( X ) }.
% 0.86/1.26 { ! merlot( X ), q0( X ) }.
% 0.86/1.26 { ! pinotnoir( X ), q0( X ) }.
% 0.86/1.26 { ! beaujolais( X ), q0( X ) }.
% 0.86/1.26 { ! cabernetfranc( X ), q0( X ) }.
% 0.86/1.26 { ! zinfandel( X ), q0( X ) }.
% 0.86/1.26 { ! medoc( X ), q0( X ) }.
% 0.86/1.26 { ! cabernetsauvignon( X ), q0( X ) }.
% 0.86/1.26 { ! redtablewine( X ), q0( X ) }.
% 0.86/1.26 { ! petitesyrah( X ), q0( X ) }.
% 0.86/1.26 { ! redwine( X ), q0( X ) }.
% 0.86/1.26 { ! chianti( X ), q0( X ) }.
% 0.86/1.26 { ! stemilion( X ), q0( X ) }.
% 0.86/1.26 { ! q0( Y ), ! kaon2equal( X, Y ), q0( X ) }.
% 0.86/1.26 { ! bordeaux( X ), q1( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q2( Y ), q1( X ) }.
% 0.86/1.26 { ! q1( Y ), ! kaon2equal( X, Y ), q1( X ) }.
% 0.86/1.26 { ! q9( X ), q10( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom4( Y ), q10( X ) }.
% 0.86/1.26 { ! q10( Y ), ! kaon2equal( X, Y ), q10( X ) }.
% 0.86/1.26 { ! pauillac( X ), q11( X ) }.
% 0.86/1.26 { ! port( X ), q11( X ) }.
% 0.86/1.26 { ! stemilion( X ), q11( X ) }.
% 0.86/1.26 { ! q11( Y ), ! kaon2equal( X, Y ), q11( X ) }.
% 0.86/1.26 { ! icewine( X ), q12( X ) }.
% 0.86/1.26 { ! whitetablewine( X ), q12( X ) }.
% 0.86/1.26 { ! cheninblanc( X ), q12( X ) }.
% 0.86/1.26 { ! chardonnay( X ), q12( X ) }.
% 0.86/1.26 { ! pinotblanc( X ), q12( X ) }.
% 0.86/1.26 { ! whitewine( X ), q12( X ) }.
% 0.86/1.26 { ! dryriesling( X ), q12( X ) }.
% 0.86/1.26 { ! sauternes( X ), q12( X ) }.
% 0.86/1.26 { ! semillonorsauvignonblanc( X ), q12( X ) }.
% 0.86/1.26 { ! riesling( X ), q12( X ) }.
% 0.86/1.26 { ! q12( Y ), ! kaon2equal( X, Y ), q12( X ) }.
% 0.86/1.26 { ! margaux( X ), q13( X ) }.
% 0.86/1.26 { ! merlot( X ), q13( X ) }.
% 0.86/1.26 { ! q13( Y ), ! kaon2equal( X, Y ), q13( X ) }.
% 0.86/1.26 { ! gamay( X ), q14( X ) }.
% 0.86/1.26 { ! beaujolais( X ), q14( X ) }.
% 0.86/1.26 { ! q14( Y ), ! kaon2equal( X, Y ), q14( X ) }.
% 0.86/1.26 { ! anjou( X ), q15( X ) }.
% 0.86/1.26 { ! rosewine( X ), q15( X ) }.
% 0.86/1.26 { ! q15( Y ), ! kaon2equal( X, Y ), q15( X ) }.
% 0.86/1.26 { ! meursault( X ), q16( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q17( Y ), q16( X ) }.
% 0.86/1.26 { ! q16( Y ), ! kaon2equal( X, Y ), q16( X ) }.
% 0.86/1.26 { ! q16( X ), q17( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom31( Y ), q17( X ) }.
% 0.86/1.26 { ! q17( Y ), ! kaon2equal( X, Y ), q17( X ) }.
% 0.86/1.26 { ! margaux( X ), q18( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q19( Y ), q18( X ) }.
% 0.86/1.26 { ! q18( Y ), ! kaon2equal( X, Y ), q18( X ) }.
% 0.86/1.26 { ! q18( X ), q19( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom22( Y ), q19( X ) }.
% 0.86/1.26 { ! q19( Y ), ! kaon2equal( X, Y ), q19( X ) }.
% 0.86/1.26 { ! q1( X ), q2( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom23( Y ), q2( X ) }.
% 0.86/1.26 { ! q2( Y ), ! kaon2equal( X, Y ), q2( X ) }.
% 0.86/1.26 { ! sancerre( X ), q20( X ) }.
% 0.86/1.26 { ! muscadet( X ), q20( X ) }.
% 0.86/1.26 { ! beaujolais( X ), q20( X ) }.
% 0.86/1.26 { ! dryriesling( X ), q20( X ) }.
% 0.86/1.26 { ! anjou( X ), q20( X ) }.
% 0.86/1.26 { ! margaux( X ), q20( X ) }.
% 0.86/1.26 { ! q20( Y ), ! kaon2equal( X, Y ), q20( X ) }.
% 0.86/1.26 { ! q12( X ), q21( X ) }.
% 0.86/1.26 { ! hascolor( X, Y ), ! ot____nom5( Y ), q21( X ) }.
% 0.86/1.26 { ! q21( Y ), ! kaon2equal( X, Y ), q21( X ) }.
% 0.86/1.26 { ! beaujolais( X ), q22( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q23( Y ), q22( X ) }.
% 0.86/1.26 { ! q22( Y ), ! kaon2equal( X, Y ), q22( X ) }.
% 0.86/1.26 { ! q22( X ), q23( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom26( Y ), q23( X ) }.
% 0.86/1.26 { ! q23( Y ), ! kaon2equal( X, Y ), q23( X ) }.
% 0.86/1.26 { ! pinotblanc( X ), q24( X ) }.
% 0.86/1.26 { ! muscadet( X ), q24( X ) }.
% 0.86/1.26 { ! q24( Y ), ! kaon2equal( X, Y ), q24( X ) }.
% 0.86/1.26 { ! americanwine( X ), q26( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q27( Y ), q26( X ) }.
% 0.86/1.26 { ! q26( Y ), ! kaon2equal( X, Y ), q26( X ) }.
% 0.86/1.26 { ! q26( X ), q27( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom38( Y ), q27( X ) }.
% 0.86/1.26 { ! q27( Y ), ! kaon2equal( X, Y ), q27( X ) }.
% 0.86/1.26 { ! burgundy( X ), q29( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q30( Y ), q29( X ) }.
% 0.86/1.26 { ! q29( Y ), ! kaon2equal( X, Y ), q29( X ) }.
% 0.86/1.26 { ! margaux( X ), q3( X ) }.
% 0.86/1.26 { ! pauillac( X ), q3( X ) }.
% 0.86/1.26 { ! zinfandel( X ), q3( X ) }.
% 0.86/1.26 { ! chardonnay( X ), q3( X ) }.
% 0.86/1.26 { ! tours( X ), q3( X ) }.
% 0.86/1.26 { ! riesling( X ), q3( X ) }.
% 0.86/1.26 { ! semillon( X ), q3( X ) }.
% 0.86/1.26 { ! petitesyrah( X ), q3( X ) }.
% 0.86/1.26 { ! whiteburgundy( X ), q3( X ) }.
% 0.86/1.26 { ! cabernetsauvignon( X ), q3( X ) }.
% 0.86/1.26 { ! cheninblanc( X ), q3( X ) }.
% 0.86/1.26 { ! sauvignonblanc( X ), q3( X ) }.
% 0.86/1.26 { ! cabernetfranc( X ), q3( X ) }.
% 0.86/1.26 { ! beaujolais( X ), q3( X ) }.
% 0.86/1.26 { ! stemilion( X ), q3( X ) }.
% 0.86/1.26 { ! pinotnoir( X ), q3( X ) }.
% 0.86/1.26 { ! sancerre( X ), q3( X ) }.
% 0.86/1.26 { ! redburgundy( X ), q3( X ) }.
% 0.86/1.26 { ! muscadet( X ), q3( X ) }.
% 0.86/1.26 { ! merlot( X ), q3( X ) }.
% 0.86/1.26 { ! pinotblanc( X ), q3( X ) }.
% 0.86/1.26 { ! gamay( X ), q3( X ) }.
% 0.86/1.26 { ! q3( Y ), ! kaon2equal( X, Y ), q3( X ) }.
% 0.86/1.26 { ! ot____nom8( X ), ! wine( X ), ! kaon2namedobjects( X ), q3( X ) }.
% 0.86/1.26 { ! q29( X ), q30( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom44( Y ), q30( X ) }.
% 0.86/1.26 { ! q30( Y ), ! kaon2equal( X, Y ), q30( X ) }.
% 0.86/1.26 { ! chianti( X ), q31( X ) }.
% 0.86/1.26 { ! cabernetsauvignon( X ), q31( X ) }.
% 0.86/1.26 { ! medoc( X ), q31( X ) }.
% 0.86/1.26 { ! merlot( X ), q31( X ) }.
% 0.86/1.26 { ! muscadet( X ), q31( X ) }.
% 0.86/1.26 { ! tablewine( X ), q31( X ) }.
% 0.86/1.26 { ! drywine( X ), q31( X ) }.
% 0.86/1.26 { ! beaujolais( X ), q31( X ) }.
% 0.86/1.26 { ! zinfandel( X ), q31( X ) }.
% 0.86/1.26 { ! cabernetfranc( X ), q31( X ) }.
% 0.86/1.26 { ! burgundy( X ), q31( X ) }.
% 0.86/1.26 { ! dryriesling( X ), q31( X ) }.
% 0.86/1.26 { ! petitesyrah( X ), q31( X ) }.
% 0.86/1.26 { ! q31( Y ), ! kaon2equal( X, Y ), q31( X ) }.
% 0.86/1.26 { ! sancerre( X ), q32( X ) }.
% 0.86/1.26 { ! anjou( X ), q32( X ) }.
% 0.86/1.26 { ! q32( Y ), ! kaon2equal( X, Y ), q32( X ) }.
% 0.86/1.26 { ! medoc( X ), q33( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q34( Y ), q33( X ) }.
% 0.86/1.26 { ! q33( Y ), ! kaon2equal( X, Y ), q33( X ) }.
% 0.86/1.26 { ! q33( X ), q34( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom2( Y ), q34( X ) }.
% 0.86/1.26 { ! q34( Y ), ! kaon2equal( X, Y ), q34( X ) }.
% 0.86/1.26 { ! pauillac( X ), q35( X ) }.
% 0.86/1.26 { ! port( X ), q35( X ) }.
% 0.86/1.26 { ! sweetriesling( X ), q35( X ) }.
% 0.86/1.26 { ! meursault( X ), q35( X ) }.
% 0.86/1.26 { ! fullbodiedwine( X ), q35( X ) }.
% 0.86/1.26 { ! q35( Y ), ! kaon2equal( X, Y ), q35( X ) }.
% 0.86/1.26 { ! whitenonsweetwine( X ), q36( X ) }.
% 0.86/1.26 { ! earlyharvest( X ), q36( X ) }.
% 0.86/1.26 { ! cheninblanc( X ), q36( X ) }.
% 0.86/1.26 { ! q36( Y ), ! kaon2equal( X, Y ), q36( X ) }.
% 0.86/1.26 { ! cotesdor( X ), q37( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q38( Y ), q37( X ) }.
% 0.86/1.26 { ! q37( Y ), ! kaon2equal( X, Y ), q37( X ) }.
% 0.86/1.26 { ! q37( X ), q38( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom42( Y ), q38( X ) }.
% 0.86/1.26 { ! q38( Y ), ! kaon2equal( X, Y ), q38( X ) }.
% 0.86/1.26 { ! sancerre( X ), q39( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q40( Y ), q39( X ) }.
% 0.86/1.26 { ! q39( Y ), ! kaon2equal( X, Y ), q39( X ) }.
% 0.86/1.26 { ! cheninblanc( X ), q4( X ) }.
% 0.86/1.26 { ! chianti( X ), q4( X ) }.
% 0.86/1.26 { ! cabernetfranc( X ), q4( X ) }.
% 0.86/1.26 { ! cotesdor( X ), q4( X ) }.
% 0.86/1.26 { ! q4( Y ), ! kaon2equal( X, Y ), q4( X ) }.
% 0.86/1.26 { ! q39( X ), q40( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom30( Y ), q40( X ) }.
% 0.86/1.26 { ! q40( Y ), ! kaon2equal( X, Y ), q40( X ) }.
% 0.86/1.26 { ! q0( X ), q41( X ) }.
% 0.86/1.26 { ! hascolor( X, Y ), ! ot____nom28( Y ), q41( X ) }.
% 0.86/1.26 { ! q41( Y ), ! kaon2equal( X, Y ), q41( X ) }.
% 0.86/1.26 { ! pauillac( X ), q42( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q43( Y ), q42( X ) }.
% 0.86/1.26 { ! q42( Y ), ! kaon2equal( X, Y ), q42( X ) }.
% 0.86/1.26 { ! q42( X ), q43( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom46( Y ), q43( X ) }.
% 0.86/1.26 { ! q43( Y ), ! kaon2equal( X, Y ), q43( X ) }.
% 0.86/1.26 { ! sancerre( X ), q44( X ) }.
% 0.86/1.26 { ! sauvignonblanc( X ), q44( X ) }.
% 0.86/1.26 { ! q44( Y ), ! kaon2equal( X, Y ), q44( X ) }.
% 0.86/1.26 { ! beaujolais( X ), q45( X ) }.
% 0.86/1.26 { ! muscadet( X ), q45( X ) }.
% 0.86/1.26 { ! anjou( X ), q45( X ) }.
% 0.86/1.26 { ! q45( Y ), ! kaon2equal( X, Y ), q45( X ) }.
% 0.86/1.26 { ! q31( X ), q46( X ) }.
% 0.86/1.26 { ! hassugar( X, Y ), ! ot____nom12( Y ), q46( X ) }.
% 0.86/1.26 { ! q46( Y ), ! kaon2equal( X, Y ), q46( X ) }.
% 0.86/1.26 { ! californiawine( X ), q47( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q48( Y ), q47( X ) }.
% 0.86/1.26 { ! q47( Y ), ! kaon2equal( X, Y ), q47( X ) }.
% 0.86/1.26 { ! q47( X ), q48( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom15( Y ), q48( X ) }.
% 0.86/1.26 { ! q48( Y ), ! kaon2equal( X, Y ), q48( X ) }.
% 0.86/1.26 { ! germanwine( X ), q49( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q50( Y ), q49( X ) }.
% 0.86/1.26 { ! q49( Y ), ! kaon2equal( X, Y ), q49( X ) }.
% 0.86/1.26 { ! meritage( X ), q5( X ) }.
% 0.86/1.26 { ! q24( X ), q5( X ) }.
% 0.86/1.26 { ! q6( X ), q5( X ) }.
% 0.86/1.26 { ! q13( X ), q5( X ) }.
% 0.86/1.26 { ! q72( X ), q5( X ) }.
% 0.86/1.26 { ! q14( X ), q5( X ) }.
% 0.86/1.26 { ! q69( X ), q5( X ) }.
% 0.86/1.26 { ! q63( X ), q5( X ) }.
% 0.86/1.26 { ! q44( X ), ! semillonorsauvignonblanc( X ), q5( X ) }.
% 0.86/1.26 { ! q5( Y ), ! kaon2equal( X, Y ), q5( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom3( Y ), q5( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom43( Y ), q5( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom24( Y ), q5( X ) }.
% 0.86/1.26 { ! semillonorsauvignonblanc( X ), ! madefromgrape( X, Y ), ! ot____nom11(
% 0.86/1.26 Y ), q5( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom34( Y ), q5( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom37( Y ), q5( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom20( Y ), q5( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom33( Y ), q5( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom39( Y ), q5( X ) }.
% 0.86/1.26 { ! semillonorsauvignonblanc( X ), ! madefromgrape( X, Y ), ! ot____nom27(
% 0.86/1.26 Y ), q5( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom25( Y ), q5( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom21( Y ), q5( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom29( Y ), q5( X ) }.
% 0.86/1.26 { ! q49( X ), q50( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom17( Y ), q50( X ) }.
% 0.86/1.26 { ! q50( Y ), ! kaon2equal( X, Y ), q50( X ) }.
% 0.86/1.26 { ! frenchwine( X ), q51( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q52( Y ), q51( X ) }.
% 0.86/1.26 { ! q51( Y ), ! kaon2equal( X, Y ), q51( X ) }.
% 0.86/1.26 { ! q51( X ), q52( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom41( Y ), q52( X ) }.
% 0.86/1.26 { ! q52( Y ), ! kaon2equal( X, Y ), q52( X ) }.
% 0.86/1.26 { ! muscadet( X ), q55( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q56( Y ), q55( X ) }.
% 0.86/1.26 { ! q55( Y ), ! kaon2equal( X, Y ), q55( X ) }.
% 0.86/1.26 { ! q55( X ), q56( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom16( Y ), q56( X ) }.
% 0.86/1.26 { ! q56( Y ), ! kaon2equal( X, Y ), q56( X ) }.
% 0.86/1.26 { ! loire( X ), q57( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q58( Y ), q57( X ) }.
% 0.86/1.26 { ! q57( Y ), ! kaon2equal( X, Y ), q57( X ) }.
% 0.86/1.26 { ! q57( X ), q58( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom19( Y ), q58( X ) }.
% 0.86/1.26 { ! q58( Y ), ! kaon2equal( X, Y ), q58( X ) }.
% 0.86/1.26 { ! alsatianwine( X ), q59( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q60( Y ), q59( X ) }.
% 0.86/1.26 { ! q59( Y ), ! kaon2equal( X, Y ), q59( X ) }.
% 0.86/1.26 { ! cheninblanc( X ), q6( X ) }.
% 0.86/1.26 { ! tours( X ), q6( X ) }.
% 0.86/1.26 { ! q6( Y ), ! kaon2equal( X, Y ), q6( X ) }.
% 0.86/1.26 { ! q59( X ), q60( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom13( Y ), q60( X ) }.
% 0.86/1.26 { ! q60( Y ), ! kaon2equal( X, Y ), q60( X ) }.
% 0.86/1.26 { ! italianwine( X ), q61( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q62( Y ), q61( X ) }.
% 0.86/1.26 { ! q61( Y ), ! kaon2equal( X, Y ), q61( X ) }.
% 0.86/1.26 { ! q61( X ), q62( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom47( Y ), q62( X ) }.
% 0.86/1.26 { ! q62( Y ), ! kaon2equal( X, Y ), q62( X ) }.
% 0.86/1.26 { ! chardonnay( X ), q63( X ) }.
% 0.86/1.26 { ! whiteburgundy( X ), q63( X ) }.
% 0.86/1.26 { ! q63( Y ), ! kaon2equal( X, Y ), q63( X ) }.
% 0.86/1.26 { ! stemilion( X ), q64( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q65( Y ), q64( X ) }.
% 0.86/1.26 { ! q64( Y ), ! kaon2equal( X, Y ), q64( X ) }.
% 0.86/1.26 { ! q64( X ), q65( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom36( Y ), q65( X ) }.
% 0.86/1.26 { ! q65( Y ), ! kaon2equal( X, Y ), q65( X ) }.
% 0.86/1.26 { ! anjou( X ), q66( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q67( Y ), q66( X ) }.
% 0.86/1.26 { ! q66( Y ), ! kaon2equal( X, Y ), q66( X ) }.
% 0.86/1.26 { ! q66( X ), q67( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom14( Y ), q67( X ) }.
% 0.86/1.26 { ! q67( Y ), ! kaon2equal( X, Y ), q67( X ) }.
% 0.86/1.26 { ! whitebordeaux( X ), q68( X ) }.
% 0.86/1.26 { ! semillonorsauvignonblanc( X ), q68( X ) }.
% 0.86/1.26 { ! q68( Y ), ! kaon2equal( X, Y ), q68( X ) }.
% 0.86/1.26 { ! pauillac( X ), q69( X ) }.
% 0.86/1.26 { ! cabernetsauvignon( X ), q69( X ) }.
% 0.86/1.26 { ! stemilion( X ), q69( X ) }.
% 0.86/1.26 { ! q69( Y ), ! kaon2equal( X, Y ), q69( X ) }.
% 0.86/1.26 { ! cabernetfranc( X ), q7( X ) }.
% 0.86/1.26 { ! sauternes( X ), q7( X ) }.
% 0.86/1.26 { ! sancerre( X ), q7( X ) }.
% 0.86/1.26 { ! q7( Y ), ! kaon2equal( X, Y ), q7( X ) }.
% 0.86/1.26 { ! sweetriesling( X ), q70( X ) }.
% 0.86/1.26 { ! port( X ), q70( X ) }.
% 0.86/1.26 { ! sweetwine( X ), q70( X ) }.
% 0.86/1.26 { ! lateharvest( X ), q70( X ) }.
% 0.86/1.26 { ! q70( Y ), ! kaon2equal( X, Y ), q70( X ) }.
% 0.86/1.26 { ! q70( X ), q71( X ) }.
% 0.86/1.26 { ! hassugar( X, Y ), ! ot____nom1( Y ), q71( X ) }.
% 0.86/1.26 { ! q71( Y ), ! kaon2equal( X, Y ), q71( X ) }.
% 0.86/1.26 { ! pinotnoir( X ), q72( X ) }.
% 0.86/1.26 { ! redburgundy( X ), q72( X ) }.
% 0.86/1.26 { ! q72( Y ), ! kaon2equal( X, Y ), q72( X ) }.
% 0.86/1.26 { ! texaswine( X ), q73( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q74( Y ), q73( X ) }.
% 0.86/1.26 { ! q73( Y ), ! kaon2equal( X, Y ), q73( X ) }.
% 0.86/1.26 { ! q73( X ), q74( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! ot____nom10( Y ), q74( X ) }.
% 0.86/1.26 { ! q74( Y ), ! kaon2equal( X, Y ), q74( X ) }.
% 0.86/1.26 { ! tours( X ), q9( X ) }.
% 0.86/1.26 { ! locatedin( X, Y ), ! q10( Y ), q9( X ) }.
% 0.86/1.26 { ! q9( Y ), ! kaon2equal( X, Y ), q9( X ) }.
% 0.86/1.26 { ! q60( X ), ! wine( X ), alsatianwine( X ) }.
% 0.86/1.26 { ! alsatianwine( Y ), ! kaon2equal( X, Y ), alsatianwine( X ) }.
% 0.86/1.26 { ! q27( X ), ! wine( X ), americanwine( X ) }.
% 0.86/1.26 { ! americanwine( Y ), ! kaon2equal( X, Y ), americanwine( X ) }.
% 0.86/1.26 { ! q67( X ), ! loire( X ), anjou( X ) }.
% 0.86/1.26 { ! anjou( Y ), ! kaon2equal( X, Y ), anjou( X ) }.
% 0.86/1.26 { ! q23( X ), ! wine( X ), beaujolais( X ) }.
% 0.86/1.26 { ! beaujolais( Y ), ! kaon2equal( X, Y ), beaujolais( X ) }.
% 0.86/1.26 { ! sauternes( X ), bordeaux( X ) }.
% 0.86/1.26 { ! medoc( X ), bordeaux( X ) }.
% 0.86/1.26 { ! redbordeaux( X ), bordeaux( X ) }.
% 0.86/1.26 { ! stemilion( X ), bordeaux( X ) }.
% 0.86/1.26 { ! whitebordeaux( X ), bordeaux( X ) }.
% 0.86/1.26 { ! q2( X ), ! wine( X ), bordeaux( X ) }.
% 0.86/1.26 { ! bordeaux( Y ), ! kaon2equal( X, Y ), bordeaux( X ) }.
% 0.86/1.26 { ! whiteburgundy( X ), burgundy( X ) }.
% 0.86/1.26 { ! redburgundy( X ), burgundy( X ) }.
% 0.86/1.26 { ! q30( X ), ! wine( X ), burgundy( X ) }.
% 0.86/1.26 { ! burgundy( Y ), ! kaon2equal( X, Y ), burgundy( X ) }.
% 0.86/1.26 { ! cabernetfranc( Y ), ! kaon2equal( X, Y ), cabernetfranc( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom3( Y ), cabernetfranc( X
% 0.86/1.26 ) }.
% 0.86/1.26 { ! q69( X ), cabernetsauvignon( X ) }.
% 0.86/1.26 { ! cabernetsauvignon( Y ), ! kaon2equal( X, Y ), cabernetsauvignon( X ) }
% 0.86/1.26 .
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom29( Y ),
% 0.86/1.26 cabernetsauvignon( X ) }.
% 0.86/1.26 { ! q48( X ), ! wine( X ), californiawine( X ) }.
% 0.86/1.26 { ! californiawine( Y ), ! kaon2equal( X, Y ), californiawine( X ) }.
% 0.86/1.26 { ! q63( X ), chardonnay( X ) }.
% 0.86/1.26 { ! chardonnay( Y ), ! kaon2equal( X, Y ), chardonnay( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom24( Y ), chardonnay( X )
% 0.86/1.26 }.
% 0.86/1.26 { ! q6( X ), cheninblanc( X ) }.
% 0.86/1.26 { ! cheninblanc( Y ), ! kaon2equal( X, Y ), cheninblanc( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom34( Y ), cheninblanc( X
% 0.86/1.26 ) }.
% 0.86/1.26 { ! chianti( Y ), ! kaon2equal( X, Y ), chianti( X ) }.
% 0.86/1.26 { ! q38( X ), ! redburgundy( X ), cotesdor( X ) }.
% 0.86/1.26 { ! cotesdor( Y ), ! kaon2equal( X, Y ), cotesdor( X ) }.
% 0.86/1.26 { ! sweetriesling( X ), dessertwine( X ) }.
% 0.86/1.26 { ! icewine( X ), dessertwine( X ) }.
% 0.86/1.26 { ! dessertwine( Y ), ! kaon2equal( X, Y ), dessertwine( X ) }.
% 0.86/1.26 { ! drywine( X ), ! redwine( X ), dryredwine( X ) }.
% 0.86/1.26 { ! dryredwine( Y ), ! kaon2equal( X, Y ), dryredwine( X ) }.
% 0.86/1.26 { ! q46( X ), ! riesling( X ), dryriesling( X ) }.
% 0.86/1.26 { ! dryriesling( Y ), ! kaon2equal( X, Y ), dryriesling( X ) }.
% 0.86/1.26 { ! drywine( X ), ! whitewine( X ), drywhitewine( X ) }.
% 0.86/1.26 { ! drywhitewine( Y ), ! kaon2equal( X, Y ), drywhitewine( X ) }.
% 0.86/1.26 { ! drywhitewine( X ), drywine( X ) }.
% 0.86/1.26 { ! dryredwine( X ), drywine( X ) }.
% 0.86/1.26 { ! q46( X ), ! wine( X ), drywine( X ) }.
% 0.86/1.26 { ! drywine( Y ), ! kaon2equal( X, Y ), drywine( X ) }.
% 0.86/1.26 { ! earlyharvest( Y ), ! kaon2equal( X, Y ), earlyharvest( X ) }.
% 0.86/1.26 { ! q52( X ), ! wine( X ), frenchwine( X ) }.
% 0.86/1.26 { ! frenchwine( Y ), ! kaon2equal( X, Y ), frenchwine( X ) }.
% 0.86/1.26 { ! q35( X ), fullbodiedwine( X ) }.
% 0.86/1.26 { ! fullbodiedwine( Y ), ! kaon2equal( X, Y ), fullbodiedwine( X ) }.
% 0.86/1.26 { ! wine( X ), ! hasbody( X, Y ), ! ot____nom45( Y ), fullbodiedwine( X ) }
% 0.86/1.26 .
% 0.86/1.26 { ! q14( X ), gamay( X ) }.
% 0.86/1.26 { ! gamay( Y ), ! kaon2equal( X, Y ), gamay( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom33( Y ), gamay( X ) }.
% 0.86/1.26 { ! q50( X ), ! wine( X ), germanwine( X ) }.
% 0.86/1.26 { ! germanwine( Y ), ! kaon2equal( X, Y ), germanwine( X ) }.
% 0.86/1.26 { ! winegrape( X ), grape( X ) }.
% 0.86/1.26 { ! grape( Y ), ! kaon2equal( X, Y ), grape( X ) }.
% 0.86/1.26 { ! icewine( Y ), ! kaon2equal( X, Y ), icewine( X ) }.
% 0.86/1.26 { ! q21( X ), ! dessertwine( X ), ! lateharvest( X ), icewine( X ) }.
% 0.86/1.26 { ! chianti( X ), italianwine( X ) }.
% 0.86/1.26 { ! q62( X ), ! wine( X ), italianwine( X ) }.
% 0.86/1.26 { ! italianwine( Y ), ! kaon2equal( X, Y ), italianwine( X ) }.
% 0.86/1.26 { ! icewine( X ), lateharvest( X ) }.
% 0.86/1.26 { ! sauternes( X ), lateharvest( X ) }.
% 0.86/1.26 { ! lateharvest( Y ), ! kaon2equal( X, Y ), lateharvest( X ) }.
% 0.86/1.26 { ! sancerre( X ), loire( X ) }.
% 0.86/1.26 { ! tours( X ), loire( X ) }.
% 0.86/1.26 { ! whiteloire( X ), loire( X ) }.
% 0.86/1.26 { ! anjou( X ), loire( X ) }.
% 0.86/1.26 { ! muscadet( X ), loire( X ) }.
% 0.86/1.26 { ! q58( X ), ! wine( X ), loire( X ) }.
% 0.86/1.26 { ! loire( Y ), ! kaon2equal( X, Y ), loire( X ) }.
% 0.86/1.26 { ! q19( X ), ! medoc( X ), margaux( X ) }.
% 0.86/1.26 { ! margaux( Y ), ! kaon2equal( X, Y ), margaux( X ) }.
% 0.86/1.26 { ! pauillac( X ), medoc( X ) }.
% 0.86/1.26 { ! margaux( X ), medoc( X ) }.
% 0.86/1.26 { ! q34( X ), ! bordeaux( X ), medoc( X ) }.
% 0.86/1.26 { ! medoc( Y ), ! kaon2equal( X, Y ), medoc( X ) }.
% 0.86/1.26 { ! meritage( Y ), ! kaon2equal( X, Y ), meritage( X ) }.
% 0.86/1.26 { ! ot____nom8( X ), ! wine( X ), ! kaon2namedobjects( X ), meritage( X ) }
% 0.86/1.26 .
% 0.86/1.26 { ! q13( X ), merlot( X ) }.
% 0.86/1.26 { ! merlot( Y ), ! kaon2equal( X, Y ), merlot( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom43( Y ), merlot( X ) }.
% 0.86/1.26 { ! q17( X ), ! whiteburgundy( X ), meursault( X ) }.
% 0.86/1.26 { ! meursault( Y ), ! kaon2equal( X, Y ), meursault( X ) }.
% 0.86/1.26 { ! q56( X ), ! loire( X ), muscadet( X ) }.
% 0.86/1.26 { ! muscadet( Y ), ! kaon2equal( X, Y ), muscadet( X ) }.
% 0.86/1.26 { ! q43( X ), ! medoc( X ), pauillac( X ) }.
% 0.86/1.26 { ! pauillac( Y ), ! kaon2equal( X, Y ), pauillac( X ) }.
% 0.86/1.26 { ! petitesyrah( Y ), ! kaon2equal( X, Y ), petitesyrah( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom25( Y ), petitesyrah( X
% 0.86/1.26 ) }.
% 0.86/1.26 { ! q24( X ), pinotblanc( X ) }.
% 0.86/1.26 { ! pinotblanc( Y ), ! kaon2equal( X, Y ), pinotblanc( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom21( Y ), pinotblanc( X )
% 0.86/1.26 }.
% 0.86/1.26 { ! q72( X ), pinotnoir( X ) }.
% 0.86/1.26 { ! pinotnoir( Y ), ! kaon2equal( X, Y ), pinotnoir( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom39( Y ), pinotnoir( X )
% 0.86/1.26 }.
% 0.86/1.26 { ! port( Y ), ! kaon2equal( X, Y ), port( X ) }.
% 0.86/1.26 { ! wine( X ), potableliquid( X ) }.
% 0.86/1.26 { ! potableliquid( Y ), ! kaon2equal( X, Y ), potableliquid( X ) }.
% 0.86/1.26 { ! redwine( X ), ! bordeaux( X ), redbordeaux( X ) }.
% 0.86/1.26 { ! redbordeaux( Y ), ! kaon2equal( X, Y ), redbordeaux( X ) }.
% 0.86/1.26 { ! cotesdor( X ), redburgundy( X ) }.
% 0.86/1.26 { ! burgundy( X ), ! redwine( X ), redburgundy( X ) }.
% 0.86/1.26 { ! redburgundy( Y ), ! kaon2equal( X, Y ), redburgundy( X ) }.
% 0.86/1.26 { ! q41( X ), ! tablewine( X ), redtablewine( X ) }.
% 0.86/1.26 { ! redtablewine( Y ), ! kaon2equal( X, Y ), redtablewine( X ) }.
% 0.86/1.26 { ! redburgundy( X ), redwine( X ) }.
% 0.86/1.26 { ! redbordeaux( X ), redwine( X ) }.
% 0.86/1.26 { ! dryredwine( X ), redwine( X ) }.
% 0.86/1.26 { ! port( X ), redwine( X ) }.
% 0.86/1.26 { ! q41( X ), ! wine( X ), redwine( X ) }.
% 0.86/1.26 { ! redwine( Y ), ! kaon2equal( X, Y ), redwine( X ) }.
% 0.86/1.26 { ! adjacentregion( Y, X ), region( X ) }.
% 0.86/1.26 { ! locatedin( Y, X ), region( X ) }.
% 0.86/1.26 { ! adjacentregion( X, Y ), region( X ) }.
% 0.86/1.26 { ! wine( X ), ! kaon2namedobjects( X ), region( X ) }.
% 0.86/1.26 { ! region( Y ), ! kaon2equal( X, Y ), region( X ) }.
% 0.86/1.26 { ! dryriesling( X ), riesling( X ) }.
% 0.86/1.26 { ! sweetriesling( X ), riesling( X ) }.
% 0.86/1.26 { ! riesling( Y ), ! kaon2equal( X, Y ), riesling( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom37( Y ), riesling( X ) }
% 0.86/1.26 .
% 0.86/1.26 { ! q15( X ), rosewine( X ) }.
% 0.86/1.26 { ! rosewine( Y ), ! kaon2equal( X, Y ), rosewine( X ) }.
% 0.86/1.26 { ! wine( X ), ! hascolor( X, Y ), ! ot____nom32( Y ), rosewine( X ) }.
% 0.86/1.26 { ! q40( X ), ! loire( X ), sancerre( X ) }.
% 0.86/1.26 { ! sancerre( Y ), ! kaon2equal( X, Y ), sancerre( X ) }.
% 0.86/1.26 { ! sauternes( Y ), ! kaon2equal( X, Y ), sauternes( X ) }.
% 0.86/1.26 { ! q44( X ), ! semillonorsauvignonblanc( X ), sauvignonblanc( X ) }.
% 0.86/1.26 { ! sauvignonblanc( Y ), ! kaon2equal( X, Y ), sauvignonblanc( X ) }.
% 0.86/1.26 { ! semillonorsauvignonblanc( X ), ! madefromgrape( X, Y ), ! ot____nom11(
% 0.86/1.26 Y ), sauvignonblanc( X ) }.
% 0.86/1.26 { ! semillon( Y ), ! kaon2equal( X, Y ), semillon( X ) }.
% 0.86/1.26 { ! semillonorsauvignonblanc( X ), ! madefromgrape( X, Y ), ! ot____nom27(
% 0.86/1.26 Y ), semillon( X ) }.
% 0.86/1.26 { ! semillon( X ), semillonorsauvignonblanc( X ) }.
% 0.86/1.26 { ! sauvignonblanc( X ), semillonorsauvignonblanc( X ) }.
% 0.86/1.26 { ! q68( X ), ! wine( X ), semillonorsauvignonblanc( X ) }.
% 0.86/1.26 { ! semillonorsauvignonblanc( Y ), ! kaon2equal( X, Y ),
% 0.86/1.26 semillonorsauvignonblanc( X ) }.
% 0.86/1.26 { ! ot____nom6( X ), ! wine( X ), ! kaon2namedobjects( X ),
% 0.86/1.26 semillonorsauvignonblanc( X ) }.
% 0.86/1.26 { ! q65( X ), ! bordeaux( X ), stemilion( X ) }.
% 0.86/1.26 { ! stemilion( Y ), ! kaon2equal( X, Y ), stemilion( X ) }.
% 0.86/1.26 { ! q71( X ), ! riesling( X ), sweetriesling( X ) }.
% 0.86/1.26 { ! sweetriesling( Y ), ! kaon2equal( X, Y ), sweetriesling( X ) }.
% 0.86/1.26 { ! q71( X ), ! wine( X ), sweetwine( X ) }.
% 0.86/1.26 { ! sweetwine( Y ), ! kaon2equal( X, Y ), sweetwine( X ) }.
% 0.86/1.26 { ! whitetablewine( X ), tablewine( X ) }.
% 0.86/1.26 { ! redtablewine( X ), tablewine( X ) }.
% 0.86/1.26 { ! q46( X ), ! wine( X ), tablewine( X ) }.
% 0.86/1.26 { ! tablewine( Y ), ! kaon2equal( X, Y ), tablewine( X ) }.
% 0.86/1.26 { ! q74( X ), ! wine( X ), texaswine( X ) }.
% 0.86/1.26 { ! texaswine( Y ), ! kaon2equal( X, Y ), texaswine( X ) }.
% 0.86/1.26 { ! q10( X ), ! loire( X ), tours( X ) }.
% 0.86/1.26 { ! tours( Y ), ! kaon2equal( X, Y ), tours( X ) }.
% 0.86/1.26 { ! hasvintageyear( X, Y ), vintage( X ) }.
% 0.86/1.26 { ! vintage( Y ), ! kaon2equal( X, Y ), vintage( X ) }.
% 0.86/1.26 { ! hasvintageyear( Y, X ), vintageyear( X ) }.
% 0.86/1.26 { ! vintageyear( Y ), ! kaon2equal( X, Y ), vintageyear( X ) }.
% 0.86/1.26 { ! bordeaux( X ), ! whitewine( X ), whitebordeaux( X ) }.
% 0.86/1.26 { ! whitebordeaux( Y ), ! kaon2equal( X, Y ), whitebordeaux( X ) }.
% 0.86/1.26 { ! meursault( X ), whiteburgundy( X ) }.
% 0.86/1.26 { ! burgundy( X ), ! whitewine( X ), whiteburgundy( X ) }.
% 0.86/1.26 { ! whiteburgundy( Y ), ! kaon2equal( X, Y ), whiteburgundy( X ) }.
% 0.86/1.26 { ! loire( X ), ! whitewine( X ), whiteloire( X ) }.
% 0.86/1.26 { ! whiteloire( Y ), ! kaon2equal( X, Y ), whiteloire( X ) }.
% 0.86/1.26 { ! whitewine( X ), ! kaon2namedobjects( X ), whitenonsweetwine( X ) }.
% 0.86/1.26 { ! q36( X ), ! whitewine( X ), whitenonsweetwine( X ) }.
% 0.86/1.26 { ! whitenonsweetwine( Y ), ! kaon2equal( X, Y ), whitenonsweetwine( X ) }
% 0.86/1.26 .
% 0.86/1.26 { ! ot____nom7( X ), ! whitewine( X ), ! kaon2namedobjects( X ),
% 0.86/1.26 whitenonsweetwine( X ) }.
% 0.86/1.26 { ! q21( X ), ! tablewine( X ), whitetablewine( X ) }.
% 0.86/1.26 { ! whitetablewine( Y ), ! kaon2equal( X, Y ), whitetablewine( X ) }.
% 0.86/1.26 { ! drywhitewine( X ), whitewine( X ) }.
% 0.86/1.26 { ! whiteburgundy( X ), whitewine( X ) }.
% 0.86/1.26 { ! whitebordeaux( X ), whitewine( X ) }.
% 0.86/1.26 { ! whiteloire( X ), whitewine( X ) }.
% 0.86/1.26 { ! whitenonsweetwine( X ), whitewine( X ) }.
% 0.86/1.26 { ! q21( X ), ! wine( X ), whitewine( X ) }.
% 0.86/1.26 { ! whitewine( Y ), ! kaon2equal( X, Y ), whitewine( X ) }.
% 0.86/1.26 { ! q14( X ), wine( X ) }.
% 0.86/1.26 { ! texaswine( X ), wine( X ) }.
% 0.86/1.26 { ! q63( X ), wine( X ) }.
% 0.86/1.26 { ! q20( X ), wine( X ) }.
% 0.86/1.26 { ! tablewine( X ), wine( X ) }.
% 0.86/1.26 { ! haswinedescriptor( X, Y ), wine( X ) }.
% 0.86/1.26 { ! q31( X ), wine( X ) }.
% 0.86/1.26 { ! q11( X ), wine( X ) }.
% 0.86/1.26 { ! q15( X ), wine( X ) }.
% 0.86/1.26 { ! earlyharvest( X ), wine( X ) }.
% 0.86/1.26 { ! sweetwine( X ), wine( X ) }.
% 0.86/1.26 { ! americanwine( X ), wine( X ) }.
% 0.86/1.26 { ! alsatianwine( X ), wine( X ) }.
% 0.86/1.26 { ! q0( X ), wine( X ) }.
% 0.86/1.26 { ! madefromgrape( X, Y ), wine( X ) }.
% 0.86/1.26 { ! cabernetfranc( X ), wine( X ) }.
% 0.86/1.26 { ! semillonorsauvignonblanc( X ), wine( X ) }.
% 0.86/1.26 { ! beaujolais( X ), wine( X ) }.
% 0.86/1.26 { ! fullbodiedwine( X ), wine( X ) }.
% 0.86/1.26 { ! loire( X ), wine( X ) }.
% 0.86/1.26 { ! petitesyrah( X ), wine( X ) }.
% 0.86/1.26 { ! q12( X ), wine( X ) }.
% 0.86/1.26 { ! q45( X ), wine( X ) }.
% 0.86/1.26 { ! q7( X ), wine( X ) }.
% 0.86/1.26 { ! pinotnoir( X ), wine( X ) }.
% 0.86/1.26 { ! q35( X ), wine( X ) }.
% 0.86/1.26 { ! q24( X ), wine( X ) }.
% 0.86/1.26 { ! frenchwine( X ), wine( X ) }.
% 0.86/1.26 { ! meritage( X ), wine( X ) }.
% 0.86/1.26 { ! zinfandel( X ), wine( X ) }.
% 0.86/1.26 { ! californiawine( X ), wine( X ) }.
% 0.86/1.26 { ! pinotblanc( X ), wine( X ) }.
% 0.86/1.26 { ! q44( X ), wine( X ) }.
% 0.86/1.26 { ! bordeaux( X ), wine( X ) }.
% 0.86/1.26 { ! riesling( X ), wine( X ) }.
% 0.86/1.26 { ! hascolor( X, Y ), wine( X ) }.
% 0.86/1.26 { ! redwine( X ), wine( X ) }.
% 0.86/1.26 { ! whitewine( X ), wine( X ) }.
% 0.86/1.26 { ! dessertwine( X ), wine( X ) }.
% 0.86/1.26 { ! q69( X ), wine( X ) }.
% 0.86/1.26 { ! q6( X ), wine( X ) }.
% 0.86/1.26 { ! drywine( X ), wine( X ) }.
% 0.86/1.26 { ! q13( X ), wine( X ) }.
% 0.86/1.26 { ! germanwine( X ), wine( X ) }.
% 0.86/1.26 { ! burgundy( X ), wine( X ) }.
% 0.86/1.26 { ! cabernetsauvignon( X ), wine( X ) }.
% 0.86/1.26 { ! q72( X ), wine( X ) }.
% 0.86/1.26 { ! q70( X ), wine( X ) }.
% 0.86/1.26 { ! q4( X ), wine( X ) }.
% 0.86/1.26 { ! italianwine( X ), wine( X ) }.
% 0.86/1.26 { ! chardonnay( X ), wine( X ) }.
% 0.86/1.26 { ! semillon( X ), wine( X ) }.
% 0.86/1.26 { ! q5( X ), wine( X ) }.
% 0.86/1.26 { ! rosewine( X ), wine( X ) }.
% 0.86/1.26 { ! q32( X ), wine( X ) }.
% 0.86/1.26 { ! lateharvest( X ), wine( X ) }.
% 0.86/1.26 { ! merlot( X ), wine( X ) }.
% 0.86/1.26 { ! wine( Y ), ! kaon2equal( X, Y ), wine( X ) }.
% 0.86/1.26 { ! ot____nom40( X ), winebody( X ) }.
% 0.86/1.26 { ! hasbody( Y, X ), winebody( X ) }.
% 0.86/1.26 { ! winebody( Y ), ! kaon2equal( X, Y ), winebody( X ) }.
% 0.86/1.26 { ! ot____nom9( X ), winecolor( X ) }.
% 0.86/1.26 { ! hascolor( Y, X ), winecolor( X ) }.
% 0.86/1.26 { ! winedescriptor( X ), winecolor( X ) }.
% 0.86/1.26 { ! winecolor( Y ), ! kaon2equal( X, Y ), winecolor( X ) }.
% 0.86/1.26 { ! winecolor( X ), winedescriptor( X ) }.
% 0.86/1.26 { ! winetaste( X ), winedescriptor( X ) }.
% 0.86/1.26 { ! haswinedescriptor( Y, X ), winedescriptor( X ) }.
% 0.86/1.26 { ! winedescriptor( Y ), ! kaon2equal( X, Y ), winedescriptor( X ) }.
% 0.86/1.26 { ! hasflavor( Y, X ), wineflavor( X ) }.
% 0.86/1.26 { ! ot____nom35( X ), wineflavor( X ) }.
% 0.86/1.26 { ! wineflavor( Y ), ! kaon2equal( X, Y ), wineflavor( X ) }.
% 0.86/1.26 { ! madefromgrape( Y, X ), winegrape( X ) }.
% 0.86/1.26 { ! winegrape( Y ), ! kaon2equal( X, Y ), winegrape( X ) }.
% 0.86/1.26 { ! ot____nom18( X ), winesugar( X ) }.
% 0.86/1.26 { ! hassugar( Y, X ), winesugar( X ) }.
% 0.86/1.26 { ! winesugar( Y ), ! kaon2equal( X, Y ), winesugar( X ) }.
% 0.86/1.26 { ! wineflavor( X ), winetaste( X ) }.
% 0.86/1.26 { ! winesugar( X ), winetaste( X ) }.
% 0.86/1.26 { ! winebody( X ), winetaste( X ) }.
% 0.86/1.26 { ! winedescriptor( X ), winetaste( X ) }.
% 0.86/1.26 { ! winetaste( Y ), ! kaon2equal( X, Y ), winetaste( X ) }.
% 0.86/1.26 { ! wine( Y ), ! hasmaker( Y, X ), winery( X ) }.
% 0.86/1.26 { ! winery( Y ), ! kaon2equal( X, Y ), winery( X ) }.
% 0.86/1.26 { ! zinfandel( Y ), ! kaon2equal( X, Y ), zinfandel( X ) }.
% 0.86/1.26 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom20( Y ), zinfandel( X )
% 0.86/1.26 }.
% 0.86/1.26 { ! q70( X ), ! kaon2namedobjects( X ), ot____nom1( X ) }.
% 0.86/1.26 { ! ot____nom1( Y ), ! kaon2equal( X, Y ), ot____nom1( X ) }.
% 0.86/1.26 { ! q73( X ), ! kaon2namedobjects( X ), ot____nom10( X ) }.
% 0.86/1.26 { ! ot____nom10( Y ), ! kaon2equal( X, Y ), ot____nom10( X ) }.
% 0.86/1.26 { ! q44( X ), ! kaon2namedobjects( X ), ot____nom11( X ) }.
% 0.86/1.26 { ! ot____nom11( Y ), ! kaon2equal( X, Y ), ot____nom11( X ) }.
% 0.86/1.26 { ! q31( X ), ! kaon2namedobjects( X ), ot____nom12( X ) }.
% 0.86/1.26 { ! ot____nom12( Y ), ! kaon2equal( X, Y ), ot____nom12( X ) }.
% 0.86/1.26 { ! q59( X ), ! kaon2namedobjects( X ), ot____nom13( X ) }.
% 0.86/1.26 { ! ot____nom13( Y ), ! kaon2equal( X, Y ), ot____nom13( X ) }.
% 0.86/1.26 { ! q66( X ), ! kaon2namedobjects( X ), ot____nom14( X ) }.
% 0.86/1.26 { ! ot____nom14( Y ), ! kaon2equal( X, Y ), ot____nom14( X ) }.
% 0.86/1.26 { ! q47( X ), ! kaon2namedobjects( X ), ot____nom15( X ) }.
% 0.86/1.26 { ! ot____nom15( Y ), ! kaon2equal( X, Y ), ot____nom15( X ) }.
% 0.86/1.26 { ! q55( X ), ! kaon2namedobjects( X ), ot____nom16( X ) }.
% 0.86/1.26 { ! ot____nom16( Y ), ! kaon2equal( X, Y ), ot____nom16( X ) }.
% 0.86/1.26 { ! q49( X ), ! kaon2namedobjects( X ), ot____nom17( X ) }.
% 0.86/1.26 { ! ot____nom17( Y ), ! kaon2equal( X, Y ), ot____nom17( X ) }.
% 0.86/1.26 { ! winesugar( X ), ot____nom18( X ) }.
% 0.86/1.26 { ! ot____nom18( Y ), ! kaon2equal( X, Y ), ot____nom18( X ) }.
% 0.86/1.26 { ! q57( X ), ! kaon2namedobjects( X ), ot____nom19( X ) }.
% 0.86/1.26 { ! ot____nom19( Y ), ! kaon2equal( X, Y ), ot____nom19( X ) }.
% 0.86/1.26 { ! q33( X ), ! kaon2namedobjects( X ), ot____nom2( X ) }.
% 0.86/1.26 { ! ot____nom2( Y ), ! kaon2equal( X, Y ), ot____nom2( X ) }.
% 0.86/1.26 { ! zinfandel( X ), ! kaon2namedobjects( X ), ot____nom20( X ) }.
% 0.86/1.26 { ! ot____nom20( Y ), ! kaon2equal( X, Y ), ot____nom20( X ) }.
% 0.86/1.26 { ! q24( X ), ! kaon2namedobjects( X ), ot____nom21( X ) }.
% 0.86/1.26 { ! ot____nom21( Y ), ! kaon2equal( X, Y ), ot____nom21( X ) }.
% 0.86/1.26 { ! q18( X ), ! kaon2namedobjects( X ), ot____nom22( X ) }.
% 0.86/1.26 { ! ot____nom22( Y ), ! kaon2equal( X, Y ), ot____nom22( X ) }.
% 0.86/1.26 { ! q1( X ), ! kaon2namedobjects( X ), ot____nom23( X ) }.
% 0.86/1.26 { ! ot____nom23( Y ), ! kaon2equal( X, Y ), ot____nom23( X ) }.
% 0.86/1.26 { ! q63( X ), ! kaon2namedobjects( X ), ot____nom24( X ) }.
% 0.86/1.26 { ! ot____nom24( Y ), ! kaon2equal( X, Y ), ot____nom24( X ) }.
% 0.86/1.26 { ! petitesyrah( X ), ! kaon2namedobjects( X ), ot____nom25( X ) }.
% 0.86/1.26 { ! ot____nom25( Y ), ! kaon2equal( X, Y ), ot____nom25( X ) }.
% 0.86/1.26 { ! q22( X ), ! kaon2namedobjects( X ), ot____nom26( X ) }.
% 0.86/1.26 { ! ot____nom26( Y ), ! kaon2equal( X, Y ), ot____nom26( X ) }.
% 0.86/1.26 { ! semillon( X ), ! kaon2namedobjects( X ), ot____nom27( X ) }.
% 0.86/1.26 { ! ot____nom27( Y ), ! kaon2equal( X, Y ), ot____nom27( X ) }.
% 0.86/1.26 { ! q0( X ), ! kaon2namedobjects( X ), ot____nom28( X ) }.
% 0.86/1.26 { ! ot____nom28( Y ), ! kaon2equal( X, Y ), ot____nom28( X ) }.
% 0.86/1.26 { ! q69( X ), ! kaon2namedobjects( X ), ot____nom29( X ) }.
% 0.86/1.26 { ! ot____nom29( Y ), ! kaon2equal( X, Y ), ot____nom29( X ) }.
% 0.86/1.26 { ! cabernetfranc( X ), ! kaon2namedobjects( X ), ot____nom3( X ) }.
% 0.86/1.26 { ! ot____nom3( Y ), ! kaon2equal( X, Y ), ot____nom3( X ) }.
% 0.86/1.26 { ! q39( X ), ! kaon2namedobjects( X ), ot____nom30( X ) }.
% 0.86/1.26 { ! ot____nom30( Y ), ! kaon2equal( X, Y ), ot____nom30( X ) }.
% 0.86/1.26 { ! q16( X ), ! kaon2namedobjects( X ), ot____nom31( X ) }.
% 0.86/1.26 { ! ot____nom31( Y ), ! kaon2equal( X, Y ), ot____nom31( X ) }.
% 0.86/1.26 { ! q15( X ), ! kaon2namedobjects( X ), ot____nom32( X ) }.
% 0.86/1.26 { ! ot____nom32( Y ), ! kaon2equal( X, Y ), ot____nom32( X ) }.
% 0.86/1.26 { ! q14( X ), ! kaon2namedobjects( X ), ot____nom33( X ) }.
% 0.86/1.26 { ! ot____nom33( Y ), ! kaon2equal( X, Y ), ot____nom33( X ) }.
% 0.86/1.26 { ! q6( X ), ! kaon2namedobjects( X ), ot____nom34( X ) }.
% 0.86/1.26 { ! ot____nom34( Y ), ! kaon2equal( X, Y ), ot____nom34( X ) }.
% 0.86/1.26 { ! wineflavor( X ), ot____nom35( X ) }.
% 0.86/1.26 { ! ot____nom35( Y ), ! kaon2equal( X, Y ), ot____nom35( X ) }.
% 0.86/1.26 { ! q64( X ), ! kaon2namedobjects( X ), ot____nom36( X ) }.
% 0.86/1.26 { ! ot____nom36( Y ), ! kaon2equal( X, Y ), ot____nom36( X ) }.
% 0.86/1.26 { ! riesling( X ), ! kaon2namedobjects( X ), ot____nom37( X ) }.
% 0.86/1.26 { ! ot____nom37( Y ), ! kaon2equal( X, Y ), ot____nom37( X ) }.
% 0.86/1.26 { ! q26( X ), ! kaon2namedobjects( X ), ot____nom38( X ) }.
% 0.86/1.26 { ! ot____nom38( Y ), ! kaon2equal( X, Y ), ot____nom38( X ) }.
% 0.86/1.26 { ! q72( X ), ! kaon2namedobjects( X ), ot____nom39( X ) }.
% 0.86/1.26 { ! ot____nom39( Y ), ! kaon2equal( X, Y ), ot____nom39( X ) }.
% 0.86/1.26 { ! q9( X ), ! kaon2namedobjects( X ), ot____nom4( X ) }.
% 0.86/1.26 { ! ot____nom4( Y ), ! kaon2equal( X, Y ), ot____nom4( X ) }.
% 0.86/1.26 { ! winebody( X ), ot____nom40( X ) }.
% 0.86/1.26 { ! ot____nom40( Y ), ! kaon2equal( X, Y ), ot____nom40( X ) }.
% 0.86/1.26 { ! q51( X ), ! kaon2namedobjects( X ), ot____nom41( X ) }.
% 0.86/1.26 { ! ot____nom41( Y ), ! kaon2equal( X, Y ), ot____nom41( X ) }.
% 0.86/1.26 { ! q37( X ), ! kaon2namedobjects( X ), ot____nom42( X ) }.
% 0.86/1.26 { ! ot____nom42( Y ), ! kaon2equal( X, Y ), ot____nom42( X ) }.
% 0.86/1.26 { ! q13( X ), ! kaon2namedobjects( X ), ot____nom43( X ) }.
% 0.86/1.26 { ! ot____nom43( Y ), ! kaon2equal( X, Y ), ot____nom43( X ) }.
% 0.86/1.26 { ! q29( X ), ! kaon2namedobjects( X ), ot____nom44( X ) }.
% 0.86/1.26 { ! ot____nom44( Y ), ! kaon2equal( X, Y ), ot____nom44( X ) }.
% 0.86/1.26 { ! q35( X ), ! kaon2namedobjects( X ), ot____nom45( X ) }.
% 0.86/1.26 { ! ot____nom45( Y ), ! kaon2equal( X, Y ), ot____nom45( X ) }.
% 0.86/1.26 { ! q42( X ), ! kaon2namedobjects( X ), ot____nom46( X ) }.
% 0.86/1.26 { ! ot____nom46( Y ), ! kaon2equal( X, Y ), ot____nom46( X ) }.
% 0.86/1.26 { ! q61( X ), ! kaon2namedobjects( X ), ot____nom47( X ) }.
% 0.86/1.26 { ! ot____nom47( Y ), ! kaon2equal( X, Y ), ot____nom47( X ) }.
% 0.86/1.26 { ! q4( X ), ! kaon2namedobjects( X ), ot____nom48( X ) }.
% 0.86/1.26 { ! ot____nom48( Y ), ! kaon2equal( X, Y ), ot____nom48( X ) }.
% 0.86/1.26 { ! q7( X ), ! kaon2namedobjects( X ), ot____nom49( X ) }.
% 0.86/1.26 { ! ot____nom49( Y ), ! kaon2equal( X, Y ), ot____nom49( X ) }.
% 0.86/1.26 { ! q12( X ), ! kaon2namedobjects( X ), ot____nom5( X ) }.
% 0.86/1.26 { ! ot____nom5( Y ), ! kaon2equal( X, Y ), ot____nom5( X ) }.
% 0.86/1.26 { ! sweetriesling( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.86/1.26 { ! lateharvest( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.86/1.26 { ! chardonnay( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.86/1.26 { ! zinfandel( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.86/1.26 { ! icewine( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.86/1.26 { ! cabernetsauvignon( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.86/1.26 { ! petitesyrah( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.86/1.26 { ! ot____nom50( Y ), ! kaon2equal( X, Y ), ot____nom50( X ) }.
% 0.86/1.26 { ! icewine( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.86/1.26 { ! cheninblanc( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.86/1.26 { ! chardonnay( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.86/1.26 { ! cabernetsauvignon( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.86/1.26 { ! semillonorsauvignonblanc( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.86/1.26 { ! petitesyrah( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.86/1.26 { ! zinfandel( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.86/1.26 { ! ot____nom51( Y ), ! kaon2equal( X, Y ), ot____nom51( X ) }.
% 0.86/1.26 { ! sauternes( X ), ! kaon2namedobjects( X ), ot____nom52( X ) }.
% 0.86/1.26 { ! ot____nom52( Y ), ! kaon2equal( X, Y ), ot____nom52( X ) }.
% 0.86/1.26 { ! dessertwine( Y ), ! hassugar( Y, X ), ot____nom53( X ) }.
% 0.86/1.26 { ! ot____nom53( Y ), ! kaon2equal( X, Y ), ot____nom53( X ) }.
% 0.86/1.26 { ! q32( X ), ! kaon2namedobjects( X ), ot____nom54( X ) }.
% 0.86/1.26 { ! ot____nom54( Y ), ! kaon2equal( X, Y ), ot____nom54( X ) }.
% 0.86/1.26 { ! q20( X ), ! kaon2namedobjects( X ), ot____nom55( X ) }.
% 0.86/1.26 { ! ot____nom55( Y ), ! kaon2equal( X, Y ), ot____nom55( X ) }.
% 0.86/1.26 { ! q45( X ), ! kaon2namedobjects( X ), ot____nom56( X ) }.
% 0.86/1.26 { ! ot____nom56( Y ), ! kaon2equal( X, Y ), ot____nom56( X ) }.
% 0.86/1.26 { ! port( X ), ! kaon2namedobjects( X ), ot____nom57( X ) }.
% 0.86/1.26 { ! ot____nom57( Y ), ! kaon2equal( X, Y ), ot____nom57( X ) }.
% 0.86/1.26 { ! q11( X ), ! kaon2namedobjects( X ), ot____nom58( X ) }.
% 0.86/1.26 { ! ot____nom58( Y ), ! kaon2equal( X, Y ), ot____nom58( X ) }.
% 0.86/1.26 { ! merlot( Y ), ! hasbody( Y, X ), ot____nom59( X ) }.
% 0.86/1.26 { ! dryriesling( Y ), ! hasbody( Y, X ), ot____nom59( X ) }.
% 0.86/1.26 { ! chianti( Y ), ! hasbody( Y, X ), ot____nom59( X ) }.
% 0.86/1.26 { ! ot____nom59( Y ), ! kaon2equal( X, Y ), ot____nom59( X ) }.
% 0.86/1.26 { ! q68( Y ), ! madefromgrape( Y, X ), ot____nom6( X ) }.
% 0.86/1.26 { ! ot____nom6( Y ), ! kaon2equal( X, Y ), ot____nom6( X ) }.
% 0.86/1.26 { ! chianti( X ), ! kaon2namedobjects( X ), ot____nom60( X ) }.
% 0.86/1.26 { ! ot____nom60( Y ), ! kaon2equal( X, Y ), ot____nom60( X ) }.
% 0.86/1.26 { ! chianti( X ), ! kaon2namedobjects( X ), ot____nom61( X ) }.
% 0.86/1.26 { ! ot____nom61( Y ), ! kaon2equal( X, Y ), ot____nom61( X ) }.
% 0.86/1.26 { ! redbordeaux( Y ), ! madefromgrape( Y, X ), ot____nom62( X ) }.
% 0.86/1.26 { ! ot____nom62( Y ), ! kaon2equal( X, Y ), ot____nom62( X ) }.
% 0.86/1.26 { ! whiteloire( Y ), ! madefromgrape( Y, X ), ot____nom63( X ) }.
% 0.86/1.26 { ! ot____nom63( Y ), ! kaon2equal( X, Y ), ot____nom63( X ) }.
% 0.86/1.26 { ! merlot( Y ), ! hasflavor( Y, X ), ot____nom64( X ) }.
% 0.86/1.26 { ! ot____nom64( Y ), ! kaon2equal( X, Y ), ot____nom64( X ) }.
% 0.86/1.26 { ! q36( Y ), ! hassugar( Y, X ), ot____nom7( X ) }.
% 0.86/1.26 { ! ot____nom7( Y ), ! kaon2equal( X, Y ), ot____nom7( X ) }.
% 0.86/1.26 { ! meritage( Y ), ! madefromgrape( Y, X ), ot____nom8( X ) }.
% 0.86/1.26 { ! ot____nom8( Y ), ! kaon2equal( X, Y ), ot____nom8( X ) }.
% 0.86/1.26 { ! winecolor( X ), ot____nom9( X ) }.
% 0.86/1.26 { ! ot____nom9( Y ), ! kaon2equal( X, Y ), ot____nom9( X ) }.
% 0.86/1.26 { ! adjacentregion( X, Y ), adjacentregion( Y, X ) }.
% 0.86/1.26 { ! adjacentregion( Z, X ), ! kaon2equal( Y, Z ), adjacentregion( Y, X ) }
% 0.86/1.26 .
% 0.86/1.26 { ! adjacentregion( X, Z ), ! kaon2equal( Y, Z ), adjacentregion( X, Y ) }
% 0.86/1.26 .
% 0.86/1.26 { ! q45( X ), ! kaon2namedobjects( X ), hasbody( X, X ) }.
% 0.86/1.26 { ! wine( X ), ! kaon2namedobjects( X ), hasbody( X, X ) }.
% 0.86/1.26 { ! q35( X ), ! kaon2namedobjects( X ), hasbody( X, X ) }.
% 0.86/1.26 { ! q7( X ), ! kaon2namedobjects( X ), hasbody( X, X ) }.
% 0.86/1.26 { ! hasbody( Z, X ), ! kaon2equal( Y, Z ), hasbody( Y, X ) }.
% 0.86/1.26 { ! hasbody( X, Z ), ! kaon2equal( Y, Z ), hasbody( X, Y ) }.
% 0.86/1.26 { ! q0( X ), ! kaon2namedobjects( X ), hascolor( X, X ) }.
% 0.86/1.26 { ! q15( X ), ! kaon2namedobjects( X ), hascolor( X, X ) }.
% 0.86/1.26 { ! wine( X ), ! kaon2namedobjects( X ), hascolor( X, X ) }.
% 0.86/1.26 { ! q12( X ), ! kaon2namedobjects( X ), hascolor( X, X ) }.
% 0.86/1.26 { ! hascolor( Z, X ), ! kaon2equal( Y, Z ), hascolor( Y, X ) }.
% 0.86/1.26 { ! hascolor( X, Z ), ! kaon2equal( Y, Z ), hascolor( X, Y ) }.
% 0.86/1.27 { ! q4( X ), ! kaon2namedobjects( X ), hasflavor( X, X ) }.
% 0.86/1.27 { ! q11( X ), ! kaon2namedobjects( X ), hasflavor( X, X ) }.
% 0.86/1.27 { ! q20( X ), ! kaon2namedobjects( X ), hasflavor( X, X ) }.
% 0.86/1.27 { ! wine( X ), ! kaon2namedobjects( X ), hasflavor( X, X ) }.
% 0.86/1.27 { ! hasflavor( Z, X ), ! kaon2equal( Y, Z ), hasflavor( Y, X ) }.
% 0.86/1.27 { ! hasflavor( X, Z ), ! kaon2equal( Y, Z ), hasflavor( X, Y ) }.
% 0.86/1.27 { ! produceswine( X, Y ), hasmaker( Y, X ) }.
% 0.86/1.27 { ! wine( X ), ! kaon2namedobjects( X ), hasmaker( X, X ) }.
% 0.86/1.27 { ! hasmaker( Z, X ), ! kaon2equal( Y, Z ), hasmaker( Y, X ) }.
% 0.86/1.27 { ! hasmaker( X, Z ), ! kaon2equal( Y, Z ), hasmaker( X, Y ) }.
% 0.86/1.27 { ! wine( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.86/1.27 { ! q31( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.86/1.27 { ! whitewine( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.86/1.27 { ! q70( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.86/1.27 { ! q32( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.86/1.27 { ! hassugar( Z, X ), ! kaon2equal( Y, Z ), hassugar( Y, X ) }.
% 0.86/1.27 { ! hassugar( X, Z ), ! kaon2equal( Y, Z ), hassugar( X, Y ) }.
% 0.86/1.27 { ! vintage( X ), ! kaon2namedobjects( X ), hasvintageyear( X, X ) }.
% 0.86/1.27 { ! hasvintageyear( Z, X ), ! kaon2equal( Y, Z ), hasvintageyear( Y, X ) }
% 0.86/1.27 .
% 0.86/1.27 { ! hasvintageyear( X, Z ), ! kaon2equal( Y, Z ), hasvintageyear( X, Y ) }
% 0.86/1.27 .
% 0.86/1.27 { ! hasbody( X, Y ), haswinedescriptor( X, Y ) }.
% 0.86/1.27 { ! hascolor( X, Y ), haswinedescriptor( X, Y ) }.
% 0.86/1.27 { ! hasflavor( X, Y ), haswinedescriptor( X, Y ) }.
% 0.86/1.27 { ! hassugar( X, Y ), haswinedescriptor( X, Y ) }.
% 0.86/1.27 { ! haswinedescriptor( Z, X ), ! kaon2equal( Y, Z ), haswinedescriptor( Y,
% 0.86/1.27 X ) }.
% 0.86/1.27 { ! haswinedescriptor( X, Z ), ! kaon2equal( Y, Z ), haswinedescriptor( X,
% 0.86/1.27 Y ) }.
% 0.86/1.27 { ! q57( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q37( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q61( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q59( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q33( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! wine( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q18( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q49( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q42( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q9( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q22( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! chianti( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! port( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q26( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q51( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q55( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q16( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q73( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q29( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q1( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q47( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q39( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q64( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! sauternes( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! q66( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.86/1.27 { ! locatedin( Z, X ), ! kaon2equal( Y, Z ), locatedin( Y, X ) }.
% 0.86/1.27 { ! locatedin( X, Z ), ! kaon2equal( Y, Z ), locatedin( X, Y ) }.
% 0.86/1.27 { ! locatedin( X, Z ), ! locatedin( Z, Y ), locatedin( X, Y ) }.
% 0.86/1.27 { ! locatedin( X, Z ), ! locatedin( Z, Y ), ! kaon2namedobjects( Y ), !
% 0.86/1.27 kaon2namedobjects( Z ), ! kaon2namedobjects( X ), locatedin( X, Y ) }.
% 0.86/1.27 { ! madefromgrape( X, Y ), madefromfruit( X, Y ) }.
% 0.86/1.27 { ! madefromfruit( Z, X ), ! kaon2equal( Y, Z ), madefromfruit( Y, X ) }.
% 0.86/1.27 { ! madefromfruit( X, Z ), ! kaon2equal( Y, Z ), madefromfruit( X, Y ) }.
% 0.86/1.27 { ! madeintowine( X, Y ), madefromgrape( Y, X ) }.
% 0.86/1.27 { ! riesling( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! wine( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! q72( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! q5( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! semillon( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! q14( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! q24( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! q5( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! zinfandel( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! q6( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! petitesyrah( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! q13( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! chianti( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! cabernetfranc( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! q69( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! q44( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! q63( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.86/1.27 { ! madefromgrape( Z, X ), ! kaon2equal( Y, Z ), madefromgrape( Y, X ) }.
% 0.86/1.27 { ! madefromgrape( X, Z ), ! kaon2equal( Y, Z ), madefromgrape( X, Y ) }.
% 0.86/1.27 { ! madefromgrape( X, Y ), madeintowine( Y, X ) }.
% 0.86/1.27 { ! madeintowine( Z, X ), ! kaon2equal( Y, Z ), madeintowine( Y, X ) }.
% 0.86/1.27 { ! madeintowine( X, Z ), ! kaon2equal( Y, Z ), madeintowine( X, Y ) }.
% 0.86/1.27 { ! hasmaker( X, Y ), produceswine( Y, X ) }.
% 0.86/1.27 { ! produceswine( Z, X ), ! kaon2equal( Y, Z ), produceswine( Y, X ) }.
% 0.86/1.27 { ! produceswine( X, Z ), ! kaon2equal( Y, Z ), produceswine( X, Y ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.86/1.27 { ! kaon2hu( X ), kaon2equal( X, X ) }.
% 0.86/1.27 { ! hasflavor( Z, X ), ! hasflavor( Z, Y ), kaon2equal( X, Y ) }.
% 0.86/1.27 { ! hassugar( Z, X ), ! hassugar( Z, Y ), kaon2equal( X, Y ) }.
% 0.86/1.27 { ! hasvintageyear( Z, X ), ! hasvintageyear( Z, Y ), kaon2equal( X, Y ) }
% 0.86/1.27 .
% 0.86/1.27 { ! hascolor( Z, X ), ! hascolor( Z, Y ), kaon2equal( X, Y ) }.
% 0.86/1.27 { ! hasmaker( Z, X ), ! hasmaker( Z, Y ), kaon2equal( X, Y ) }.
% 0.86/1.27 { ! hasbody( Z, X ), ! hasbody( Z, Y ), kaon2equal( X, Y ) }.
% 0.86/1.27 { ! q3( Z ), ! madefromgrape( Z, X ), ! madefromgrape( Z, Y ), kaon2equal(
% 0.86/1.27 X, Y ) }.
% 0.86/1.27 { ! kaon2hu( X ), ! kaon2hu( Y ), ! kaon2equal( Y, X ), kaon2equal( X, Y )
% 0.86/1.27 }.
% 0.86/1.27 { ! kaon2equal( X, Z ), ! kaon2equal( Z, Y ), ! kaon2hu( X ), ! kaon2hu( Z
% 0.86/1.27 ), ! kaon2hu( Y ), kaon2equal( X, Y ) }.
% 0.86/1.27 { ! tours( X ) }.
% 0.86/1.27
% 0.86/1.27 *** allocated 15000 integers for clauses
% 0.86/1.27 *** allocated 22500 integers for clauses
% 0.86/1.27 *** allocated 33750 integers for clauses
% 0.86/1.27 *** allocated 50625 integers for clauses
% 0.86/1.27 percentage equality = 0.000000, percentage horn = 1.000000
% 0.86/1.27 This is a near-Horn, non-equality problem
% 0.86/1.27
% 0.86/1.27
% 0.86/1.27 Options Used:
% 0.86/1.27
% 0.86/1.27 useres = 1
% 0.86/1.27 useparamod = 0
% 0.86/1.27 useeqrefl = 0
% 0.86/1.27 useeqfact = 0
% 0.86/1.27 usefactor = 1
% 0.86/1.27 usesimpsplitting = 0
% 0.86/1.27 usesimpdemod = 0
% 0.86/1.27 usesimpres = 4
% 0.86/1.27
% 0.86/1.27 resimpinuse = 1000
% 0.86/1.27 resimpclauses = 20000
% 0.86/1.27 substype = standard
% 0.86/1.27 backwardsubs = 1
% 0.86/1.27 selectoldest = 5
% 0.86/1.27
% 0.86/1.27 litorderings [0] = split
% 0.86/1.27 litorderings [1] = liftord
% 0.86/1.27
% 0.86/1.27 termordering = none
% 0.86/1.27
% 0.86/1.27 litapriori = 1
% 0.86/1.27 termapriori = 0
% 0.86/1.27 litaposteriori = 0
% 0.86/1.27 termaposteriori = 0
% 0.86/1.27 demodaposteriori = 0
% 0.86/1.27 ordereqreflfact = 0
% 0.86/1.27
% 0.86/1.27 litselect = negative
% 0.86/1.27
% 0.86/1.27 maxweight = 30000
% 0.86/1.27 maxdepth = 30000
% 0.86/1.27 maxlength = 115
% 0.86/1.27 maxnrvars = 195
% 0.86/1.27 excuselevel = 0
% 0.86/1.27 increasemaxweight = 0
% 0.86/1.27
% 0.86/1.27 maxselected = 10000000
% 0.86/1.27 maxnrclauses = 10000000
% 0.86/1.27
% 0.86/1.27 showgenerated = 0
% 0.86/1.27 showkept = 0
% 0.86/1.27 showselected = 0
% 0.86/1.27 showdeleted = 0
% 0.86/1.27 showresimp = 1
% 0.86/1.27 showstatus = 2000
% 0.86/1.27
% 0.86/1.27 prologoutput = 0
% 0.86/1.27 nrgoals = 5000000
% 0.86/1.27 totalproof = 1
% 0.86/1.27
% 0.86/1.27 Symbols occurring in the translation:
% 0.86/1.27
% 0.86/1.27 {} [0, 0] (w:1, o:2, a:1, s:1, b:0),
% 0.86/1.27 . [1, 2] (w:1, o:494, a:1, s:1, b:0),
% 0.86/1.27 ! [4, 1] (w:1, o:174, a:1, s:1, b:0),
% 0.86/1.27 = [13, 2] (w:1, o:0, a:0, s:1, b:0),
% 0.86/1.27 ==> [14, 2] (w:1, o:0, a:0, s:1, b:0),
% 0.86/1.27 pulignymontrachetwhiteburgundy [35, 0] (w:1, o:16, a:1, s:1, b:0),
% 0.86/1.27 medium [36, 0] (w:1, o:27, a:1, s:1, b:0),
% 0.86/1.27 hasbody_aux [37, 2] (w:1, o:518, a:1, s:1, b:0),
% 0.86/1.27 formanchardonnay [38, 0] (w:1, o:70, a:1, s:1, b:0),
% 0.86/1.27 full [39, 0] (w:1, o:71, a:1, s:1, b:0),
% 0.86/1.27 foxencheninblanc [40, 0] (w:1, o:72, a:1, s:1, b:0),
% 0.86/1.27 chianticlassico [41, 0] (w:1, o:74, a:1, s:1, b:0),
% 0.86/1.27 cortonmontrachetwhiteburgundy [42, 0] (w:1, o:75, a:1, s:1, b:0),
% 0.86/1.27 corbansprivatebinsauvignonblanc [43, 0] (w:1, o:76, a:1, s:1, b:0),
% 0.86/1.27 congressspringssemillon [44, 0] (w:1, o:77, a:1, s:1, b:0),
% 0.86/1.27 mariettapetitesyrah [45, 0] (w:1, o:79, a:1, s:1, b:0),
% 0.86/1.27 corbanssauvignonblanc [46, 0] (w:1, o:80, a:1, s:1, b:0),
% 0.86/1.27 petermccoychardonnay [47, 0] (w:1, o:81, a:1, s:1, b:0),
% 0.86/1.27 selaksicewine [48, 0] (w:1, o:86, a:1, s:1, b:0),
% 0.86/1.27 bancroftchardonnay [49, 0] (w:1, o:73, a:1, s:1, b:0),
% 0.86/1.27 elysezinfandel [50, 0] (w:1, o:67, a:1, s:1, b:0),
% 0.86/1.27 mountadampinotnoir [51, 0] (w:1, o:87, a:1, s:1, b:0),
% 0.86/1.27 mariettacabernetsauvignon [52, 0] (w:1, o:88, a:1, s:1, b:0),
% 0.86/1.27 schlossrothermeltrochenbierenausleseriesling [53, 0] (w:1, o:89, a:1
% 0.86/1.27 , s:1, b:0),
% 0.86/1.27 garyfarrellmerlot [54, 0] (w:1, o:94, a:1, s:1, b:0),
% 0.86/1.27 cotturizinfandel [55, 0] (w:1, o:95, a:1, s:1, b:0),
% 0.86/1.27 mariettaoldvinesred [56, 0] (w:1, o:78, a:1, s:1, b:0),
% 0.86/1.27 longridgemerlot [57, 0] (w:1, o:21, a:1, s:1, b:0),
% 0.86/1.27 light [58, 0] (w:1, o:22, a:1, s:1, b:0),
% 0.86/1.27 kalincellarssemillon [59, 0] (w:1, o:17, a:1, s:1, b:0),
% 0.86/1.27 pagemillwinerycabernetsauvignon [60, 0] (w:1, o:96, a:1, s:1, b:0),
% 0.86/1.27 seanthackreysiriuspetitesyrah [61, 0] (w:1, o:97, a:1, s:1, b:0),
% 0.86/1.27 saucelitocanyonzinfandel1998 [62, 0] (w:1, o:98, a:1, s:1, b:0),
% 0.86/1.27 whitehalllaneprimavera [63, 0] (w:1, o:109, a:1, s:1, b:0),
% 0.86/1.27 santacruzmountainvineyardcabernetsauvignon [64, 0] (w:1, o:111, a:1
% 0.86/1.27 , s:1, b:0),
% 0.86/1.27 lanetannerpinotnoir [65, 0] (w:1, o:23, a:1, s:1, b:0),
% 0.86/1.27 corbansdrywhiteriesling [66, 0] (w:1, o:112, a:1, s:1, b:0),
% 0.86/1.27 mountadamchardonnay [67, 0] (w:1, o:113, a:1, s:1, b:0),
% 0.86/1.27 mountadamriesling [68, 0] (w:1, o:114, a:1, s:1, b:0),
% 0.86/1.27 mariettazinfandel [69, 0] (w:1, o:115, a:1, s:1, b:0),
% 0.86/1.27 kathrynkennedylateral [70, 0] (w:1, o:18, a:1, s:1, b:0),
% 0.86/1.27 mountedenvineyardestatepinotnoir [71, 0] (w:1, o:116, a:1, s:1, b:0)
% 0.86/1.27 ,
% 0.86/1.27 whitehalllanecabernetfranc [72, 0] (w:1, o:117, a:1, s:1, b:0),
% 0.86/1.27 ventanacheninblanc [73, 0] (w:1, o:107, a:1, s:1, b:0),
% 0.86/1.27 saucelitocanyonzinfandel [74, 0] (w:1, o:118, a:1, s:1, b:0),
% 0.86/1.27 formancabernetsauvignon [75, 0] (w:1, o:90, a:1, s:1, b:0),
% 0.86/1.27 schlossvolradtrochenbierenausleseriesling [76, 0] (w:1, o:119, a:1
% 0.86/1.27 , s:1, b:0),
% 0.86/1.27 mountedenvineyardednavalleychardonnay [77, 0] (w:1, o:120, a:1, s:1
% 0.86/1.27 , b:0),
% 0.86/1.27 stonleighsauvignonblanc [78, 0] (w:1, o:121, a:1, s:1, b:0),
% 0.86/1.27 selakssauvignonblanc [79, 0] (w:1, o:122, a:1, s:1, b:0),
% 0.86/1.27 white [80, 0] (w:1, o:123, a:1, s:1, b:0),
% 0.86/1.27 hascolor_aux [81, 2] (w:1, o:520, a:1, s:1, b:0),
% 0.86/1.27 moderate [82, 0] (w:1, o:124, a:1, s:1, b:0),
% 0.86/1.27 hasflavor_aux [83, 2] (w:1, o:521, a:1, s:1, b:0),
% 0.86/1.27 stgenevievetexaswhite [84, 0] (w:1, o:125, a:1, s:1, b:0),
% 0.86/1.27 strong [85, 0] (w:1, o:126, a:1, s:1, b:0),
% 0.86/1.27 chateaudychemsauterne [86, 0] (w:1, o:127, a:1, s:1, b:0),
% 0.86/1.27 chateaudemeursaultmeursault [87, 0] (w:1, o:128, a:1, s:1, b:0),
% 0.86/1.27 delicate [88, 0] (w:1, o:64, a:1, s:1, b:0),
% 0.86/1.27 pulignymontrachet [89, 0] (w:1, o:129, a:1, s:1, b:0),
% 0.86/1.27 hasmaker_aux [90, 2] (w:1, o:522, a:1, s:1, b:0),
% 0.86/1.27 chateaulafiterothschildpauillac [91, 0] (w:1, o:37, a:1, s:1, b:0),
% 0.86/1.27 chateaulafiterothschild [92, 0] (w:1, o:38, a:1, s:1, b:0),
% 0.86/1.27 forman [93, 0] (w:1, o:91, a:1, s:1, b:0),
% 0.86/1.27 stgenevieve [94, 0] (w:1, o:130, a:1, s:1, b:0),
% 0.86/1.27 foxen [95, 0] (w:1, o:92, a:1, s:1, b:0),
% 0.86/1.27 mcguinnesso [96, 0] (w:1, o:131, a:1, s:1, b:0),
% 0.86/1.27 cortonmontrachet [97, 0] (w:1, o:39, a:1, s:1, b:0),
% 0.86/1.27 corbans [98, 0] (w:1, o:40, a:1, s:1, b:0),
% 0.86/1.27 congresssprings [99, 0] (w:1, o:41, a:1, s:1, b:0),
% 0.86/1.27 marietta [100, 0] (w:1, o:132, a:1, s:1, b:0),
% 0.86/1.27 petermccoy [101, 0] (w:1, o:133, a:1, s:1, b:0),
% 0.86/1.27 selaks [102, 0] (w:1, o:134, a:1, s:1, b:0),
% 0.86/1.27 bancroft [103, 0] (w:1, o:32, a:1, s:1, b:0),
% 0.86/1.27 chateauchevalblancstemilion [104, 0] (w:1, o:42, a:1, s:1, b:0),
% 0.86/1.27 chateauchevalblanc [105, 0] (w:1, o:43, a:1, s:1, b:0),
% 0.86/1.27 chateaumorgonbeaujolais [106, 0] (w:1, o:44, a:1, s:1, b:0),
% 0.86/1.27 chateaumorgon [107, 0] (w:1, o:45, a:1, s:1, b:0),
% 0.86/1.27 elyse [108, 0] (w:1, o:68, a:1, s:1, b:0),
% 0.86/1.27 mountadam [109, 0] (w:1, o:135, a:1, s:1, b:0),
% 0.86/1.27 taylorport [110, 0] (w:1, o:149, a:1, s:1, b:0),
% 0.86/1.27 taylor [111, 0] (w:1, o:150, a:1, s:1, b:0),
% 0.86/1.27 chateaudychem [112, 0] (w:1, o:46, a:1, s:1, b:0),
% 0.86/1.27 schlossrothermel [113, 0] (w:1, o:136, a:1, s:1, b:0),
% 0.86/1.27 garyfarrell [114, 0] (w:1, o:151, a:1, s:1, b:0),
% 0.86/1.27 closdevougeotcotesdor [115, 0] (w:1, o:47, a:1, s:1, b:0),
% 0.86/1.27 closdevougeot [116, 0] (w:1, o:48, a:1, s:1, b:0),
% 0.86/1.27 cotturi [117, 0] (w:1, o:49, a:1, s:1, b:0),
% 0.86/1.27 closdelapoussiesancerre [118, 0] (w:1, o:50, a:1, s:1, b:0),
% 0.86/1.27 closdelapoussie [119, 0] (w:1, o:51, a:1, s:1, b:0),
% 0.86/1.27 longridge [120, 0] (w:1, o:24, a:1, s:1, b:0),
% 0.86/1.27 kalincellars [121, 0] (w:1, o:19, a:1, s:1, b:0),
% 0.86/1.27 pagemillwinery [122, 0] (w:1, o:152, a:1, s:1, b:0),
% 0.86/1.27 seanthackrey [123, 0] (w:1, o:137, a:1, s:1, b:0),
% 0.86/1.27 saucelitocanyon [124, 0] (w:1, o:138, a:1, s:1, b:0),
% 0.86/1.27 chateaudemeursault [125, 0] (w:1, o:52, a:1, s:1, b:0),
% 0.86/1.27 santacruzmountainvineyard [126, 0] (w:1, o:139, a:1, s:1, b:0),
% 0.86/1.27 lanetanner [127, 0] (w:1, o:25, a:1, s:1, b:0),
% 0.86/1.27 rosedanjou [128, 0] (w:1, o:82, a:1, s:1, b:0),
% 0.86/1.27 danjou [129, 0] (w:1, o:65, a:1, s:1, b:0),
% 0.86/1.27 chateaumargaux [130, 0] (w:1, o:53, a:1, s:1, b:0),
% 0.86/1.27 chateaumargauxwinery [131, 0] (w:1, o:54, a:1, s:1, b:0),
% 0.86/1.27 kathrynkennedy [132, 0] (w:1, o:20, a:1, s:1, b:0),
% 0.86/1.27 mountedenvineyard [133, 0] (w:1, o:153, a:1, s:1, b:0),
% 0.86/1.27 whitehalllane [134, 0] (w:1, o:154, a:1, s:1, b:0),
% 0.86/1.27 ventana [135, 0] (w:1, o:108, a:1, s:1, b:0),
% 0.86/1.27 schlossvolrad [136, 0] (w:1, o:140, a:1, s:1, b:0),
% 0.86/1.27 stonleigh [137, 0] (w:1, o:141, a:1, s:1, b:0),
% 0.86/1.27 sevreetmainemuscadet [138, 0] (w:1, o:142, a:1, s:1, b:0),
% 0.86/1.27 sevreetmaine [139, 0] (w:1, o:143, a:1, s:1, b:0),
% 0.86/1.27 dry [140, 0] (w:1, o:66, a:1, s:1, b:0),
% 0.86/1.27 hassugar_aux [141, 2] (w:1, o:523, a:1, s:1, b:0),
% 0.86/1.27 sweet [142, 0] (w:1, o:144, a:1, s:1, b:0),
% 0.86/1.27 offdry [143, 0] (w:1, o:15, a:1, s:1, b:0),
% 0.86/1.27 californiaregion [144, 0] (w:1, o:55, a:1, s:1, b:0),
% 0.86/1.27 usregion [145, 0] (w:1, o:106, a:1, s:1, b:0),
% 0.86/1.27 locatedin_aux [146, 2] (w:1, o:525, a:1, s:1, b:0),
% 0.86/1.27 sancerreregion [147, 0] (w:1, o:145, a:1, s:1, b:0),
% 0.86/1.27 loireregion [148, 0] (w:1, o:26, a:1, s:1, b:0),
% 0.86/1.27 naparegion [149, 0] (w:1, o:13, a:1, s:1, b:0),
% 0.86/1.27 centraltexasregion [150, 0] (w:1, o:56, a:1, s:1, b:0),
% 0.86/1.27 santabarbararegion [151, 0] (w:1, o:110, a:1, s:1, b:0),
% 0.86/1.27 frenchregion [152, 0] (w:1, o:93, a:1, s:1, b:0),
% 0.86/1.27 newzealandregion [153, 0] (w:1, o:14, a:1, s:1, b:0),
% 0.86/1.27 sonomaregion [154, 0] (w:1, o:146, a:1, s:1, b:0),
% 0.86/1.27 southaustraliaregion [155, 0] (w:1, o:147, a:1, s:1, b:0),
% 0.86/1.27 chiantiregion [156, 0] (w:1, o:57, a:1, s:1, b:0),
% 0.86/1.27 italianregion [157, 0] (w:1, o:156, a:1, s:1, b:0),
% 0.86/1.27 sauterneregion [158, 0] (w:1, o:148, a:1, s:1, b:0),
% 0.86/1.27 bordeauxregion [159, 0] (w:1, o:33, a:1, s:1, b:0),
% 0.86/1.27 pauillacregion [160, 0] (w:1, o:157, a:1, s:1, b:0),
% 0.86/1.27 medocregion [161, 0] (w:1, o:6, a:1, s:1, b:0),
% 0.86/1.27 texasregion [162, 0] (w:1, o:104, a:1, s:1, b:0),
% 0.86/1.27 germanyregion [163, 0] (w:1, o:158, a:1, s:1, b:0),
% 0.86/1.27 anjouregion [164, 0] (w:1, o:28, a:1, s:1, b:0),
% 0.86/1.27 centralcoastregion [165, 0] (w:1, o:58, a:1, s:1, b:0),
% 0.86/1.27 arroyogranderegion [166, 0] (w:1, o:29, a:1, s:1, b:0),
% 0.86/1.27 australianregion [167, 0] (w:1, o:30, a:1, s:1, b:0),
% 0.86/1.27 santacruzmountainsregion [168, 0] (w:1, o:99, a:1, s:1, b:0),
% 0.86/1.27 mendocinoregion [169, 0] (w:1, o:7, a:1, s:1, b:0),
% 0.86/1.27 margauxregion [170, 0] (w:1, o:8, a:1, s:1, b:0),
% 0.86/1.27 muscadetregion [171, 0] (w:1, o:9, a:1, s:1, b:0),
% 0.86/1.27 alsaceregion [172, 0] (w:1, o:31, a:1, s:1, b:0),
% 0.86/1.27 stemilionregion [173, 0] (w:1, o:100, a:1, s:1, b:0),
% 0.86/1.27 bourgogneregion [174, 0] (w:1, o:34, a:1, s:1, b:0),
% 0.86/1.27 toursregion [175, 0] (w:1, o:105, a:1, s:1, b:0),
% 0.86/1.27 cotesdorregion [176, 0] (w:1, o:59, a:1, s:1, b:0),
% 0.86/1.27 ednavalleyregion [177, 0] (w:1, o:69, a:1, s:1, b:0),
% 0.86/1.27 beaujolaisregion [178, 0] (w:1, o:35, a:1, s:1, b:0),
% 0.86/1.27 meursaultregion [179, 0] (w:1, o:10, a:1, s:1, b:0),
% 0.86/1.27 semillongrape [180, 0] (w:1, o:101, a:1, s:1, b:0),
% 0.86/1.27 madefromgrape_aux [181, 2] (w:1, o:528, a:1, s:1, b:0),
% 0.86/1.27 sauvignonblancgrape [182, 0] (w:1, o:102, a:1, s:1, b:0),
% 0.86/1.27 ot____nom1_aux [183, 1] (w:1, o:179, a:1, s:1, b:0),
% 0.86/1.27 ot____nom10_aux [184, 1] (w:1, o:180, a:1, s:1, b:0),
% 0.86/1.27 ot____nom11_aux [185, 1] (w:1, o:182, a:1, s:1, b:0),
% 0.86/1.27 ot____nom12_aux [186, 1] (w:1, o:184, a:1, s:1, b:0),
% 0.86/1.27 ot____nom13_aux [187, 1] (w:1, o:186, a:1, s:1, b:0),
% 0.86/1.27 ot____nom14_aux [188, 1] (w:1, o:188, a:1, s:1, b:0),
% 0.86/1.27 ot____nom15_aux [189, 1] (w:1, o:190, a:1, s:1, b:0),
% 0.86/1.27 ot____nom16_aux [190, 1] (w:1, o:192, a:1, s:1, b:0),
% 0.86/1.27 ot____nom17_aux [191, 1] (w:1, o:194, a:1, s:1, b:0),
% 0.86/1.27 ot____nom18_aux [192, 1] (w:1, o:196, a:1, s:1, b:0),
% 0.86/1.27 ot____nom19_aux [193, 1] (w:1, o:198, a:1, s:1, b:0),
% 0.86/1.27 ot____nom2_aux [194, 1] (w:1, o:201, a:1, s:1, b:0),
% 0.86/1.27 zinfandelgrape [195, 0] (w:1, o:160, a:1, s:1, b:0),
% 0.86/1.27 ot____nom20_aux [196, 1] (w:1, o:202, a:1, s:1, b:0),
% 0.86/1.27 pinotblancgrape [197, 0] (w:1, o:161, a:1, s:1, b:0),
% 0.86/1.27 ot____nom21_aux [198, 1] (w:1, o:204, a:1, s:1, b:0),
% 0.86/1.27 ot____nom22_aux [199, 1] (w:1, o:206, a:1, s:1, b:0),
% 0.86/1.27 ot____nom23_aux [200, 1] (w:1, o:208, a:1, s:1, b:0),
% 0.86/1.27 chardonnaygrape [201, 0] (w:1, o:60, a:1, s:1, b:0),
% 0.86/1.27 ot____nom24_aux [202, 1] (w:1, o:210, a:1, s:1, b:0),
% 0.86/1.27 petitesyrahgrape [203, 0] (w:1, o:162, a:1, s:1, b:0),
% 0.86/1.27 ot____nom25_aux [204, 1] (w:1, o:212, a:1, s:1, b:0),
% 0.86/1.27 ot____nom26_aux [205, 1] (w:1, o:214, a:1, s:1, b:0),
% 0.86/1.27 ot____nom27_aux [206, 1] (w:1, o:216, a:1, s:1, b:0),
% 0.86/1.27 red [207, 0] (w:1, o:83, a:1, s:1, b:0),
% 0.86/1.27 ot____nom28_aux [208, 1] (w:1, o:218, a:1, s:1, b:0),
% 0.86/1.27 cabernetsauvignongrape [209, 0] (w:1, o:61, a:1, s:1, b:0),
% 0.86/1.27 ot____nom29_aux [210, 1] (w:1, o:220, a:1, s:1, b:0),
% 0.86/1.27 cabernetfrancgrape [211, 0] (w:1, o:62, a:1, s:1, b:0),
% 0.86/1.27 ot____nom3_aux [212, 1] (w:1, o:223, a:1, s:1, b:0),
% 0.86/1.27 ot____nom30_aux [213, 1] (w:1, o:224, a:1, s:1, b:0),
% 0.86/1.27 ot____nom31_aux [214, 1] (w:1, o:226, a:1, s:1, b:0),
% 0.86/1.27 rose [215, 0] (w:1, o:84, a:1, s:1, b:0),
% 0.86/1.27 ot____nom32_aux [216, 1] (w:1, o:228, a:1, s:1, b:0),
% 0.86/1.27 gamaygrape [217, 0] (w:1, o:163, a:1, s:1, b:0),
% 0.86/1.27 ot____nom33_aux [218, 1] (w:1, o:230, a:1, s:1, b:0),
% 0.86/1.27 cheninblancgrape [219, 0] (w:1, o:63, a:1, s:1, b:0),
% 0.86/1.27 ot____nom34_aux [220, 1] (w:1, o:232, a:1, s:1, b:0),
% 0.86/1.27 ot____nom35_aux [221, 1] (w:1, o:234, a:1, s:1, b:0),
% 0.86/1.27 ot____nom36_aux [222, 1] (w:1, o:236, a:1, s:1, b:0),
% 0.86/1.27 rieslinggrape [223, 0] (w:1, o:85, a:1, s:1, b:0),
% 0.86/1.27 ot____nom37_aux [224, 1] (w:1, o:238, a:1, s:1, b:0),
% 0.86/1.27 ot____nom38_aux [225, 1] (w:1, o:240, a:1, s:1, b:0),
% 0.86/1.27 pinotnoirgrape [226, 0] (w:1, o:164, a:1, s:1, b:0),
% 0.86/1.27 ot____nom39_aux [227, 1] (w:1, o:242, a:1, s:1, b:0),
% 0.86/1.27 ot____nom4_aux [228, 1] (w:1, o:245, a:1, s:1, b:0),
% 0.86/1.27 ot____nom40_aux [229, 1] (w:1, o:246, a:1, s:1, b:0),
% 0.86/1.27 ot____nom41_aux [230, 1] (w:1, o:248, a:1, s:1, b:0),
% 0.86/1.27 ot____nom42_aux [231, 1] (w:1, o:250, a:1, s:1, b:0),
% 0.86/1.27 merlotgrape [232, 0] (w:1, o:11, a:1, s:1, b:0),
% 0.86/1.27 ot____nom43_aux [233, 1] (w:1, o:252, a:1, s:1, b:0),
% 0.86/1.27 ot____nom44_aux [234, 1] (w:1, o:254, a:1, s:1, b:0),
% 0.86/1.27 ot____nom45_aux [235, 1] (w:1, o:256, a:1, s:1, b:0),
% 0.86/1.27 ot____nom46_aux [236, 1] (w:1, o:258, a:1, s:1, b:0),
% 0.86/1.27 ot____nom47_aux [237, 1] (w:1, o:260, a:1, s:1, b:0),
% 0.86/1.27 ot____nom48_aux [238, 1] (w:1, o:262, a:1, s:1, b:0),
% 0.86/1.27 ot____nom49_aux [239, 1] (w:1, o:264, a:1, s:1, b:0),
% 0.86/1.27 ot____nom5_aux [240, 1] (w:1, o:267, a:1, s:1, b:0),
% 0.86/1.27 ot____nom50_aux [241, 1] (w:1, o:268, a:1, s:1, b:0),
% 0.86/1.27 ot____nom51_aux [242, 1] (w:1, o:270, a:1, s:1, b:0),
% 0.86/1.27 ot____nom52_aux [243, 1] (w:1, o:272, a:1, s:1, b:0),
% 0.86/1.27 ot____nom53_aux [244, 1] (w:1, o:274, a:1, s:1, b:0),
% 0.86/1.27 ot____nom54_aux [245, 1] (w:1, o:276, a:1, s:1, b:0),
% 0.86/1.27 ot____nom55_aux [246, 1] (w:1, o:278, a:1, s:1, b:0),
% 0.86/1.27 ot____nom56_aux [247, 1] (w:1, o:280, a:1, s:1, b:0),
% 0.86/1.27 portugalregion [248, 0] (w:1, o:165, a:1, s:1, b:0),
% 0.86/1.27 ot____nom57_aux [249, 1] (w:1, o:282, a:1, s:1, b:0),
% 0.86/1.27 ot____nom58_aux [250, 1] (w:1, o:284, a:1, s:1, b:0),
% 0.86/1.27 ot____nom59_aux [251, 1] (w:1, o:286, a:1, s:1, b:0),
% 0.86/1.27 ot____nom6_aux [252, 1] (w:1, o:289, a:1, s:1, b:0),
% 0.86/1.27 sangiovesegrape [253, 0] (w:1, o:103, a:1, s:1, b:0),
% 0.86/1.27 ot____nom60_aux [254, 1] (w:1, o:290, a:1, s:1, b:0),
% 0.86/1.27 ot____nom61_aux [255, 1] (w:1, o:292, a:1, s:1, b:0),
% 0.86/1.27 ot____nom62_aux [256, 1] (w:1, o:294, a:1, s:1, b:0),
% 0.86/1.27 ot____nom63_aux [257, 1] (w:1, o:296, a:1, s:1, b:0),
% 0.86/1.27 ot____nom64_aux [258, 1] (w:1, o:298, a:1, s:1, b:0),
% 0.86/1.27 ot____nom7_aux [259, 1] (w:1, o:301, a:1, s:1, b:0),
% 0.86/1.27 ot____nom8_aux [260, 1] (w:1, o:303, a:1, s:1, b:0),
% 0.86/1.27 petiteverdotgrape [261, 0] (w:1, o:166, a:1, s:1, b:0),
% 0.86/1.27 malbecgrape [262, 0] (w:1, o:12, a:1, s:1, b:0),
% 0.86/1.27 ot____nom9_aux [263, 1] (w:1, o:305, a:1, s:1, b:0),
% 0.86/1.27 wineflavor_aux [264, 1] (w:1, o:317, a:1, s:1, b:0),
% 0.86/1.27 winegrape_aux [265, 1] (w:1, o:319, a:1, s:1, b:0),
% 0.86/1.27 winesugar_aux [266, 1] (w:1, o:322, a:1, s:1, b:0),
% 0.86/1.27 winery_aux [267, 1] (w:1, o:320, a:1, s:1, b:0),
% 0.86/1.27 beringer [268, 0] (w:1, o:36, a:1, s:1, b:0),
% 0.86/1.27 handley [269, 0] (w:1, o:155, a:1, s:1, b:0),
% 0.86/1.27 zinfandel_aux [270, 1] (w:1, o:323, a:1, s:1, b:0),
% 0.86/1.27 winebody_aux [271, 1] (w:1, o:324, a:1, s:1, b:0),
% 0.86/1.27 winecolor_aux [272, 1] (w:1, o:326, a:1, s:1, b:0),
% 0.86/1.27 whiteburgundy_aux [273, 1] (w:1, o:309, a:1, s:1, b:0),
% 0.86/1.27 whitewine_aux [274, 1] (w:1, o:310, a:1, s:1, b:0),
% 0.86/1.27 muscadet_aux [275, 1] (w:1, o:330, a:1, s:1, b:0),
% 0.86/1.27 meursault_aux [276, 1] (w:1, o:331, a:1, s:1, b:0),
% 0.86/1.27 meritage_aux [277, 1] (w:1, o:332, a:1, s:1, b:0),
% 0.86/1.27 margaux_aux [278, 1] (w:1, o:333, a:1, s:1, b:0),
% 0.86/1.27 icewine_aux [279, 1] (w:1, o:334, a:1, s:1, b:0),
% 0.86/1.27 dryriesling_aux [280, 1] (w:1, o:356, a:1, s:1, b:0),
% 0.86/1.27 dessertwine_aux [281, 1] (w:1, o:357, a:1, s:1, b:0),
% 0.86/1.27 cabernetsauvignon_aux [282, 1] (w:1, o:343, a:1, s:1, b:0),
% 0.86/1.27 cabernetfranc_aux [283, 1] (w:1, o:344, a:1, s:1, b:0),
% 0.86/1.27 beaujolais_aux [284, 1] (w:1, o:339, a:1, s:1, b:0),
% 0.86/1.27 anjou_aux [285, 1] (w:1, o:337, a:1, s:1, b:0),
% 0.86/1.27 chardonnay_aux [286, 1] (w:1, o:345, a:1, s:1, b:0),
% 0.86/1.27 cheninblanc_aux [287, 1] (w:1, o:346, a:1, s:1, b:0),
% 0.86/1.27 chianti_aux [288, 1] (w:1, o:347, a:1, s:1, b:0),
% 0.86/1.27 cotesdor_aux [289, 1] (w:1, o:348, a:1, s:1, b:0),
% 0.86/1.27 merlot_aux [290, 1] (w:1, o:358, a:1, s:1, b:0),
% 0.86/1.27 pauillac_aux [291, 1] (w:1, o:360, a:1, s:1, b:0),
% 0.86/1.27 petitesyrah_aux [292, 1] (w:1, o:361, a:1, s:1, b:0),
% 0.86/1.27 pinotnoir_aux [293, 1] (w:1, o:362, a:1, s:1, b:0),
% 0.86/1.27 port_aux [294, 1] (w:1, o:363, a:1, s:1, b:0),
% 0.86/1.27 redtablewine_aux [295, 1] (w:1, o:436, a:1, s:1, b:0),
% 0.86/1.27 region_aux [296, 1] (w:1, o:437, a:1, s:1, b:0),
% 0.86/1.27 riesling_aux [297, 1] (w:1, o:438, a:1, s:1, b:0),
% 0.86/1.27 sancerre_aux [298, 1] (w:1, o:446, a:1, s:1, b:0),
% 0.86/1.27 sauternes_aux [299, 1] (w:1, o:447, a:1, s:1, b:0),
% 0.86/1.27 sauvignonblanc_aux [300, 1] (w:1, o:448, a:1, s:1, b:0),
% 0.86/1.27 semillon_aux [301, 1] (w:1, o:449, a:1, s:1, b:0),
% 0.86/1.27 stemilion_aux [302, 1] (w:1, o:450, a:1, s:1, b:0),
% 0.86/1.27 sweetriesling_aux [303, 1] (w:1, o:451, a:1, s:1, b:0),
% 0.86/1.27 kaon2namedobjects [304, 1] (w:1, o:452, a:1, s:1, b:0),
% 0.86/1.27 year1998 [305, 0] (w:1, o:159, a:1, s:1, b:0),
% 0.86/1.27 vintageyear_aux [306, 1] (w:1, o:306, a:1, s:1, b:0),
% 0.86/1.27 hasvintageyear_aux [307, 2] (w:1, o:529, a:1, s:1, b:0),
% 0.86/1.27 madefromgrape [310, 2] (w:1, o:530, a:1, s:1, b:0),
% 0.86/1.27 locatedin [311, 2] (w:1, o:526, a:1, s:1, b:0),
% 0.86/1.27 hassugar [312, 2] (w:1, o:531, a:1, s:1, b:0),
% 0.86/1.27 hasmaker [313, 2] (w:1, o:532, a:1, s:1, b:0),
% 0.86/1.27 hasflavor [314, 2] (w:1, o:533, a:1, s:1, b:0),
% 0.86/1.27 hascolor [315, 2] (w:1, o:534, a:1, s:1, b:0),
% 0.86/1.27 hasbody [316, 2] (w:1, o:519, a:1, s:1, b:0),
% 0.86/1.27 adjacentregion_aux [317, 2] (w:1, o:535, a:1, s:1, b:0),
% 0.86/1.27 adjacentregion [318, 2] (w:1, o:536, a:1, s:1, b:0),
% 0.86/1.27 hasvintageyear [319, 2] (w:1, o:537, a:1, s:1, b:0),
% 0.86/1.27 ot____nom1 [320, 1] (w:1, o:199, a:1, s:1, b:0),
% 0.86/1.27 ot____nom10 [321, 1] (w:1, o:181, a:1, s:1, b:0),
% 0.86/1.27 ot____nom11 [322, 1] (w:1, o:183, a:1, s:1, b:0),
% 0.86/1.27 ot____nom12 [323, 1] (w:1, o:185, a:1, s:1, b:0),
% 0.86/1.27 ot____nom13 [324, 1] (w:1, o:187, a:1, s:1, b:0),
% 0.86/1.27 ot____nom14 [325, 1] (w:1, o:189, a:1, s:1, b:0),
% 0.86/1.27 ot____nom15 [326, 1] (w:1, o:191, a:1, s:1, b:0),
% 0.86/1.27 ot____nom16 [327, 1] (w:1, o:193, a:1, s:1, b:0),
% 0.86/1.27 ot____nom17 [328, 1] (w:1, o:195, a:1, s:1, b:0),
% 0.86/1.27 ot____nom18 [329, 1] (w:1, o:197, a:1, s:1, b:0),
% 0.86/1.27 ot____nom19 [330, 1] (w:1, o:200, a:1, s:1, b:0),
% 0.86/1.27 ot____nom2 [331, 1] (w:1, o:221, a:1, s:1, b:0),
% 0.86/1.27 ot____nom20 [332, 1] (w:1, o:203, a:1, s:1, b:0),
% 0.86/1.27 ot____nom21 [333, 1] (w:1, o:205, a:1, s:1, b:0),
% 0.86/1.27 ot____nom22 [334, 1] (w:1, o:207, a:1, s:1, b:0),
% 0.86/1.27 ot____nom23 [335, 1] (w:1, o:209, a:1, s:1, b:0),
% 0.86/1.27 ot____nom24 [336, 1] (w:1, o:211, a:1, s:1, b:0),
% 0.86/1.27 ot____nom25 [337, 1] (w:1, o:213, a:1, s:1, b:0),
% 0.86/1.27 ot____nom26 [338, 1] (w:1, o:215, a:1, s:1, b:0),
% 0.86/1.27 ot____nom27 [339, 1] (w:1, o:217, a:1, s:1, b:0),
% 0.86/1.27 ot____nom28 [340, 1] (w:1, o:219, a:1, s:1, b:0),
% 0.86/1.27 ot____nom29 [341, 1] (w:1, o:222, a:1, s:1, b:0),
% 0.86/1.27 ot____nom3 [342, 1] (w:1, o:243, a:1, s:1, b:0),
% 0.86/1.27 ot____nom30 [343, 1] (w:1, o:225, a:1, s:1, b:0),
% 0.86/1.27 ot____nom31 [344, 1] (w:1, o:227, a:1, s:1, b:0),
% 0.86/1.27 ot____nom32 [345, 1] (w:1, o:229, a:1, s:1, b:0),
% 0.86/1.27 ot____nom33 [346, 1] (w:1, o:231, a:1, s:1, b:0),
% 0.86/1.27 ot____nom34 [347, 1] (w:1, o:233, a:1, s:1, b:0),
% 0.86/1.27 ot____nom35 [348, 1] (w:1, o:235, a:1, s:1, b:0),
% 0.86/1.27 ot____nom36 [349, 1] (w:1, o:237, a:1, s:1, b:0),
% 0.86/1.27 ot____nom37 [350, 1] (w:1, o:239, a:1, s:1, b:0),
% 0.86/1.27 ot____nom38 [351, 1] (w:1, o:241, a:1, s:1, b:0),
% 0.86/1.27 ot____nom39 [352, 1] (w:1, o:244, a:1, s:1, b:0),
% 0.86/1.27 ot____nom4 [353, 1] (w:1, o:265, a:1, s:1, b:0),
% 0.86/1.27 ot____nom40 [354, 1] (w:1, o:247, a:1, s:1, b:0),
% 0.86/1.27 ot____nom41 [355, 1] (w:1, o:249, a:1, s:1, b:0),
% 0.86/1.27 ot____nom42 [356, 1] (w:1, o:251, a:1, s:1, b:0),
% 0.86/1.27 ot____nom43 [357, 1] (w:1, o:253, a:1, s:1, b:0),
% 0.86/1.27 ot____nom44 [358, 1] (w:1, o:255, a:1, s:1, b:0),
% 0.86/1.27 ot____nom45 [359, 1] (w:1, o:257, a:1, s:1, b:0),
% 0.86/1.27 ot____nom46 [360, 1] (w:1, o:259, a:1, s:1, b:0),
% 0.86/1.27 ot____nom47 [361, 1] (w:1, o:261, a:1, s:1, b:0),
% 0.86/1.27 ot____nom48 [362, 1] (w:1, o:263, a:1, s:1, b:0),
% 0.86/1.27 ot____nom49 [363, 1] (w:1, o:266, a:1, s:1, b:0),
% 0.86/1.27 ot____nom5 [364, 1] (w:1, o:287, a:1, s:1, b:0),
% 0.86/1.27 ot____nom50 [365, 1] (w:1, o:269, a:1, s:1, b:0),
% 0.86/1.27 ot____nom51 [366, 1] (w:1, o:271, a:1, s:1, b:0),
% 0.86/1.27 ot____nom52 [367, 1] (w:1, o:273, a:1, s:1, b:0),
% 0.86/1.27 ot____nom53 [368, 1] (w:1, o:275, a:1, s:1, b:0),
% 0.86/1.27 ot____nom54 [369, 1] (w:1, o:277, a:1, s:1, b:0),
% 0.86/1.27 ot____nom55 [370, 1] (w:1, o:279, a:1, s:1, b:0),
% 0.86/1.27 ot____nom56 [371, 1] (w:1, o:281, a:1, s:1, b:0),
% 0.86/1.27 ot____nom57 [372, 1] (w:1, o:283, a:1, s:1, b:0),
% 0.86/1.27 ot____nom58 [373, 1] (w:1, o:285, a:1, s:1, b:0),
% 0.86/1.27 ot____nom59 [374, 1] (w:1, o:288, a:1, s:1, b:0),
% 0.86/1.27 ot____nom6 [375, 1] (w:1, o:299, a:1, s:1, b:0),
% 0.86/1.27 ot____nom60 [376, 1] (w:1, o:291, a:1, s:1, b:0),
% 0.86/1.27 ot____nom61 [377, 1] (w:1, o:293, a:1, s:1, b:0),
% 0.86/1.27 ot____nom62 [378, 1] (w:1, o:295, a:1, s:1, b:0),
% 0.86/1.27 ot____nom63 [379, 1] (w:1, o:297, a:1, s:1, b:0),
% 0.86/1.27 ot____nom64 [380, 1] (w:1, o:300, a:1, s:1, b:0),
% 0.86/1.27 ot____nom7 [381, 1] (w:1, o:302, a:1, s:1, b:0),
% 0.86/1.27 ot____nom8 [382, 1] (w:1, o:304, a:1, s:1, b:0),
% 0.86/1.27 ot____nom9 [383, 1] (w:1, o:359, a:1, s:1, b:0),
% 0.86/1.27 zinfandel [384, 1] (w:1, o:453, a:1, s:1, b:0),
% 0.86/1.27 winery [385, 1] (w:1, o:321, a:1, s:1, b:0),
% 0.86/1.27 winegrape [386, 1] (w:1, o:454, a:1, s:1, b:0),
% 0.86/1.27 winesugar [387, 1] (w:1, o:455, a:1, s:1, b:0),
% 0.86/1.27 wineflavor [388, 1] (w:1, o:318, a:1, s:1, b:0),
% 0.86/1.27 anjou [389, 1] (w:1, o:338, a:1, s:1, b:0),
% 0.86/1.27 beaujolais [390, 1] (w:1, o:340, a:1, s:1, b:0),
% 0.86/1.27 cabernetfranc [391, 1] (w:1, o:349, a:1, s:1, b:0),
% 0.86/1.27 cabernetsauvignon [392, 1] (w:1, o:350, a:1, s:1, b:0),
% 0.86/1.27 chardonnay [393, 1] (w:1, o:351, a:1, s:1, b:0),
% 0.86/1.27 cheninblanc [394, 1] (w:1, o:352, a:1, s:1, b:0),
% 0.86/1.27 chianti [395, 1] (w:1, o:353, a:1, s:1, b:0),
% 0.86/1.27 cotesdor [396, 1] (w:1, o:354, a:1, s:1, b:0),
% 0.86/1.27 dessertwine [397, 1] (w:1, o:456, a:1, s:1, b:0),
% 0.86/1.27 dryriesling [398, 1] (w:1, o:457, a:1, s:1, b:0),
% 0.86/1.27 icewine [399, 1] (w:1, o:458, a:1, s:1, b:0),
% 0.86/1.27 margaux [400, 1] (w:1, o:459, a:1, s:1, b:0),
% 0.86/1.27 meritage [401, 1] (w:1, o:460, a:1, s:1, b:0),
% 0.86/1.27 merlot [402, 1] (w:1, o:461, a:1, s:1, b:0),
% 0.86/1.27 meursault [403, 1] (w:1, o:462, a:1, s:1, b:0),
% 0.86/1.27 muscadet [404, 1] (w:1, o:463, a:1, s:1, b:0),
% 0.86/1.27 pauillac [405, 1] (w:1, o:464, a:1, s:1, b:0),
% 0.86/1.27 petitesyrah [406, 1] (w:1, o:465, a:1, s:1, b:0),
% 0.86/1.27 pinotnoir [407, 1] (w:1, o:466, a:1, s:1, b:0),
% 0.86/1.27 port [408, 1] (w:1, o:467, a:1, s:1, b:0),
% 0.86/1.27 redtablewine [409, 1] (w:1, o:439, a:1, s:1, b:0),
% 0.86/1.27 region [410, 1] (w:1, o:440, a:1, s:1, b:0),
% 0.86/1.27 riesling [411, 1] (w:1, o:441, a:1, s:1, b:0),
% 0.86/1.27 sancerre [412, 1] (w:1, o:468, a:1, s:1, b:0),
% 0.86/1.27 sauternes [413, 1] (w:1, o:469, a:1, s:1, b:0),
% 0.86/1.27 sauvignonblanc [414, 1] (w:1, o:470, a:1, s:1, b:0),
% 0.86/1.27 semillon [415, 1] (w:1, o:471, a:1, s:1, b:0),
% 0.86/1.27 stemilion [416, 1] (w:1, o:472, a:1, s:1, b:0),
% 0.86/1.27 sweetriesling [417, 1] (w:1, o:473, a:1, s:1, b:0),
% 0.86/1.27 vintageyear [418, 1] (w:1, o:307, a:1, s:1, b:0),
% 0.86/1.27 whiteburgundy [419, 1] (w:1, o:311, a:1, s:1, b:0),
% 0.86/1.27 whitewine [420, 1] (w:1, o:312, a:1, s:1, b:0),
% 0.86/1.27 winebody [421, 1] (w:1, o:325, a:1, s:1, b:0),
% 0.86/1.27 winecolor [422, 1] (w:1, o:474, a:1, s:1, b:0),
% 0.86/1.27 q0 [423, 1] (w:1, o:366, a:1, s:1, b:0),
% 0.86/1.27 medoc [424, 1] (w:1, o:475, a:1, s:1, b:0),
% 0.86/1.27 redwine [425, 1] (w:1, o:442, a:1, s:1, b:0),
% 0.86/1.27 kaon2equal [426, 2] (w:1, o:524, a:1, s:1, b:0),
% 0.86/1.27 bordeaux [427, 1] (w:1, o:341, a:1, s:1, b:0),
% 0.86/1.27 q1 [428, 1] (w:1, o:367, a:1, s:1, b:0),
% 0.86/1.27 q2 [429, 1] (w:1, o:378, a:1, s:1, b:0),
% 0.86/1.27 q9 [430, 1] (w:1, o:379, a:1, s:1, b:0),
% 0.86/1.27 q10 [431, 1] (w:1, o:368, a:1, s:1, b:0),
% 0.86/1.27 q11 [432, 1] (w:1, o:369, a:1, s:1, b:0),
% 0.86/1.27 q12 [433, 1] (w:1, o:370, a:1, s:1, b:0),
% 0.86/1.27 whitetablewine [434, 1] (w:1, o:313, a:1, s:1, b:0),
% 3.16/3.53 pinotblanc [435, 1] (w:1, o:364, a:1, s:1, b:0),
% 3.16/3.53 semillonorsauvignonblanc [436, 1] (w:1, o:476, a:1, s:1, b:0),
% 3.16/3.53 q13 [437, 1] (w:1, o:371, a:1, s:1, b:0),
% 3.16/3.53 gamay [438, 1] (w:1, o:482, a:1, s:1, b:0),
% 3.16/3.53 q14 [439, 1] (w:1, o:372, a:1, s:1, b:0),
% 3.16/3.53 q15 [440, 1] (w:1, o:373, a:1, s:1, b:0),
% 3.16/3.53 rosewine [441, 1] (w:1, o:443, a:1, s:1, b:0),
% 3.16/3.53 q16 [442, 1] (w:1, o:374, a:1, s:1, b:0),
% 3.16/3.53 q17 [443, 1] (w:1, o:375, a:1, s:1, b:0),
% 3.16/3.53 q18 [444, 1] (w:1, o:376, a:1, s:1, b:0),
% 3.16/3.53 q19 [445, 1] (w:1, o:377, a:1, s:1, b:0),
% 3.16/3.53 q20 [446, 1] (w:1, o:380, a:1, s:1, b:0),
% 3.16/3.53 q21 [447, 1] (w:1, o:381, a:1, s:1, b:0),
% 3.16/3.53 q22 [448, 1] (w:1, o:382, a:1, s:1, b:0),
% 3.16/3.53 q23 [449, 1] (w:1, o:383, a:1, s:1, b:0),
% 3.16/3.53 q24 [450, 1] (w:1, o:384, a:1, s:1, b:0),
% 3.16/3.53 americanwine [451, 1] (w:1, o:336, a:1, s:1, b:0),
% 3.16/3.53 q26 [452, 1] (w:1, o:385, a:1, s:1, b:0),
% 3.16/3.53 q27 [453, 1] (w:1, o:386, a:1, s:1, b:0),
% 3.16/3.53 burgundy [454, 1] (w:1, o:342, a:1, s:1, b:0),
% 3.16/3.54 q29 [455, 1] (w:1, o:387, a:1, s:1, b:0),
% 3.16/3.54 q30 [456, 1] (w:1, o:388, a:1, s:1, b:0),
% 3.16/3.54 q3 [457, 1] (w:1, o:389, a:1, s:1, b:0),
% 3.16/3.54 tours [458, 1] (w:1, o:484, a:1, s:1, b:0),
% 3.16/3.54 redburgundy [459, 1] (w:1, o:444, a:1, s:1, b:0),
% 3.16/3.54 wine [460, 1] (w:1, o:485, a:1, s:1, b:0),
% 3.16/3.54 q31 [461, 1] (w:1, o:390, a:1, s:1, b:0),
% 3.16/3.54 tablewine [462, 1] (w:1, o:486, a:1, s:1, b:0),
% 3.16/3.54 drywine [463, 1] (w:1, o:487, a:1, s:1, b:0),
% 3.16/3.54 q32 [464, 1] (w:1, o:391, a:1, s:1, b:0),
% 3.16/3.54 q33 [465, 1] (w:1, o:392, a:1, s:1, b:0),
% 3.16/3.54 q34 [466, 1] (w:1, o:393, a:1, s:1, b:0),
% 3.16/3.54 q35 [467, 1] (w:1, o:394, a:1, s:1, b:0),
% 3.16/3.54 fullbodiedwine [468, 1] (w:1, o:480, a:1, s:1, b:0),
% 3.16/3.54 whitenonsweetwine [469, 1] (w:1, o:314, a:1, s:1, b:0),
% 3.16/3.54 q36 [470, 1] (w:1, o:395, a:1, s:1, b:0),
% 3.16/3.54 earlyharvest [471, 1] (w:1, o:479, a:1, s:1, b:0),
% 3.16/3.54 q37 [472, 1] (w:1, o:396, a:1, s:1, b:0),
% 3.16/3.54 q38 [473, 1] (w:1, o:397, a:1, s:1, b:0),
% 3.16/3.54 q39 [474, 1] (w:1, o:398, a:1, s:1, b:0),
% 3.16/3.54 q40 [475, 1] (w:1, o:399, a:1, s:1, b:0),
% 3.16/3.54 q4 [476, 1] (w:1, o:400, a:1, s:1, b:0),
% 3.16/3.54 q41 [477, 1] (w:1, o:401, a:1, s:1, b:0),
% 3.16/3.54 q42 [478, 1] (w:1, o:402, a:1, s:1, b:0),
% 3.16/3.54 q43 [479, 1] (w:1, o:403, a:1, s:1, b:0),
% 3.16/3.54 q44 [480, 1] (w:1, o:404, a:1, s:1, b:0),
% 3.16/3.54 q45 [481, 1] (w:1, o:405, a:1, s:1, b:0),
% 3.16/3.54 q46 [482, 1] (w:1, o:406, a:1, s:1, b:0),
% 3.16/3.54 californiawine [483, 1] (w:1, o:355, a:1, s:1, b:0),
% 3.16/3.54 q47 [484, 1] (w:1, o:407, a:1, s:1, b:0),
% 3.16/3.54 q48 [485, 1] (w:1, o:408, a:1, s:1, b:0),
% 3.16/3.54 germanwine [486, 1] (w:1, o:488, a:1, s:1, b:0),
% 3.16/3.54 q49 [487, 1] (w:1, o:409, a:1, s:1, b:0),
% 3.16/3.54 q50 [488, 1] (w:1, o:410, a:1, s:1, b:0),
% 3.16/3.54 q5 [489, 1] (w:1, o:411, a:1, s:1, b:0),
% 3.16/3.54 q6 [490, 1] (w:1, o:419, a:1, s:1, b:0),
% 3.16/3.54 q72 [491, 1] (w:1, o:431, a:1, s:1, b:0),
% 3.16/3.54 q69 [492, 1] (w:1, o:421, a:1, s:1, b:0),
% 3.16/3.54 q63 [493, 1] (w:1, o:423, a:1, s:1, b:0),
% 3.16/3.54 frenchwine [494, 1] (w:1, o:481, a:1, s:1, b:0),
% 3.16/3.54 q51 [495, 1] (w:1, o:412, a:1, s:1, b:0),
% 3.16/3.54 q52 [496, 1] (w:1, o:413, a:1, s:1, b:0),
% 3.16/3.54 q55 [497, 1] (w:1, o:414, a:1, s:1, b:0),
% 3.16/3.54 q56 [498, 1] (w:1, o:415, a:1, s:1, b:0),
% 3.16/3.54 loire [499, 1] (w:1, o:328, a:1, s:1, b:0),
% 3.16/3.54 q57 [500, 1] (w:1, o:416, a:1, s:1, b:0),
% 3.16/3.54 q58 [501, 1] (w:1, o:417, a:1, s:1, b:0),
% 3.16/3.54 alsatianwine [502, 1] (w:1, o:335, a:1, s:1, b:0),
% 3.16/3.54 q59 [503, 1] (w:1, o:418, a:1, s:1, b:0),
% 3.16/3.54 q60 [504, 1] (w:1, o:424, a:1, s:1, b:0),
% 3.16/3.54 italianwine [505, 1] (w:1, o:489, a:1, s:1, b:0),
% 3.16/3.54 q61 [506, 1] (w:1, o:425, a:1, s:1, b:0),
% 3.16/3.54 q62 [507, 1] (w:1, o:422, a:1, s:1, b:0),
% 3.16/3.54 q64 [508, 1] (w:1, o:426, a:1, s:1, b:0),
% 3.16/3.54 q65 [509, 1] (w:1, o:427, a:1, s:1, b:0),
% 3.16/3.54 q66 [510, 1] (w:1, o:428, a:1, s:1, b:0),
% 3.16/3.54 q67 [511, 1] (w:1, o:429, a:1, s:1, b:0),
% 3.16/3.54 whitebordeaux [512, 1] (w:1, o:315, a:1, s:1, b:0),
% 3.16/3.54 q68 [513, 1] (w:1, o:420, a:1, s:1, b:0),
% 3.16/3.54 q7 [514, 1] (w:1, o:432, a:1, s:1, b:0),
% 3.16/3.54 q70 [515, 1] (w:1, o:433, a:1, s:1, b:0),
% 37.96/38.36 sweetwine [516, 1] (w:1, o:483, a:1, s:1, b:0),
% 37.96/38.36 lateharvest [517, 1] (w:1, o:329, a:1, s:1, b:0),
% 37.96/38.36 q71 [518, 1] (w:1, o:430, a:1, s:1, b:0),
% 37.96/38.36 texaswine [519, 1] (w:1, o:490, a:1, s:1, b:0),
% 37.96/38.36 q73 [520, 1] (w:1, o:434, a:1, s:1, b:0),
% 37.96/38.36 q74 [521, 1] (w:1, o:435, a:1, s:1, b:0),
% 37.96/38.36 redbordeaux [522, 1] (w:1, o:445, a:1, s:1, b:0),
% 37.96/38.36 dryredwine [523, 1] (w:1, o:477, a:1, s:1, b:0),
% 37.96/38.36 drywhitewine [524, 1] (w:1, o:478, a:1, s:1, b:0),
% 37.96/38.36 grape [525, 1] (w:1, o:491, a:1, s:1, b:0),
% 37.96/38.36 whiteloire [526, 1] (w:1, o:316, a:1, s:1, b:0),
% 37.96/38.36 potableliquid [527, 1] (w:1, o:365, a:1, s:1, b:0),
% 37.96/38.36 vintage [528, 1] (w:1, o:308, a:1, s:1, b:0),
% 37.96/38.36 haswinedescriptor [529, 2] (w:1, o:538, a:1, s:1, b:0),
% 37.96/38.36 winedescriptor [530, 1] (w:1, o:492, a:1, s:1, b:0),
% 37.96/38.36 winetaste [531, 1] (w:1, o:493, a:1, s:1, b:0),
% 37.96/38.36 produceswine [534, 2] (w:1, o:539, a:1, s:1, b:0),
% 37.96/38.36 madefromfruit [536, 2] (w:1, o:527, a:1, s:1, b:0),
% 37.96/38.36 madeintowine [537, 2] (w:1, o:540, a:1, s:1, b:0),
% 37.96/38.36 kaon2hu [538, 1] (w:1, o:327, a:1, s:1, b:0).
% 37.96/38.36
% 37.96/38.36
% 37.96/38.36 Starting Search:
% 37.96/38.36
% 37.96/38.36 *** allocated 75937 integers for clauses
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 *** allocated 113905 integers for clauses
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 2043
% 37.96/38.36 Kept: 2000
% 37.96/38.36 Inuse: 741
% 37.96/38.36 Deleted: 0
% 37.96/38.36 Deletedinuse: 0
% 37.96/38.36
% 37.96/38.36 *** allocated 170857 integers for clauses
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 *** allocated 256285 integers for clauses
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 4304
% 37.96/38.36 Kept: 4064
% 37.96/38.36 Inuse: 2055
% 37.96/38.36 Deleted: 1
% 37.96/38.36 Deletedinuse: 0
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 *** allocated 384427 integers for clauses
% 37.96/38.36 *** allocated 75937 integers for termspace/termends
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 6538
% 37.96/38.36 Kept: 6076
% 37.96/38.36 Inuse: 2742
% 37.96/38.36 Deleted: 4
% 37.96/38.36 Deletedinuse: 0
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 9424
% 37.96/38.36 Kept: 8190
% 37.96/38.36 Inuse: 3325
% 37.96/38.36 Deleted: 11
% 37.96/38.36 Deletedinuse: 5
% 37.96/38.36
% 37.96/38.36 *** allocated 576640 integers for clauses
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 11440
% 37.96/38.36 Kept: 10194
% 37.96/38.36 Inuse: 3455
% 37.96/38.36 Deleted: 11
% 37.96/38.36 Deletedinuse: 5
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 *** allocated 113905 integers for termspace/termends
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 *** allocated 864960 integers for clauses
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 13600
% 37.96/38.36 Kept: 12341
% 37.96/38.36 Inuse: 3585
% 37.96/38.36 Deleted: 11
% 37.96/38.36 Deletedinuse: 5
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 15738
% 37.96/38.36 Kept: 14466
% 37.96/38.36 Inuse: 3720
% 37.96/38.36 Deleted: 11
% 37.96/38.36 Deletedinuse: 5
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 18460
% 37.96/38.36 Kept: 16483
% 37.96/38.36 Inuse: 4015
% 37.96/38.36 Deleted: 11
% 37.96/38.36 Deletedinuse: 5
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 *** allocated 1297440 integers for clauses
% 37.96/38.36 *** allocated 170857 integers for termspace/termends
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 20789
% 37.96/38.36 Kept: 18506
% 37.96/38.36 Inuse: 4115
% 37.96/38.36 Deleted: 11
% 37.96/38.36 Deletedinuse: 5
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 Resimplifying clauses:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 23207
% 37.96/38.36 Kept: 20583
% 37.96/38.36 Inuse: 4220
% 37.96/38.36 Deleted: 349
% 37.96/38.36 Deletedinuse: 5
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 26533
% 37.96/38.36 Kept: 22635
% 37.96/38.36 Inuse: 4320
% 37.96/38.36 Deleted: 362
% 37.96/38.36 Deletedinuse: 18
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 29292
% 37.96/38.36 Kept: 24643
% 37.96/38.36 Inuse: 4430
% 37.96/38.36 Deleted: 382
% 37.96/38.36 Deletedinuse: 38
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 50436
% 37.96/38.36 Kept: 26667
% 37.96/38.36 Inuse: 5028
% 37.96/38.36 Deleted: 384
% 37.96/38.36 Deletedinuse: 40
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 37.96/38.36 Done
% 37.96/38.36
% 37.96/38.36 *** allocated 1946160 integers for clauses
% 37.96/38.36 *** allocated 256285 integers for termspace/termends
% 37.96/38.36
% 37.96/38.36 Intermediate Status:
% 37.96/38.36 Generated: 52668
% 37.96/38.36 Kept: 28669
% 37.96/38.36 Inuse: 5154
% 37.96/38.36 Deleted: 385
% 37.96/38.36 Deletedinuse: 41
% 37.96/38.36
% 37.96/38.36 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 55414
% 75.95/76.34 Kept: 30671
% 75.95/76.34 Inuse: 5923
% 75.95/76.34 Deleted: 388
% 75.95/76.34 Deletedinuse: 41
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 58422
% 75.95/76.34 Kept: 32671
% 75.95/76.34 Inuse: 20449
% 75.95/76.34 Deleted: 915
% 75.95/76.34 Deletedinuse: 41
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 63859
% 75.95/76.34 Kept: 34725
% 75.95/76.34 Inuse: 31328
% 75.95/76.34 Deleted: 1885
% 75.95/76.34 Deletedinuse: 396
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 66992
% 75.95/76.34 Kept: 36736
% 75.95/76.34 Inuse: 31878
% 75.95/76.34 Deleted: 1907
% 75.95/76.34 Deletedinuse: 418
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 69439
% 75.95/76.34 Kept: 38737
% 75.95/76.34 Inuse: 32187
% 75.95/76.34 Deleted: 1907
% 75.95/76.34 Deletedinuse: 418
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying clauses:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 72550
% 75.95/76.34 Kept: 40855
% 75.95/76.34 Inuse: 32557
% 75.95/76.34 Deleted: 2493
% 75.95/76.34 Deletedinuse: 903
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 75344
% 75.95/76.34 Kept: 42928
% 75.95/76.34 Inuse: 32756
% 75.95/76.34 Deleted: 2761
% 75.95/76.34 Deletedinuse: 1171
% 75.95/76.34
% 75.95/76.34 *** allocated 2919240 integers for clauses
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 77999
% 75.95/76.34 Kept: 44940
% 75.95/76.34 Inuse: 32868
% 75.95/76.34 Deleted: 2836
% 75.95/76.34 Deletedinuse: 1246
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 *** allocated 384427 integers for termspace/termends
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 81048
% 75.95/76.34 Kept: 47034
% 75.95/76.34 Inuse: 33031
% 75.95/76.34 Deleted: 2927
% 75.95/76.34 Deletedinuse: 1337
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 84246
% 75.95/76.34 Kept: 49040
% 75.95/76.34 Inuse: 33330
% 75.95/76.34 Deleted: 3054
% 75.95/76.34 Deletedinuse: 1462
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 88126
% 75.95/76.34 Kept: 51125
% 75.95/76.34 Inuse: 33694
% 75.95/76.34 Deleted: 3236
% 75.95/76.34 Deletedinuse: 1644
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 92265
% 75.95/76.34 Kept: 53141
% 75.95/76.34 Inuse: 34018
% 75.95/76.34 Deleted: 3325
% 75.95/76.34 Deletedinuse: 1726
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 96538
% 75.95/76.34 Kept: 55205
% 75.95/76.34 Inuse: 34430
% 75.95/76.34 Deleted: 3550
% 75.95/76.34 Deletedinuse: 1947
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 99565
% 75.95/76.34 Kept: 57277
% 75.95/76.34 Inuse: 34648
% 75.95/76.34 Deleted: 3613
% 75.95/76.34 Deletedinuse: 2010
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 103276
% 75.95/76.34 Kept: 59296
% 75.95/76.34 Inuse: 34913
% 75.95/76.34 Deleted: 3627
% 75.95/76.34 Deletedinuse: 2024
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying clauses:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 106580
% 75.95/76.34 Kept: 61298
% 75.95/76.34 Inuse: 35422
% 75.95/76.34 Deleted: 5435
% 75.95/76.34 Deletedinuse: 2516
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 110195
% 75.95/76.34 Kept: 63326
% 75.95/76.34 Inuse: 35849
% 75.95/76.34 Deleted: 5587
% 75.95/76.34 Deletedinuse: 2668
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 113806
% 75.95/76.34 Kept: 65367
% 75.95/76.34 Inuse: 36329
% 75.95/76.34 Deleted: 5947
% 75.95/76.34 Deletedinuse: 3028
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 *** allocated 4378860 integers for clauses
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 117681
% 75.95/76.34 Kept: 67367
% 75.95/76.34 Inuse: 36596
% 75.95/76.34 Deleted: 6028
% 75.95/76.34 Deletedinuse: 3109
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 121454
% 75.95/76.34 Kept: 69380
% 75.95/76.34 Inuse: 36953
% 75.95/76.34 Deleted: 6213
% 75.95/76.34 Deletedinuse: 3294
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 125561
% 75.95/76.34 Kept: 71423
% 75.95/76.34 Inuse: 37359
% 75.95/76.34 Deleted: 6353
% 75.95/76.34 Deletedinuse: 3434
% 75.95/76.34
% 75.95/76.34 *** allocated 576640 integers for termspace/termends
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 75.95/76.34 Done
% 75.95/76.34
% 75.95/76.34
% 75.95/76.34 Intermediate Status:
% 75.95/76.34 Generated: 129703
% 75.95/76.34 Kept: 73423
% 75.95/76.34 Inuse: 37788
% 75.95/76.34 Deleted: 6530
% 75.95/76.34 Deletedinuse: 3611
% 75.95/76.34
% 75.95/76.34 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 133642
% 130.94/131.35 Kept: 75425
% 130.94/131.35 Inuse: 38169
% 130.94/131.35 Deleted: 6747
% 130.94/131.35 Deletedinuse: 3828
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 138197
% 130.94/131.35 Kept: 77431
% 130.94/131.35 Inuse: 38675
% 130.94/131.35 Deleted: 7107
% 130.94/131.35 Deletedinuse: 4188
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 143277
% 130.94/131.35 Kept: 79464
% 130.94/131.35 Inuse: 39109
% 130.94/131.35 Deleted: 7252
% 130.94/131.35 Deletedinuse: 4333
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying clauses:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 147323
% 130.94/131.35 Kept: 81580
% 130.94/131.35 Inuse: 39286
% 130.94/131.35 Deleted: 14226
% 130.94/131.35 Deletedinuse: 4537
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 153306
% 130.94/131.35 Kept: 83599
% 130.94/131.35 Inuse: 40809
% 130.94/131.35 Deleted: 15088
% 130.94/131.35 Deletedinuse: 5399
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 158583
% 130.94/131.35 Kept: 85634
% 130.94/131.35 Inuse: 41039
% 130.94/131.35 Deleted: 15239
% 130.94/131.35 Deletedinuse: 5550
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 163944
% 130.94/131.35 Kept: 87692
% 130.94/131.35 Inuse: 41310
% 130.94/131.35 Deleted: 15334
% 130.94/131.35 Deletedinuse: 5645
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 168432
% 130.94/131.35 Kept: 89723
% 130.94/131.35 Inuse: 41594
% 130.94/131.35 Deleted: 15448
% 130.94/131.35 Deletedinuse: 5759
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 172756
% 130.94/131.35 Kept: 91723
% 130.94/131.35 Inuse: 41780
% 130.94/131.35 Deleted: 15464
% 130.94/131.35 Deletedinuse: 5775
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 177214
% 130.94/131.35 Kept: 93723
% 130.94/131.35 Inuse: 42133
% 130.94/131.35 Deleted: 15558
% 130.94/131.35 Deletedinuse: 5869
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 181624
% 130.94/131.35 Kept: 95737
% 130.94/131.35 Inuse: 42445
% 130.94/131.35 Deleted: 15662
% 130.94/131.35 Deletedinuse: 5973
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 186337
% 130.94/131.35 Kept: 97750
% 130.94/131.35 Inuse: 42823
% 130.94/131.35 Deleted: 15783
% 130.94/131.35 Deletedinuse: 6092
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 191288
% 130.94/131.35 Kept: 99775
% 130.94/131.35 Inuse: 43172
% 130.94/131.35 Deleted: 15849
% 130.94/131.35 Deletedinuse: 6158
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying clauses:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 196799
% 130.94/131.35 Kept: 102220
% 130.94/131.35 Inuse: 43499
% 130.94/131.35 Deleted: 19229
% 130.94/131.35 Deletedinuse: 6273
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 *** allocated 6568290 integers for clauses
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 201604
% 130.94/131.35 Kept: 104245
% 130.94/131.35 Inuse: 44536
% 130.94/131.35 Deleted: 19767
% 130.94/131.35 Deletedinuse: 6811
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 206535
% 130.94/131.35 Kept: 106247
% 130.94/131.35 Inuse: 44754
% 130.94/131.35 Deleted: 19772
% 130.94/131.35 Deletedinuse: 6816
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 211397
% 130.94/131.35 Kept: 108247
% 130.94/131.35 Inuse: 45034
% 130.94/131.35 Deleted: 19773
% 130.94/131.35 Deletedinuse: 6817
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 216441
% 130.94/131.35 Kept: 110275
% 130.94/131.35 Inuse: 45321
% 130.94/131.35 Deleted: 19775
% 130.94/131.35 Deletedinuse: 6819
% 130.94/131.35
% 130.94/131.35 *** allocated 864960 integers for termspace/termends
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 221436
% 130.94/131.35 Kept: 112276
% 130.94/131.35 Inuse: 45607
% 130.94/131.35 Deleted: 19775
% 130.94/131.35 Deletedinuse: 6819
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 227023
% 130.94/131.35 Kept: 114277
% 130.94/131.35 Inuse: 45956
% 130.94/131.35 Deleted: 19784
% 130.94/131.35 Deletedinuse: 6828
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 232044
% 130.94/131.35 Kept: 116324
% 130.94/131.35 Inuse: 46190
% 130.94/131.35 Deleted: 19790
% 130.94/131.35 Deletedinuse: 6834
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 236915
% 130.94/131.35 Kept: 118326
% 130.94/131.35 Inuse: 46467
% 130.94/131.35 Deleted: 19791
% 130.94/131.35 Deletedinuse: 6835
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35 Resimplifying inuse:
% 130.94/131.35 Done
% 130.94/131.35
% 130.94/131.35
% 130.94/131.35 Intermediate Status:
% 130.94/131.35 Generated: 241930
% 206.26/206.68 Kept: 120381
% 206.26/206.68 Inuse: 46732
% 206.26/206.68 Deleted: 19792
% 206.26/206.68 Deletedinuse: 6836
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying clauses:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 246865
% 206.26/206.68 Kept: 122578
% 206.26/206.68 Inuse: 46999
% 206.26/206.68 Deleted: 20447
% 206.26/206.68 Deletedinuse: 6837
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 251671
% 206.26/206.68 Kept: 124609
% 206.26/206.68 Inuse: 47431
% 206.26/206.68 Deleted: 20581
% 206.26/206.68 Deletedinuse: 6971
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 256644
% 206.26/206.68 Kept: 126636
% 206.26/206.68 Inuse: 47669
% 206.26/206.68 Deleted: 20583
% 206.26/206.68 Deletedinuse: 6973
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 261554
% 206.26/206.68 Kept: 128657
% 206.26/206.68 Inuse: 47941
% 206.26/206.68 Deleted: 20585
% 206.26/206.68 Deletedinuse: 6975
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 266507
% 206.26/206.68 Kept: 130657
% 206.26/206.68 Inuse: 48255
% 206.26/206.68 Deleted: 20586
% 206.26/206.68 Deletedinuse: 6976
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 271593
% 206.26/206.68 Kept: 132679
% 206.26/206.68 Inuse: 48549
% 206.26/206.68 Deleted: 20586
% 206.26/206.68 Deletedinuse: 6976
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 277176
% 206.26/206.68 Kept: 134679
% 206.26/206.68 Inuse: 48857
% 206.26/206.68 Deleted: 20588
% 206.26/206.68 Deletedinuse: 6978
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 282083
% 206.26/206.68 Kept: 136685
% 206.26/206.68 Inuse: 49061
% 206.26/206.68 Deleted: 20593
% 206.26/206.68 Deletedinuse: 6983
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 287042
% 206.26/206.68 Kept: 138709
% 206.26/206.68 Inuse: 49360
% 206.26/206.68 Deleted: 20595
% 206.26/206.68 Deletedinuse: 6985
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 292032
% 206.26/206.68 Kept: 140711
% 206.26/206.68 Inuse: 49654
% 206.26/206.68 Deleted: 20598
% 206.26/206.68 Deletedinuse: 6988
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying clauses:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 297116
% 206.26/206.68 Kept: 142919
% 206.26/206.68 Inuse: 49927
% 206.26/206.68 Deleted: 21043
% 206.26/206.68 Deletedinuse: 6989
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 301896
% 206.26/206.68 Kept: 144925
% 206.26/206.68 Inuse: 50265
% 206.26/206.68 Deleted: 21137
% 206.26/206.68 Deletedinuse: 7083
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 306726
% 206.26/206.68 Kept: 146925
% 206.26/206.68 Inuse: 50551
% 206.26/206.68 Deleted: 21138
% 206.26/206.68 Deletedinuse: 7084
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 311688
% 206.26/206.68 Kept: 148925
% 206.26/206.68 Inuse: 50820
% 206.26/206.68 Deleted: 21139
% 206.26/206.68 Deletedinuse: 7085
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 316703
% 206.26/206.68 Kept: 150943
% 206.26/206.68 Inuse: 51115
% 206.26/206.68 Deleted: 21140
% 206.26/206.68 Deletedinuse: 7086
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 322198
% 206.26/206.68 Kept: 152959
% 206.26/206.68 Inuse: 51462
% 206.26/206.68 Deleted: 21141
% 206.26/206.68 Deletedinuse: 7087
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 327200
% 206.26/206.68 Kept: 154991
% 206.26/206.68 Inuse: 51845
% 206.26/206.68 Deleted: 21230
% 206.26/206.68 Deletedinuse: 7176
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 332438
% 206.26/206.68 Kept: 157048
% 206.26/206.68 Inuse: 52141
% 206.26/206.68 Deleted: 21235
% 206.26/206.68 Deletedinuse: 7181
% 206.26/206.68
% 206.26/206.68 *** allocated 9852435 integers for clauses
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 337693
% 206.26/206.68 Kept: 159050
% 206.26/206.68 Inuse: 52349
% 206.26/206.68 Deleted: 21238
% 206.26/206.68 Deletedinuse: 7184
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 342768
% 206.26/206.68 Kept: 161069
% 206.26/206.68 Inuse: 52422
% 206.26/206.68 Deleted: 21239
% 206.26/206.68 Deletedinuse: 7185
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying clauses:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68
% 206.26/206.68 Intermediate Status:
% 206.26/206.68 Generated: 347999
% 206.26/206.68 Kept: 163259
% 206.26/206.68 Inuse: 52572
% 206.26/206.68 Deleted: 21661
% 206.26/206.68 Deletedinuse: 7186
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 Resimplifying inuse:
% 206.26/206.68 Done
% 206.26/206.68
% 206.26/206.68 *** allocated 1297440 integers for termspace/termends
% 206.26/206.68
% 206.26/206.68 Intermediate Status:Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------