TSTP Solution File: PRD001+1 by Bliksem---1.12
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Bliksem---1.12
% Problem : PRD001+1 : TPTP v8.1.0. Released v6.2.0.
% Transfm : none
% Format : tptp:raw
% Command : bliksem %s
% Computer : n025.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.09s 300.49s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : PRD001+1 : TPTP v8.1.0. Released v6.2.0.
% 0.03/0.12 % Command : bliksem %s
% 0.13/0.34 % Computer : n025.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % DateTime : Mon Jun 6 10:35:18 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.85/1.57 *** allocated 10000 integers for termspace/termends
% 0.85/1.57 *** allocated 10000 integers for clauses
% 0.85/1.57 *** allocated 10000 integers for justifications
% 0.85/1.57 *** allocated 15000 integers for termspace/termends
% 0.85/1.57 Bliksem 1.12
% 0.85/1.57
% 0.85/1.57
% 0.85/1.57 Automatic Strategy Selection
% 0.85/1.57
% 0.85/1.57 *** allocated 22500 integers for termspace/termends
% 0.85/1.57 *** allocated 33750 integers for termspace/termends
% 0.85/1.57 *** allocated 50625 integers for termspace/termends
% 0.85/1.57
% 0.85/1.57 Clauses:
% 0.85/1.57
% 0.85/1.57 { hasbody_aux( pulignymontrachetwhiteburgundy, medium ) }.
% 0.85/1.57 { hasbody_aux( formanchardonnay, full ) }.
% 0.85/1.57 { hasbody_aux( foxencheninblanc, full ) }.
% 0.85/1.57 { hasbody_aux( chianticlassico, medium ) }.
% 0.85/1.57 { hasbody_aux( cortonmontrachetwhiteburgundy, full ) }.
% 0.85/1.57 { hasbody_aux( corbansprivatebinsauvignonblanc, full ) }.
% 0.85/1.57 { hasbody_aux( congressspringssemillon, medium ) }.
% 0.85/1.57 { hasbody_aux( mariettapetitesyrah, medium ) }.
% 0.85/1.57 { hasbody_aux( corbanssauvignonblanc, medium ) }.
% 0.85/1.57 { hasbody_aux( petermccoychardonnay, medium ) }.
% 0.85/1.57 { hasbody_aux( selaksicewine, medium ) }.
% 0.85/1.57 { hasbody_aux( bancroftchardonnay, medium ) }.
% 0.85/1.57 { hasbody_aux( elysezinfandel, full ) }.
% 0.85/1.57 { hasbody_aux( mountadampinotnoir, medium ) }.
% 0.85/1.57 { hasbody_aux( mariettacabernetsauvignon, medium ) }.
% 0.85/1.57 { hasbody_aux( schlossrothermeltrochenbierenausleseriesling, full ) }.
% 0.85/1.57 { hasbody_aux( garyfarrellmerlot, medium ) }.
% 0.85/1.57 { hasbody_aux( cotturizinfandel, full ) }.
% 0.85/1.57 { hasbody_aux( mariettaoldvinesred, medium ) }.
% 0.85/1.57 { hasbody_aux( longridgemerlot, light ) }.
% 0.85/1.57 { hasbody_aux( kalincellarssemillon, full ) }.
% 0.85/1.57 { hasbody_aux( pagemillwinerycabernetsauvignon, medium ) }.
% 0.85/1.57 { hasbody_aux( seanthackreysiriuspetitesyrah, full ) }.
% 0.85/1.57 { hasbody_aux( saucelitocanyonzinfandel1998, medium ) }.
% 0.85/1.57 { hasbody_aux( whitehalllaneprimavera, light ) }.
% 0.85/1.57 { hasbody_aux( santacruzmountainvineyardcabernetsauvignon, full ) }.
% 0.85/1.57 { hasbody_aux( lanetannerpinotnoir, light ) }.
% 0.85/1.57 { hasbody_aux( corbansdrywhiteriesling, medium ) }.
% 0.85/1.57 { hasbody_aux( mountadamchardonnay, full ) }.
% 0.85/1.57 { hasbody_aux( mountadamriesling, medium ) }.
% 0.85/1.57 { hasbody_aux( mariettazinfandel, medium ) }.
% 0.85/1.57 { hasbody_aux( kathrynkennedylateral, medium ) }.
% 0.85/1.57 { hasbody_aux( mountedenvineyardestatepinotnoir, full ) }.
% 0.85/1.57 { hasbody_aux( whitehalllanecabernetfranc, medium ) }.
% 0.85/1.57 { hasbody_aux( ventanacheninblanc, medium ) }.
% 0.85/1.57 { hasbody_aux( saucelitocanyonzinfandel, medium ) }.
% 0.85/1.57 { hasbody_aux( formancabernetsauvignon, medium ) }.
% 0.85/1.57 { hasbody_aux( schlossvolradtrochenbierenausleseriesling, full ) }.
% 0.85/1.57 { hasbody_aux( mountedenvineyardednavalleychardonnay, medium ) }.
% 0.85/1.57 { hasbody_aux( stonleighsauvignonblanc, medium ) }.
% 0.85/1.57 { hasbody_aux( selakssauvignonblanc, medium ) }.
% 0.85/1.57 { hascolor_aux( selaksicewine, white ) }.
% 0.85/1.57 { hasflavor_aux( pulignymontrachetwhiteburgundy, moderate ) }.
% 0.85/1.57 { hasflavor_aux( formanchardonnay, moderate ) }.
% 0.85/1.57 { hasflavor_aux( stgenevievetexaswhite, moderate ) }.
% 0.85/1.57 { hasflavor_aux( foxencheninblanc, moderate ) }.
% 0.85/1.57 { hasflavor_aux( cortonmontrachetwhiteburgundy, strong ) }.
% 0.85/1.57 { hasflavor_aux( corbansprivatebinsauvignonblanc, strong ) }.
% 0.85/1.57 { hasflavor_aux( congressspringssemillon, moderate ) }.
% 0.85/1.57 { hasflavor_aux( mariettapetitesyrah, moderate ) }.
% 0.85/1.57 { hasflavor_aux( corbanssauvignonblanc, strong ) }.
% 0.85/1.57 { hasflavor_aux( petermccoychardonnay, moderate ) }.
% 0.85/1.57 { hasflavor_aux( selaksicewine, moderate ) }.
% 0.85/1.57 { hasflavor_aux( bancroftchardonnay, moderate ) }.
% 0.85/1.57 { hasflavor_aux( elysezinfandel, moderate ) }.
% 0.85/1.57 { hasflavor_aux( mountadampinotnoir, moderate ) }.
% 0.85/1.57 { hasflavor_aux( chateaudychemsauterne, strong ) }.
% 0.85/1.57 { hasflavor_aux( mariettacabernetsauvignon, moderate ) }.
% 0.85/1.57 { hasflavor_aux( schlossrothermeltrochenbierenausleseriesling, strong ) }.
% 0.85/1.57 { hasflavor_aux( garyfarrellmerlot, moderate ) }.
% 0.85/1.57 { hasflavor_aux( cotturizinfandel, strong ) }.
% 0.85/1.57 { hasflavor_aux( mariettaoldvinesred, moderate ) }.
% 0.85/1.57 { hasflavor_aux( longridgemerlot, moderate ) }.
% 0.85/1.57 { hasflavor_aux( kalincellarssemillon, strong ) }.
% 0.85/1.57 { hasflavor_aux( pagemillwinerycabernetsauvignon, moderate ) }.
% 0.85/1.57 { hasflavor_aux( seanthackreysiriuspetitesyrah, strong ) }.
% 0.85/1.57 { hasflavor_aux( saucelitocanyonzinfandel1998, moderate ) }.
% 0.85/1.57 { hasflavor_aux( chateaudemeursaultmeursault, moderate ) }.
% 0.85/1.57 { hasflavor_aux( whitehalllaneprimavera, delicate ) }.
% 0.85/1.57 { hasflavor_aux( santacruzmountainvineyardcabernetsauvignon, strong ) }.
% 0.85/1.58 { hasflavor_aux( lanetannerpinotnoir, delicate ) }.
% 0.85/1.58 { hasflavor_aux( corbansdrywhiteriesling, moderate ) }.
% 0.85/1.58 { hasflavor_aux( mountadamchardonnay, strong ) }.
% 0.85/1.58 { hasflavor_aux( mountadamriesling, delicate ) }.
% 0.85/1.58 { hasflavor_aux( mariettazinfandel, moderate ) }.
% 0.85/1.58 { hasflavor_aux( kathrynkennedylateral, delicate ) }.
% 0.85/1.58 { hasflavor_aux( mountedenvineyardestatepinotnoir, strong ) }.
% 0.85/1.58 { hasflavor_aux( whitehalllanecabernetfranc, moderate ) }.
% 0.85/1.58 { hasflavor_aux( ventanacheninblanc, moderate ) }.
% 0.85/1.58 { hasflavor_aux( saucelitocanyonzinfandel, moderate ) }.
% 0.85/1.58 { hasflavor_aux( formancabernetsauvignon, strong ) }.
% 0.85/1.58 { hasflavor_aux( schlossvolradtrochenbierenausleseriesling, moderate ) }.
% 0.85/1.58 { hasflavor_aux( mountedenvineyardednavalleychardonnay, moderate ) }.
% 0.85/1.58 { hasflavor_aux( stonleighsauvignonblanc, delicate ) }.
% 0.85/1.58 { hasflavor_aux( selakssauvignonblanc, moderate ) }.
% 0.85/1.58 { hasmaker_aux( pulignymontrachetwhiteburgundy, pulignymontrachet ) }.
% 0.85/1.58 { hasmaker_aux( chateaulafiterothschildpauillac, chateaulafiterothschild )
% 0.85/1.58 }.
% 0.85/1.58 { hasmaker_aux( formanchardonnay, forman ) }.
% 0.85/1.58 { hasmaker_aux( stgenevievetexaswhite, stgenevieve ) }.
% 0.85/1.58 { hasmaker_aux( foxencheninblanc, foxen ) }.
% 0.85/1.58 { hasmaker_aux( chianticlassico, mcguinnesso ) }.
% 0.85/1.58 { hasmaker_aux( cortonmontrachetwhiteburgundy, cortonmontrachet ) }.
% 0.85/1.58 { hasmaker_aux( corbansprivatebinsauvignonblanc, corbans ) }.
% 0.85/1.58 { hasmaker_aux( congressspringssemillon, congresssprings ) }.
% 0.85/1.58 { hasmaker_aux( mariettapetitesyrah, marietta ) }.
% 0.85/1.58 { hasmaker_aux( corbanssauvignonblanc, corbans ) }.
% 0.85/1.58 { hasmaker_aux( petermccoychardonnay, petermccoy ) }.
% 0.85/1.58 { hasmaker_aux( selaksicewine, selaks ) }.
% 0.85/1.58 { hasmaker_aux( bancroftchardonnay, bancroft ) }.
% 0.85/1.58 { hasmaker_aux( chateauchevalblancstemilion, chateauchevalblanc ) }.
% 0.85/1.58 { hasmaker_aux( chateaumorgonbeaujolais, chateaumorgon ) }.
% 0.85/1.58 { hasmaker_aux( elysezinfandel, elyse ) }.
% 0.85/1.58 { hasmaker_aux( mountadampinotnoir, mountadam ) }.
% 0.85/1.58 { hasmaker_aux( taylorport, taylor ) }.
% 0.85/1.58 { hasmaker_aux( chateaudychemsauterne, chateaudychem ) }.
% 0.85/1.58 { hasmaker_aux( mariettacabernetsauvignon, marietta ) }.
% 0.85/1.58 { hasmaker_aux( schlossrothermeltrochenbierenausleseriesling,
% 0.85/1.58 schlossrothermel ) }.
% 0.85/1.58 { hasmaker_aux( garyfarrellmerlot, garyfarrell ) }.
% 0.85/1.58 { hasmaker_aux( closdevougeotcotesdor, closdevougeot ) }.
% 0.85/1.58 { hasmaker_aux( cotturizinfandel, cotturi ) }.
% 0.85/1.58 { hasmaker_aux( closdelapoussiesancerre, closdelapoussie ) }.
% 0.85/1.58 { hasmaker_aux( mariettaoldvinesred, marietta ) }.
% 0.85/1.58 { hasmaker_aux( longridgemerlot, longridge ) }.
% 0.85/1.58 { hasmaker_aux( kalincellarssemillon, kalincellars ) }.
% 0.85/1.58 { hasmaker_aux( pagemillwinerycabernetsauvignon, pagemillwinery ) }.
% 0.85/1.58 { hasmaker_aux( seanthackreysiriuspetitesyrah, seanthackrey ) }.
% 0.85/1.58 { hasmaker_aux( saucelitocanyonzinfandel1998, saucelitocanyon ) }.
% 0.85/1.58 { hasmaker_aux( chateaudemeursaultmeursault, chateaudemeursault ) }.
% 0.85/1.58 { hasmaker_aux( santacruzmountainvineyardcabernetsauvignon,
% 0.85/1.58 santacruzmountainvineyard ) }.
% 0.85/1.58 { hasmaker_aux( lanetannerpinotnoir, lanetanner ) }.
% 0.85/1.58 { hasmaker_aux( corbansdrywhiteriesling, corbans ) }.
% 0.85/1.58 { hasmaker_aux( rosedanjou, danjou ) }.
% 0.85/1.58 { hasmaker_aux( mountadamchardonnay, mountadam ) }.
% 0.85/1.58 { hasmaker_aux( mountadamriesling, mountadam ) }.
% 0.85/1.58 { hasmaker_aux( mariettazinfandel, marietta ) }.
% 0.85/1.58 { hasmaker_aux( chateaumargaux, chateaumargauxwinery ) }.
% 0.85/1.58 { hasmaker_aux( kathrynkennedylateral, kathrynkennedy ) }.
% 0.85/1.58 { hasmaker_aux( mountedenvineyardestatepinotnoir, mountedenvineyard ) }.
% 0.85/1.58 { hasmaker_aux( whitehalllanecabernetfranc, whitehalllane ) }.
% 0.85/1.58 { hasmaker_aux( ventanacheninblanc, ventana ) }.
% 0.85/1.58 { hasmaker_aux( saucelitocanyonzinfandel, saucelitocanyon ) }.
% 0.85/1.58 { hasmaker_aux( formancabernetsauvignon, forman ) }.
% 0.85/1.58 { hasmaker_aux( schlossvolradtrochenbierenausleseriesling, schlossvolrad )
% 0.85/1.58 }.
% 0.85/1.58 { hasmaker_aux( mountedenvineyardednavalleychardonnay, mountedenvineyard )
% 0.85/1.58 }.
% 0.85/1.58 { hasmaker_aux( stonleighsauvignonblanc, stonleigh ) }.
% 0.85/1.58 { hasmaker_aux( selakssauvignonblanc, selaks ) }.
% 0.85/1.58 { hasmaker_aux( sevreetmainemuscadet, sevreetmaine ) }.
% 0.85/1.58 { hassugar_aux( pulignymontrachetwhiteburgundy, dry ) }.
% 0.85/1.58 { hassugar_aux( formanchardonnay, dry ) }.
% 0.85/1.58 { hassugar_aux( stgenevievetexaswhite, dry ) }.
% 0.85/1.58 { hassugar_aux( foxencheninblanc, dry ) }.
% 0.85/1.58 { hassugar_aux( cortonmontrachetwhiteburgundy, dry ) }.
% 0.85/1.58 { hassugar_aux( corbansprivatebinsauvignonblanc, dry ) }.
% 0.85/1.58 { hassugar_aux( congressspringssemillon, dry ) }.
% 0.85/1.58 { hassugar_aux( mariettapetitesyrah, dry ) }.
% 0.85/1.58 { hassugar_aux( corbanssauvignonblanc, dry ) }.
% 0.85/1.58 { hassugar_aux( petermccoychardonnay, dry ) }.
% 0.85/1.58 { hassugar_aux( bancroftchardonnay, dry ) }.
% 0.85/1.58 { hassugar_aux( elysezinfandel, dry ) }.
% 0.85/1.58 { hassugar_aux( mountadampinotnoir, dry ) }.
% 0.85/1.58 { hassugar_aux( mariettacabernetsauvignon, dry ) }.
% 0.85/1.58 { hassugar_aux( schlossrothermeltrochenbierenausleseriesling, sweet ) }.
% 0.85/1.58 { hassugar_aux( garyfarrellmerlot, dry ) }.
% 0.85/1.58 { hassugar_aux( cotturizinfandel, dry ) }.
% 0.85/1.58 { hassugar_aux( mariettaoldvinesred, dry ) }.
% 0.85/1.58 { hassugar_aux( longridgemerlot, dry ) }.
% 0.85/1.58 { hassugar_aux( kalincellarssemillon, dry ) }.
% 0.85/1.58 { hassugar_aux( pagemillwinerycabernetsauvignon, dry ) }.
% 0.85/1.58 { hassugar_aux( seanthackreysiriuspetitesyrah, dry ) }.
% 0.85/1.58 { hassugar_aux( saucelitocanyonzinfandel1998, dry ) }.
% 0.85/1.58 { hassugar_aux( whitehalllaneprimavera, sweet ) }.
% 0.85/1.58 { hassugar_aux( santacruzmountainvineyardcabernetsauvignon, dry ) }.
% 0.85/1.58 { hassugar_aux( lanetannerpinotnoir, dry ) }.
% 0.85/1.58 { hassugar_aux( corbansdrywhiteriesling, offdry ) }.
% 0.85/1.58 { hassugar_aux( mountadamchardonnay, dry ) }.
% 0.85/1.58 { hassugar_aux( mountadamriesling, dry ) }.
% 0.85/1.58 { hassugar_aux( mariettazinfandel, dry ) }.
% 0.85/1.58 { hassugar_aux( kathrynkennedylateral, dry ) }.
% 0.85/1.58 { hassugar_aux( mountedenvineyardestatepinotnoir, dry ) }.
% 0.85/1.58 { hassugar_aux( whitehalllanecabernetfranc, dry ) }.
% 0.85/1.58 { hassugar_aux( ventanacheninblanc, offdry ) }.
% 0.85/1.58 { hassugar_aux( saucelitocanyonzinfandel, dry ) }.
% 0.85/1.58 { hassugar_aux( formancabernetsauvignon, dry ) }.
% 0.85/1.58 { hassugar_aux( schlossvolradtrochenbierenausleseriesling, sweet ) }.
% 0.85/1.58 { hassugar_aux( mountedenvineyardednavalleychardonnay, dry ) }.
% 0.85/1.58 { hassugar_aux( stonleighsauvignonblanc, dry ) }.
% 0.85/1.58 { hassugar_aux( selakssauvignonblanc, dry ) }.
% 0.85/1.58 { locatedin_aux( californiaregion, usregion ) }.
% 0.85/1.58 { locatedin_aux( sancerreregion, loireregion ) }.
% 0.85/1.58 { locatedin_aux( formanchardonnay, naparegion ) }.
% 0.85/1.58 { locatedin_aux( stgenevievetexaswhite, centraltexasregion ) }.
% 0.85/1.58 { locatedin_aux( foxencheninblanc, santabarbararegion ) }.
% 0.85/1.58 { locatedin_aux( loireregion, frenchregion ) }.
% 0.85/1.58 { locatedin_aux( corbansprivatebinsauvignonblanc, newzealandregion ) }.
% 0.85/1.58 { locatedin_aux( mariettapetitesyrah, sonomaregion ) }.
% 0.85/1.58 { locatedin_aux( corbanssauvignonblanc, newzealandregion ) }.
% 0.85/1.58 { locatedin_aux( petermccoychardonnay, sonomaregion ) }.
% 0.85/1.58 { locatedin_aux( selaksicewine, newzealandregion ) }.
% 0.85/1.58 { locatedin_aux( bancroftchardonnay, naparegion ) }.
% 0.85/1.58 { locatedin_aux( elysezinfandel, naparegion ) }.
% 0.85/1.58 { locatedin_aux( naparegion, californiaregion ) }.
% 0.85/1.58 { locatedin_aux( mountadampinotnoir, southaustraliaregion ) }.
% 0.85/1.58 { locatedin_aux( chiantiregion, italianregion ) }.
% 0.85/1.58 { locatedin_aux( mariettacabernetsauvignon, sonomaregion ) }.
% 0.85/1.58 { locatedin_aux( sauterneregion, bordeauxregion ) }.
% 0.85/1.58 { locatedin_aux( pauillacregion, medocregion ) }.
% 0.85/1.58 { locatedin_aux( centraltexasregion, texasregion ) }.
% 0.85/1.58 { locatedin_aux( schlossrothermeltrochenbierenausleseriesling,
% 0.85/1.58 germanyregion ) }.
% 0.85/1.58 { locatedin_aux( garyfarrellmerlot, sonomaregion ) }.
% 0.85/1.58 { locatedin_aux( bordeauxregion, frenchregion ) }.
% 0.85/1.58 { locatedin_aux( cotturizinfandel, sonomaregion ) }.
% 0.85/1.58 { locatedin_aux( anjouregion, loireregion ) }.
% 0.85/1.58 { locatedin_aux( centralcoastregion, californiaregion ) }.
% 0.85/1.58 { locatedin_aux( mariettaoldvinesred, sonomaregion ) }.
% 0.85/1.58 { locatedin_aux( longridgemerlot, newzealandregion ) }.
% 0.85/1.58 { locatedin_aux( sonomaregion, californiaregion ) }.
% 0.85/1.58 { locatedin_aux( santabarbararegion, californiaregion ) }.
% 0.85/1.58 { locatedin_aux( pagemillwinerycabernetsauvignon, naparegion ) }.
% 0.85/1.58 { locatedin_aux( seanthackreysiriuspetitesyrah, naparegion ) }.
% 0.85/1.58 { locatedin_aux( saucelitocanyonzinfandel1998, arroyogranderegion ) }.
% 0.85/1.58 { locatedin_aux( medocregion, bordeauxregion ) }.
% 0.85/1.58 { locatedin_aux( southaustraliaregion, australianregion ) }.
% 0.85/1.58 { locatedin_aux( whitehalllaneprimavera, naparegion ) }.
% 0.85/1.58 { locatedin_aux( santacruzmountainvineyardcabernetsauvignon,
% 0.85/1.58 santacruzmountainsregion ) }.
% 0.85/1.58 { locatedin_aux( lanetannerpinotnoir, santabarbararegion ) }.
% 0.85/1.58 { locatedin_aux( mendocinoregion, californiaregion ) }.
% 0.85/1.58 { locatedin_aux( santacruzmountainsregion, californiaregion ) }.
% 0.85/1.58 { locatedin_aux( corbansdrywhiteriesling, newzealandregion ) }.
% 0.85/1.58 { locatedin_aux( margauxregion, medocregion ) }.
% 0.85/1.58 { locatedin_aux( texasregion, usregion ) }.
% 0.85/1.58 { locatedin_aux( muscadetregion, loireregion ) }.
% 0.85/1.58 { locatedin_aux( mountadamchardonnay, southaustraliaregion ) }.
% 0.85/1.58 { locatedin_aux( alsaceregion, frenchregion ) }.
% 0.85/1.58 { locatedin_aux( mountadamriesling, southaustraliaregion ) }.
% 0.85/1.58 { locatedin_aux( stemilionregion, bordeauxregion ) }.
% 0.85/1.58 { locatedin_aux( bourgogneregion, frenchregion ) }.
% 0.85/1.58 { locatedin_aux( mariettazinfandel, sonomaregion ) }.
% 0.85/1.58 { locatedin_aux( toursregion, loireregion ) }.
% 0.85/1.58 { locatedin_aux( cotesdorregion, bourgogneregion ) }.
% 0.85/1.58 { locatedin_aux( mountedenvineyardestatepinotnoir, ednavalleyregion ) }.
% 0.85/1.58 { locatedin_aux( whitehalllanecabernetfranc, naparegion ) }.
% 0.85/1.58 { locatedin_aux( ventanacheninblanc, centralcoastregion ) }.
% 0.85/1.58 { locatedin_aux( saucelitocanyonzinfandel, arroyogranderegion ) }.
% 0.85/1.58 { locatedin_aux( formancabernetsauvignon, naparegion ) }.
% 0.85/1.58 { locatedin_aux( schlossvolradtrochenbierenausleseriesling, germanyregion )
% 0.85/1.58 }.
% 0.85/1.58 { locatedin_aux( beaujolaisregion, frenchregion ) }.
% 0.85/1.58 { locatedin_aux( mountedenvineyardednavalleychardonnay, ednavalleyregion )
% 0.85/1.58 }.
% 0.85/1.58 { locatedin_aux( meursaultregion, bourgogneregion ) }.
% 0.85/1.58 { locatedin_aux( ednavalleyregion, californiaregion ) }.
% 0.85/1.58 { locatedin_aux( stonleighsauvignonblanc, newzealandregion ) }.
% 0.85/1.58 { locatedin_aux( arroyogranderegion, californiaregion ) }.
% 0.85/1.58 { locatedin_aux( selakssauvignonblanc, newzealandregion ) }.
% 0.85/1.58 { madefromgrape_aux( chateaudychemsauterne, semillongrape ) }.
% 0.85/1.58 { madefromgrape_aux( chateaudychemsauterne, sauvignonblancgrape ) }.
% 0.85/1.58 { ot____nom1_aux( sweet ) }.
% 0.85/1.58 { ot____nom10_aux( texasregion ) }.
% 0.85/1.58 { ot____nom11_aux( sauvignonblancgrape ) }.
% 0.85/1.58 { ot____nom12_aux( dry ) }.
% 0.85/1.58 { ot____nom13_aux( alsaceregion ) }.
% 0.85/1.58 { ot____nom14_aux( anjouregion ) }.
% 0.85/1.58 { ot____nom15_aux( californiaregion ) }.
% 0.85/1.58 { ot____nom16_aux( muscadetregion ) }.
% 0.85/1.58 { ot____nom17_aux( germanyregion ) }.
% 0.85/1.58 { ot____nom18_aux( sweet ) }.
% 0.85/1.58 { ot____nom18_aux( dry ) }.
% 0.85/1.58 { ot____nom18_aux( offdry ) }.
% 0.85/1.58 { ot____nom19_aux( loireregion ) }.
% 0.85/1.58 { ot____nom2_aux( medocregion ) }.
% 0.85/1.58 { ot____nom20_aux( zinfandelgrape ) }.
% 0.85/1.58 { ot____nom21_aux( pinotblancgrape ) }.
% 0.85/1.58 { ot____nom22_aux( margauxregion ) }.
% 0.85/1.58 { ot____nom23_aux( bordeauxregion ) }.
% 0.85/1.58 { ot____nom24_aux( chardonnaygrape ) }.
% 0.85/1.58 { ot____nom25_aux( petitesyrahgrape ) }.
% 0.85/1.58 { ot____nom26_aux( beaujolaisregion ) }.
% 0.85/1.58 { ot____nom27_aux( semillongrape ) }.
% 0.85/1.58 { ot____nom28_aux( red ) }.
% 0.85/1.58 { ot____nom29_aux( cabernetsauvignongrape ) }.
% 0.85/1.58 { ot____nom3_aux( cabernetfrancgrape ) }.
% 0.85/1.58 { ot____nom30_aux( sancerreregion ) }.
% 0.85/1.58 { ot____nom31_aux( meursaultregion ) }.
% 0.85/1.58 { ot____nom32_aux( rose ) }.
% 0.85/1.58 { ot____nom33_aux( gamaygrape ) }.
% 0.85/1.58 { ot____nom34_aux( cheninblancgrape ) }.
% 0.85/1.58 { ot____nom35_aux( delicate ) }.
% 0.85/1.58 { ot____nom35_aux( strong ) }.
% 0.85/1.58 { ot____nom35_aux( moderate ) }.
% 0.85/1.58 { ot____nom36_aux( stemilionregion ) }.
% 0.85/1.58 { ot____nom37_aux( rieslinggrape ) }.
% 0.85/1.58 { ot____nom38_aux( usregion ) }.
% 0.85/1.58 { ot____nom39_aux( pinotnoirgrape ) }.
% 0.85/1.58 { ot____nom4_aux( toursregion ) }.
% 0.85/1.58 { ot____nom40_aux( light ) }.
% 0.85/1.58 { ot____nom40_aux( full ) }.
% 0.85/1.58 { ot____nom40_aux( medium ) }.
% 0.85/1.58 { ot____nom41_aux( frenchregion ) }.
% 0.85/1.58 { ot____nom42_aux( cotesdorregion ) }.
% 0.85/1.58 { ot____nom43_aux( merlotgrape ) }.
% 0.85/1.58 { ot____nom44_aux( bourgogneregion ) }.
% 0.85/1.58 { ot____nom45_aux( full ) }.
% 0.85/1.58 { ot____nom46_aux( pauillacregion ) }.
% 0.85/1.58 { ot____nom47_aux( italianregion ) }.
% 0.85/1.58 { ot____nom48_aux( moderate ) }.
% 0.85/1.58 { ot____nom49_aux( medium ) }.
% 0.85/1.58 { ot____nom5_aux( white ) }.
% 0.85/1.58 { ot____nom50_aux( strong ) }.
% 0.85/1.58 { ot____nom50_aux( moderate ) }.
% 0.85/1.58 { ot____nom51_aux( full ) }.
% 0.85/1.58 { ot____nom51_aux( medium ) }.
% 0.85/1.58 { ot____nom52_aux( sauterneregion ) }.
% 0.85/1.58 { ot____nom53_aux( sweet ) }.
% 0.85/1.58 { ot____nom53_aux( offdry ) }.
% 0.85/1.58 { ot____nom54_aux( offdry ) }.
% 0.85/1.58 { ot____nom55_aux( delicate ) }.
% 0.85/1.58 { ot____nom56_aux( light ) }.
% 0.85/1.58 { ot____nom57_aux( portugalregion ) }.
% 0.85/1.58 { ot____nom58_aux( strong ) }.
% 0.85/1.58 { ot____nom59_aux( light ) }.
% 0.85/1.58 { ot____nom59_aux( medium ) }.
% 0.85/1.58 { ot____nom6_aux( semillongrape ) }.
% 0.85/1.58 { ot____nom6_aux( sauvignonblancgrape ) }.
% 0.85/1.58 { ot____nom60_aux( sangiovesegrape ) }.
% 0.85/1.58 { ot____nom61_aux( chiantiregion ) }.
% 0.85/1.58 { ot____nom62_aux( cabernetsauvignongrape ) }.
% 0.85/1.58 { ot____nom62_aux( merlotgrape ) }.
% 0.85/1.58 { ot____nom63_aux( pinotblancgrape ) }.
% 0.85/1.58 { ot____nom63_aux( sauvignonblancgrape ) }.
% 0.85/1.58 { ot____nom63_aux( cheninblancgrape ) }.
% 0.85/1.58 { ot____nom64_aux( delicate ) }.
% 0.85/1.58 { ot____nom64_aux( moderate ) }.
% 0.85/1.58 { ot____nom7_aux( dry ) }.
% 0.85/1.58 { ot____nom7_aux( offdry ) }.
% 0.85/1.58 { ot____nom8_aux( cabernetfrancgrape ) }.
% 0.85/1.58 { ot____nom8_aux( petiteverdotgrape ) }.
% 0.85/1.58 { ot____nom8_aux( cabernetsauvignongrape ) }.
% 0.85/1.58 { ot____nom8_aux( malbecgrape ) }.
% 0.85/1.58 { ot____nom8_aux( merlotgrape ) }.
% 0.85/1.58 { ot____nom9_aux( white ) }.
% 0.85/1.58 { ot____nom9_aux( rose ) }.
% 0.85/1.58 { ot____nom9_aux( red ) }.
% 0.85/1.58 { wineflavor_aux( delicate ) }.
% 0.85/1.58 { wineflavor_aux( strong ) }.
% 0.85/1.58 { wineflavor_aux( moderate ) }.
% 0.85/1.58 { winegrape_aux( petitesyrahgrape ) }.
% 0.85/1.58 { winegrape_aux( zinfandelgrape ) }.
% 0.85/1.58 { winegrape_aux( sangiovesegrape ) }.
% 0.85/1.58 { winegrape_aux( cabernetfrancgrape ) }.
% 0.85/1.58 { winegrape_aux( semillongrape ) }.
% 0.85/1.58 { winegrape_aux( rieslinggrape ) }.
% 0.85/1.58 { winegrape_aux( pinotblancgrape ) }.
% 0.85/1.58 { winegrape_aux( gamaygrape ) }.
% 0.85/1.58 { winegrape_aux( petiteverdotgrape ) }.
% 0.85/1.58 { winegrape_aux( chardonnaygrape ) }.
% 0.85/1.58 { winegrape_aux( pinotnoirgrape ) }.
% 0.85/1.58 { winegrape_aux( cabernetsauvignongrape ) }.
% 0.85/1.58 { winegrape_aux( sauvignonblancgrape ) }.
% 0.85/1.58 { winegrape_aux( cheninblancgrape ) }.
% 0.85/1.58 { winegrape_aux( malbecgrape ) }.
% 0.85/1.58 { winegrape_aux( merlotgrape ) }.
% 0.85/1.58 { winesugar_aux( sweet ) }.
% 0.85/1.58 { winesugar_aux( dry ) }.
% 0.85/1.58 { winesugar_aux( offdry ) }.
% 0.85/1.58 { winery_aux( seanthackrey ) }.
% 0.85/1.58 { winery_aux( marietta ) }.
% 0.85/1.58 { winery_aux( petermccoy ) }.
% 0.85/1.58 { winery_aux( danjou ) }.
% 0.85/1.58 { winery_aux( stonleigh ) }.
% 0.85/1.58 { winery_aux( schlossvolrad ) }.
% 0.85/1.58 { winery_aux( selaks ) }.
% 0.85/1.58 { winery_aux( cortonmontrachet ) }.
% 0.85/1.58 { winery_aux( forman ) }.
% 0.85/1.58 { winery_aux( chateaulafiterothschild ) }.
% 0.85/1.58 { winery_aux( elyse ) }.
% 0.85/1.58 { winery_aux( garyfarrell ) }.
% 0.85/1.58 { winery_aux( closdelapoussie ) }.
% 0.85/1.58 { winery_aux( santacruzmountainvineyard ) }.
% 0.85/1.58 { winery_aux( closdevougeot ) }.
% 0.85/1.58 { winery_aux( ventana ) }.
% 0.85/1.58 { winery_aux( schlossrothermel ) }.
% 0.85/1.58 { winery_aux( longridge ) }.
% 0.85/1.58 { winery_aux( mcguinnesso ) }.
% 0.85/1.58 { winery_aux( beringer ) }.
% 0.85/1.58 { winery_aux( sevreetmaine ) }.
% 0.85/1.58 { winery_aux( bancroft ) }.
% 0.85/1.58 { winery_aux( whitehalllane ) }.
% 0.85/1.58 { winery_aux( lanetanner ) }.
% 0.85/1.58 { winery_aux( saucelitocanyon ) }.
% 0.85/1.58 { winery_aux( mountedenvineyard ) }.
% 0.85/1.58 { winery_aux( taylor ) }.
% 0.85/1.58 { winery_aux( stgenevieve ) }.
% 0.85/1.58 { winery_aux( corbans ) }.
% 0.85/1.58 { winery_aux( kalincellars ) }.
% 0.85/1.58 { winery_aux( chateaudychem ) }.
% 0.85/1.58 { winery_aux( kathrynkennedy ) }.
% 0.85/1.58 { winery_aux( cotturi ) }.
% 0.85/1.58 { winery_aux( chateaumargauxwinery ) }.
% 0.85/1.58 { winery_aux( congresssprings ) }.
% 0.85/1.58 { winery_aux( chateaudemeursault ) }.
% 0.85/1.58 { winery_aux( chateauchevalblanc ) }.
% 0.85/1.58 { winery_aux( mountadam ) }.
% 0.85/1.58 { winery_aux( chateaumorgon ) }.
% 0.85/1.58 { winery_aux( pagemillwinery ) }.
% 0.85/1.58 { winery_aux( handley ) }.
% 0.85/1.58 { winery_aux( pulignymontrachet ) }.
% 0.85/1.58 { winery_aux( foxen ) }.
% 0.85/1.58 { zinfandel_aux( elysezinfandel ) }.
% 0.85/1.58 { zinfandel_aux( cotturizinfandel ) }.
% 0.85/1.58 { zinfandel_aux( saucelitocanyonzinfandel1998 ) }.
% 0.85/1.58 { zinfandel_aux( mariettazinfandel ) }.
% 0.85/1.58 { zinfandel_aux( saucelitocanyonzinfandel ) }.
% 0.85/1.58 { winebody_aux( light ) }.
% 0.85/1.58 { winebody_aux( full ) }.
% 0.85/1.58 { winebody_aux( medium ) }.
% 0.85/1.58 { winecolor_aux( white ) }.
% 0.85/1.58 { winecolor_aux( rose ) }.
% 0.85/1.58 { winecolor_aux( red ) }.
% 0.85/1.58 { whiteburgundy_aux( pulignymontrachetwhiteburgundy ) }.
% 0.85/1.58 { whiteburgundy_aux( cortonmontrachetwhiteburgundy ) }.
% 0.85/1.58 { whitewine_aux( stgenevievetexaswhite ) }.
% 0.85/1.58 { muscadet_aux( sevreetmainemuscadet ) }.
% 0.85/1.58 { meursault_aux( chateaudemeursaultmeursault ) }.
% 0.85/1.58 { meritage_aux( kathrynkennedylateral ) }.
% 0.85/1.58 { margaux_aux( chateaumargaux ) }.
% 0.85/1.58 { icewine_aux( selaksicewine ) }.
% 0.85/1.58 { dryriesling_aux( mountadamriesling ) }.
% 0.85/1.58 { dessertwine_aux( whitehalllaneprimavera ) }.
% 0.85/1.58 { cabernetsauvignon_aux( mariettacabernetsauvignon ) }.
% 0.85/1.58 { cabernetsauvignon_aux( pagemillwinerycabernetsauvignon ) }.
% 0.85/1.58 { cabernetsauvignon_aux( santacruzmountainvineyardcabernetsauvignon ) }.
% 0.85/1.58 { cabernetsauvignon_aux( formancabernetsauvignon ) }.
% 0.85/1.58 { cabernetfranc_aux( whitehalllanecabernetfranc ) }.
% 0.85/1.58 { beaujolais_aux( chateaumorgonbeaujolais ) }.
% 0.85/1.58 { anjou_aux( rosedanjou ) }.
% 0.85/1.58 { chardonnay_aux( formanchardonnay ) }.
% 0.85/1.58 { chardonnay_aux( petermccoychardonnay ) }.
% 0.85/1.58 { chardonnay_aux( bancroftchardonnay ) }.
% 0.85/1.58 { chardonnay_aux( mountadamchardonnay ) }.
% 0.85/1.58 { chardonnay_aux( mountedenvineyardednavalleychardonnay ) }.
% 0.85/1.58 { cheninblanc_aux( foxencheninblanc ) }.
% 0.85/1.58 { cheninblanc_aux( ventanacheninblanc ) }.
% 0.85/1.58 { chianti_aux( chianticlassico ) }.
% 0.85/1.58 { cotesdor_aux( closdevougeotcotesdor ) }.
% 0.85/1.58 { merlot_aux( garyfarrellmerlot ) }.
% 0.85/1.58 { merlot_aux( longridgemerlot ) }.
% 0.85/1.58 { pauillac_aux( chateaulafiterothschildpauillac ) }.
% 0.85/1.58 { petitesyrah_aux( mariettapetitesyrah ) }.
% 0.85/1.58 { petitesyrah_aux( seanthackreysiriuspetitesyrah ) }.
% 0.85/1.58 { pinotnoir_aux( mountadampinotnoir ) }.
% 0.85/1.58 { pinotnoir_aux( lanetannerpinotnoir ) }.
% 0.85/1.58 { pinotnoir_aux( mountedenvineyardestatepinotnoir ) }.
% 0.85/1.58 { port_aux( taylorport ) }.
% 0.85/1.58 { redtablewine_aux( mariettaoldvinesred ) }.
% 0.85/1.58 { region_aux( californiaregion ) }.
% 0.85/1.58 { region_aux( sancerreregion ) }.
% 0.85/1.58 { region_aux( loireregion ) }.
% 0.85/1.58 { region_aux( usregion ) }.
% 0.85/1.58 { region_aux( naparegion ) }.
% 0.85/1.58 { region_aux( newzealandregion ) }.
% 0.85/1.58 { region_aux( chiantiregion ) }.
% 0.85/1.58 { region_aux( sauterneregion ) }.
% 0.85/1.58 { region_aux( germanyregion ) }.
% 0.85/1.58 { region_aux( pauillacregion ) }.
% 0.85/1.58 { region_aux( centraltexasregion ) }.
% 0.85/1.58 { region_aux( bordeauxregion ) }.
% 0.85/1.58 { region_aux( portugalregion ) }.
% 0.85/1.58 { region_aux( anjouregion ) }.
% 0.85/1.58 { region_aux( centralcoastregion ) }.
% 0.85/1.58 { region_aux( sonomaregion ) }.
% 0.85/1.58 { region_aux( santabarbararegion ) }.
% 0.85/1.58 { region_aux( medocregion ) }.
% 0.85/1.58 { region_aux( australianregion ) }.
% 0.85/1.58 { region_aux( southaustraliaregion ) }.
% 0.85/1.58 { region_aux( mendocinoregion ) }.
% 0.85/1.58 { region_aux( santacruzmountainsregion ) }.
% 0.85/1.58 { region_aux( italianregion ) }.
% 0.85/1.58 { region_aux( margauxregion ) }.
% 0.85/1.58 { region_aux( texasregion ) }.
% 0.85/1.58 { region_aux( muscadetregion ) }.
% 0.85/1.58 { region_aux( alsaceregion ) }.
% 0.85/1.58 { region_aux( stemilionregion ) }.
% 0.85/1.58 { region_aux( bourgogneregion ) }.
% 0.85/1.58 { region_aux( toursregion ) }.
% 0.85/1.58 { region_aux( frenchregion ) }.
% 0.85/1.58 { region_aux( cotesdorregion ) }.
% 0.85/1.58 { region_aux( beaujolaisregion ) }.
% 0.85/1.58 { region_aux( meursaultregion ) }.
% 0.85/1.58 { region_aux( ednavalleyregion ) }.
% 0.85/1.58 { region_aux( arroyogranderegion ) }.
% 0.85/1.58 { riesling_aux( corbansdrywhiteriesling ) }.
% 0.85/1.58 { sancerre_aux( closdelapoussiesancerre ) }.
% 0.85/1.58 { sauternes_aux( chateaudychemsauterne ) }.
% 0.85/1.58 { sauvignonblanc_aux( corbansprivatebinsauvignonblanc ) }.
% 0.85/1.58 { sauvignonblanc_aux( corbanssauvignonblanc ) }.
% 0.85/1.58 { sauvignonblanc_aux( stonleighsauvignonblanc ) }.
% 0.85/1.58 { sauvignonblanc_aux( selakssauvignonblanc ) }.
% 0.85/1.58 { semillon_aux( congressspringssemillon ) }.
% 0.85/1.58 { semillon_aux( kalincellarssemillon ) }.
% 0.85/1.58 { stemilion_aux( chateauchevalblancstemilion ) }.
% 0.85/1.58 { sweetriesling_aux( schlossrothermeltrochenbierenausleseriesling ) }.
% 0.85/1.58 { sweetriesling_aux( schlossvolradtrochenbierenausleseriesling ) }.
% 0.85/1.58 { kaon2namedobjects( chateaudemeursault ) }.
% 0.85/1.58 { kaon2namedobjects( seanthackrey ) }.
% 0.85/1.58 { kaon2namedobjects( formancabernetsauvignon ) }.
% 0.85/1.58 { kaon2namedobjects( texasregion ) }.
% 0.85/1.58 { kaon2namedobjects( sonomaregion ) }.
% 0.85/1.58 { kaon2namedobjects( corbansdrywhiteriesling ) }.
% 0.85/1.58 { kaon2namedobjects( cheninblancgrape ) }.
% 0.85/1.58 { kaon2namedobjects( delicate ) }.
% 0.85/1.58 { kaon2namedobjects( petermccoy ) }.
% 0.85/1.58 { kaon2namedobjects( forman ) }.
% 0.85/1.58 { kaon2namedobjects( taylorport ) }.
% 0.85/1.58 { kaon2namedobjects( pagemillwinerycabernetsauvignon ) }.
% 0.85/1.58 { kaon2namedobjects( chateauchevalblancstemilion ) }.
% 0.85/1.58 { kaon2namedobjects( foxencheninblanc ) }.
% 0.85/1.58 { kaon2namedobjects( santacruzmountainvineyardcabernetsauvignon ) }.
% 0.85/1.58 { kaon2namedobjects( selaksicewine ) }.
% 0.85/1.58 { kaon2namedobjects( chardonnaygrape ) }.
% 0.85/1.58 { kaon2namedobjects( sauvignonblancgrape ) }.
% 0.85/1.58 { kaon2namedobjects( cabernetsauvignongrape ) }.
% 0.85/1.58 { kaon2namedobjects( mountadampinotnoir ) }.
% 0.85/1.58 { kaon2namedobjects( pinotblancgrape ) }.
% 0.85/1.58 { kaon2namedobjects( year1998 ) }.
% 0.85/1.58 { kaon2namedobjects( cotturizinfandel ) }.
% 0.85/1.58 { kaon2namedobjects( whitehalllaneprimavera ) }.
% 0.85/1.58 { kaon2namedobjects( longridge ) }.
% 0.85/1.58 { kaon2namedobjects( bancroft ) }.
% 0.85/1.58 { kaon2namedobjects( mountedenvineyardednavalleychardonnay ) }.
% 0.85/1.58 { kaon2namedobjects( moderate ) }.
% 0.85/1.58 { kaon2namedobjects( alsaceregion ) }.
% 0.85/1.58 { kaon2namedobjects( saucelitocanyonzinfandel1998 ) }.
% 0.85/1.58 { kaon2namedobjects( corbanssauvignonblanc ) }.
% 0.85/1.58 { kaon2namedobjects( full ) }.
% 0.85/1.58 { kaon2namedobjects( taylor ) }.
% 0.85/1.58 { kaon2namedobjects( malbecgrape ) }.
% 0.85/1.58 { kaon2namedobjects( closdevougeot ) }.
% 0.85/1.58 { kaon2namedobjects( corbans ) }.
% 0.85/1.58 { kaon2namedobjects( stonleighsauvignonblanc ) }.
% 0.85/1.58 { kaon2namedobjects( loireregion ) }.
% 0.85/1.58 { kaon2namedobjects( corbansprivatebinsauvignonblanc ) }.
% 0.85/1.58 { kaon2namedobjects( cortonmontrachet ) }.
% 0.85/1.58 { kaon2namedobjects( chateaudychem ) }.
% 0.85/1.58 { kaon2namedobjects( australianregion ) }.
% 0.85/1.58 { kaon2namedobjects( beringer ) }.
% 0.85/1.58 { kaon2namedobjects( formanchardonnay ) }.
% 0.85/1.58 { kaon2namedobjects( chateaudemeursaultmeursault ) }.
% 0.85/1.58 { kaon2namedobjects( merlotgrape ) }.
% 0.85/1.58 { kaon2namedobjects( garyfarrellmerlot ) }.
% 0.85/1.58 { kaon2namedobjects( santacruzmountainvineyard ) }.
% 0.85/1.58 { kaon2namedobjects( portugalregion ) }.
% 0.85/1.58 { kaon2namedobjects( margauxregion ) }.
% 0.85/1.58 { kaon2namedobjects( frenchregion ) }.
% 0.85/1.58 { kaon2namedobjects( strong ) }.
% 0.85/1.58 { kaon2namedobjects( schlossvolradtrochenbierenausleseriesling ) }.
% 0.85/1.58 { kaon2namedobjects( cabernetfrancgrape ) }.
% 0.85/1.58 { kaon2namedobjects( medium ) }.
% 0.85/1.58 { kaon2namedobjects( medocregion ) }.
% 0.85/1.58 { kaon2namedobjects( sangiovesegrape ) }.
% 0.85/1.58 { kaon2namedobjects( toursregion ) }.
% 0.85/1.58 { kaon2namedobjects( chateaumargauxwinery ) }.
% 0.85/1.58 { kaon2namedobjects( closdelapoussiesancerre ) }.
% 0.85/1.58 { kaon2namedobjects( ednavalleyregion ) }.
% 0.85/1.58 { kaon2namedobjects( schlossvolrad ) }.
% 0.85/1.58 { kaon2namedobjects( marietta ) }.
% 0.85/1.58 { kaon2namedobjects( sweet ) }.
% 0.85/1.58 { kaon2namedobjects( arroyogranderegion ) }.
% 0.85/1.58 { kaon2namedobjects( elyse ) }.
% 0.85/1.58 { kaon2namedobjects( whitehalllanecabernetfranc ) }.
% 0.85/1.58 { kaon2namedobjects( anjouregion ) }.
% 0.85/1.58 { kaon2namedobjects( beaujolaisregion ) }.
% 0.85/1.58 { kaon2namedobjects( petermccoychardonnay ) }.
% 0.85/1.58 { kaon2namedobjects( pagemillwinery ) }.
% 0.85/1.58 { kaon2namedobjects( stgenevievetexaswhite ) }.
% 0.85/1.58 { kaon2namedobjects( congresssprings ) }.
% 0.85/1.58 { kaon2namedobjects( germanyregion ) }.
% 0.85/1.58 { kaon2namedobjects( muscadetregion ) }.
% 0.85/1.58 { kaon2namedobjects( garyfarrell ) }.
% 0.85/1.58 { kaon2namedobjects( light ) }.
% 0.85/1.58 { kaon2namedobjects( rieslinggrape ) }.
% 0.85/1.58 { kaon2namedobjects( pauillacregion ) }.
% 0.85/1.58 { kaon2namedobjects( santabarbararegion ) }.
% 0.85/1.58 { kaon2namedobjects( lanetanner ) }.
% 0.85/1.58 { kaon2namedobjects( mcguinnesso ) }.
% 0.85/1.58 { kaon2namedobjects( mendocinoregion ) }.
% 0.85/1.58 { kaon2namedobjects( chateaumorgonbeaujolais ) }.
% 0.85/1.58 { kaon2namedobjects( santacruzmountainsregion ) }.
% 0.85/1.58 { kaon2namedobjects( californiaregion ) }.
% 0.85/1.58 { kaon2namedobjects( sancerreregion ) }.
% 0.85/1.58 { kaon2namedobjects( selakssauvignonblanc ) }.
% 0.85/1.58 { kaon2namedobjects( chateaulafiterothschildpauillac ) }.
% 0.85/1.58 { kaon2namedobjects( cortonmontrachetwhiteburgundy ) }.
% 0.85/1.58 { kaon2namedobjects( lanetannerpinotnoir ) }.
% 0.85/1.58 { kaon2namedobjects( ventana ) }.
% 0.85/1.58 { kaon2namedobjects( cotturi ) }.
% 0.85/1.58 { kaon2namedobjects( mariettaoldvinesred ) }.
% 0.85/1.58 { kaon2namedobjects( rosedanjou ) }.
% 0.85/1.58 { kaon2namedobjects( chateaulafiterothschild ) }.
% 0.85/1.58 { kaon2namedobjects( chateaumorgon ) }.
% 0.85/1.58 { kaon2namedobjects( saucelitocanyon ) }.
% 0.85/1.58 { kaon2namedobjects( ventanacheninblanc ) }.
% 0.85/1.58 { kaon2namedobjects( chateauchevalblanc ) }.
% 0.85/1.58 { kaon2namedobjects( mountadamriesling ) }.
% 0.85/1.58 { kaon2namedobjects( mariettacabernetsauvignon ) }.
% 0.85/1.58 { kaon2namedobjects( sevreetmaine ) }.
% 0.85/1.58 { kaon2namedobjects( saucelitocanyonzinfandel ) }.
% 0.85/1.58 { kaon2namedobjects( seanthackreysiriuspetitesyrah ) }.
% 0.85/1.58 { kaon2namedobjects( stonleigh ) }.
% 0.85/1.58 { kaon2namedobjects( schlossrothermeltrochenbierenausleseriesling ) }.
% 0.85/1.58 { kaon2namedobjects( mariettazinfandel ) }.
% 0.85/1.58 { kaon2namedobjects( kathrynkennedylateral ) }.
% 0.85/1.58 { kaon2namedobjects( mountadamchardonnay ) }.
% 0.85/1.58 { kaon2namedobjects( foxen ) }.
% 0.85/1.58 { kaon2namedobjects( stgenevieve ) }.
% 0.85/1.58 { kaon2namedobjects( offdry ) }.
% 0.85/1.58 { kaon2namedobjects( whitehalllane ) }.
% 0.85/1.58 { kaon2namedobjects( chianticlassico ) }.
% 0.85/1.58 { kaon2namedobjects( pulignymontrachet ) }.
% 0.85/1.58 { kaon2namedobjects( meursaultregion ) }.
% 0.85/1.58 { kaon2namedobjects( mountedenvineyardestatepinotnoir ) }.
% 0.85/1.58 { kaon2namedobjects( kalincellars ) }.
% 0.85/1.58 { kaon2namedobjects( petiteverdotgrape ) }.
% 0.85/1.58 { kaon2namedobjects( chateaumargaux ) }.
% 0.85/1.58 { kaon2namedobjects( kathrynkennedy ) }.
% 0.85/1.58 { kaon2namedobjects( sauterneregion ) }.
% 0.85/1.58 { kaon2namedobjects( bordeauxregion ) }.
% 0.85/1.58 { kaon2namedobjects( white ) }.
% 0.85/1.58 { kaon2namedobjects( mariettapetitesyrah ) }.
% 0.85/1.58 { kaon2namedobjects( handley ) }.
% 0.85/1.58 { kaon2namedobjects( naparegion ) }.
% 0.85/1.58 { kaon2namedobjects( chiantiregion ) }.
% 0.85/1.58 { kaon2namedobjects( chateaudychemsauterne ) }.
% 0.85/1.58 { kaon2namedobjects( elysezinfandel ) }.
% 0.85/1.58 { kaon2namedobjects( pulignymontrachetwhiteburgundy ) }.
% 0.85/1.58 { kaon2namedobjects( kalincellarssemillon ) }.
% 0.85/1.58 { kaon2namedobjects( closdevougeotcotesdor ) }.
% 0.85/1.58 { kaon2namedobjects( schlossrothermel ) }.
% 0.85/1.58 { kaon2namedobjects( bancroftchardonnay ) }.
% 0.85/1.58 { kaon2namedobjects( southaustraliaregion ) }.
% 0.85/1.58 { kaon2namedobjects( semillongrape ) }.
% 0.85/1.58 { kaon2namedobjects( danjou ) }.
% 0.85/1.58 { kaon2namedobjects( gamaygrape ) }.
% 0.85/1.58 { kaon2namedobjects( zinfandelgrape ) }.
% 0.85/1.58 { kaon2namedobjects( longridgemerlot ) }.
% 0.85/1.58 { kaon2namedobjects( mountedenvineyard ) }.
% 0.85/1.58 { kaon2namedobjects( bourgogneregion ) }.
% 0.85/1.58 { kaon2namedobjects( usregion ) }.
% 0.85/1.58 { kaon2namedobjects( centraltexasregion ) }.
% 0.85/1.58 { kaon2namedobjects( congressspringssemillon ) }.
% 0.85/1.58 { kaon2namedobjects( selaks ) }.
% 0.85/1.58 { kaon2namedobjects( dry ) }.
% 0.85/1.58 { kaon2namedobjects( newzealandregion ) }.
% 0.85/1.58 { kaon2namedobjects( red ) }.
% 0.85/1.58 { kaon2namedobjects( closdelapoussie ) }.
% 0.85/1.58 { kaon2namedobjects( cotesdorregion ) }.
% 0.85/1.58 { kaon2namedobjects( rose ) }.
% 0.85/1.58 { kaon2namedobjects( mountadam ) }.
% 0.85/1.58 { kaon2namedobjects( sevreetmainemuscadet ) }.
% 0.85/1.58 { kaon2namedobjects( pinotnoirgrape ) }.
% 0.85/1.58 { kaon2namedobjects( stemilionregion ) }.
% 0.85/1.58 { kaon2namedobjects( italianregion ) }.
% 0.85/1.58 { kaon2namedobjects( centralcoastregion ) }.
% 0.85/1.58 { kaon2namedobjects( petitesyrahgrape ) }.
% 0.85/1.58 { vintageyear_aux( year1998 ) }.
% 0.85/1.58 { hasvintageyear_aux( saucelitocanyonzinfandel1998, year1998 ) }.
% 0.85/1.58 { ! madefromgrape_aux( X, Y ), madefromgrape( X, Y ) }.
% 0.85/1.58 { ! locatedin_aux( X, Y ), locatedin( X, Y ) }.
% 0.85/1.58 { ! hassugar_aux( X, Y ), hassugar( X, Y ) }.
% 0.85/1.58 { ! hasmaker_aux( X, Y ), hasmaker( X, Y ) }.
% 0.85/1.58 { ! hasflavor_aux( X, Y ), hasflavor( X, Y ) }.
% 0.85/1.58 { ! hascolor_aux( X, Y ), hascolor( X, Y ) }.
% 0.85/1.58 { ! hasbody_aux( X, Y ), hasbody( X, Y ) }.
% 0.85/1.58 { ! adjacentregion_aux( X, Y ), adjacentregion( X, Y ) }.
% 0.85/1.58 { ! hasvintageyear_aux( X, Y ), hasvintageyear( X, Y ) }.
% 0.85/1.58 { ! ot____nom1_aux( X ), ot____nom1( X ) }.
% 0.85/1.58 { ! ot____nom10_aux( X ), ot____nom10( X ) }.
% 0.85/1.58 { ! ot____nom11_aux( X ), ot____nom11( X ) }.
% 0.85/1.58 { ! ot____nom12_aux( X ), ot____nom12( X ) }.
% 0.85/1.58 { ! ot____nom13_aux( X ), ot____nom13( X ) }.
% 0.85/1.58 { ! ot____nom14_aux( X ), ot____nom14( X ) }.
% 0.85/1.58 { ! ot____nom15_aux( X ), ot____nom15( X ) }.
% 0.85/1.58 { ! ot____nom16_aux( X ), ot____nom16( X ) }.
% 0.85/1.58 { ! ot____nom17_aux( X ), ot____nom17( X ) }.
% 0.85/1.58 { ! ot____nom18_aux( X ), ot____nom18( X ) }.
% 0.85/1.58 { ! ot____nom19_aux( X ), ot____nom19( X ) }.
% 0.85/1.58 { ! ot____nom2_aux( X ), ot____nom2( X ) }.
% 0.85/1.58 { ! ot____nom20_aux( X ), ot____nom20( X ) }.
% 0.85/1.58 { ! ot____nom21_aux( X ), ot____nom21( X ) }.
% 0.85/1.58 { ! ot____nom22_aux( X ), ot____nom22( X ) }.
% 0.85/1.58 { ! ot____nom23_aux( X ), ot____nom23( X ) }.
% 0.85/1.58 { ! ot____nom24_aux( X ), ot____nom24( X ) }.
% 0.85/1.58 { ! ot____nom25_aux( X ), ot____nom25( X ) }.
% 0.85/1.58 { ! ot____nom26_aux( X ), ot____nom26( X ) }.
% 0.85/1.58 { ! ot____nom27_aux( X ), ot____nom27( X ) }.
% 0.85/1.58 { ! ot____nom28_aux( X ), ot____nom28( X ) }.
% 0.85/1.58 { ! ot____nom29_aux( X ), ot____nom29( X ) }.
% 0.85/1.58 { ! ot____nom3_aux( X ), ot____nom3( X ) }.
% 0.85/1.58 { ! ot____nom30_aux( X ), ot____nom30( X ) }.
% 0.85/1.58 { ! ot____nom31_aux( X ), ot____nom31( X ) }.
% 0.85/1.58 { ! ot____nom32_aux( X ), ot____nom32( X ) }.
% 0.85/1.58 { ! ot____nom33_aux( X ), ot____nom33( X ) }.
% 0.85/1.58 { ! ot____nom34_aux( X ), ot____nom34( X ) }.
% 0.85/1.58 { ! ot____nom35_aux( X ), ot____nom35( X ) }.
% 0.85/1.58 { ! ot____nom36_aux( X ), ot____nom36( X ) }.
% 0.85/1.58 { ! ot____nom37_aux( X ), ot____nom37( X ) }.
% 0.85/1.58 { ! ot____nom38_aux( X ), ot____nom38( X ) }.
% 0.85/1.58 { ! ot____nom39_aux( X ), ot____nom39( X ) }.
% 0.85/1.58 { ! ot____nom4_aux( X ), ot____nom4( X ) }.
% 0.85/1.58 { ! ot____nom40_aux( X ), ot____nom40( X ) }.
% 0.85/1.58 { ! ot____nom41_aux( X ), ot____nom41( X ) }.
% 0.85/1.58 { ! ot____nom42_aux( X ), ot____nom42( X ) }.
% 0.85/1.58 { ! ot____nom43_aux( X ), ot____nom43( X ) }.
% 0.85/1.58 { ! ot____nom44_aux( X ), ot____nom44( X ) }.
% 0.85/1.58 { ! ot____nom45_aux( X ), ot____nom45( X ) }.
% 0.85/1.58 { ! ot____nom46_aux( X ), ot____nom46( X ) }.
% 0.85/1.58 { ! ot____nom47_aux( X ), ot____nom47( X ) }.
% 0.85/1.58 { ! ot____nom48_aux( X ), ot____nom48( X ) }.
% 0.85/1.58 { ! ot____nom49_aux( X ), ot____nom49( X ) }.
% 0.85/1.58 { ! ot____nom5_aux( X ), ot____nom5( X ) }.
% 0.85/1.58 { ! ot____nom50_aux( X ), ot____nom50( X ) }.
% 0.85/1.58 { ! ot____nom51_aux( X ), ot____nom51( X ) }.
% 0.85/1.58 { ! ot____nom52_aux( X ), ot____nom52( X ) }.
% 0.85/1.58 { ! ot____nom53_aux( X ), ot____nom53( X ) }.
% 0.85/1.58 { ! ot____nom54_aux( X ), ot____nom54( X ) }.
% 0.85/1.58 { ! ot____nom55_aux( X ), ot____nom55( X ) }.
% 0.85/1.58 { ! ot____nom56_aux( X ), ot____nom56( X ) }.
% 0.85/1.58 { ! ot____nom57_aux( X ), ot____nom57( X ) }.
% 0.85/1.58 { ! ot____nom58_aux( X ), ot____nom58( X ) }.
% 0.85/1.58 { ! ot____nom59_aux( X ), ot____nom59( X ) }.
% 0.85/1.58 { ! ot____nom6_aux( X ), ot____nom6( X ) }.
% 0.85/1.58 { ! ot____nom60_aux( X ), ot____nom60( X ) }.
% 0.85/1.58 { ! ot____nom61_aux( X ), ot____nom61( X ) }.
% 0.85/1.58 { ! ot____nom62_aux( X ), ot____nom62( X ) }.
% 0.85/1.58 { ! ot____nom63_aux( X ), ot____nom63( X ) }.
% 0.85/1.58 { ! ot____nom64_aux( X ), ot____nom64( X ) }.
% 0.85/1.58 { ! ot____nom7_aux( X ), ot____nom7( X ) }.
% 0.85/1.58 { ! ot____nom8_aux( X ), ot____nom8( X ) }.
% 0.85/1.58 { ! ot____nom9_aux( X ), ot____nom9( X ) }.
% 0.85/1.58 { ! zinfandel_aux( X ), zinfandel( X ) }.
% 0.85/1.58 { ! winery_aux( X ), winery( X ) }.
% 0.85/1.58 { ! winegrape_aux( X ), winegrape( X ) }.
% 0.85/1.58 { ! winesugar_aux( X ), winesugar( X ) }.
% 0.85/1.58 { ! wineflavor_aux( X ), wineflavor( X ) }.
% 0.85/1.58 { ! anjou_aux( X ), anjou( X ) }.
% 0.85/1.58 { ! beaujolais_aux( X ), beaujolais( X ) }.
% 0.85/1.58 { ! cabernetfranc_aux( X ), cabernetfranc( X ) }.
% 0.85/1.58 { ! cabernetsauvignon_aux( X ), cabernetsauvignon( X ) }.
% 0.85/1.58 { ! chardonnay_aux( X ), chardonnay( X ) }.
% 0.85/1.58 { ! cheninblanc_aux( X ), cheninblanc( X ) }.
% 0.85/1.58 { ! chianti_aux( X ), chianti( X ) }.
% 0.85/1.58 { ! cotesdor_aux( X ), cotesdor( X ) }.
% 0.85/1.58 { ! dessertwine_aux( X ), dessertwine( X ) }.
% 0.85/1.58 { ! dryriesling_aux( X ), dryriesling( X ) }.
% 0.85/1.58 { ! icewine_aux( X ), icewine( X ) }.
% 0.85/1.58 { ! margaux_aux( X ), margaux( X ) }.
% 0.85/1.58 { ! meritage_aux( X ), meritage( X ) }.
% 0.85/1.58 { ! merlot_aux( X ), merlot( X ) }.
% 0.85/1.58 { ! meursault_aux( X ), meursault( X ) }.
% 0.85/1.58 { ! muscadet_aux( X ), muscadet( X ) }.
% 0.85/1.58 { ! pauillac_aux( X ), pauillac( X ) }.
% 0.85/1.58 { ! petitesyrah_aux( X ), petitesyrah( X ) }.
% 0.85/1.58 { ! pinotnoir_aux( X ), pinotnoir( X ) }.
% 0.85/1.58 { ! port_aux( X ), port( X ) }.
% 0.85/1.58 { ! redtablewine_aux( X ), redtablewine( X ) }.
% 0.85/1.58 { ! region_aux( X ), region( X ) }.
% 0.85/1.58 { ! riesling_aux( X ), riesling( X ) }.
% 0.85/1.58 { ! sancerre_aux( X ), sancerre( X ) }.
% 0.85/1.58 { ! sauternes_aux( X ), sauternes( X ) }.
% 0.85/1.58 { ! sauvignonblanc_aux( X ), sauvignonblanc( X ) }.
% 0.85/1.58 { ! semillon_aux( X ), semillon( X ) }.
% 0.85/1.58 { ! stemilion_aux( X ), stemilion( X ) }.
% 0.85/1.58 { ! sweetriesling_aux( X ), sweetriesling( X ) }.
% 0.85/1.58 { ! vintageyear_aux( X ), vintageyear( X ) }.
% 0.85/1.58 { ! whiteburgundy_aux( X ), whiteburgundy( X ) }.
% 0.85/1.58 { ! whitewine_aux( X ), whitewine( X ) }.
% 0.85/1.58 { ! winebody_aux( X ), winebody( X ) }.
% 0.85/1.58 { ! winecolor_aux( X ), winecolor( X ) }.
% 0.85/1.58 { ! meritage( X ), q0( X ) }.
% 0.85/1.58 { ! merlot( X ), q0( X ) }.
% 0.85/1.58 { ! pinotnoir( X ), q0( X ) }.
% 0.85/1.58 { ! beaujolais( X ), q0( X ) }.
% 0.85/1.58 { ! cabernetfranc( X ), q0( X ) }.
% 0.85/1.58 { ! zinfandel( X ), q0( X ) }.
% 0.85/1.58 { ! medoc( X ), q0( X ) }.
% 0.85/1.58 { ! cabernetsauvignon( X ), q0( X ) }.
% 0.85/1.58 { ! redtablewine( X ), q0( X ) }.
% 0.85/1.58 { ! petitesyrah( X ), q0( X ) }.
% 0.85/1.58 { ! redwine( X ), q0( X ) }.
% 0.85/1.58 { ! chianti( X ), q0( X ) }.
% 0.85/1.58 { ! stemilion( X ), q0( X ) }.
% 0.85/1.58 { ! q0( Y ), ! kaon2equal( X, Y ), q0( X ) }.
% 0.85/1.58 { ! bordeaux( X ), q1( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q2( Y ), q1( X ) }.
% 0.85/1.58 { ! q1( Y ), ! kaon2equal( X, Y ), q1( X ) }.
% 0.85/1.58 { ! q9( X ), q10( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom4( Y ), q10( X ) }.
% 0.85/1.58 { ! q10( Y ), ! kaon2equal( X, Y ), q10( X ) }.
% 0.85/1.58 { ! pauillac( X ), q11( X ) }.
% 0.85/1.58 { ! port( X ), q11( X ) }.
% 0.85/1.58 { ! stemilion( X ), q11( X ) }.
% 0.85/1.58 { ! q11( Y ), ! kaon2equal( X, Y ), q11( X ) }.
% 0.85/1.58 { ! icewine( X ), q12( X ) }.
% 0.85/1.58 { ! whitetablewine( X ), q12( X ) }.
% 0.85/1.58 { ! cheninblanc( X ), q12( X ) }.
% 0.85/1.58 { ! chardonnay( X ), q12( X ) }.
% 0.85/1.58 { ! pinotblanc( X ), q12( X ) }.
% 0.85/1.58 { ! whitewine( X ), q12( X ) }.
% 0.85/1.58 { ! dryriesling( X ), q12( X ) }.
% 0.85/1.58 { ! sauternes( X ), q12( X ) }.
% 0.85/1.58 { ! semillonorsauvignonblanc( X ), q12( X ) }.
% 0.85/1.58 { ! riesling( X ), q12( X ) }.
% 0.85/1.58 { ! q12( Y ), ! kaon2equal( X, Y ), q12( X ) }.
% 0.85/1.58 { ! margaux( X ), q13( X ) }.
% 0.85/1.58 { ! merlot( X ), q13( X ) }.
% 0.85/1.58 { ! q13( Y ), ! kaon2equal( X, Y ), q13( X ) }.
% 0.85/1.58 { ! gamay( X ), q14( X ) }.
% 0.85/1.58 { ! beaujolais( X ), q14( X ) }.
% 0.85/1.58 { ! q14( Y ), ! kaon2equal( X, Y ), q14( X ) }.
% 0.85/1.58 { ! anjou( X ), q15( X ) }.
% 0.85/1.58 { ! rosewine( X ), q15( X ) }.
% 0.85/1.58 { ! q15( Y ), ! kaon2equal( X, Y ), q15( X ) }.
% 0.85/1.58 { ! meursault( X ), q16( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q17( Y ), q16( X ) }.
% 0.85/1.58 { ! q16( Y ), ! kaon2equal( X, Y ), q16( X ) }.
% 0.85/1.58 { ! q16( X ), q17( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom31( Y ), q17( X ) }.
% 0.85/1.58 { ! q17( Y ), ! kaon2equal( X, Y ), q17( X ) }.
% 0.85/1.58 { ! margaux( X ), q18( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q19( Y ), q18( X ) }.
% 0.85/1.58 { ! q18( Y ), ! kaon2equal( X, Y ), q18( X ) }.
% 0.85/1.58 { ! q18( X ), q19( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom22( Y ), q19( X ) }.
% 0.85/1.58 { ! q19( Y ), ! kaon2equal( X, Y ), q19( X ) }.
% 0.85/1.58 { ! q1( X ), q2( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom23( Y ), q2( X ) }.
% 0.85/1.58 { ! q2( Y ), ! kaon2equal( X, Y ), q2( X ) }.
% 0.85/1.58 { ! sancerre( X ), q20( X ) }.
% 0.85/1.58 { ! muscadet( X ), q20( X ) }.
% 0.85/1.58 { ! beaujolais( X ), q20( X ) }.
% 0.85/1.58 { ! dryriesling( X ), q20( X ) }.
% 0.85/1.58 { ! anjou( X ), q20( X ) }.
% 0.85/1.58 { ! margaux( X ), q20( X ) }.
% 0.85/1.58 { ! q20( Y ), ! kaon2equal( X, Y ), q20( X ) }.
% 0.85/1.58 { ! q12( X ), q21( X ) }.
% 0.85/1.58 { ! hascolor( X, Y ), ! ot____nom5( Y ), q21( X ) }.
% 0.85/1.58 { ! q21( Y ), ! kaon2equal( X, Y ), q21( X ) }.
% 0.85/1.58 { ! beaujolais( X ), q22( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q23( Y ), q22( X ) }.
% 0.85/1.58 { ! q22( Y ), ! kaon2equal( X, Y ), q22( X ) }.
% 0.85/1.58 { ! q22( X ), q23( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom26( Y ), q23( X ) }.
% 0.85/1.58 { ! q23( Y ), ! kaon2equal( X, Y ), q23( X ) }.
% 0.85/1.58 { ! pinotblanc( X ), q24( X ) }.
% 0.85/1.58 { ! muscadet( X ), q24( X ) }.
% 0.85/1.58 { ! q24( Y ), ! kaon2equal( X, Y ), q24( X ) }.
% 0.85/1.58 { ! americanwine( X ), q26( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q27( Y ), q26( X ) }.
% 0.85/1.58 { ! q26( Y ), ! kaon2equal( X, Y ), q26( X ) }.
% 0.85/1.58 { ! q26( X ), q27( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom38( Y ), q27( X ) }.
% 0.85/1.58 { ! q27( Y ), ! kaon2equal( X, Y ), q27( X ) }.
% 0.85/1.58 { ! burgundy( X ), q29( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q30( Y ), q29( X ) }.
% 0.85/1.58 { ! q29( Y ), ! kaon2equal( X, Y ), q29( X ) }.
% 0.85/1.58 { ! margaux( X ), q3( X ) }.
% 0.85/1.58 { ! pauillac( X ), q3( X ) }.
% 0.85/1.58 { ! zinfandel( X ), q3( X ) }.
% 0.85/1.58 { ! chardonnay( X ), q3( X ) }.
% 0.85/1.58 { ! tours( X ), q3( X ) }.
% 0.85/1.58 { ! riesling( X ), q3( X ) }.
% 0.85/1.58 { ! semillon( X ), q3( X ) }.
% 0.85/1.58 { ! petitesyrah( X ), q3( X ) }.
% 0.85/1.58 { ! whiteburgundy( X ), q3( X ) }.
% 0.85/1.58 { ! cabernetsauvignon( X ), q3( X ) }.
% 0.85/1.58 { ! cheninblanc( X ), q3( X ) }.
% 0.85/1.58 { ! sauvignonblanc( X ), q3( X ) }.
% 0.85/1.58 { ! cabernetfranc( X ), q3( X ) }.
% 0.85/1.58 { ! beaujolais( X ), q3( X ) }.
% 0.85/1.58 { ! stemilion( X ), q3( X ) }.
% 0.85/1.58 { ! pinotnoir( X ), q3( X ) }.
% 0.85/1.58 { ! sancerre( X ), q3( X ) }.
% 0.85/1.58 { ! redburgundy( X ), q3( X ) }.
% 0.85/1.58 { ! muscadet( X ), q3( X ) }.
% 0.85/1.58 { ! merlot( X ), q3( X ) }.
% 0.85/1.58 { ! pinotblanc( X ), q3( X ) }.
% 0.85/1.58 { ! gamay( X ), q3( X ) }.
% 0.85/1.58 { ! q3( Y ), ! kaon2equal( X, Y ), q3( X ) }.
% 0.85/1.58 { ! ot____nom8( X ), ! wine( X ), ! kaon2namedobjects( X ), q3( X ) }.
% 0.85/1.58 { ! q29( X ), q30( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom44( Y ), q30( X ) }.
% 0.85/1.58 { ! q30( Y ), ! kaon2equal( X, Y ), q30( X ) }.
% 0.85/1.58 { ! chianti( X ), q31( X ) }.
% 0.85/1.58 { ! cabernetsauvignon( X ), q31( X ) }.
% 0.85/1.58 { ! medoc( X ), q31( X ) }.
% 0.85/1.58 { ! merlot( X ), q31( X ) }.
% 0.85/1.58 { ! muscadet( X ), q31( X ) }.
% 0.85/1.58 { ! tablewine( X ), q31( X ) }.
% 0.85/1.58 { ! drywine( X ), q31( X ) }.
% 0.85/1.58 { ! beaujolais( X ), q31( X ) }.
% 0.85/1.58 { ! zinfandel( X ), q31( X ) }.
% 0.85/1.58 { ! cabernetfranc( X ), q31( X ) }.
% 0.85/1.58 { ! burgundy( X ), q31( X ) }.
% 0.85/1.58 { ! dryriesling( X ), q31( X ) }.
% 0.85/1.58 { ! petitesyrah( X ), q31( X ) }.
% 0.85/1.58 { ! q31( Y ), ! kaon2equal( X, Y ), q31( X ) }.
% 0.85/1.58 { ! sancerre( X ), q32( X ) }.
% 0.85/1.58 { ! anjou( X ), q32( X ) }.
% 0.85/1.58 { ! q32( Y ), ! kaon2equal( X, Y ), q32( X ) }.
% 0.85/1.58 { ! medoc( X ), q33( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q34( Y ), q33( X ) }.
% 0.85/1.58 { ! q33( Y ), ! kaon2equal( X, Y ), q33( X ) }.
% 0.85/1.58 { ! q33( X ), q34( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom2( Y ), q34( X ) }.
% 0.85/1.58 { ! q34( Y ), ! kaon2equal( X, Y ), q34( X ) }.
% 0.85/1.58 { ! pauillac( X ), q35( X ) }.
% 0.85/1.58 { ! port( X ), q35( X ) }.
% 0.85/1.58 { ! sweetriesling( X ), q35( X ) }.
% 0.85/1.58 { ! meursault( X ), q35( X ) }.
% 0.85/1.58 { ! fullbodiedwine( X ), q35( X ) }.
% 0.85/1.58 { ! q35( Y ), ! kaon2equal( X, Y ), q35( X ) }.
% 0.85/1.58 { ! whitenonsweetwine( X ), q36( X ) }.
% 0.85/1.58 { ! earlyharvest( X ), q36( X ) }.
% 0.85/1.58 { ! cheninblanc( X ), q36( X ) }.
% 0.85/1.58 { ! q36( Y ), ! kaon2equal( X, Y ), q36( X ) }.
% 0.85/1.58 { ! cotesdor( X ), q37( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q38( Y ), q37( X ) }.
% 0.85/1.58 { ! q37( Y ), ! kaon2equal( X, Y ), q37( X ) }.
% 0.85/1.58 { ! q37( X ), q38( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom42( Y ), q38( X ) }.
% 0.85/1.58 { ! q38( Y ), ! kaon2equal( X, Y ), q38( X ) }.
% 0.85/1.58 { ! sancerre( X ), q39( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q40( Y ), q39( X ) }.
% 0.85/1.58 { ! q39( Y ), ! kaon2equal( X, Y ), q39( X ) }.
% 0.85/1.58 { ! cheninblanc( X ), q4( X ) }.
% 0.85/1.58 { ! chianti( X ), q4( X ) }.
% 0.85/1.58 { ! cabernetfranc( X ), q4( X ) }.
% 0.85/1.58 { ! cotesdor( X ), q4( X ) }.
% 0.85/1.58 { ! q4( Y ), ! kaon2equal( X, Y ), q4( X ) }.
% 0.85/1.58 { ! q39( X ), q40( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom30( Y ), q40( X ) }.
% 0.85/1.58 { ! q40( Y ), ! kaon2equal( X, Y ), q40( X ) }.
% 0.85/1.58 { ! q0( X ), q41( X ) }.
% 0.85/1.58 { ! hascolor( X, Y ), ! ot____nom28( Y ), q41( X ) }.
% 0.85/1.58 { ! q41( Y ), ! kaon2equal( X, Y ), q41( X ) }.
% 0.85/1.58 { ! pauillac( X ), q42( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q43( Y ), q42( X ) }.
% 0.85/1.58 { ! q42( Y ), ! kaon2equal( X, Y ), q42( X ) }.
% 0.85/1.58 { ! q42( X ), q43( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom46( Y ), q43( X ) }.
% 0.85/1.58 { ! q43( Y ), ! kaon2equal( X, Y ), q43( X ) }.
% 0.85/1.58 { ! sancerre( X ), q44( X ) }.
% 0.85/1.58 { ! sauvignonblanc( X ), q44( X ) }.
% 0.85/1.58 { ! q44( Y ), ! kaon2equal( X, Y ), q44( X ) }.
% 0.85/1.58 { ! beaujolais( X ), q45( X ) }.
% 0.85/1.58 { ! muscadet( X ), q45( X ) }.
% 0.85/1.58 { ! anjou( X ), q45( X ) }.
% 0.85/1.58 { ! q45( Y ), ! kaon2equal( X, Y ), q45( X ) }.
% 0.85/1.58 { ! q31( X ), q46( X ) }.
% 0.85/1.58 { ! hassugar( X, Y ), ! ot____nom12( Y ), q46( X ) }.
% 0.85/1.58 { ! q46( Y ), ! kaon2equal( X, Y ), q46( X ) }.
% 0.85/1.58 { ! californiawine( X ), q47( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q48( Y ), q47( X ) }.
% 0.85/1.58 { ! q47( Y ), ! kaon2equal( X, Y ), q47( X ) }.
% 0.85/1.58 { ! q47( X ), q48( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom15( Y ), q48( X ) }.
% 0.85/1.58 { ! q48( Y ), ! kaon2equal( X, Y ), q48( X ) }.
% 0.85/1.58 { ! germanwine( X ), q49( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q50( Y ), q49( X ) }.
% 0.85/1.58 { ! q49( Y ), ! kaon2equal( X, Y ), q49( X ) }.
% 0.85/1.58 { ! meritage( X ), q5( X ) }.
% 0.85/1.58 { ! q24( X ), q5( X ) }.
% 0.85/1.58 { ! q6( X ), q5( X ) }.
% 0.85/1.58 { ! q13( X ), q5( X ) }.
% 0.85/1.58 { ! q72( X ), q5( X ) }.
% 0.85/1.58 { ! q14( X ), q5( X ) }.
% 0.85/1.58 { ! q69( X ), q5( X ) }.
% 0.85/1.58 { ! q63( X ), q5( X ) }.
% 0.85/1.58 { ! q44( X ), ! semillonorsauvignonblanc( X ), q5( X ) }.
% 0.85/1.58 { ! q5( Y ), ! kaon2equal( X, Y ), q5( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom3( Y ), q5( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom43( Y ), q5( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom24( Y ), q5( X ) }.
% 0.85/1.58 { ! semillonorsauvignonblanc( X ), ! madefromgrape( X, Y ), ! ot____nom11(
% 0.85/1.58 Y ), q5( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom34( Y ), q5( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom37( Y ), q5( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom20( Y ), q5( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom33( Y ), q5( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom39( Y ), q5( X ) }.
% 0.85/1.58 { ! semillonorsauvignonblanc( X ), ! madefromgrape( X, Y ), ! ot____nom27(
% 0.85/1.58 Y ), q5( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom25( Y ), q5( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom21( Y ), q5( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom29( Y ), q5( X ) }.
% 0.85/1.58 { ! q49( X ), q50( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom17( Y ), q50( X ) }.
% 0.85/1.58 { ! q50( Y ), ! kaon2equal( X, Y ), q50( X ) }.
% 0.85/1.58 { ! frenchwine( X ), q51( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q52( Y ), q51( X ) }.
% 0.85/1.58 { ! q51( Y ), ! kaon2equal( X, Y ), q51( X ) }.
% 0.85/1.58 { ! q51( X ), q52( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom41( Y ), q52( X ) }.
% 0.85/1.58 { ! q52( Y ), ! kaon2equal( X, Y ), q52( X ) }.
% 0.85/1.58 { ! muscadet( X ), q55( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q56( Y ), q55( X ) }.
% 0.85/1.58 { ! q55( Y ), ! kaon2equal( X, Y ), q55( X ) }.
% 0.85/1.58 { ! q55( X ), q56( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom16( Y ), q56( X ) }.
% 0.85/1.58 { ! q56( Y ), ! kaon2equal( X, Y ), q56( X ) }.
% 0.85/1.58 { ! loire( X ), q57( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q58( Y ), q57( X ) }.
% 0.85/1.58 { ! q57( Y ), ! kaon2equal( X, Y ), q57( X ) }.
% 0.85/1.58 { ! q57( X ), q58( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom19( Y ), q58( X ) }.
% 0.85/1.58 { ! q58( Y ), ! kaon2equal( X, Y ), q58( X ) }.
% 0.85/1.58 { ! alsatianwine( X ), q59( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q60( Y ), q59( X ) }.
% 0.85/1.58 { ! q59( Y ), ! kaon2equal( X, Y ), q59( X ) }.
% 0.85/1.58 { ! cheninblanc( X ), q6( X ) }.
% 0.85/1.58 { ! tours( X ), q6( X ) }.
% 0.85/1.58 { ! q6( Y ), ! kaon2equal( X, Y ), q6( X ) }.
% 0.85/1.58 { ! q59( X ), q60( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom13( Y ), q60( X ) }.
% 0.85/1.58 { ! q60( Y ), ! kaon2equal( X, Y ), q60( X ) }.
% 0.85/1.58 { ! italianwine( X ), q61( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q62( Y ), q61( X ) }.
% 0.85/1.58 { ! q61( Y ), ! kaon2equal( X, Y ), q61( X ) }.
% 0.85/1.58 { ! q61( X ), q62( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom47( Y ), q62( X ) }.
% 0.85/1.58 { ! q62( Y ), ! kaon2equal( X, Y ), q62( X ) }.
% 0.85/1.58 { ! chardonnay( X ), q63( X ) }.
% 0.85/1.58 { ! whiteburgundy( X ), q63( X ) }.
% 0.85/1.58 { ! q63( Y ), ! kaon2equal( X, Y ), q63( X ) }.
% 0.85/1.58 { ! stemilion( X ), q64( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q65( Y ), q64( X ) }.
% 0.85/1.58 { ! q64( Y ), ! kaon2equal( X, Y ), q64( X ) }.
% 0.85/1.58 { ! q64( X ), q65( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom36( Y ), q65( X ) }.
% 0.85/1.58 { ! q65( Y ), ! kaon2equal( X, Y ), q65( X ) }.
% 0.85/1.58 { ! anjou( X ), q66( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q67( Y ), q66( X ) }.
% 0.85/1.58 { ! q66( Y ), ! kaon2equal( X, Y ), q66( X ) }.
% 0.85/1.58 { ! q66( X ), q67( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom14( Y ), q67( X ) }.
% 0.85/1.58 { ! q67( Y ), ! kaon2equal( X, Y ), q67( X ) }.
% 0.85/1.58 { ! whitebordeaux( X ), q68( X ) }.
% 0.85/1.58 { ! semillonorsauvignonblanc( X ), q68( X ) }.
% 0.85/1.58 { ! q68( Y ), ! kaon2equal( X, Y ), q68( X ) }.
% 0.85/1.58 { ! pauillac( X ), q69( X ) }.
% 0.85/1.58 { ! cabernetsauvignon( X ), q69( X ) }.
% 0.85/1.58 { ! stemilion( X ), q69( X ) }.
% 0.85/1.58 { ! q69( Y ), ! kaon2equal( X, Y ), q69( X ) }.
% 0.85/1.58 { ! cabernetfranc( X ), q7( X ) }.
% 0.85/1.58 { ! sauternes( X ), q7( X ) }.
% 0.85/1.58 { ! sancerre( X ), q7( X ) }.
% 0.85/1.58 { ! q7( Y ), ! kaon2equal( X, Y ), q7( X ) }.
% 0.85/1.58 { ! sweetriesling( X ), q70( X ) }.
% 0.85/1.58 { ! port( X ), q70( X ) }.
% 0.85/1.58 { ! sweetwine( X ), q70( X ) }.
% 0.85/1.58 { ! lateharvest( X ), q70( X ) }.
% 0.85/1.58 { ! q70( Y ), ! kaon2equal( X, Y ), q70( X ) }.
% 0.85/1.58 { ! q70( X ), q71( X ) }.
% 0.85/1.58 { ! hassugar( X, Y ), ! ot____nom1( Y ), q71( X ) }.
% 0.85/1.58 { ! q71( Y ), ! kaon2equal( X, Y ), q71( X ) }.
% 0.85/1.58 { ! pinotnoir( X ), q72( X ) }.
% 0.85/1.58 { ! redburgundy( X ), q72( X ) }.
% 0.85/1.58 { ! q72( Y ), ! kaon2equal( X, Y ), q72( X ) }.
% 0.85/1.58 { ! texaswine( X ), q73( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q74( Y ), q73( X ) }.
% 0.85/1.58 { ! q73( Y ), ! kaon2equal( X, Y ), q73( X ) }.
% 0.85/1.58 { ! q73( X ), q74( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! ot____nom10( Y ), q74( X ) }.
% 0.85/1.58 { ! q74( Y ), ! kaon2equal( X, Y ), q74( X ) }.
% 0.85/1.58 { ! tours( X ), q9( X ) }.
% 0.85/1.58 { ! locatedin( X, Y ), ! q10( Y ), q9( X ) }.
% 0.85/1.58 { ! q9( Y ), ! kaon2equal( X, Y ), q9( X ) }.
% 0.85/1.58 { ! q60( X ), ! wine( X ), alsatianwine( X ) }.
% 0.85/1.58 { ! alsatianwine( Y ), ! kaon2equal( X, Y ), alsatianwine( X ) }.
% 0.85/1.58 { ! q27( X ), ! wine( X ), americanwine( X ) }.
% 0.85/1.58 { ! americanwine( Y ), ! kaon2equal( X, Y ), americanwine( X ) }.
% 0.85/1.58 { ! q67( X ), ! loire( X ), anjou( X ) }.
% 0.85/1.58 { ! anjou( Y ), ! kaon2equal( X, Y ), anjou( X ) }.
% 0.85/1.58 { ! q23( X ), ! wine( X ), beaujolais( X ) }.
% 0.85/1.58 { ! beaujolais( Y ), ! kaon2equal( X, Y ), beaujolais( X ) }.
% 0.85/1.58 { ! sauternes( X ), bordeaux( X ) }.
% 0.85/1.58 { ! medoc( X ), bordeaux( X ) }.
% 0.85/1.58 { ! redbordeaux( X ), bordeaux( X ) }.
% 0.85/1.58 { ! stemilion( X ), bordeaux( X ) }.
% 0.85/1.58 { ! whitebordeaux( X ), bordeaux( X ) }.
% 0.85/1.58 { ! q2( X ), ! wine( X ), bordeaux( X ) }.
% 0.85/1.58 { ! bordeaux( Y ), ! kaon2equal( X, Y ), bordeaux( X ) }.
% 0.85/1.58 { ! whiteburgundy( X ), burgundy( X ) }.
% 0.85/1.58 { ! redburgundy( X ), burgundy( X ) }.
% 0.85/1.58 { ! q30( X ), ! wine( X ), burgundy( X ) }.
% 0.85/1.58 { ! burgundy( Y ), ! kaon2equal( X, Y ), burgundy( X ) }.
% 0.85/1.58 { ! cabernetfranc( Y ), ! kaon2equal( X, Y ), cabernetfranc( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom3( Y ), cabernetfranc( X
% 0.85/1.58 ) }.
% 0.85/1.58 { ! q69( X ), cabernetsauvignon( X ) }.
% 0.85/1.58 { ! cabernetsauvignon( Y ), ! kaon2equal( X, Y ), cabernetsauvignon( X ) }
% 0.85/1.58 .
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom29( Y ),
% 0.85/1.58 cabernetsauvignon( X ) }.
% 0.85/1.58 { ! q48( X ), ! wine( X ), californiawine( X ) }.
% 0.85/1.58 { ! californiawine( Y ), ! kaon2equal( X, Y ), californiawine( X ) }.
% 0.85/1.58 { ! q63( X ), chardonnay( X ) }.
% 0.85/1.58 { ! chardonnay( Y ), ! kaon2equal( X, Y ), chardonnay( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom24( Y ), chardonnay( X )
% 0.85/1.58 }.
% 0.85/1.58 { ! q6( X ), cheninblanc( X ) }.
% 0.85/1.58 { ! cheninblanc( Y ), ! kaon2equal( X, Y ), cheninblanc( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom34( Y ), cheninblanc( X
% 0.85/1.58 ) }.
% 0.85/1.58 { ! chianti( Y ), ! kaon2equal( X, Y ), chianti( X ) }.
% 0.85/1.58 { ! q38( X ), ! redburgundy( X ), cotesdor( X ) }.
% 0.85/1.58 { ! cotesdor( Y ), ! kaon2equal( X, Y ), cotesdor( X ) }.
% 0.85/1.58 { ! sweetriesling( X ), dessertwine( X ) }.
% 0.85/1.58 { ! icewine( X ), dessertwine( X ) }.
% 0.85/1.58 { ! dessertwine( Y ), ! kaon2equal( X, Y ), dessertwine( X ) }.
% 0.85/1.58 { ! drywine( X ), ! redwine( X ), dryredwine( X ) }.
% 0.85/1.58 { ! dryredwine( Y ), ! kaon2equal( X, Y ), dryredwine( X ) }.
% 0.85/1.58 { ! q46( X ), ! riesling( X ), dryriesling( X ) }.
% 0.85/1.58 { ! dryriesling( Y ), ! kaon2equal( X, Y ), dryriesling( X ) }.
% 0.85/1.58 { ! drywine( X ), ! whitewine( X ), drywhitewine( X ) }.
% 0.85/1.58 { ! drywhitewine( Y ), ! kaon2equal( X, Y ), drywhitewine( X ) }.
% 0.85/1.58 { ! drywhitewine( X ), drywine( X ) }.
% 0.85/1.58 { ! dryredwine( X ), drywine( X ) }.
% 0.85/1.58 { ! q46( X ), ! wine( X ), drywine( X ) }.
% 0.85/1.58 { ! drywine( Y ), ! kaon2equal( X, Y ), drywine( X ) }.
% 0.85/1.58 { ! earlyharvest( Y ), ! kaon2equal( X, Y ), earlyharvest( X ) }.
% 0.85/1.58 { ! q52( X ), ! wine( X ), frenchwine( X ) }.
% 0.85/1.58 { ! frenchwine( Y ), ! kaon2equal( X, Y ), frenchwine( X ) }.
% 0.85/1.58 { ! q35( X ), fullbodiedwine( X ) }.
% 0.85/1.58 { ! fullbodiedwine( Y ), ! kaon2equal( X, Y ), fullbodiedwine( X ) }.
% 0.85/1.58 { ! wine( X ), ! hasbody( X, Y ), ! ot____nom45( Y ), fullbodiedwine( X ) }
% 0.85/1.58 .
% 0.85/1.58 { ! q14( X ), gamay( X ) }.
% 0.85/1.58 { ! gamay( Y ), ! kaon2equal( X, Y ), gamay( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom33( Y ), gamay( X ) }.
% 0.85/1.58 { ! q50( X ), ! wine( X ), germanwine( X ) }.
% 0.85/1.58 { ! germanwine( Y ), ! kaon2equal( X, Y ), germanwine( X ) }.
% 0.85/1.58 { ! winegrape( X ), grape( X ) }.
% 0.85/1.58 { ! grape( Y ), ! kaon2equal( X, Y ), grape( X ) }.
% 0.85/1.58 { ! icewine( Y ), ! kaon2equal( X, Y ), icewine( X ) }.
% 0.85/1.58 { ! q21( X ), ! dessertwine( X ), ! lateharvest( X ), icewine( X ) }.
% 0.85/1.58 { ! chianti( X ), italianwine( X ) }.
% 0.85/1.58 { ! q62( X ), ! wine( X ), italianwine( X ) }.
% 0.85/1.58 { ! italianwine( Y ), ! kaon2equal( X, Y ), italianwine( X ) }.
% 0.85/1.58 { ! icewine( X ), lateharvest( X ) }.
% 0.85/1.58 { ! sauternes( X ), lateharvest( X ) }.
% 0.85/1.58 { ! lateharvest( Y ), ! kaon2equal( X, Y ), lateharvest( X ) }.
% 0.85/1.58 { ! sancerre( X ), loire( X ) }.
% 0.85/1.58 { ! tours( X ), loire( X ) }.
% 0.85/1.58 { ! whiteloire( X ), loire( X ) }.
% 0.85/1.58 { ! anjou( X ), loire( X ) }.
% 0.85/1.58 { ! muscadet( X ), loire( X ) }.
% 0.85/1.58 { ! q58( X ), ! wine( X ), loire( X ) }.
% 0.85/1.58 { ! loire( Y ), ! kaon2equal( X, Y ), loire( X ) }.
% 0.85/1.58 { ! q19( X ), ! medoc( X ), margaux( X ) }.
% 0.85/1.58 { ! margaux( Y ), ! kaon2equal( X, Y ), margaux( X ) }.
% 0.85/1.58 { ! pauillac( X ), medoc( X ) }.
% 0.85/1.58 { ! margaux( X ), medoc( X ) }.
% 0.85/1.58 { ! q34( X ), ! bordeaux( X ), medoc( X ) }.
% 0.85/1.58 { ! medoc( Y ), ! kaon2equal( X, Y ), medoc( X ) }.
% 0.85/1.58 { ! meritage( Y ), ! kaon2equal( X, Y ), meritage( X ) }.
% 0.85/1.58 { ! ot____nom8( X ), ! wine( X ), ! kaon2namedobjects( X ), meritage( X ) }
% 0.85/1.58 .
% 0.85/1.58 { ! q13( X ), merlot( X ) }.
% 0.85/1.58 { ! merlot( Y ), ! kaon2equal( X, Y ), merlot( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom43( Y ), merlot( X ) }.
% 0.85/1.58 { ! q17( X ), ! whiteburgundy( X ), meursault( X ) }.
% 0.85/1.58 { ! meursault( Y ), ! kaon2equal( X, Y ), meursault( X ) }.
% 0.85/1.58 { ! q56( X ), ! loire( X ), muscadet( X ) }.
% 0.85/1.58 { ! muscadet( Y ), ! kaon2equal( X, Y ), muscadet( X ) }.
% 0.85/1.58 { ! q43( X ), ! medoc( X ), pauillac( X ) }.
% 0.85/1.58 { ! pauillac( Y ), ! kaon2equal( X, Y ), pauillac( X ) }.
% 0.85/1.58 { ! petitesyrah( Y ), ! kaon2equal( X, Y ), petitesyrah( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom25( Y ), petitesyrah( X
% 0.85/1.58 ) }.
% 0.85/1.58 { ! q24( X ), pinotblanc( X ) }.
% 0.85/1.58 { ! pinotblanc( Y ), ! kaon2equal( X, Y ), pinotblanc( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom21( Y ), pinotblanc( X )
% 0.85/1.58 }.
% 0.85/1.58 { ! q72( X ), pinotnoir( X ) }.
% 0.85/1.58 { ! pinotnoir( Y ), ! kaon2equal( X, Y ), pinotnoir( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom39( Y ), pinotnoir( X )
% 0.85/1.58 }.
% 0.85/1.58 { ! port( Y ), ! kaon2equal( X, Y ), port( X ) }.
% 0.85/1.58 { ! wine( X ), potableliquid( X ) }.
% 0.85/1.58 { ! potableliquid( Y ), ! kaon2equal( X, Y ), potableliquid( X ) }.
% 0.85/1.58 { ! redwine( X ), ! bordeaux( X ), redbordeaux( X ) }.
% 0.85/1.58 { ! redbordeaux( Y ), ! kaon2equal( X, Y ), redbordeaux( X ) }.
% 0.85/1.58 { ! cotesdor( X ), redburgundy( X ) }.
% 0.85/1.58 { ! burgundy( X ), ! redwine( X ), redburgundy( X ) }.
% 0.85/1.58 { ! redburgundy( Y ), ! kaon2equal( X, Y ), redburgundy( X ) }.
% 0.85/1.58 { ! q41( X ), ! tablewine( X ), redtablewine( X ) }.
% 0.85/1.58 { ! redtablewine( Y ), ! kaon2equal( X, Y ), redtablewine( X ) }.
% 0.85/1.58 { ! redburgundy( X ), redwine( X ) }.
% 0.85/1.58 { ! redbordeaux( X ), redwine( X ) }.
% 0.85/1.58 { ! dryredwine( X ), redwine( X ) }.
% 0.85/1.58 { ! port( X ), redwine( X ) }.
% 0.85/1.58 { ! q41( X ), ! wine( X ), redwine( X ) }.
% 0.85/1.58 { ! redwine( Y ), ! kaon2equal( X, Y ), redwine( X ) }.
% 0.85/1.58 { ! adjacentregion( Y, X ), region( X ) }.
% 0.85/1.58 { ! locatedin( Y, X ), region( X ) }.
% 0.85/1.58 { ! adjacentregion( X, Y ), region( X ) }.
% 0.85/1.58 { ! wine( X ), ! kaon2namedobjects( X ), region( X ) }.
% 0.85/1.58 { ! region( Y ), ! kaon2equal( X, Y ), region( X ) }.
% 0.85/1.58 { ! dryriesling( X ), riesling( X ) }.
% 0.85/1.58 { ! sweetriesling( X ), riesling( X ) }.
% 0.85/1.58 { ! riesling( Y ), ! kaon2equal( X, Y ), riesling( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom37( Y ), riesling( X ) }
% 0.85/1.58 .
% 0.85/1.58 { ! q15( X ), rosewine( X ) }.
% 0.85/1.58 { ! rosewine( Y ), ! kaon2equal( X, Y ), rosewine( X ) }.
% 0.85/1.58 { ! wine( X ), ! hascolor( X, Y ), ! ot____nom32( Y ), rosewine( X ) }.
% 0.85/1.58 { ! q40( X ), ! loire( X ), sancerre( X ) }.
% 0.85/1.58 { ! sancerre( Y ), ! kaon2equal( X, Y ), sancerre( X ) }.
% 0.85/1.58 { ! sauternes( Y ), ! kaon2equal( X, Y ), sauternes( X ) }.
% 0.85/1.58 { ! q44( X ), ! semillonorsauvignonblanc( X ), sauvignonblanc( X ) }.
% 0.85/1.58 { ! sauvignonblanc( Y ), ! kaon2equal( X, Y ), sauvignonblanc( X ) }.
% 0.85/1.58 { ! semillonorsauvignonblanc( X ), ! madefromgrape( X, Y ), ! ot____nom11(
% 0.85/1.58 Y ), sauvignonblanc( X ) }.
% 0.85/1.58 { ! semillon( Y ), ! kaon2equal( X, Y ), semillon( X ) }.
% 0.85/1.58 { ! semillonorsauvignonblanc( X ), ! madefromgrape( X, Y ), ! ot____nom27(
% 0.85/1.58 Y ), semillon( X ) }.
% 0.85/1.58 { ! semillon( X ), semillonorsauvignonblanc( X ) }.
% 0.85/1.58 { ! sauvignonblanc( X ), semillonorsauvignonblanc( X ) }.
% 0.85/1.58 { ! q68( X ), ! wine( X ), semillonorsauvignonblanc( X ) }.
% 0.85/1.58 { ! semillonorsauvignonblanc( Y ), ! kaon2equal( X, Y ),
% 0.85/1.58 semillonorsauvignonblanc( X ) }.
% 0.85/1.58 { ! ot____nom6( X ), ! wine( X ), ! kaon2namedobjects( X ),
% 0.85/1.58 semillonorsauvignonblanc( X ) }.
% 0.85/1.58 { ! q65( X ), ! bordeaux( X ), stemilion( X ) }.
% 0.85/1.58 { ! stemilion( Y ), ! kaon2equal( X, Y ), stemilion( X ) }.
% 0.85/1.58 { ! q71( X ), ! riesling( X ), sweetriesling( X ) }.
% 0.85/1.58 { ! sweetriesling( Y ), ! kaon2equal( X, Y ), sweetriesling( X ) }.
% 0.85/1.58 { ! q71( X ), ! wine( X ), sweetwine( X ) }.
% 0.85/1.58 { ! sweetwine( Y ), ! kaon2equal( X, Y ), sweetwine( X ) }.
% 0.85/1.58 { ! whitetablewine( X ), tablewine( X ) }.
% 0.85/1.58 { ! redtablewine( X ), tablewine( X ) }.
% 0.85/1.58 { ! q46( X ), ! wine( X ), tablewine( X ) }.
% 0.85/1.58 { ! tablewine( Y ), ! kaon2equal( X, Y ), tablewine( X ) }.
% 0.85/1.58 { ! q74( X ), ! wine( X ), texaswine( X ) }.
% 0.85/1.58 { ! texaswine( Y ), ! kaon2equal( X, Y ), texaswine( X ) }.
% 0.85/1.58 { ! q10( X ), ! loire( X ), tours( X ) }.
% 0.85/1.58 { ! tours( Y ), ! kaon2equal( X, Y ), tours( X ) }.
% 0.85/1.58 { ! hasvintageyear( X, Y ), vintage( X ) }.
% 0.85/1.58 { ! vintage( Y ), ! kaon2equal( X, Y ), vintage( X ) }.
% 0.85/1.58 { ! hasvintageyear( Y, X ), vintageyear( X ) }.
% 0.85/1.58 { ! vintageyear( Y ), ! kaon2equal( X, Y ), vintageyear( X ) }.
% 0.85/1.58 { ! bordeaux( X ), ! whitewine( X ), whitebordeaux( X ) }.
% 0.85/1.58 { ! whitebordeaux( Y ), ! kaon2equal( X, Y ), whitebordeaux( X ) }.
% 0.85/1.58 { ! meursault( X ), whiteburgundy( X ) }.
% 0.85/1.58 { ! burgundy( X ), ! whitewine( X ), whiteburgundy( X ) }.
% 0.85/1.58 { ! whiteburgundy( Y ), ! kaon2equal( X, Y ), whiteburgundy( X ) }.
% 0.85/1.58 { ! loire( X ), ! whitewine( X ), whiteloire( X ) }.
% 0.85/1.58 { ! whiteloire( Y ), ! kaon2equal( X, Y ), whiteloire( X ) }.
% 0.85/1.58 { ! whitewine( X ), ! kaon2namedobjects( X ), whitenonsweetwine( X ) }.
% 0.85/1.58 { ! q36( X ), ! whitewine( X ), whitenonsweetwine( X ) }.
% 0.85/1.58 { ! whitenonsweetwine( Y ), ! kaon2equal( X, Y ), whitenonsweetwine( X ) }
% 0.85/1.58 .
% 0.85/1.58 { ! ot____nom7( X ), ! whitewine( X ), ! kaon2namedobjects( X ),
% 0.85/1.58 whitenonsweetwine( X ) }.
% 0.85/1.58 { ! q21( X ), ! tablewine( X ), whitetablewine( X ) }.
% 0.85/1.58 { ! whitetablewine( Y ), ! kaon2equal( X, Y ), whitetablewine( X ) }.
% 0.85/1.58 { ! drywhitewine( X ), whitewine( X ) }.
% 0.85/1.58 { ! whiteburgundy( X ), whitewine( X ) }.
% 0.85/1.58 { ! whitebordeaux( X ), whitewine( X ) }.
% 0.85/1.58 { ! whiteloire( X ), whitewine( X ) }.
% 0.85/1.58 { ! whitenonsweetwine( X ), whitewine( X ) }.
% 0.85/1.58 { ! q21( X ), ! wine( X ), whitewine( X ) }.
% 0.85/1.58 { ! whitewine( Y ), ! kaon2equal( X, Y ), whitewine( X ) }.
% 0.85/1.58 { ! q14( X ), wine( X ) }.
% 0.85/1.58 { ! texaswine( X ), wine( X ) }.
% 0.85/1.58 { ! q63( X ), wine( X ) }.
% 0.85/1.58 { ! q20( X ), wine( X ) }.
% 0.85/1.58 { ! tablewine( X ), wine( X ) }.
% 0.85/1.58 { ! haswinedescriptor( X, Y ), wine( X ) }.
% 0.85/1.58 { ! q31( X ), wine( X ) }.
% 0.85/1.58 { ! q11( X ), wine( X ) }.
% 0.85/1.58 { ! q15( X ), wine( X ) }.
% 0.85/1.58 { ! earlyharvest( X ), wine( X ) }.
% 0.85/1.58 { ! sweetwine( X ), wine( X ) }.
% 0.85/1.58 { ! americanwine( X ), wine( X ) }.
% 0.85/1.58 { ! alsatianwine( X ), wine( X ) }.
% 0.85/1.58 { ! q0( X ), wine( X ) }.
% 0.85/1.58 { ! madefromgrape( X, Y ), wine( X ) }.
% 0.85/1.58 { ! cabernetfranc( X ), wine( X ) }.
% 0.85/1.58 { ! semillonorsauvignonblanc( X ), wine( X ) }.
% 0.85/1.58 { ! beaujolais( X ), wine( X ) }.
% 0.85/1.58 { ! fullbodiedwine( X ), wine( X ) }.
% 0.85/1.58 { ! loire( X ), wine( X ) }.
% 0.85/1.58 { ! petitesyrah( X ), wine( X ) }.
% 0.85/1.58 { ! q12( X ), wine( X ) }.
% 0.85/1.58 { ! q45( X ), wine( X ) }.
% 0.85/1.58 { ! q7( X ), wine( X ) }.
% 0.85/1.58 { ! pinotnoir( X ), wine( X ) }.
% 0.85/1.58 { ! q35( X ), wine( X ) }.
% 0.85/1.58 { ! q24( X ), wine( X ) }.
% 0.85/1.58 { ! frenchwine( X ), wine( X ) }.
% 0.85/1.58 { ! meritage( X ), wine( X ) }.
% 0.85/1.58 { ! zinfandel( X ), wine( X ) }.
% 0.85/1.58 { ! californiawine( X ), wine( X ) }.
% 0.85/1.58 { ! pinotblanc( X ), wine( X ) }.
% 0.85/1.58 { ! q44( X ), wine( X ) }.
% 0.85/1.58 { ! bordeaux( X ), wine( X ) }.
% 0.85/1.58 { ! riesling( X ), wine( X ) }.
% 0.85/1.58 { ! hascolor( X, Y ), wine( X ) }.
% 0.85/1.58 { ! redwine( X ), wine( X ) }.
% 0.85/1.58 { ! whitewine( X ), wine( X ) }.
% 0.85/1.58 { ! dessertwine( X ), wine( X ) }.
% 0.85/1.58 { ! q69( X ), wine( X ) }.
% 0.85/1.58 { ! q6( X ), wine( X ) }.
% 0.85/1.58 { ! drywine( X ), wine( X ) }.
% 0.85/1.58 { ! q13( X ), wine( X ) }.
% 0.85/1.58 { ! germanwine( X ), wine( X ) }.
% 0.85/1.58 { ! burgundy( X ), wine( X ) }.
% 0.85/1.58 { ! cabernetsauvignon( X ), wine( X ) }.
% 0.85/1.58 { ! q72( X ), wine( X ) }.
% 0.85/1.58 { ! q70( X ), wine( X ) }.
% 0.85/1.58 { ! q4( X ), wine( X ) }.
% 0.85/1.58 { ! italianwine( X ), wine( X ) }.
% 0.85/1.58 { ! chardonnay( X ), wine( X ) }.
% 0.85/1.58 { ! semillon( X ), wine( X ) }.
% 0.85/1.58 { ! q5( X ), wine( X ) }.
% 0.85/1.58 { ! rosewine( X ), wine( X ) }.
% 0.85/1.58 { ! q32( X ), wine( X ) }.
% 0.85/1.58 { ! lateharvest( X ), wine( X ) }.
% 0.85/1.58 { ! merlot( X ), wine( X ) }.
% 0.85/1.58 { ! wine( Y ), ! kaon2equal( X, Y ), wine( X ) }.
% 0.85/1.58 { ! ot____nom40( X ), winebody( X ) }.
% 0.85/1.58 { ! hasbody( Y, X ), winebody( X ) }.
% 0.85/1.58 { ! winebody( Y ), ! kaon2equal( X, Y ), winebody( X ) }.
% 0.85/1.58 { ! ot____nom9( X ), winecolor( X ) }.
% 0.85/1.58 { ! hascolor( Y, X ), winecolor( X ) }.
% 0.85/1.58 { ! winedescriptor( X ), winecolor( X ) }.
% 0.85/1.58 { ! winecolor( Y ), ! kaon2equal( X, Y ), winecolor( X ) }.
% 0.85/1.58 { ! winecolor( X ), winedescriptor( X ) }.
% 0.85/1.58 { ! winetaste( X ), winedescriptor( X ) }.
% 0.85/1.58 { ! haswinedescriptor( Y, X ), winedescriptor( X ) }.
% 0.85/1.58 { ! winedescriptor( Y ), ! kaon2equal( X, Y ), winedescriptor( X ) }.
% 0.85/1.58 { ! hasflavor( Y, X ), wineflavor( X ) }.
% 0.85/1.58 { ! ot____nom35( X ), wineflavor( X ) }.
% 0.85/1.58 { ! wineflavor( Y ), ! kaon2equal( X, Y ), wineflavor( X ) }.
% 0.85/1.58 { ! madefromgrape( Y, X ), winegrape( X ) }.
% 0.85/1.58 { ! winegrape( Y ), ! kaon2equal( X, Y ), winegrape( X ) }.
% 0.85/1.58 { ! ot____nom18( X ), winesugar( X ) }.
% 0.85/1.58 { ! hassugar( Y, X ), winesugar( X ) }.
% 0.85/1.58 { ! winesugar( Y ), ! kaon2equal( X, Y ), winesugar( X ) }.
% 0.85/1.58 { ! wineflavor( X ), winetaste( X ) }.
% 0.85/1.58 { ! winesugar( X ), winetaste( X ) }.
% 0.85/1.58 { ! winebody( X ), winetaste( X ) }.
% 0.85/1.58 { ! winedescriptor( X ), winetaste( X ) }.
% 0.85/1.58 { ! winetaste( Y ), ! kaon2equal( X, Y ), winetaste( X ) }.
% 0.85/1.58 { ! wine( Y ), ! hasmaker( Y, X ), winery( X ) }.
% 0.85/1.58 { ! winery( Y ), ! kaon2equal( X, Y ), winery( X ) }.
% 0.85/1.58 { ! zinfandel( Y ), ! kaon2equal( X, Y ), zinfandel( X ) }.
% 0.85/1.58 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom20( Y ), zinfandel( X )
% 0.85/1.58 }.
% 0.85/1.58 { ! q70( X ), ! kaon2namedobjects( X ), ot____nom1( X ) }.
% 0.85/1.58 { ! ot____nom1( Y ), ! kaon2equal( X, Y ), ot____nom1( X ) }.
% 0.85/1.58 { ! q73( X ), ! kaon2namedobjects( X ), ot____nom10( X ) }.
% 0.85/1.58 { ! ot____nom10( Y ), ! kaon2equal( X, Y ), ot____nom10( X ) }.
% 0.85/1.58 { ! q44( X ), ! kaon2namedobjects( X ), ot____nom11( X ) }.
% 0.85/1.58 { ! ot____nom11( Y ), ! kaon2equal( X, Y ), ot____nom11( X ) }.
% 0.85/1.58 { ! q31( X ), ! kaon2namedobjects( X ), ot____nom12( X ) }.
% 0.85/1.58 { ! ot____nom12( Y ), ! kaon2equal( X, Y ), ot____nom12( X ) }.
% 0.85/1.58 { ! q59( X ), ! kaon2namedobjects( X ), ot____nom13( X ) }.
% 0.85/1.58 { ! ot____nom13( Y ), ! kaon2equal( X, Y ), ot____nom13( X ) }.
% 0.85/1.58 { ! q66( X ), ! kaon2namedobjects( X ), ot____nom14( X ) }.
% 0.85/1.58 { ! ot____nom14( Y ), ! kaon2equal( X, Y ), ot____nom14( X ) }.
% 0.85/1.58 { ! q47( X ), ! kaon2namedobjects( X ), ot____nom15( X ) }.
% 0.85/1.58 { ! ot____nom15( Y ), ! kaon2equal( X, Y ), ot____nom15( X ) }.
% 0.85/1.58 { ! q55( X ), ! kaon2namedobjects( X ), ot____nom16( X ) }.
% 0.85/1.58 { ! ot____nom16( Y ), ! kaon2equal( X, Y ), ot____nom16( X ) }.
% 0.85/1.58 { ! q49( X ), ! kaon2namedobjects( X ), ot____nom17( X ) }.
% 0.85/1.58 { ! ot____nom17( Y ), ! kaon2equal( X, Y ), ot____nom17( X ) }.
% 0.85/1.58 { ! winesugar( X ), ot____nom18( X ) }.
% 0.85/1.58 { ! ot____nom18( Y ), ! kaon2equal( X, Y ), ot____nom18( X ) }.
% 0.85/1.58 { ! q57( X ), ! kaon2namedobjects( X ), ot____nom19( X ) }.
% 0.85/1.58 { ! ot____nom19( Y ), ! kaon2equal( X, Y ), ot____nom19( X ) }.
% 0.85/1.58 { ! q33( X ), ! kaon2namedobjects( X ), ot____nom2( X ) }.
% 0.85/1.58 { ! ot____nom2( Y ), ! kaon2equal( X, Y ), ot____nom2( X ) }.
% 0.85/1.58 { ! zinfandel( X ), ! kaon2namedobjects( X ), ot____nom20( X ) }.
% 0.85/1.58 { ! ot____nom20( Y ), ! kaon2equal( X, Y ), ot____nom20( X ) }.
% 0.85/1.58 { ! q24( X ), ! kaon2namedobjects( X ), ot____nom21( X ) }.
% 0.85/1.58 { ! ot____nom21( Y ), ! kaon2equal( X, Y ), ot____nom21( X ) }.
% 0.85/1.58 { ! q18( X ), ! kaon2namedobjects( X ), ot____nom22( X ) }.
% 0.85/1.58 { ! ot____nom22( Y ), ! kaon2equal( X, Y ), ot____nom22( X ) }.
% 0.85/1.58 { ! q1( X ), ! kaon2namedobjects( X ), ot____nom23( X ) }.
% 0.85/1.58 { ! ot____nom23( Y ), ! kaon2equal( X, Y ), ot____nom23( X ) }.
% 0.85/1.58 { ! q63( X ), ! kaon2namedobjects( X ), ot____nom24( X ) }.
% 0.85/1.58 { ! ot____nom24( Y ), ! kaon2equal( X, Y ), ot____nom24( X ) }.
% 0.85/1.58 { ! petitesyrah( X ), ! kaon2namedobjects( X ), ot____nom25( X ) }.
% 0.85/1.58 { ! ot____nom25( Y ), ! kaon2equal( X, Y ), ot____nom25( X ) }.
% 0.85/1.58 { ! q22( X ), ! kaon2namedobjects( X ), ot____nom26( X ) }.
% 0.85/1.58 { ! ot____nom26( Y ), ! kaon2equal( X, Y ), ot____nom26( X ) }.
% 0.85/1.58 { ! semillon( X ), ! kaon2namedobjects( X ), ot____nom27( X ) }.
% 0.85/1.58 { ! ot____nom27( Y ), ! kaon2equal( X, Y ), ot____nom27( X ) }.
% 0.85/1.58 { ! q0( X ), ! kaon2namedobjects( X ), ot____nom28( X ) }.
% 0.85/1.58 { ! ot____nom28( Y ), ! kaon2equal( X, Y ), ot____nom28( X ) }.
% 0.85/1.58 { ! q69( X ), ! kaon2namedobjects( X ), ot____nom29( X ) }.
% 0.85/1.58 { ! ot____nom29( Y ), ! kaon2equal( X, Y ), ot____nom29( X ) }.
% 0.85/1.58 { ! cabernetfranc( X ), ! kaon2namedobjects( X ), ot____nom3( X ) }.
% 0.85/1.58 { ! ot____nom3( Y ), ! kaon2equal( X, Y ), ot____nom3( X ) }.
% 0.85/1.58 { ! q39( X ), ! kaon2namedobjects( X ), ot____nom30( X ) }.
% 0.85/1.58 { ! ot____nom30( Y ), ! kaon2equal( X, Y ), ot____nom30( X ) }.
% 0.85/1.58 { ! q16( X ), ! kaon2namedobjects( X ), ot____nom31( X ) }.
% 0.85/1.58 { ! ot____nom31( Y ), ! kaon2equal( X, Y ), ot____nom31( X ) }.
% 0.85/1.58 { ! q15( X ), ! kaon2namedobjects( X ), ot____nom32( X ) }.
% 0.85/1.58 { ! ot____nom32( Y ), ! kaon2equal( X, Y ), ot____nom32( X ) }.
% 0.85/1.58 { ! q14( X ), ! kaon2namedobjects( X ), ot____nom33( X ) }.
% 0.85/1.58 { ! ot____nom33( Y ), ! kaon2equal( X, Y ), ot____nom33( X ) }.
% 0.85/1.58 { ! q6( X ), ! kaon2namedobjects( X ), ot____nom34( X ) }.
% 0.85/1.58 { ! ot____nom34( Y ), ! kaon2equal( X, Y ), ot____nom34( X ) }.
% 0.85/1.58 { ! wineflavor( X ), ot____nom35( X ) }.
% 0.85/1.58 { ! ot____nom35( Y ), ! kaon2equal( X, Y ), ot____nom35( X ) }.
% 0.85/1.58 { ! q64( X ), ! kaon2namedobjects( X ), ot____nom36( X ) }.
% 0.85/1.58 { ! ot____nom36( Y ), ! kaon2equal( X, Y ), ot____nom36( X ) }.
% 0.85/1.58 { ! riesling( X ), ! kaon2namedobjects( X ), ot____nom37( X ) }.
% 0.85/1.58 { ! ot____nom37( Y ), ! kaon2equal( X, Y ), ot____nom37( X ) }.
% 0.85/1.58 { ! q26( X ), ! kaon2namedobjects( X ), ot____nom38( X ) }.
% 0.85/1.58 { ! ot____nom38( Y ), ! kaon2equal( X, Y ), ot____nom38( X ) }.
% 0.85/1.58 { ! q72( X ), ! kaon2namedobjects( X ), ot____nom39( X ) }.
% 0.85/1.58 { ! ot____nom39( Y ), ! kaon2equal( X, Y ), ot____nom39( X ) }.
% 0.85/1.58 { ! q9( X ), ! kaon2namedobjects( X ), ot____nom4( X ) }.
% 0.85/1.58 { ! ot____nom4( Y ), ! kaon2equal( X, Y ), ot____nom4( X ) }.
% 0.85/1.58 { ! winebody( X ), ot____nom40( X ) }.
% 0.85/1.58 { ! ot____nom40( Y ), ! kaon2equal( X, Y ), ot____nom40( X ) }.
% 0.85/1.58 { ! q51( X ), ! kaon2namedobjects( X ), ot____nom41( X ) }.
% 0.85/1.58 { ! ot____nom41( Y ), ! kaon2equal( X, Y ), ot____nom41( X ) }.
% 0.85/1.58 { ! q37( X ), ! kaon2namedobjects( X ), ot____nom42( X ) }.
% 0.85/1.58 { ! ot____nom42( Y ), ! kaon2equal( X, Y ), ot____nom42( X ) }.
% 0.85/1.58 { ! q13( X ), ! kaon2namedobjects( X ), ot____nom43( X ) }.
% 0.85/1.58 { ! ot____nom43( Y ), ! kaon2equal( X, Y ), ot____nom43( X ) }.
% 0.85/1.58 { ! q29( X ), ! kaon2namedobjects( X ), ot____nom44( X ) }.
% 0.85/1.58 { ! ot____nom44( Y ), ! kaon2equal( X, Y ), ot____nom44( X ) }.
% 0.85/1.58 { ! q35( X ), ! kaon2namedobjects( X ), ot____nom45( X ) }.
% 0.85/1.58 { ! ot____nom45( Y ), ! kaon2equal( X, Y ), ot____nom45( X ) }.
% 0.85/1.58 { ! q42( X ), ! kaon2namedobjects( X ), ot____nom46( X ) }.
% 0.85/1.58 { ! ot____nom46( Y ), ! kaon2equal( X, Y ), ot____nom46( X ) }.
% 0.85/1.58 { ! q61( X ), ! kaon2namedobjects( X ), ot____nom47( X ) }.
% 0.85/1.58 { ! ot____nom47( Y ), ! kaon2equal( X, Y ), ot____nom47( X ) }.
% 0.85/1.58 { ! q4( X ), ! kaon2namedobjects( X ), ot____nom48( X ) }.
% 0.85/1.58 { ! ot____nom48( Y ), ! kaon2equal( X, Y ), ot____nom48( X ) }.
% 0.85/1.58 { ! q7( X ), ! kaon2namedobjects( X ), ot____nom49( X ) }.
% 0.85/1.58 { ! ot____nom49( Y ), ! kaon2equal( X, Y ), ot____nom49( X ) }.
% 0.85/1.58 { ! q12( X ), ! kaon2namedobjects( X ), ot____nom5( X ) }.
% 0.85/1.58 { ! ot____nom5( Y ), ! kaon2equal( X, Y ), ot____nom5( X ) }.
% 0.85/1.58 { ! sweetriesling( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.85/1.58 { ! lateharvest( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.85/1.58 { ! chardonnay( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.85/1.58 { ! zinfandel( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.85/1.58 { ! icewine( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.85/1.58 { ! cabernetsauvignon( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.85/1.58 { ! petitesyrah( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.85/1.58 { ! ot____nom50( Y ), ! kaon2equal( X, Y ), ot____nom50( X ) }.
% 0.85/1.58 { ! icewine( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.85/1.58 { ! cheninblanc( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.85/1.58 { ! chardonnay( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.85/1.58 { ! cabernetsauvignon( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.85/1.58 { ! semillonorsauvignonblanc( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.85/1.58 { ! petitesyrah( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.85/1.58 { ! zinfandel( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.85/1.58 { ! ot____nom51( Y ), ! kaon2equal( X, Y ), ot____nom51( X ) }.
% 0.85/1.58 { ! sauternes( X ), ! kaon2namedobjects( X ), ot____nom52( X ) }.
% 0.85/1.58 { ! ot____nom52( Y ), ! kaon2equal( X, Y ), ot____nom52( X ) }.
% 0.85/1.58 { ! dessertwine( Y ), ! hassugar( Y, X ), ot____nom53( X ) }.
% 0.85/1.58 { ! ot____nom53( Y ), ! kaon2equal( X, Y ), ot____nom53( X ) }.
% 0.85/1.58 { ! q32( X ), ! kaon2namedobjects( X ), ot____nom54( X ) }.
% 0.85/1.58 { ! ot____nom54( Y ), ! kaon2equal( X, Y ), ot____nom54( X ) }.
% 0.85/1.58 { ! q20( X ), ! kaon2namedobjects( X ), ot____nom55( X ) }.
% 0.85/1.58 { ! ot____nom55( Y ), ! kaon2equal( X, Y ), ot____nom55( X ) }.
% 0.85/1.58 { ! q45( X ), ! kaon2namedobjects( X ), ot____nom56( X ) }.
% 0.85/1.58 { ! ot____nom56( Y ), ! kaon2equal( X, Y ), ot____nom56( X ) }.
% 0.85/1.58 { ! port( X ), ! kaon2namedobjects( X ), ot____nom57( X ) }.
% 0.85/1.58 { ! ot____nom57( Y ), ! kaon2equal( X, Y ), ot____nom57( X ) }.
% 0.85/1.58 { ! q11( X ), ! kaon2namedobjects( X ), ot____nom58( X ) }.
% 0.85/1.58 { ! ot____nom58( Y ), ! kaon2equal( X, Y ), ot____nom58( X ) }.
% 0.85/1.58 { ! merlot( Y ), ! hasbody( Y, X ), ot____nom59( X ) }.
% 0.85/1.58 { ! dryriesling( Y ), ! hasbody( Y, X ), ot____nom59( X ) }.
% 0.85/1.58 { ! chianti( Y ), ! hasbody( Y, X ), ot____nom59( X ) }.
% 0.85/1.58 { ! ot____nom59( Y ), ! kaon2equal( X, Y ), ot____nom59( X ) }.
% 0.85/1.58 { ! q68( Y ), ! madefromgrape( Y, X ), ot____nom6( X ) }.
% 0.85/1.58 { ! ot____nom6( Y ), ! kaon2equal( X, Y ), ot____nom6( X ) }.
% 0.85/1.58 { ! chianti( X ), ! kaon2namedobjects( X ), ot____nom60( X ) }.
% 0.85/1.58 { ! ot____nom60( Y ), ! kaon2equal( X, Y ), ot____nom60( X ) }.
% 0.85/1.58 { ! chianti( X ), ! kaon2namedobjects( X ), ot____nom61( X ) }.
% 0.85/1.58 { ! ot____nom61( Y ), ! kaon2equal( X, Y ), ot____nom61( X ) }.
% 0.85/1.58 { ! redbordeaux( Y ), ! madefromgrape( Y, X ), ot____nom62( X ) }.
% 0.85/1.58 { ! ot____nom62( Y ), ! kaon2equal( X, Y ), ot____nom62( X ) }.
% 0.85/1.58 { ! whiteloire( Y ), ! madefromgrape( Y, X ), ot____nom63( X ) }.
% 0.85/1.58 { ! ot____nom63( Y ), ! kaon2equal( X, Y ), ot____nom63( X ) }.
% 0.85/1.58 { ! merlot( Y ), ! hasflavor( Y, X ), ot____nom64( X ) }.
% 0.85/1.58 { ! ot____nom64( Y ), ! kaon2equal( X, Y ), ot____nom64( X ) }.
% 0.85/1.58 { ! q36( Y ), ! hassugar( Y, X ), ot____nom7( X ) }.
% 0.85/1.58 { ! ot____nom7( Y ), ! kaon2equal( X, Y ), ot____nom7( X ) }.
% 0.85/1.58 { ! meritage( Y ), ! madefromgrape( Y, X ), ot____nom8( X ) }.
% 0.85/1.58 { ! ot____nom8( Y ), ! kaon2equal( X, Y ), ot____nom8( X ) }.
% 0.85/1.58 { ! winecolor( X ), ot____nom9( X ) }.
% 0.85/1.58 { ! ot____nom9( Y ), ! kaon2equal( X, Y ), ot____nom9( X ) }.
% 0.85/1.58 { ! adjacentregion( X, Y ), adjacentregion( Y, X ) }.
% 0.85/1.58 { ! adjacentregion( Z, X ), ! kaon2equal( Y, Z ), adjacentregion( Y, X ) }
% 0.85/1.58 .
% 0.85/1.58 { ! adjacentregion( X, Z ), ! kaon2equal( Y, Z ), adjacentregion( X, Y ) }
% 0.85/1.58 .
% 0.85/1.58 { ! q45( X ), ! kaon2namedobjects( X ), hasbody( X, X ) }.
% 0.85/1.58 { ! wine( X ), ! kaon2namedobjects( X ), hasbody( X, X ) }.
% 0.85/1.58 { ! q35( X ), ! kaon2namedobjects( X ), hasbody( X, X ) }.
% 0.85/1.58 { ! q7( X ), ! kaon2namedobjects( X ), hasbody( X, X ) }.
% 0.85/1.58 { ! hasbody( Z, X ), ! kaon2equal( Y, Z ), hasbody( Y, X ) }.
% 0.85/1.58 { ! hasbody( X, Z ), ! kaon2equal( Y, Z ), hasbody( X, Y ) }.
% 0.85/1.58 { ! q0( X ), ! kaon2namedobjects( X ), hascolor( X, X ) }.
% 0.85/1.58 { ! q15( X ), ! kaon2namedobjects( X ), hascolor( X, X ) }.
% 0.85/1.58 { ! wine( X ), ! kaon2namedobjects( X ), hascolor( X, X ) }.
% 0.85/1.58 { ! q12( X ), ! kaon2namedobjects( X ), hascolor( X, X ) }.
% 0.85/1.58 { ! hascolor( Z, X ), ! kaon2equal( Y, Z ), hascolor( Y, X ) }.
% 0.85/1.58 { ! hascolor( X, Z ), ! kaon2equal( Y, Z ), hascolor( X, Y ) }.
% 0.85/1.58 { ! q4( X ), ! kaon2namedobjects( X ), hasflavor( X, X ) }.
% 0.85/1.58 { ! q11( X ), ! kaon2namedobjects( X ), hasflavor( X, X ) }.
% 0.85/1.58 { ! q20( X ), ! kaon2namedobjects( X ), hasflavor( X, X ) }.
% 0.85/1.58 { ! wine( X ), ! kaon2namedobjects( X ), hasflavor( X, X ) }.
% 0.85/1.58 { ! hasflavor( Z, X ), ! kaon2equal( Y, Z ), hasflavor( Y, X ) }.
% 0.85/1.58 { ! hasflavor( X, Z ), ! kaon2equal( Y, Z ), hasflavor( X, Y ) }.
% 0.85/1.58 { ! produceswine( X, Y ), hasmaker( Y, X ) }.
% 0.85/1.58 { ! wine( X ), ! kaon2namedobjects( X ), hasmaker( X, X ) }.
% 0.85/1.58 { ! hasmaker( Z, X ), ! kaon2equal( Y, Z ), hasmaker( Y, X ) }.
% 0.85/1.58 { ! hasmaker( X, Z ), ! kaon2equal( Y, Z ), hasmaker( X, Y ) }.
% 0.85/1.58 { ! wine( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.85/1.58 { ! q31( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.85/1.58 { ! whitewine( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.85/1.58 { ! q70( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.85/1.58 { ! q32( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.85/1.58 { ! hassugar( Z, X ), ! kaon2equal( Y, Z ), hassugar( Y, X ) }.
% 0.85/1.58 { ! hassugar( X, Z ), ! kaon2equal( Y, Z ), hassugar( X, Y ) }.
% 0.85/1.58 { ! vintage( X ), ! kaon2namedobjects( X ), hasvintageyear( X, X ) }.
% 0.85/1.58 { ! hasvintageyear( Z, X ), ! kaon2equal( Y, Z ), hasvintageyear( Y, X ) }
% 0.85/1.58 .
% 0.85/1.58 { ! hasvintageyear( X, Z ), ! kaon2equal( Y, Z ), hasvintageyear( X, Y ) }
% 0.85/1.58 .
% 0.85/1.58 { ! hasbody( X, Y ), haswinedescriptor( X, Y ) }.
% 0.85/1.58 { ! hascolor( X, Y ), haswinedescriptor( X, Y ) }.
% 0.85/1.58 { ! hasflavor( X, Y ), haswinedescriptor( X, Y ) }.
% 0.85/1.58 { ! hassugar( X, Y ), haswinedescriptor( X, Y ) }.
% 0.85/1.58 { ! haswinedescriptor( Z, X ), ! kaon2equal( Y, Z ), haswinedescriptor( Y,
% 0.85/1.58 X ) }.
% 0.85/1.58 { ! haswinedescriptor( X, Z ), ! kaon2equal( Y, Z ), haswinedescriptor( X,
% 0.85/1.58 Y ) }.
% 0.85/1.58 { ! q57( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q37( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q61( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q59( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q33( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! wine( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q18( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q49( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q42( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q9( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q22( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! chianti( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! port( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q26( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q51( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q55( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q16( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q73( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q29( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q1( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q47( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q39( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q64( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! sauternes( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! q66( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.85/1.58 { ! locatedin( Z, X ), ! kaon2equal( Y, Z ), locatedin( Y, X ) }.
% 0.85/1.58 { ! locatedin( X, Z ), ! kaon2equal( Y, Z ), locatedin( X, Y ) }.
% 0.85/1.58 { ! locatedin( X, Z ), ! locatedin( Z, Y ), locatedin( X, Y ) }.
% 0.85/1.58 { ! locatedin( X, Z ), ! locatedin( Z, Y ), ! kaon2namedobjects( Y ), !
% 0.85/1.58 kaon2namedobjects( Z ), ! kaon2namedobjects( X ), locatedin( X, Y ) }.
% 0.85/1.58 { ! madefromgrape( X, Y ), madefromfruit( X, Y ) }.
% 0.85/1.58 { ! madefromfruit( Z, X ), ! kaon2equal( Y, Z ), madefromfruit( Y, X ) }.
% 0.85/1.58 { ! madefromfruit( X, Z ), ! kaon2equal( Y, Z ), madefromfruit( X, Y ) }.
% 0.85/1.58 { ! madeintowine( X, Y ), madefromgrape( Y, X ) }.
% 0.85/1.58 { ! riesling( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! wine( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! q72( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! q5( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! semillon( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! q14( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! q24( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! q5( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! zinfandel( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! q6( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! petitesyrah( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! q13( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! chianti( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! cabernetfranc( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! q69( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! q44( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! q63( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.85/1.58 { ! madefromgrape( Z, X ), ! kaon2equal( Y, Z ), madefromgrape( Y, X ) }.
% 0.85/1.58 { ! madefromgrape( X, Z ), ! kaon2equal( Y, Z ), madefromgrape( X, Y ) }.
% 0.85/1.58 { ! madefromgrape( X, Y ), madeintowine( Y, X ) }.
% 0.85/1.58 { ! madeintowine( Z, X ), ! kaon2equal( Y, Z ), madeintowine( Y, X ) }.
% 0.85/1.58 { ! madeintowine( X, Z ), ! kaon2equal( Y, Z ), madeintowine( X, Y ) }.
% 0.85/1.58 { ! hasmaker( X, Y ), produceswine( Y, X ) }.
% 0.85/1.58 { ! produceswine( Z, X ), ! kaon2equal( Y, Z ), produceswine( Y, X ) }.
% 0.85/1.58 { ! produceswine( X, Z ), ! kaon2equal( Y, Z ), produceswine( X, Y ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.85/1.58 { ! kaon2hu( X ), kaon2equal( X, X ) }.
% 0.85/1.58 { ! hasflavor( Z, X ), ! hasflavor( Z, Y ), kaon2equal( X, Y ) }.
% 0.85/1.58 { ! hassugar( Z, X ), ! hassugar( Z, Y ), kaon2equal( X, Y ) }.
% 0.85/1.58 { ! hasvintageyear( Z, X ), ! hasvintageyear( Z, Y ), kaon2equal( X, Y ) }
% 0.85/1.58 .
% 0.85/1.58 { ! hascolor( Z, X ), ! hascolor( Z, Y ), kaon2equal( X, Y ) }.
% 0.85/1.58 { ! hasmaker( Z, X ), ! hasmaker( Z, Y ), kaon2equal( X, Y ) }.
% 0.85/1.58 { ! hasbody( Z, X ), ! hasbody( Z, Y ), kaon2equal( X, Y ) }.
% 0.85/1.58 { ! q3( Z ), ! madefromgrape( Z, X ), ! madefromgrape( Z, Y ), kaon2equal(
% 0.85/1.58 X, Y ) }.
% 0.85/1.58 { ! kaon2hu( X ), ! kaon2hu( Y ), ! kaon2equal( Y, X ), kaon2equal( X, Y )
% 0.85/1.58 }.
% 0.85/1.58 { ! kaon2equal( X, Z ), ! kaon2equal( Z, Y ), ! kaon2hu( X ), ! kaon2hu( Z
% 0.85/1.58 ), ! kaon2hu( Y ), kaon2equal( X, Y ) }.
% 0.85/1.58 { ! californiawine( X ), ! americanwine( Y ), ! bordeaux( Z ), ! burgundy(
% 0.85/1.58 T ), ! anjou( U ), ! beaujolais( W ), ! cabernetfranc( V0 ), !
% 0.85/1.58 cabernetsauvignon( V1 ), ! californiawine( V2 ), ! chardonnay( V3 ), !
% 0.85/1.58 cheninblanc( V4 ), ! chianti( V5 ), ! cotesdor( V6 ), ! dessertwine( V7 )
% 0.85/1.58 , ! dryriesling( V8 ), ! dryredwine( V9 ), ! drywhitewine( V10 ), !
% 0.85/1.58 drywine( V11 ), ! fullbodiedwine( V12 ), ! gamay( V13 ), ! germanwine(
% 0.85/1.58 V14 ), ! grape( V15 ), ! icewine( V16 ), ! italianwine( V17 ), !
% 0.85/1.58 lateharvest( V18 ), ! loire( V19 ), ! margaux( V20 ), ! medoc( V21 ), !
% 0.85/1.58 meritage( V22 ), ! merlot( V23 ), ! meursault( V24 ), ! muscadet( V25 ),
% 0.85/1.58 ! pauillac( V26 ), ! petitesyrah( V27 ), ! pinotblanc( V28 ), ! pinotnoir
% 0.85/1.58 ( V29 ), ! port( V30 ), ! potableliquid( V31 ), ! redbordeaux( V32 ), !
% 0.85/1.58 redburgundy( V33 ), ! redtablewine( V34 ), ! redwine( V35 ), ! region(
% 0.85/1.58 V36 ), ! riesling( V37 ), ! rosewine( V38 ), ! sancerre( V39 ), !
% 0.85/1.58 sauternes( V40 ), ! sauvignonblanc( V41 ), ! semillon( V42 ), !
% 0.85/1.58 semillonorsauvignonblanc( V43 ), ! stemilion( V44 ), ! sweetriesling( V45
% 0.85/1.58 ), ! sweetwine( V46 ), ! tablewine( V47 ), ! texaswine( V48 ), ! vintage
% 0.85/1.58 ( V49 ), ! vintageyear( V50 ), ! whitebordeaux( V51 ), ! whiteburgundy(
% 0.85/1.58 V52 ), ! whiteloire( V53 ), ! whitenonsweetwine( V54 ), ! whitetablewine
% 0.85/1.58 ( V55 ), ! whitewine( V56 ), ! wine( V57 ), ! winebody( V58 ), !
% 0.85/1.58 winecolor( V59 ), ! winedescriptor( V60 ), ! wineflavor( V61 ), !
% 0.85/1.58 winegrape( V62 ), ! winesugar( V63 ), ! winery( V64 ), ! winetaste( V65 )
% 0.85/1.58 , ! zinfandel( V66 ), ! hasbody( V68, V67 ), ! hascolor( V70, V69 ), !
% 0.85/1.58 hasflavor( V72, V71 ), ! hasmaker( V74, V73 ), ! hassugar( V76, V75 ), !
% 0.85/1.58 hasvintageyear( V78, V77 ), ! haswinedescriptor( V80, V79 ), ! locatedin
% 0.85/1.58 ( V82, V81 ), ! madefromgrape( V84, V83 ), ! madefromfruit( V86, V85 ), !
% 0.85/1.58 madeintowine( V88, V87 ), ! produceswine( V90, V89 ) }.
% 0.85/1.58
% 0.85/1.58 *** allocated 15000 integers for clauses
% 0.85/1.58 *** allocated 22500 integers for clauses
% 0.85/1.58 *** allocated 33750 integers for clauses
% 0.85/1.58 *** allocated 50625 integers for clauses
% 0.85/1.58 percentage equality = 0.000000, percentage horn = 1.000000
% 0.85/1.58 This is a near-Horn, non-equality problem
% 0.85/1.58
% 0.85/1.58
% 0.85/1.58 Options Used:
% 0.85/1.58
% 0.85/1.58 useres = 1
% 0.85/1.58 useparamod = 0
% 0.85/1.58 useeqrefl = 0
% 0.85/1.58 useeqfact = 0
% 0.85/1.58 usefactor = 1
% 0.85/1.58 usesimpsplitting = 0
% 0.85/1.58 usesimpdemod = 0
% 0.85/1.58 usesimpres = 4
% 0.85/1.58
% 0.85/1.58 resimpinuse = 1000
% 0.85/1.58 resimpclauses = 20000
% 0.85/1.58 substype = standard
% 0.85/1.58 backwardsubs = 1
% 0.85/1.58 selectoldest = 5
% 0.85/1.58
% 0.85/1.58 litorderings [0] = split
% 0.85/1.58 litorderings [1] = liftord
% 0.85/1.58
% 0.85/1.58 termordering = none
% 0.85/1.58
% 0.85/1.58 litapriori = 1
% 0.85/1.58 termapriori = 0
% 0.85/1.58 litaposteriori = 0
% 0.85/1.58 termaposteriori = 0
% 0.85/1.58 demodaposteriori = 0
% 0.85/1.58 ordereqreflfact = 0
% 0.85/1.58
% 0.85/1.58 litselect = negative
% 0.85/1.58
% 0.85/1.58 maxweight = 30000
% 0.85/1.58 maxdepth = 30000
% 0.85/1.58 maxlength = 115
% 0.85/1.58 maxnrvars = 195
% 0.85/1.58 excuselevel = 0
% 0.85/1.58 increasemaxweight = 0
% 0.85/1.58
% 0.85/1.58 maxselected = 10000000
% 0.85/1.58 maxnrclauses = 10000000
% 0.85/1.58
% 0.85/1.58 showgenerated = 0
% 0.85/1.58 showkept = 0
% 0.85/1.58 showselected = 0
% 0.85/1.58 showdeleted = 0
% 0.85/1.58 showresimp = 1
% 0.85/1.58 showstatus = 2000
% 0.85/1.58
% 0.85/1.58 prologoutput = 0
% 0.85/1.58 nrgoals = 5000000
% 0.85/1.58 totalproof = 1
% 0.85/1.58
% 0.85/1.58 Symbols occurring in the translation:
% 0.85/1.58
% 0.85/1.58 {} [0, 0] (w:1, o:2, a:1, s:1, b:0),
% 0.85/1.58 . [1, 2] (w:1, o:494, a:1, s:1, b:0),
% 0.85/1.58 ! [4, 1] (w:1, o:174, a:1, s:1, b:0),
% 0.85/1.58 = [13, 2] (w:1, o:0, a:0, s:1, b:0),
% 0.85/1.58 ==> [14, 2] (w:1, o:0, a:0, s:1, b:0),
% 0.85/1.58 pulignymontrachetwhiteburgundy [35, 0] (w:1, o:16, a:1, s:1, b:0),
% 0.85/1.58 medium [36, 0] (w:1, o:27, a:1, s:1, b:0),
% 0.85/1.58 hasbody_aux [37, 2] (w:1, o:518, a:1, s:1, b:0),
% 0.85/1.58 formanchardonnay [38, 0] (w:1, o:70, a:1, s:1, b:0),
% 0.85/1.58 full [39, 0] (w:1, o:71, a:1, s:1, b:0),
% 0.85/1.58 foxencheninblanc [40, 0] (w:1, o:72, a:1, s:1, b:0),
% 0.85/1.58 chianticlassico [41, 0] (w:1, o:74, a:1, s:1, b:0),
% 0.85/1.58 cortonmontrachetwhiteburgundy [42, 0] (w:1, o:75, a:1, s:1, b:0),
% 0.85/1.58 corbansprivatebinsauvignonblanc [43, 0] (w:1, o:76, a:1, s:1, b:0),
% 0.85/1.58 congressspringssemillon [44, 0] (w:1, o:77, a:1, s:1, b:0),
% 0.85/1.58 mariettapetitesyrah [45, 0] (w:1, o:79, a:1, s:1, b:0),
% 0.85/1.58 corbanssauvignonblanc [46, 0] (w:1, o:80, a:1, s:1, b:0),
% 0.85/1.58 petermccoychardonnay [47, 0] (w:1, o:81, a:1, s:1, b:0),
% 0.85/1.58 selaksicewine [48, 0] (w:1, o:86, a:1, s:1, b:0),
% 0.85/1.58 bancroftchardonnay [49, 0] (w:1, o:73, a:1, s:1, b:0),
% 0.85/1.58 elysezinfandel [50, 0] (w:1, o:67, a:1, s:1, b:0),
% 0.85/1.58 mountadampinotnoir [51, 0] (w:1, o:87, a:1, s:1, b:0),
% 0.85/1.58 mariettacabernetsauvignon [52, 0] (w:1, o:88, a:1, s:1, b:0),
% 0.85/1.58 schlossrothermeltrochenbierenausleseriesling [53, 0] (w:1, o:89, a:1
% 0.85/1.58 , s:1, b:0),
% 0.85/1.58 garyfarrellmerlot [54, 0] (w:1, o:94, a:1, s:1, b:0),
% 0.85/1.58 cotturizinfandel [55, 0] (w:1, o:95, a:1, s:1, b:0),
% 0.85/1.58 mariettaoldvinesred [56, 0] (w:1, o:78, a:1, s:1, b:0),
% 0.85/1.58 longridgemerlot [57, 0] (w:1, o:21, a:1, s:1, b:0),
% 0.85/1.58 light [58, 0] (w:1, o:22, a:1, s:1, b:0),
% 0.85/1.58 kalincellarssemillon [59, 0] (w:1, o:17, a:1, s:1, b:0),
% 0.85/1.58 pagemillwinerycabernetsauvignon [60, 0] (w:1, o:96, a:1, s:1, b:0),
% 0.85/1.58 seanthackreysiriuspetitesyrah [61, 0] (w:1, o:97, a:1, s:1, b:0),
% 0.85/1.58 saucelitocanyonzinfandel1998 [62, 0] (w:1, o:98, a:1, s:1, b:0),
% 0.85/1.58 whitehalllaneprimavera [63, 0] (w:1, o:109, a:1, s:1, b:0),
% 0.85/1.58 santacruzmountainvineyardcabernetsauvignon [64, 0] (w:1, o:111, a:1
% 0.85/1.58 , s:1, b:0),
% 0.85/1.58 lanetannerpinotnoir [65, 0] (w:1, o:23, a:1, s:1, b:0),
% 0.85/1.58 corbansdrywhiteriesling [66, 0] (w:1, o:112, a:1, s:1, b:0),
% 0.85/1.58 mountadamchardonnay [67, 0] (w:1, o:113, a:1, s:1, b:0),
% 0.85/1.58 mountadamriesling [68, 0] (w:1, o:114, a:1, s:1, b:0),
% 0.85/1.58 mariettazinfandel [69, 0] (w:1, o:115, a:1, s:1, b:0),
% 0.85/1.58 kathrynkennedylateral [70, 0] (w:1, o:18, a:1, s:1, b:0),
% 0.85/1.58 mountedenvineyardestatepinotnoir [71, 0] (w:1, o:116, a:1, s:1, b:0)
% 0.85/1.58 ,
% 0.85/1.58 whitehalllanecabernetfranc [72, 0] (w:1, o:117, a:1, s:1, b:0),
% 0.85/1.58 ventanacheninblanc [73, 0] (w:1, o:107, a:1, s:1, b:0),
% 0.85/1.58 saucelitocanyonzinfandel [74, 0] (w:1, o:118, a:1, s:1, b:0),
% 0.85/1.58 formancabernetsauvignon [75, 0] (w:1, o:90, a:1, s:1, b:0),
% 0.85/1.58 schlossvolradtrochenbierenausleseriesling [76, 0] (w:1, o:119, a:1
% 0.85/1.58 , s:1, b:0),
% 0.85/1.58 mountedenvineyardednavalleychardonnay [77, 0] (w:1, o:120, a:1, s:1
% 0.85/1.58 , b:0),
% 0.85/1.58 stonleighsauvignonblanc [78, 0] (w:1, o:121, a:1, s:1, b:0),
% 0.85/1.58 selakssauvignonblanc [79, 0] (w:1, o:122, a:1, s:1, b:0),
% 0.85/1.58 white [80, 0] (w:1, o:123, a:1, s:1, b:0),
% 0.85/1.58 hascolor_aux [81, 2] (w:1, o:520, a:1, s:1, b:0),
% 0.85/1.58 moderate [82, 0] (w:1, o:124, a:1, s:1, b:0),
% 0.85/1.58 hasflavor_aux [83, 2] (w:1, o:521, a:1, s:1, b:0),
% 0.85/1.58 stgenevievetexaswhite [84, 0] (w:1, o:125, a:1, s:1, b:0),
% 0.85/1.58 strong [85, 0] (w:1, o:126, a:1, s:1, b:0),
% 0.85/1.58 chateaudychemsauterne [86, 0] (w:1, o:127, a:1, s:1, b:0),
% 0.85/1.58 chateaudemeursaultmeursault [87, 0] (w:1, o:128, a:1, s:1, b:0),
% 0.85/1.58 delicate [88, 0] (w:1, o:64, a:1, s:1, b:0),
% 0.85/1.58 pulignymontrachet [89, 0] (w:1, o:129, a:1, s:1, b:0),
% 0.85/1.58 hasmaker_aux [90, 2] (w:1, o:522, a:1, s:1, b:0),
% 0.85/1.58 chateaulafiterothschildpauillac [91, 0] (w:1, o:37, a:1, s:1, b:0),
% 0.85/1.58 chateaulafiterothschild [92, 0] (w:1, o:38, a:1, s:1, b:0),
% 0.85/1.58 forman [93, 0] (w:1, o:91, a:1, s:1, b:0),
% 0.85/1.58 stgenevieve [94, 0] (w:1, o:130, a:1, s:1, b:0),
% 0.85/1.58 foxen [95, 0] (w:1, o:92, a:1, s:1, b:0),
% 0.85/1.58 mcguinnesso [96, 0] (w:1, o:131, a:1, s:1, b:0),
% 0.85/1.58 cortonmontrachet [97, 0] (w:1, o:39, a:1, s:1, b:0),
% 0.85/1.58 corbans [98, 0] (w:1, o:40, a:1, s:1, b:0),
% 0.85/1.58 congresssprings [99, 0] (w:1, o:41, a:1, s:1, b:0),
% 0.85/1.58 marietta [100, 0] (w:1, o:132, a:1, s:1, b:0),
% 0.85/1.58 petermccoy [101, 0] (w:1, o:133, a:1, s:1, b:0),
% 0.85/1.58 selaks [102, 0] (w:1, o:134, a:1, s:1, b:0),
% 0.85/1.58 bancroft [103, 0] (w:1, o:32, a:1, s:1, b:0),
% 0.85/1.58 chateauchevalblancstemilion [104, 0] (w:1, o:42, a:1, s:1, b:0),
% 0.85/1.58 chateauchevalblanc [105, 0] (w:1, o:43, a:1, s:1, b:0),
% 0.85/1.58 chateaumorgonbeaujolais [106, 0] (w:1, o:44, a:1, s:1, b:0),
% 0.85/1.58 chateaumorgon [107, 0] (w:1, o:45, a:1, s:1, b:0),
% 0.85/1.58 elyse [108, 0] (w:1, o:68, a:1, s:1, b:0),
% 0.85/1.58 mountadam [109, 0] (w:1, o:135, a:1, s:1, b:0),
% 0.85/1.58 taylorport [110, 0] (w:1, o:149, a:1, s:1, b:0),
% 0.85/1.58 taylor [111, 0] (w:1, o:150, a:1, s:1, b:0),
% 0.85/1.58 chateaudychem [112, 0] (w:1, o:46, a:1, s:1, b:0),
% 0.85/1.58 schlossrothermel [113, 0] (w:1, o:136, a:1, s:1, b:0),
% 0.85/1.58 garyfarrell [114, 0] (w:1, o:151, a:1, s:1, b:0),
% 0.85/1.58 closdevougeotcotesdor [115, 0] (w:1, o:47, a:1, s:1, b:0),
% 0.85/1.58 closdevougeot [116, 0] (w:1, o:48, a:1, s:1, b:0),
% 0.85/1.58 cotturi [117, 0] (w:1, o:49, a:1, s:1, b:0),
% 0.85/1.58 closdelapoussiesancerre [118, 0] (w:1, o:50, a:1, s:1, b:0),
% 0.85/1.58 closdelapoussie [119, 0] (w:1, o:51, a:1, s:1, b:0),
% 0.85/1.58 longridge [120, 0] (w:1, o:24, a:1, s:1, b:0),
% 0.85/1.58 kalincellars [121, 0] (w:1, o:19, a:1, s:1, b:0),
% 0.85/1.58 pagemillwinery [122, 0] (w:1, o:152, a:1, s:1, b:0),
% 0.85/1.58 seanthackrey [123, 0] (w:1, o:137, a:1, s:1, b:0),
% 0.85/1.58 saucelitocanyon [124, 0] (w:1, o:138, a:1, s:1, b:0),
% 0.85/1.58 chateaudemeursault [125, 0] (w:1, o:52, a:1, s:1, b:0),
% 0.85/1.58 santacruzmountainvineyard [126, 0] (w:1, o:139, a:1, s:1, b:0),
% 0.85/1.58 lanetanner [127, 0] (w:1, o:25, a:1, s:1, b:0),
% 0.85/1.58 rosedanjou [128, 0] (w:1, o:82, a:1, s:1, b:0),
% 0.85/1.58 danjou [129, 0] (w:1, o:65, a:1, s:1, b:0),
% 0.85/1.58 chateaumargaux [130, 0] (w:1, o:53, a:1, s:1, b:0),
% 0.85/1.58 chateaumargauxwinery [131, 0] (w:1, o:54, a:1, s:1, b:0),
% 0.85/1.58 kathrynkennedy [132, 0] (w:1, o:20, a:1, s:1, b:0),
% 0.85/1.58 mountedenvineyard [133, 0] (w:1, o:153, a:1, s:1, b:0),
% 0.85/1.58 whitehalllane [134, 0] (w:1, o:154, a:1, s:1, b:0),
% 0.85/1.58 ventana [135, 0] (w:1, o:108, a:1, s:1, b:0),
% 0.85/1.58 schlossvolrad [136, 0] (w:1, o:140, a:1, s:1, b:0),
% 0.85/1.58 stonleigh [137, 0] (w:1, o:141, a:1, s:1, b:0),
% 0.85/1.58 sevreetmainemuscadet [138, 0] (w:1, o:142, a:1, s:1, b:0),
% 0.85/1.58 sevreetmaine [139, 0] (w:1, o:143, a:1, s:1, b:0),
% 0.85/1.58 dry [140, 0] (w:1, o:66, a:1, s:1, b:0),
% 0.85/1.58 hassugar_aux [141, 2] (w:1, o:523, a:1, s:1, b:0),
% 0.85/1.58 sweet [142, 0] (w:1, o:144, a:1, s:1, b:0),
% 0.85/1.58 offdry [143, 0] (w:1, o:15, a:1, s:1, b:0),
% 0.85/1.58 californiaregion [144, 0] (w:1, o:55, a:1, s:1, b:0),
% 0.85/1.58 usregion [145, 0] (w:1, o:106, a:1, s:1, b:0),
% 0.85/1.58 locatedin_aux [146, 2] (w:1, o:525, a:1, s:1, b:0),
% 0.85/1.58 sancerreregion [147, 0] (w:1, o:145, a:1, s:1, b:0),
% 0.85/1.58 loireregion [148, 0] (w:1, o:26, a:1, s:1, b:0),
% 0.85/1.58 naparegion [149, 0] (w:1, o:13, a:1, s:1, b:0),
% 0.85/1.58 centraltexasregion [150, 0] (w:1, o:56, a:1, s:1, b:0),
% 0.85/1.58 santabarbararegion [151, 0] (w:1, o:110, a:1, s:1, b:0),
% 0.85/1.58 frenchregion [152, 0] (w:1, o:93, a:1, s:1, b:0),
% 0.85/1.58 newzealandregion [153, 0] (w:1, o:14, a:1, s:1, b:0),
% 0.85/1.58 sonomaregion [154, 0] (w:1, o:146, a:1, s:1, b:0),
% 0.85/1.58 southaustraliaregion [155, 0] (w:1, o:147, a:1, s:1, b:0),
% 0.85/1.58 chiantiregion [156, 0] (w:1, o:57, a:1, s:1, b:0),
% 0.85/1.58 italianregion [157, 0] (w:1, o:156, a:1, s:1, b:0),
% 0.85/1.58 sauterneregion [158, 0] (w:1, o:148, a:1, s:1, b:0),
% 0.85/1.58 bordeauxregion [159, 0] (w:1, o:33, a:1, s:1, b:0),
% 0.85/1.58 pauillacregion [160, 0] (w:1, o:157, a:1, s:1, b:0),
% 0.85/1.58 medocregion [161, 0] (w:1, o:6, a:1, s:1, b:0),
% 0.85/1.58 texasregion [162, 0] (w:1, o:104, a:1, s:1, b:0),
% 0.85/1.58 germanyregion [163, 0] (w:1, o:158, a:1, s:1, b:0),
% 0.85/1.58 anjouregion [164, 0] (w:1, o:28, a:1, s:1, b:0),
% 0.85/1.58 centralcoastregion [165, 0] (w:1, o:58, a:1, s:1, b:0),
% 0.85/1.58 arroyogranderegion [166, 0] (w:1, o:29, a:1, s:1, b:0),
% 0.85/1.58 australianregion [167, 0] (w:1, o:30, a:1, s:1, b:0),
% 0.85/1.58 santacruzmountainsregion [168, 0] (w:1, o:99, a:1, s:1, b:0),
% 0.85/1.58 mendocinoregion [169, 0] (w:1, o:7, a:1, s:1, b:0),
% 0.85/1.58 margauxregion [170, 0] (w:1, o:8, a:1, s:1, b:0),
% 0.85/1.58 muscadetregion [171, 0] (w:1, o:9, a:1, s:1, b:0),
% 0.85/1.58 alsaceregion [172, 0] (w:1, o:31, a:1, s:1, b:0),
% 0.85/1.58 stemilionregion [173, 0] (w:1, o:100, a:1, s:1, b:0),
% 0.85/1.58 bourgogneregion [174, 0] (w:1, o:34, a:1, s:1, b:0),
% 0.85/1.58 toursregion [175, 0] (w:1, o:105, a:1, s:1, b:0),
% 0.85/1.58 cotesdorregion [176, 0] (w:1, o:59, a:1, s:1, b:0),
% 0.85/1.58 ednavalleyregion [177, 0] (w:1, o:69, a:1, s:1, b:0),
% 0.85/1.58 beaujolaisregion [178, 0] (w:1, o:35, a:1, s:1, b:0),
% 0.85/1.58 meursaultregion [179, 0] (w:1, o:10, a:1, s:1, b:0),
% 0.85/1.58 semillongrape [180, 0] (w:1, o:101, a:1, s:1, b:0),
% 0.85/1.58 madefromgrape_aux [181, 2] (w:1, o:528, a:1, s:1, b:0),
% 0.85/1.58 sauvignonblancgrape [182, 0] (w:1, o:102, a:1, s:1, b:0),
% 0.85/1.58 ot____nom1_aux [183, 1] (w:1, o:179, a:1, s:1, b:0),
% 0.85/1.58 ot____nom10_aux [184, 1] (w:1, o:180, a:1, s:1, b:0),
% 0.85/1.58 ot____nom11_aux [185, 1] (w:1, o:182, a:1, s:1, b:0),
% 0.85/1.58 ot____nom12_aux [186, 1] (w:1, o:184, a:1, s:1, b:0),
% 0.85/1.58 ot____nom13_aux [187, 1] (w:1, o:186, a:1, s:1, b:0),
% 0.85/1.58 ot____nom14_aux [188, 1] (w:1, o:188, a:1, s:1, b:0),
% 0.85/1.58 ot____nom15_aux [189, 1] (w:1, o:190, a:1, s:1, b:0),
% 0.85/1.58 ot____nom16_aux [190, 1] (w:1, o:192, a:1, s:1, b:0),
% 0.85/1.58 ot____nom17_aux [191, 1] (w:1, o:194, a:1, s:1, b:0),
% 0.85/1.58 ot____nom18_aux [192, 1] (w:1, o:196, a:1, s:1, b:0),
% 0.85/1.58 ot____nom19_aux [193, 1] (w:1, o:198, a:1, s:1, b:0),
% 0.85/1.58 ot____nom2_aux [194, 1] (w:1, o:201, a:1, s:1, b:0),
% 0.85/1.58 zinfandelgrape [195, 0] (w:1, o:160, a:1, s:1, b:0),
% 0.85/1.58 ot____nom20_aux [196, 1] (w:1, o:202, a:1, s:1, b:0),
% 0.85/1.58 pinotblancgrape [197, 0] (w:1, o:161, a:1, s:1, b:0),
% 0.85/1.58 ot____nom21_aux [198, 1] (w:1, o:204, a:1, s:1, b:0),
% 0.85/1.58 ot____nom22_aux [199, 1] (w:1, o:206, a:1, s:1, b:0),
% 0.85/1.58 ot____nom23_aux [200, 1] (w:1, o:208, a:1, s:1, b:0),
% 0.85/1.58 chardonnaygrape [201, 0] (w:1, o:60, a:1, s:1, b:0),
% 0.85/1.58 ot____nom24_aux [202, 1] (w:1, o:210, a:1, s:1, b:0),
% 0.85/1.58 petitesyrahgrape [203, 0] (w:1, o:162, a:1, s:1, b:0),
% 0.85/1.58 ot____nom25_aux [204, 1] (w:1, o:212, a:1, s:1, b:0),
% 0.85/1.58 ot____nom26_aux [205, 1] (w:1, o:214, a:1, s:1, b:0),
% 0.85/1.58 ot____nom27_aux [206, 1] (w:1, o:216, a:1, s:1, b:0),
% 0.85/1.58 red [207, 0] (w:1, o:83, a:1, s:1, b:0),
% 0.85/1.58 ot____nom28_aux [208, 1] (w:1, o:218, a:1, s:1, b:0),
% 0.85/1.58 cabernetsauvignongrape [209, 0] (w:1, o:61, a:1, s:1, b:0),
% 0.85/1.58 ot____nom29_aux [210, 1] (w:1, o:220, a:1, s:1, b:0),
% 0.85/1.58 cabernetfrancgrape [211, 0] (w:1, o:62, a:1, s:1, b:0),
% 0.85/1.58 ot____nom3_aux [212, 1] (w:1, o:223, a:1, s:1, b:0),
% 0.85/1.58 ot____nom30_aux [213, 1] (w:1, o:224, a:1, s:1, b:0),
% 0.85/1.58 ot____nom31_aux [214, 1] (w:1, o:226, a:1, s:1, b:0),
% 0.85/1.58 rose [215, 0] (w:1, o:84, a:1, s:1, b:0),
% 0.85/1.58 ot____nom32_aux [216, 1] (w:1, o:228, a:1, s:1, b:0),
% 0.85/1.58 gamaygrape [217, 0] (w:1, o:163, a:1, s:1, b:0),
% 0.85/1.58 ot____nom33_aux [218, 1] (w:1, o:230, a:1, s:1, b:0),
% 0.85/1.58 cheninblancgrape [219, 0] (w:1, o:63, a:1, s:1, b:0),
% 0.85/1.58 ot____nom34_aux [220, 1] (w:1, o:232, a:1, s:1, b:0),
% 0.85/1.58 ot____nom35_aux [221, 1] (w:1, o:234, a:1, s:1, b:0),
% 0.85/1.59 ot____nom36_aux [222, 1] (w:1, o:236, a:1, s:1, b:0),
% 0.85/1.59 rieslinggrape [223, 0] (w:1, o:85, a:1, s:1, b:0),
% 0.85/1.59 ot____nom37_aux [224, 1] (w:1, o:238, a:1, s:1, b:0),
% 0.85/1.59 ot____nom38_aux [225, 1] (w:1, o:240, a:1, s:1, b:0),
% 0.85/1.59 pinotnoirgrape [226, 0] (w:1, o:164, a:1, s:1, b:0),
% 0.85/1.59 ot____nom39_aux [227, 1] (w:1, o:242, a:1, s:1, b:0),
% 0.85/1.59 ot____nom4_aux [228, 1] (w:1, o:245, a:1, s:1, b:0),
% 0.85/1.59 ot____nom40_aux [229, 1] (w:1, o:246, a:1, s:1, b:0),
% 0.85/1.59 ot____nom41_aux [230, 1] (w:1, o:248, a:1, s:1, b:0),
% 0.85/1.59 ot____nom42_aux [231, 1] (w:1, o:250, a:1, s:1, b:0),
% 0.85/1.59 merlotgrape [232, 0] (w:1, o:11, a:1, s:1, b:0),
% 0.85/1.59 ot____nom43_aux [233, 1] (w:1, o:252, a:1, s:1, b:0),
% 0.85/1.59 ot____nom44_aux [234, 1] (w:1, o:254, a:1, s:1, b:0),
% 0.85/1.59 ot____nom45_aux [235, 1] (w:1, o:256, a:1, s:1, b:0),
% 0.85/1.59 ot____nom46_aux [236, 1] (w:1, o:258, a:1, s:1, b:0),
% 0.85/1.59 ot____nom47_aux [237, 1] (w:1, o:260, a:1, s:1, b:0),
% 0.85/1.59 ot____nom48_aux [238, 1] (w:1, o:262, a:1, s:1, b:0),
% 0.85/1.59 ot____nom49_aux [239, 1] (w:1, o:264, a:1, s:1, b:0),
% 0.85/1.59 ot____nom5_aux [240, 1] (w:1, o:267, a:1, s:1, b:0),
% 0.85/1.59 ot____nom50_aux [241, 1] (w:1, o:268, a:1, s:1, b:0),
% 0.85/1.59 ot____nom51_aux [242, 1] (w:1, o:270, a:1, s:1, b:0),
% 0.85/1.59 ot____nom52_aux [243, 1] (w:1, o:272, a:1, s:1, b:0),
% 0.85/1.59 ot____nom53_aux [244, 1] (w:1, o:274, a:1, s:1, b:0),
% 0.85/1.59 ot____nom54_aux [245, 1] (w:1, o:276, a:1, s:1, b:0),
% 0.85/1.59 ot____nom55_aux [246, 1] (w:1, o:278, a:1, s:1, b:0),
% 0.85/1.59 ot____nom56_aux [247, 1] (w:1, o:280, a:1, s:1, b:0),
% 0.85/1.59 portugalregion [248, 0] (w:1, o:165, a:1, s:1, b:0),
% 0.85/1.59 ot____nom57_aux [249, 1] (w:1, o:282, a:1, s:1, b:0),
% 0.85/1.59 ot____nom58_aux [250, 1] (w:1, o:284, a:1, s:1, b:0),
% 0.85/1.59 ot____nom59_aux [251, 1] (w:1, o:286, a:1, s:1, b:0),
% 0.85/1.59 ot____nom6_aux [252, 1] (w:1, o:289, a:1, s:1, b:0),
% 0.85/1.59 sangiovesegrape [253, 0] (w:1, o:103, a:1, s:1, b:0),
% 0.85/1.59 ot____nom60_aux [254, 1] (w:1, o:290, a:1, s:1, b:0),
% 0.85/1.59 ot____nom61_aux [255, 1] (w:1, o:292, a:1, s:1, b:0),
% 0.85/1.59 ot____nom62_aux [256, 1] (w:1, o:294, a:1, s:1, b:0),
% 0.85/1.59 ot____nom63_aux [257, 1] (w:1, o:296, a:1, s:1, b:0),
% 0.85/1.59 ot____nom64_aux [258, 1] (w:1, o:298, a:1, s:1, b:0),
% 0.85/1.59 ot____nom7_aux [259, 1] (w:1, o:301, a:1, s:1, b:0),
% 0.85/1.59 ot____nom8_aux [260, 1] (w:1, o:303, a:1, s:1, b:0),
% 0.85/1.59 petiteverdotgrape [261, 0] (w:1, o:166, a:1, s:1, b:0),
% 0.85/1.59 malbecgrape [262, 0] (w:1, o:12, a:1, s:1, b:0),
% 0.85/1.59 ot____nom9_aux [263, 1] (w:1, o:305, a:1, s:1, b:0),
% 0.85/1.59 wineflavor_aux [264, 1] (w:1, o:317, a:1, s:1, b:0),
% 0.85/1.59 winegrape_aux [265, 1] (w:1, o:319, a:1, s:1, b:0),
% 0.85/1.59 winesugar_aux [266, 1] (w:1, o:322, a:1, s:1, b:0),
% 0.85/1.59 winery_aux [267, 1] (w:1, o:320, a:1, s:1, b:0),
% 0.85/1.59 beringer [268, 0] (w:1, o:36, a:1, s:1, b:0),
% 0.85/1.59 handley [269, 0] (w:1, o:155, a:1, s:1, b:0),
% 0.85/1.59 zinfandel_aux [270, 1] (w:1, o:323, a:1, s:1, b:0),
% 0.85/1.59 winebody_aux [271, 1] (w:1, o:324, a:1, s:1, b:0),
% 0.85/1.59 winecolor_aux [272, 1] (w:1, o:326, a:1, s:1, b:0),
% 0.85/1.59 whiteburgundy_aux [273, 1] (w:1, o:309, a:1, s:1, b:0),
% 0.85/1.59 whitewine_aux [274, 1] (w:1, o:310, a:1, s:1, b:0),
% 0.85/1.59 muscadet_aux [275, 1] (w:1, o:330, a:1, s:1, b:0),
% 0.85/1.59 meursault_aux [276, 1] (w:1, o:331, a:1, s:1, b:0),
% 0.85/1.59 meritage_aux [277, 1] (w:1, o:332, a:1, s:1, b:0),
% 0.85/1.59 margaux_aux [278, 1] (w:1, o:333, a:1, s:1, b:0),
% 0.85/1.59 icewine_aux [279, 1] (w:1, o:334, a:1, s:1, b:0),
% 0.85/1.59 dryriesling_aux [280, 1] (w:1, o:356, a:1, s:1, b:0),
% 0.85/1.59 dessertwine_aux [281, 1] (w:1, o:357, a:1, s:1, b:0),
% 0.85/1.59 cabernetsauvignon_aux [282, 1] (w:1, o:343, a:1, s:1, b:0),
% 0.85/1.59 cabernetfranc_aux [283, 1] (w:1, o:344, a:1, s:1, b:0),
% 0.85/1.59 beaujolais_aux [284, 1] (w:1, o:339, a:1, s:1, b:0),
% 0.85/1.59 anjou_aux [285, 1] (w:1, o:337, a:1, s:1, b:0),
% 0.85/1.59 chardonnay_aux [286, 1] (w:1, o:345, a:1, s:1, b:0),
% 0.85/1.59 cheninblanc_aux [287, 1] (w:1, o:346, a:1, s:1, b:0),
% 0.85/1.59 chianti_aux [288, 1] (w:1, o:347, a:1, s:1, b:0),
% 0.85/1.59 cotesdor_aux [289, 1] (w:1, o:348, a:1, s:1, b:0),
% 0.85/1.59 merlot_aux [290, 1] (w:1, o:358, a:1, s:1, b:0),
% 0.85/1.59 pauillac_aux [291, 1] (w:1, o:360, a:1, s:1, b:0),
% 0.85/1.59 petitesyrah_aux [292, 1] (w:1, o:361, a:1, s:1, b:0),
% 0.85/1.59 pinotnoir_aux [293, 1] (w:1, o:362, a:1, s:1, b:0),
% 0.85/1.59 port_aux [294, 1] (w:1, o:363, a:1, s:1, b:0),
% 0.85/1.59 redtablewine_aux [295, 1] (w:1, o:436, a:1, s:1, b:0),
% 0.85/1.59 region_aux [296, 1] (w:1, o:437, a:1, s:1, b:0),
% 0.85/1.59 riesling_aux [297, 1] (w:1, o:438, a:1, s:1, b:0),
% 0.85/1.59 sancerre_aux [298, 1] (w:1, o:446, a:1, s:1, b:0),
% 0.85/1.59 sauternes_aux [299, 1] (w:1, o:447, a:1, s:1, b:0),
% 0.85/1.59 sauvignonblanc_aux [300, 1] (w:1, o:448, a:1, s:1, b:0),
% 0.85/1.59 semillon_aux [301, 1] (w:1, o:449, a:1, s:1, b:0),
% 0.85/1.59 stemilion_aux [302, 1] (w:1, o:450, a:1, s:1, b:0),
% 0.85/1.59 sweetriesling_aux [303, 1] (w:1, o:451, a:1, s:1, b:0),
% 0.85/1.59 kaon2namedobjects [304, 1] (w:1, o:452, a:1, s:1, b:0),
% 0.85/1.59 year1998 [305, 0] (w:1, o:159, a:1, s:1, b:0),
% 0.85/1.59 vintageyear_aux [306, 1] (w:1, o:306, a:1, s:1, b:0),
% 0.85/1.59 hasvintageyear_aux [307, 2] (w:1, o:529, a:1, s:1, b:0),
% 0.85/1.59 madefromgrape [310, 2] (w:1, o:530, a:1, s:1, b:0),
% 0.85/1.59 locatedin [311, 2] (w:1, o:526, a:1, s:1, b:0),
% 0.85/1.59 hassugar [312, 2] (w:1, o:531, a:1, s:1, b:0),
% 0.85/1.59 hasmaker [313, 2] (w:1, o:532, a:1, s:1, b:0),
% 0.85/1.59 hasflavor [314, 2] (w:1, o:533, a:1, s:1, b:0),
% 0.85/1.59 hascolor [315, 2] (w:1, o:534, a:1, s:1, b:0),
% 0.85/1.59 hasbody [316, 2] (w:1, o:519, a:1, s:1, b:0),
% 0.85/1.59 adjacentregion_aux [317, 2] (w:1, o:535, a:1, s:1, b:0),
% 0.85/1.59 adjacentregion [318, 2] (w:1, o:536, a:1, s:1, b:0),
% 0.85/1.59 hasvintageyear [319, 2] (w:1, o:537, a:1, s:1, b:0),
% 0.85/1.59 ot____nom1 [320, 1] (w:1, o:199, a:1, s:1, b:0),
% 0.85/1.59 ot____nom10 [321, 1] (w:1, o:181, a:1, s:1, b:0),
% 0.85/1.59 ot____nom11 [322, 1] (w:1, o:183, a:1, s:1, b:0),
% 0.85/1.59 ot____nom12 [323, 1] (w:1, o:185, a:1, s:1, b:0),
% 0.85/1.59 ot____nom13 [324, 1] (w:1, o:187, a:1, s:1, b:0),
% 0.85/1.59 ot____nom14 [325, 1] (w:1, o:189, a:1, s:1, b:0),
% 0.85/1.59 ot____nom15 [326, 1] (w:1, o:191, a:1, s:1, b:0),
% 0.85/1.59 ot____nom16 [327, 1] (w:1, o:193, a:1, s:1, b:0),
% 0.85/1.59 ot____nom17 [328, 1] (w:1, o:195, a:1, s:1, b:0),
% 0.85/1.59 ot____nom18 [329, 1] (w:1, o:197, a:1, s:1, b:0),
% 0.85/1.59 ot____nom19 [330, 1] (w:1, o:200, a:1, s:1, b:0),
% 0.85/1.59 ot____nom2 [331, 1] (w:1, o:221, a:1, s:1, b:0),
% 0.85/1.59 ot____nom20 [332, 1] (w:1, o:203, a:1, s:1, b:0),
% 0.85/1.59 ot____nom21 [333, 1] (w:1, o:205, a:1, s:1, b:0),
% 0.85/1.59 ot____nom22 [334, 1] (w:1, o:207, a:1, s:1, b:0),
% 0.85/1.59 ot____nom23 [335, 1] (w:1, o:209, a:1, s:1, b:0),
% 0.85/1.59 ot____nom24 [336, 1] (w:1, o:211, a:1, s:1, b:0),
% 0.85/1.59 ot____nom25 [337, 1] (w:1, o:213, a:1, s:1, b:0),
% 0.85/1.59 ot____nom26 [338, 1] (w:1, o:215, a:1, s:1, b:0),
% 0.85/1.59 ot____nom27 [339, 1] (w:1, o:217, a:1, s:1, b:0),
% 0.85/1.59 ot____nom28 [340, 1] (w:1, o:219, a:1, s:1, b:0),
% 0.85/1.59 ot____nom29 [341, 1] (w:1, o:222, a:1, s:1, b:0),
% 0.85/1.59 ot____nom3 [342, 1] (w:1, o:243, a:1, s:1, b:0),
% 0.85/1.59 ot____nom30 [343, 1] (w:1, o:225, a:1, s:1, b:0),
% 0.85/1.59 ot____nom31 [344, 1] (w:1, o:227, a:1, s:1, b:0),
% 0.85/1.59 ot____nom32 [345, 1] (w:1, o:229, a:1, s:1, b:0),
% 0.85/1.59 ot____nom33 [346, 1] (w:1, o:231, a:1, s:1, b:0),
% 0.85/1.59 ot____nom34 [347, 1] (w:1, o:233, a:1, s:1, b:0),
% 0.85/1.59 ot____nom35 [348, 1] (w:1, o:235, a:1, s:1, b:0),
% 0.85/1.59 ot____nom36 [349, 1] (w:1, o:237, a:1, s:1, b:0),
% 0.85/1.59 ot____nom37 [350, 1] (w:1, o:239, a:1, s:1, b:0),
% 0.85/1.59 ot____nom38 [351, 1] (w:1, o:241, a:1, s:1, b:0),
% 0.85/1.59 ot____nom39 [352, 1] (w:1, o:244, a:1, s:1, b:0),
% 0.85/1.59 ot____nom4 [353, 1] (w:1, o:265, a:1, s:1, b:0),
% 0.85/1.59 ot____nom40 [354, 1] (w:1, o:247, a:1, s:1, b:0),
% 0.85/1.59 ot____nom41 [355, 1] (w:1, o:249, a:1, s:1, b:0),
% 0.85/1.59 ot____nom42 [356, 1] (w:1, o:251, a:1, s:1, b:0),
% 0.85/1.59 ot____nom43 [357, 1] (w:1, o:253, a:1, s:1, b:0),
% 0.85/1.59 ot____nom44 [358, 1] (w:1, o:255, a:1, s:1, b:0),
% 0.85/1.59 ot____nom45 [359, 1] (w:1, o:257, a:1, s:1, b:0),
% 0.85/1.59 ot____nom46 [360, 1] (w:1, o:259, a:1, s:1, b:0),
% 0.85/1.59 ot____nom47 [361, 1] (w:1, o:261, a:1, s:1, b:0),
% 0.85/1.59 ot____nom48 [362, 1] (w:1, o:263, a:1, s:1, b:0),
% 0.85/1.59 ot____nom49 [363, 1] (w:1, o:266, a:1, s:1, b:0),
% 0.85/1.59 ot____nom5 [364, 1] (w:1, o:287, a:1, s:1, b:0),
% 0.85/1.59 ot____nom50 [365, 1] (w:1, o:269, a:1, s:1, b:0),
% 0.85/1.59 ot____nom51 [366, 1] (w:1, o:271, a:1, s:1, b:0),
% 0.85/1.59 ot____nom52 [367, 1] (w:1, o:273, a:1, s:1, b:0),
% 0.85/1.59 ot____nom53 [368, 1] (w:1, o:275, a:1, s:1, b:0),
% 0.85/1.59 ot____nom54 [369, 1] (w:1, o:277, a:1, s:1, b:0),
% 0.85/1.59 ot____nom55 [370, 1] (w:1, o:279, a:1, s:1, b:0),
% 0.85/1.59 ot____nom56 [371, 1] (w:1, o:281, a:1, s:1, b:0),
% 0.85/1.59 ot____nom57 [372, 1] (w:1, o:283, a:1, s:1, b:0),
% 0.85/1.59 ot____nom58 [373, 1] (w:1, o:285, a:1, s:1, b:0),
% 0.85/1.59 ot____nom59 [374, 1] (w:1, o:288, a:1, s:1, b:0),
% 0.85/1.59 ot____nom6 [375, 1] (w:1, o:299, a:1, s:1, b:0),
% 0.85/1.59 ot____nom60 [376, 1] (w:1, o:291, a:1, s:1, b:0),
% 0.85/1.59 ot____nom61 [377, 1] (w:1, o:293, a:1, s:1, b:0),
% 0.85/1.59 ot____nom62 [378, 1] (w:1, o:295, a:1, s:1, b:0),
% 0.85/1.59 ot____nom63 [379, 1] (w:1, o:297, a:1, s:1, b:0),
% 0.85/1.59 ot____nom64 [380, 1] (w:1, o:300, a:1, s:1, b:0),
% 0.85/1.59 ot____nom7 [381, 1] (w:1, o:302, a:1, s:1, b:0),
% 0.85/1.59 ot____nom8 [382, 1] (w:1, o:304, a:1, s:1, b:0),
% 0.85/1.59 ot____nom9 [383, 1] (w:1, o:359, a:1, s:1, b:0),
% 0.85/1.59 zinfandel [384, 1] (w:1, o:453, a:1, s:1, b:0),
% 0.85/1.59 winery [385, 1] (w:1, o:321, a:1, s:1, b:0),
% 0.85/1.59 winegrape [386, 1] (w:1, o:454, a:1, s:1, b:0),
% 0.85/1.59 winesugar [387, 1] (w:1, o:455, a:1, s:1, b:0),
% 0.85/1.59 wineflavor [388, 1] (w:1, o:318, a:1, s:1, b:0),
% 0.85/1.59 anjou [389, 1] (w:1, o:338, a:1, s:1, b:0),
% 0.85/1.59 beaujolais [390, 1] (w:1, o:340, a:1, s:1, b:0),
% 0.85/1.59 cabernetfranc [391, 1] (w:1, o:349, a:1, s:1, b:0),
% 0.85/1.59 cabernetsauvignon [392, 1] (w:1, o:350, a:1, s:1, b:0),
% 0.85/1.59 chardonnay [393, 1] (w:1, o:351, a:1, s:1, b:0),
% 0.85/1.59 cheninblanc [394, 1] (w:1, o:352, a:1, s:1, b:0),
% 0.85/1.59 chianti [395, 1] (w:1, o:353, a:1, s:1, b:0),
% 0.85/1.59 cotesdor [396, 1] (w:1, o:354, a:1, s:1, b:0),
% 0.85/1.59 dessertwine [397, 1] (w:1, o:456, a:1, s:1, b:0),
% 0.85/1.59 dryriesling [398, 1] (w:1, o:457, a:1, s:1, b:0),
% 0.85/1.59 icewine [399, 1] (w:1, o:458, a:1, s:1, b:0),
% 0.85/1.59 margaux [400, 1] (w:1, o:459, a:1, s:1, b:0),
% 1.71/2.07 meritage [401, 1] (w:1, o:460, a:1, s:1, b:0),
% 1.71/2.07 merlot [402, 1] (w:1, o:461, a:1, s:1, b:0),
% 1.71/2.07 meursault [403, 1] (w:1, o:462, a:1, s:1, b:0),
% 1.71/2.07 muscadet [404, 1] (w:1, o:463, a:1, s:1, b:0),
% 1.71/2.07 pauillac [405, 1] (w:1, o:464, a:1, s:1, b:0),
% 1.71/2.07 petitesyrah [406, 1] (w:1, o:465, a:1, s:1, b:0),
% 1.71/2.07 pinotnoir [407, 1] (w:1, o:466, a:1, s:1, b:0),
% 1.71/2.07 port [408, 1] (w:1, o:467, a:1, s:1, b:0),
% 1.71/2.07 redtablewine [409, 1] (w:1, o:439, a:1, s:1, b:0),
% 1.71/2.07 region [410, 1] (w:1, o:440, a:1, s:1, b:0),
% 1.71/2.07 riesling [411, 1] (w:1, o:441, a:1, s:1, b:0),
% 1.71/2.07 sancerre [412, 1] (w:1, o:468, a:1, s:1, b:0),
% 1.71/2.07 sauternes [413, 1] (w:1, o:469, a:1, s:1, b:0),
% 1.71/2.07 sauvignonblanc [414, 1] (w:1, o:470, a:1, s:1, b:0),
% 1.71/2.07 semillon [415, 1] (w:1, o:471, a:1, s:1, b:0),
% 1.71/2.07 stemilion [416, 1] (w:1, o:472, a:1, s:1, b:0),
% 1.71/2.07 sweetriesling [417, 1] (w:1, o:473, a:1, s:1, b:0),
% 1.71/2.07 vintageyear [418, 1] (w:1, o:307, a:1, s:1, b:0),
% 1.71/2.07 whiteburgundy [419, 1] (w:1, o:311, a:1, s:1, b:0),
% 1.71/2.07 whitewine [420, 1] (w:1, o:312, a:1, s:1, b:0),
% 1.71/2.07 winebody [421, 1] (w:1, o:325, a:1, s:1, b:0),
% 1.71/2.07 winecolor [422, 1] (w:1, o:474, a:1, s:1, b:0),
% 1.71/2.07 q0 [423, 1] (w:1, o:366, a:1, s:1, b:0),
% 1.71/2.07 medoc [424, 1] (w:1, o:475, a:1, s:1, b:0),
% 1.71/2.07 redwine [425, 1] (w:1, o:442, a:1, s:1, b:0),
% 1.71/2.07 kaon2equal [426, 2] (w:1, o:524, a:1, s:1, b:0),
% 1.71/2.07 bordeaux [427, 1] (w:1, o:341, a:1, s:1, b:0),
% 1.71/2.07 q1 [428, 1] (w:1, o:367, a:1, s:1, b:0),
% 1.71/2.07 q2 [429, 1] (w:1, o:378, a:1, s:1, b:0),
% 1.71/2.07 q9 [430, 1] (w:1, o:379, a:1, s:1, b:0),
% 1.71/2.07 q10 [431, 1] (w:1, o:368, a:1, s:1, b:0),
% 1.71/2.07 q11 [432, 1] (w:1, o:369, a:1, s:1, b:0),
% 1.71/2.07 q12 [433, 1] (w:1, o:370, a:1, s:1, b:0),
% 1.71/2.07 whitetablewine [434, 1] (w:1, o:313, a:1, s:1, b:0),
% 1.71/2.07 pinotblanc [435, 1] (w:1, o:364, a:1, s:1, b:0),
% 1.71/2.07 semillonorsauvignonblanc [436, 1] (w:1, o:476, a:1, s:1, b:0),
% 1.71/2.07 q13 [437, 1] (w:1, o:371, a:1, s:1, b:0),
% 1.71/2.07 gamay [438, 1] (w:1, o:482, a:1, s:1, b:0),
% 1.71/2.07 q14 [439, 1] (w:1, o:372, a:1, s:1, b:0),
% 1.71/2.07 q15 [440, 1] (w:1, o:373, a:1, s:1, b:0),
% 1.71/2.07 rosewine [441, 1] (w:1, o:443, a:1, s:1, b:0),
% 1.71/2.07 q16 [442, 1] (w:1, o:374, a:1, s:1, b:0),
% 1.71/2.07 q17 [443, 1] (w:1, o:375, a:1, s:1, b:0),
% 1.71/2.07 q18 [444, 1] (w:1, o:376, a:1, s:1, b:0),
% 1.71/2.07 q19 [445, 1] (w:1, o:377, a:1, s:1, b:0),
% 1.71/2.07 q20 [446, 1] (w:1, o:380, a:1, s:1, b:0),
% 1.71/2.07 q21 [447, 1] (w:1, o:381, a:1, s:1, b:0),
% 1.71/2.07 q22 [448, 1] (w:1, o:382, a:1, s:1, b:0),
% 1.71/2.07 q23 [449, 1] (w:1, o:383, a:1, s:1, b:0),
% 1.71/2.07 q24 [450, 1] (w:1, o:384, a:1, s:1, b:0),
% 1.71/2.07 americanwine [451, 1] (w:1, o:336, a:1, s:1, b:0),
% 1.71/2.07 q26 [452, 1] (w:1, o:385, a:1, s:1, b:0),
% 1.71/2.07 q27 [453, 1] (w:1, o:386, a:1, s:1, b:0),
% 1.71/2.07 burgundy [454, 1] (w:1, o:342, a:1, s:1, b:0),
% 1.71/2.07 q29 [455, 1] (w:1, o:387, a:1, s:1, b:0),
% 1.71/2.07 q30 [456, 1] (w:1, o:388, a:1, s:1, b:0),
% 1.71/2.07 q3 [457, 1] (w:1, o:389, a:1, s:1, b:0),
% 1.71/2.07 tours [458, 1] (w:1, o:484, a:1, s:1, b:0),
% 1.71/2.07 redburgundy [459, 1] (w:1, o:444, a:1, s:1, b:0),
% 1.71/2.07 wine [460, 1] (w:1, o:485, a:1, s:1, b:0),
% 1.71/2.07 q31 [461, 1] (w:1, o:390, a:1, s:1, b:0),
% 1.71/2.07 tablewine [462, 1] (w:1, o:486, a:1, s:1, b:0),
% 1.71/2.07 drywine [463, 1] (w:1, o:487, a:1, s:1, b:0),
% 1.71/2.07 q32 [464, 1] (w:1, o:391, a:1, s:1, b:0),
% 1.71/2.07 q33 [465, 1] (w:1, o:392, a:1, s:1, b:0),
% 1.71/2.07 q34 [466, 1] (w:1, o:393, a:1, s:1, b:0),
% 1.71/2.07 q35 [467, 1] (w:1, o:394, a:1, s:1, b:0),
% 1.71/2.07 fullbodiedwine [468, 1] (w:1, o:480, a:1, s:1, b:0),
% 1.71/2.07 whitenonsweetwine [469, 1] (w:1, o:314, a:1, s:1, b:0),
% 1.71/2.07 q36 [470, 1] (w:1, o:395, a:1, s:1, b:0),
% 1.71/2.07 earlyharvest [471, 1] (w:1, o:479, a:1, s:1, b:0),
% 1.71/2.07 q37 [472, 1] (w:1, o:396, a:1, s:1, b:0),
% 1.71/2.07 q38 [473, 1] (w:1, o:397, a:1, s:1, b:0),
% 1.71/2.07 q39 [474, 1] (w:1, o:398, a:1, s:1, b:0),
% 1.71/2.07 q40 [475, 1] (w:1, o:399, a:1, s:1, b:0),
% 1.71/2.07 q4 [476, 1] (w:1, o:400, a:1, s:1, b:0),
% 1.71/2.07 q41 [477, 1] (w:1, o:401, a:1, s:1, b:0),
% 1.71/2.07 q42 [478, 1] (w:1, o:402, a:1, s:1, b:0),
% 26.52/26.91 q43 [479, 1] (w:1, o:403, a:1, s:1, b:0),
% 26.52/26.91 q44 [480, 1] (w:1, o:404, a:1, s:1, b:0),
% 26.52/26.91 q45 [481, 1] (w:1, o:405, a:1, s:1, b:0),
% 26.52/26.91 q46 [482, 1] (w:1, o:406, a:1, s:1, b:0),
% 26.52/26.91 californiawine [483, 1] (w:1, o:355, a:1, s:1, b:0),
% 26.52/26.91 q47 [484, 1] (w:1, o:407, a:1, s:1, b:0),
% 26.52/26.91 q48 [485, 1] (w:1, o:408, a:1, s:1, b:0),
% 26.52/26.91 germanwine [486, 1] (w:1, o:488, a:1, s:1, b:0),
% 26.52/26.91 q49 [487, 1] (w:1, o:409, a:1, s:1, b:0),
% 26.52/26.91 q50 [488, 1] (w:1, o:410, a:1, s:1, b:0),
% 26.52/26.91 q5 [489, 1] (w:1, o:411, a:1, s:1, b:0),
% 26.52/26.91 q6 [490, 1] (w:1, o:419, a:1, s:1, b:0),
% 26.52/26.91 q72 [491, 1] (w:1, o:431, a:1, s:1, b:0),
% 26.52/26.91 q69 [492, 1] (w:1, o:421, a:1, s:1, b:0),
% 26.52/26.91 q63 [493, 1] (w:1, o:423, a:1, s:1, b:0),
% 26.52/26.91 frenchwine [494, 1] (w:1, o:481, a:1, s:1, b:0),
% 26.52/26.91 q51 [495, 1] (w:1, o:412, a:1, s:1, b:0),
% 26.52/26.91 q52 [496, 1] (w:1, o:413, a:1, s:1, b:0),
% 26.52/26.91 q55 [497, 1] (w:1, o:414, a:1, s:1, b:0),
% 26.52/26.91 q56 [498, 1] (w:1, o:415, a:1, s:1, b:0),
% 26.52/26.91 loire [499, 1] (w:1, o:328, a:1, s:1, b:0),
% 26.52/26.91 q57 [500, 1] (w:1, o:416, a:1, s:1, b:0),
% 26.52/26.91 q58 [501, 1] (w:1, o:417, a:1, s:1, b:0),
% 26.52/26.91 alsatianwine [502, 1] (w:1, o:335, a:1, s:1, b:0),
% 26.52/26.91 q59 [503, 1] (w:1, o:418, a:1, s:1, b:0),
% 26.52/26.91 q60 [504, 1] (w:1, o:424, a:1, s:1, b:0),
% 26.52/26.91 italianwine [505, 1] (w:1, o:489, a:1, s:1, b:0),
% 26.52/26.91 q61 [506, 1] (w:1, o:425, a:1, s:1, b:0),
% 26.52/26.91 q62 [507, 1] (w:1, o:422, a:1, s:1, b:0),
% 26.52/26.91 q64 [508, 1] (w:1, o:426, a:1, s:1, b:0),
% 26.52/26.91 q65 [509, 1] (w:1, o:427, a:1, s:1, b:0),
% 26.52/26.91 q66 [510, 1] (w:1, o:428, a:1, s:1, b:0),
% 26.52/26.91 q67 [511, 1] (w:1, o:429, a:1, s:1, b:0),
% 26.52/26.91 whitebordeaux [512, 1] (w:1, o:315, a:1, s:1, b:0),
% 26.52/26.91 q68 [513, 1] (w:1, o:420, a:1, s:1, b:0),
% 26.52/26.91 q7 [514, 1] (w:1, o:432, a:1, s:1, b:0),
% 26.52/26.91 q70 [515, 1] (w:1, o:433, a:1, s:1, b:0),
% 26.52/26.91 sweetwine [516, 1] (w:1, o:483, a:1, s:1, b:0),
% 26.52/26.91 lateharvest [517, 1] (w:1, o:329, a:1, s:1, b:0),
% 26.52/26.91 q71 [518, 1] (w:1, o:430, a:1, s:1, b:0),
% 26.52/26.91 texaswine [519, 1] (w:1, o:490, a:1, s:1, b:0),
% 26.52/26.91 q73 [520, 1] (w:1, o:434, a:1, s:1, b:0),
% 26.52/26.91 q74 [521, 1] (w:1, o:435, a:1, s:1, b:0),
% 26.52/26.91 redbordeaux [522, 1] (w:1, o:445, a:1, s:1, b:0),
% 26.52/26.91 dryredwine [523, 1] (w:1, o:477, a:1, s:1, b:0),
% 26.52/26.91 drywhitewine [524, 1] (w:1, o:478, a:1, s:1, b:0),
% 26.52/26.91 grape [525, 1] (w:1, o:491, a:1, s:1, b:0),
% 26.52/26.91 whiteloire [526, 1] (w:1, o:316, a:1, s:1, b:0),
% 26.52/26.91 potableliquid [527, 1] (w:1, o:365, a:1, s:1, b:0),
% 26.52/26.91 vintage [528, 1] (w:1, o:308, a:1, s:1, b:0),
% 26.52/26.91 haswinedescriptor [529, 2] (w:1, o:538, a:1, s:1, b:0),
% 26.52/26.91 winedescriptor [530, 1] (w:1, o:492, a:1, s:1, b:0),
% 26.52/26.91 winetaste [531, 1] (w:1, o:493, a:1, s:1, b:0),
% 26.52/26.91 produceswine [534, 2] (w:1, o:539, a:1, s:1, b:0),
% 26.52/26.91 madefromfruit [536, 2] (w:1, o:527, a:1, s:1, b:0),
% 26.52/26.91 madeintowine [537, 2] (w:1, o:540, a:1, s:1, b:0),
% 26.52/26.91 kaon2hu [538, 1] (w:1, o:327, a:1, s:1, b:0).
% 26.52/26.91
% 26.52/26.91
% 26.52/26.91 Starting Search:
% 26.52/26.91
% 26.52/26.91 *** allocated 75937 integers for clauses
% 26.52/26.91 Resimplifying inuse:
% 26.52/26.91 Done
% 26.52/26.91
% 26.52/26.91 *** allocated 113905 integers for clauses
% 26.52/26.91
% 26.52/26.91 Intermediate Status:
% 26.52/26.91 Generated: 2043
% 26.52/26.91 Kept: 2000
% 26.52/26.91 Inuse: 736
% 26.52/26.91 Deleted: 0
% 26.52/26.91 Deletedinuse: 0
% 26.52/26.91
% 26.52/26.91 *** allocated 170857 integers for clauses
% 26.52/26.91 Resimplifying inuse:
% 26.52/26.91 Done
% 26.52/26.91
% 26.52/26.91 Resimplifying inuse:
% 26.52/26.91 Done
% 26.52/26.91
% 26.52/26.91 *** allocated 256285 integers for clauses
% 26.52/26.91
% 26.52/26.91 Intermediate Status:
% 26.52/26.91 Generated: 4240
% 26.52/26.91 Kept: 4000
% 26.52/26.91 Inuse: 2051
% 26.52/26.91 Deleted: 0
% 26.52/26.91 Deletedinuse: 0
% 26.52/26.91
% 26.52/26.91 Resimplifying inuse:
% 26.52/26.91 Done
% 26.52/26.91
% 26.52/26.91 *** allocated 75937 integers for termspace/termends
% 26.52/26.91 Resimplifying inuse:
% 26.52/26.91 Done
% 26.52/26.91
% 26.52/26.91 *** allocated 384427 integers for clauses
% 26.52/26.91
% 26.52/26.91 Intermediate Status:
% 26.52/26.91 Generated: 6472
% 26.52/26.91 Kept: 6036
% 26.52/26.91 Inuse: 2731
% 26.52/26.91 Deleted: 0
% 26.52/26.91 Deletedinuse: 0
% 26.52/26.91
% 26.52/26.91 Resimplifying inuse:
% 26.52/26.91 Done
% 26.52/26.91
% 26.52/26.91 Resimplifying inuse:
% 26.52/26.91 Done
% 26.52/26.91
% 26.52/26.91
% 26.52/26.91 Intermediate Status:
% 26.52/26.91 Generated: 9424
% 26.52/26.91 Kept: 8190
% 26.52/26.91 Inuse: 3331
% 26.52/26.91 Deleted: 5
% 26.52/26.91 Deletedinuse: 5
% 26.52/26.91
% 26.52/26.91 *** allocated 576640 integers for clauses
% 26.52/26.91 Resimplifying inuse:
% 26.52/26.91 Done
% 26.52/26.91
% 26.52/26.91 Resimplifying inuse:
% 26.52/26.91 Done
% 26.52/26.91
% 26.52/26.91
% 26.52/26.91 Intermediate Status:
% 26.52/26.91 Generated: 11440
% 26.52/26.91 Kept: 10194
% 26.52/26.91 Inuse: 3461
% 60.36/60.75 Deleted: 5
% 60.36/60.75 Deletedinuse: 5
% 60.36/60.75
% 60.36/60.75 *** allocated 113905 integers for termspace/termends
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 *** allocated 864960 integers for clauses
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 13600
% 60.36/60.75 Kept: 12341
% 60.36/60.75 Inuse: 3591
% 60.36/60.75 Deleted: 5
% 60.36/60.75 Deletedinuse: 5
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 15738
% 60.36/60.75 Kept: 14466
% 60.36/60.75 Inuse: 3726
% 60.36/60.75 Deleted: 5
% 60.36/60.75 Deletedinuse: 5
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 18460
% 60.36/60.75 Kept: 16483
% 60.36/60.75 Inuse: 4021
% 60.36/60.75 Deleted: 5
% 60.36/60.75 Deletedinuse: 5
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 *** allocated 170857 integers for termspace/termends
% 60.36/60.75 *** allocated 1297440 integers for clauses
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 20789
% 60.36/60.75 Kept: 18506
% 60.36/60.75 Inuse: 4121
% 60.36/60.75 Deleted: 5
% 60.36/60.75 Deletedinuse: 5
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying clauses:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 23207
% 60.36/60.75 Kept: 20583
% 60.36/60.75 Inuse: 4226
% 60.36/60.75 Deleted: 344
% 60.36/60.75 Deletedinuse: 5
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 26533
% 60.36/60.75 Kept: 22635
% 60.36/60.75 Inuse: 4326
% 60.36/60.75 Deleted: 357
% 60.36/60.75 Deletedinuse: 18
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 29292
% 60.36/60.75 Kept: 24643
% 60.36/60.75 Inuse: 4436
% 60.36/60.75 Deleted: 377
% 60.36/60.75 Deletedinuse: 38
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 50621
% 60.36/60.75 Kept: 26668
% 60.36/60.75 Inuse: 5034
% 60.36/60.75 Deleted: 380
% 60.36/60.75 Deletedinuse: 41
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 *** allocated 1946160 integers for clauses
% 60.36/60.75 *** allocated 256285 integers for termspace/termends
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 52854
% 60.36/60.75 Kept: 28671
% 60.36/60.75 Inuse: 5160
% 60.36/60.75 Deleted: 381
% 60.36/60.75 Deletedinuse: 42
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 55600
% 60.36/60.75 Kept: 30673
% 60.36/60.75 Inuse: 5929
% 60.36/60.75 Deleted: 384
% 60.36/60.75 Deletedinuse: 42
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 58609
% 60.36/60.75 Kept: 32673
% 60.36/60.75 Inuse: 20457
% 60.36/60.75 Deleted: 911
% 60.36/60.75 Deletedinuse: 42
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 64056
% 60.36/60.75 Kept: 34737
% 60.36/60.75 Inuse: 31345
% 60.36/60.75 Deleted: 1881
% 60.36/60.75 Deletedinuse: 397
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 67189
% 60.36/60.75 Kept: 36750
% 60.36/60.75 Inuse: 31884
% 60.36/60.75 Deleted: 1903
% 60.36/60.75 Deletedinuse: 419
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 69633
% 60.36/60.75 Kept: 38750
% 60.36/60.75 Inuse: 32192
% 60.36/60.75 Deleted: 1903
% 60.36/60.75 Deletedinuse: 419
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying clauses:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 72582
% 60.36/60.75 Kept: 40751
% 60.36/60.75 Inuse: 32552
% 60.36/60.75 Deleted: 2489
% 60.36/60.75 Deletedinuse: 903
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 75337
% 60.36/60.75 Kept: 42779
% 60.36/60.75 Inuse: 32754
% 60.36/60.75 Deleted: 2757
% 60.36/60.75 Deletedinuse: 1171
% 60.36/60.75
% 60.36/60.75 *** allocated 2919240 integers for clauses
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 78017
% 60.36/60.75 Kept: 44835
% 60.36/60.75 Inuse: 32872
% 60.36/60.75 Deleted: 2832
% 60.36/60.75 Deletedinuse: 1246
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 *** allocated 384427 integers for termspace/termends
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 81001
% 60.36/60.75 Kept: 46889
% 60.36/60.75 Inuse: 33030
% 60.36/60.75 Deleted: 2851
% 60.36/60.75 Deletedinuse: 1265
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 84498
% 60.36/60.75 Kept: 49000
% 60.36/60.75 Inuse: 33282
% 60.36/60.75 Deleted: 3048
% 60.36/60.75 Deletedinuse: 1462
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 88248
% 60.36/60.75 Kept: 51000
% 60.36/60.75 Inuse: 33638
% 60.36/60.75 Deleted: 3205
% 60.36/60.75 Deletedinuse: 1617
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 60.36/60.75
% 60.36/60.75
% 60.36/60.75 Intermediate Status:
% 60.36/60.75 Generated: 92293
% 60.36/60.75 Kept: 53004
% 60.36/60.75 Inuse: 33976
% 60.36/60.75 Deleted: 3322
% 60.36/60.75 Deletedinuse: 1727
% 60.36/60.75
% 60.36/60.75 Resimplifying inuse:
% 60.36/60.75 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 96322
% 103.36/103.77 Kept: 55007
% 103.36/103.77 Inuse: 34400
% 103.36/103.77 Deleted: 3545
% 103.36/103.77 Deletedinuse: 1946
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 99433
% 103.36/103.77 Kept: 57024
% 103.36/103.77 Inuse: 34620
% 103.36/103.77 Deleted: 3610
% 103.36/103.77 Deletedinuse: 2011
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 103198
% 103.36/103.77 Kept: 59025
% 103.36/103.77 Inuse: 34896
% 103.36/103.77 Deleted: 3624
% 103.36/103.77 Deletedinuse: 2025
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying clauses:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 106107
% 103.36/103.77 Kept: 61027
% 103.36/103.77 Inuse: 35088
% 103.36/103.77 Deleted: 5385
% 103.36/103.77 Deletedinuse: 2489
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 110026
% 103.36/103.77 Kept: 63065
% 103.36/103.77 Inuse: 35799
% 103.36/103.77 Deleted: 5422
% 103.36/103.77 Deletedinuse: 2526
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 113364
% 103.36/103.77 Kept: 65089
% 103.36/103.77 Inuse: 36210
% 103.36/103.77 Deleted: 5710
% 103.36/103.77 Deletedinuse: 2814
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 *** allocated 4378860 integers for clauses
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 117262
% 103.36/103.77 Kept: 67102
% 103.36/103.77 Inuse: 36502
% 103.36/103.77 Deleted: 5916
% 103.36/103.77 Deletedinuse: 3020
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 121099
% 103.36/103.77 Kept: 69103
% 103.36/103.77 Inuse: 36811
% 103.36/103.77 Deleted: 6024
% 103.36/103.77 Deletedinuse: 3128
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 124873
% 103.36/103.77 Kept: 71104
% 103.36/103.77 Inuse: 37219
% 103.36/103.77 Deleted: 6258
% 103.36/103.77 Deletedinuse: 3362
% 103.36/103.77
% 103.36/103.77 *** allocated 576640 integers for termspace/termends
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 129051
% 103.36/103.77 Kept: 73104
% 103.36/103.77 Inuse: 37624
% 103.36/103.77 Deleted: 6358
% 103.36/103.77 Deletedinuse: 3462
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 133066
% 103.36/103.77 Kept: 75132
% 103.36/103.77 Inuse: 38091
% 103.36/103.77 Deleted: 6595
% 103.36/103.77 Deletedinuse: 3699
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 137601
% 103.36/103.77 Kept: 77192
% 103.36/103.77 Inuse: 38580
% 103.36/103.77 Deleted: 7013
% 103.36/103.77 Deletedinuse: 4117
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 142347
% 103.36/103.77 Kept: 79193
% 103.36/103.77 Inuse: 38925
% 103.36/103.77 Deleted: 7175
% 103.36/103.77 Deletedinuse: 4279
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying clauses:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 147120
% 103.36/103.77 Kept: 81621
% 103.36/103.77 Inuse: 39229
% 103.36/103.77 Deleted: 14210
% 103.36/103.77 Deletedinuse: 4512
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 152951
% 103.36/103.77 Kept: 83621
% 103.36/103.77 Inuse: 40716
% 103.36/103.77 Deleted: 15012
% 103.36/103.77 Deletedinuse: 5314
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 157908
% 103.36/103.77 Kept: 85678
% 103.36/103.77 Inuse: 40965
% 103.36/103.77 Deleted: 15166
% 103.36/103.77 Deletedinuse: 5468
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 163465
% 103.36/103.77 Kept: 87706
% 103.36/103.77 Inuse: 41127
% 103.36/103.77 Deleted: 15173
% 103.36/103.77 Deletedinuse: 5475
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 168162
% 103.36/103.77 Kept: 89727
% 103.36/103.77 Inuse: 41577
% 103.36/103.77 Deleted: 15419
% 103.36/103.77 Deletedinuse: 5721
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 172586
% 103.36/103.77 Kept: 91784
% 103.36/103.77 Inuse: 41767
% 103.36/103.77 Deleted: 15422
% 103.36/103.77 Deletedinuse: 5724
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 176929
% 103.36/103.77 Kept: 93786
% 103.36/103.77 Inuse: 42089
% 103.36/103.77 Deleted: 15519
% 103.36/103.77 Deletedinuse: 5821
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 181423
% 103.36/103.77 Kept: 95808
% 103.36/103.77 Inuse: 42380
% 103.36/103.77 Deleted: 15598
% 103.36/103.77 Deletedinuse: 5900
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 185954
% 103.36/103.77 Kept: 97808
% 103.36/103.77 Inuse: 42753
% 103.36/103.77 Deleted: 15662
% 103.36/103.77 Deletedinuse: 5962
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77 Resimplifying inuse:
% 103.36/103.77 Done
% 103.36/103.77
% 103.36/103.77
% 103.36/103.77 Intermediate Status:
% 103.36/103.77 Generated: 190726
% 103.36/103.77 Kept: 99827
% 165.83/166.26 Inuse: 43112
% 165.83/166.26 Deleted: 15817
% 165.83/166.26 Deletedinuse: 6117
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying clauses:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 196376
% 165.83/166.26 Kept: 102332
% 165.83/166.26 Inuse: 43467
% 165.83/166.26 Deleted: 19226
% 165.83/166.26 Deletedinuse: 6222
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 *** allocated 6568290 integers for clauses
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 200990
% 165.83/166.26 Kept: 104348
% 165.83/166.26 Inuse: 44725
% 165.83/166.26 Deleted: 19913
% 165.83/166.26 Deletedinuse: 6909
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 205913
% 165.83/166.26 Kept: 106382
% 165.83/166.26 Inuse: 44966
% 165.83/166.26 Deleted: 19923
% 165.83/166.26 Deletedinuse: 6919
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 210860
% 165.83/166.26 Kept: 108418
% 165.83/166.26 Inuse: 45238
% 165.83/166.26 Deleted: 19924
% 165.83/166.26 Deletedinuse: 6920
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 *** allocated 864960 integers for termspace/termends
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 215807
% 165.83/166.26 Kept: 110427
% 165.83/166.26 Inuse: 45513
% 165.83/166.26 Deleted: 19927
% 165.83/166.26 Deletedinuse: 6923
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 220882
% 165.83/166.26 Kept: 112467
% 165.83/166.26 Inuse: 45810
% 165.83/166.26 Deleted: 19927
% 165.83/166.26 Deletedinuse: 6923
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 226672
% 165.83/166.26 Kept: 114518
% 165.83/166.26 Inuse: 46166
% 165.83/166.26 Deleted: 19930
% 165.83/166.26 Deletedinuse: 6926
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 231490
% 165.83/166.26 Kept: 116538
% 165.83/166.26 Inuse: 46356
% 165.83/166.26 Deleted: 19940
% 165.83/166.26 Deletedinuse: 6936
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 236224
% 165.83/166.26 Kept: 118539
% 165.83/166.26 Inuse: 46588
% 165.83/166.26 Deleted: 19942
% 165.83/166.26 Deletedinuse: 6938
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 241100
% 165.83/166.26 Kept: 120555
% 165.83/166.26 Inuse: 46840
% 165.83/166.26 Deleted: 19944
% 165.83/166.26 Deletedinuse: 6940
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying clauses:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 245939
% 165.83/166.26 Kept: 122723
% 165.83/166.26 Inuse: 47110
% 165.83/166.26 Deleted: 20619
% 165.83/166.26 Deletedinuse: 6941
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 250614
% 165.83/166.26 Kept: 124724
% 165.83/166.26 Inuse: 47537
% 165.83/166.26 Deleted: 20739
% 165.83/166.26 Deletedinuse: 7061
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 255494
% 165.83/166.26 Kept: 126734
% 165.83/166.26 Inuse: 47756
% 165.83/166.26 Deleted: 20742
% 165.83/166.26 Deletedinuse: 7064
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 260512
% 165.83/166.26 Kept: 128740
% 165.83/166.26 Inuse: 48047
% 165.83/166.26 Deleted: 20743
% 165.83/166.26 Deletedinuse: 7065
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 265512
% 165.83/166.26 Kept: 130760
% 165.83/166.26 Inuse: 48328
% 165.83/166.26 Deleted: 20743
% 165.83/166.26 Deletedinuse: 7065
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 270542
% 165.83/166.26 Kept: 132760
% 165.83/166.26 Inuse: 48650
% 165.83/166.26 Deleted: 20744
% 165.83/166.26 Deletedinuse: 7066
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 276174
% 165.83/166.26 Kept: 134800
% 165.83/166.26 Inuse: 48950
% 165.83/166.26 Deleted: 20748
% 165.83/166.26 Deletedinuse: 7070
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 281180
% 165.83/166.26 Kept: 136853
% 165.83/166.26 Inuse: 49227
% 165.83/166.26 Deleted: 20750
% 165.83/166.26 Deletedinuse: 7072
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 286147
% 165.83/166.26 Kept: 138878
% 165.83/166.26 Inuse: 49497
% 165.83/166.26 Deleted: 20751
% 165.83/166.26 Deletedinuse: 7073
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 291612
% 165.83/166.26 Kept: 140878
% 165.83/166.26 Inuse: 49862
% 165.83/166.26 Deleted: 20752
% 165.83/166.26 Deletedinuse: 7074
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying clauses:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 296891
% 165.83/166.26 Kept: 143090
% 165.83/166.26 Inuse: 50073
% 165.83/166.26 Deleted: 21181
% 165.83/166.26 Deletedinuse: 7077
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26 Resimplifying inuse:
% 165.83/166.26 Done
% 165.83/166.26
% 165.83/166.26
% 165.83/166.26 Intermediate Status:
% 165.83/166.26 Generated: 301841
% 165.83/166.26 Kept: 145145
% 244.08/244.52 Inuse: 50330
% 244.08/244.52 Deleted: 21187
% 244.08/244.52 Deletedinuse: 7083
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 306701
% 244.08/244.52 Kept: 147154
% 244.08/244.52 Inuse: 50575
% 244.08/244.52 Deleted: 21190
% 244.08/244.52 Deletedinuse: 7086
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 311735
% 244.08/244.52 Kept: 149186
% 244.08/244.52 Inuse: 50870
% 244.08/244.52 Deleted: 21192
% 244.08/244.52 Deletedinuse: 7088
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 316788
% 244.08/244.52 Kept: 151188
% 244.08/244.52 Inuse: 51165
% 244.08/244.52 Deleted: 21193
% 244.08/244.52 Deletedinuse: 7089
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 322505
% 244.08/244.52 Kept: 153234
% 244.08/244.52 Inuse: 51522
% 244.08/244.52 Deleted: 21194
% 244.08/244.52 Deletedinuse: 7090
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 327309
% 244.08/244.52 Kept: 155249
% 244.08/244.52 Inuse: 51858
% 244.08/244.52 Deleted: 21286
% 244.08/244.52 Deletedinuse: 7182
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 *** allocated 9852435 integers for clauses
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 332630
% 244.08/244.52 Kept: 157284
% 244.08/244.52 Inuse: 52208
% 244.08/244.52 Deleted: 21289
% 244.08/244.52 Deletedinuse: 7185
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 338057
% 244.08/244.52 Kept: 159333
% 244.08/244.52 Inuse: 52405
% 244.08/244.52 Deleted: 21292
% 244.08/244.52 Deletedinuse: 7188
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 343168
% 244.08/244.52 Kept: 161353
% 244.08/244.52 Inuse: 52473
% 244.08/244.52 Deleted: 21292
% 244.08/244.52 Deletedinuse: 7188
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying clauses:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 348083
% 244.08/244.52 Kept: 163444
% 244.08/244.52 Inuse: 52651
% 244.08/244.52 Deleted: 21748
% 244.08/244.52 Deletedinuse: 7190
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 *** allocated 1297440 integers for termspace/termends
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 353319
% 244.08/244.52 Kept: 165445
% 244.08/244.52 Inuse: 52817
% 244.08/244.52 Deleted: 21756
% 244.08/244.52 Deletedinuse: 7198
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 358580
% 244.08/244.52 Kept: 167463
% 244.08/244.52 Inuse: 53220
% 244.08/244.52 Deleted: 21763
% 244.08/244.52 Deletedinuse: 7205
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 363742
% 244.08/244.52 Kept: 169485
% 244.08/244.52 Inuse: 53444
% 244.08/244.52 Deleted: 21944
% 244.08/244.52 Deletedinuse: 7386
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 368642
% 244.08/244.52 Kept: 171489
% 244.08/244.52 Inuse: 53934
% 244.08/244.52 Deleted: 22121
% 244.08/244.52 Deletedinuse: 7563
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 373741
% 244.08/244.52 Kept: 173502
% 244.08/244.52 Inuse: 54225
% 244.08/244.52 Deleted: 22214
% 244.08/244.52 Deletedinuse: 7656
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 379299
% 244.08/244.52 Kept: 175531
% 244.08/244.52 Inuse: 54303
% 244.08/244.52 Deleted: 22222
% 244.08/244.52 Deletedinuse: 7664
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 384576
% 244.08/244.52 Kept: 177563
% 244.08/244.52 Inuse: 54628
% 244.08/244.52 Deleted: 22314
% 244.08/244.52 Deletedinuse: 7756
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 389704
% 244.08/244.52 Kept: 179602
% 244.08/244.52 Inuse: 55001
% 244.08/244.52 Deleted: 22407
% 244.08/244.52 Deletedinuse: 7849
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 394622
% 244.08/244.52 Kept: 181604
% 244.08/244.52 Inuse: 55408
% 244.08/244.52 Deleted: 22588
% 244.08/244.52 Deletedinuse: 8030
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying clauses:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 400087
% 244.08/244.52 Kept: 183721
% 244.08/244.52 Inuse: 55796
% 244.08/244.52 Deleted: 23036
% 244.08/244.52 Deletedinuse: 8118
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 405990
% 244.08/244.52 Kept: 185759
% 244.08/244.52 Inuse: 56253
% 244.08/244.52 Deleted: 23133
% 244.08/244.52 Deletedinuse: 8215
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 411292
% 244.08/244.52 Kept: 187804
% 244.08/244.52 Inuse: 56350
% 244.08/244.52 Deleted: 23139
% 244.08/244.52 Deletedinuse: 8221
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52 Resimplifying inuse:
% 244.08/244.52 Done
% 244.08/244.52
% 244.08/244.52
% 244.08/244.52 Intermediate Status:
% 244.08/244.52 Generated: 416726
% 244.08/244.52 Kept: 189834
% 244.08/244.52 Inuse: 56432
% 244.08/244.52 Deleted: 23147
% 244.08/244.52 DeletedCputime limit exceeded (core dumped)
%------------------------------------------------------------------------------