TSTP Solution File: PRD002+1 by Bliksem---1.12
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Bliksem---1.12
% Problem : PRD002+1 : TPTP v8.1.0. Released v6.2.0.
% Transfm : none
% Format : tptp:raw
% Command : bliksem %s
% Computer : n018.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 0s
% DateTime : Mon Jul 18 17:38:37 EDT 2022
% Result : Timeout 300.02s 300.42s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : PRD002+1 : TPTP v8.1.0. Released v6.2.0.
% 0.03/0.13 % Command : bliksem %s
% 0.13/0.33 % Computer : n018.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % DateTime : Mon Jun 6 10:16:34 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.83/1.23 *** allocated 10000 integers for termspace/termends
% 0.83/1.23 *** allocated 10000 integers for clauses
% 0.83/1.23 *** allocated 10000 integers for justifications
% 0.83/1.23 *** allocated 15000 integers for termspace/termends
% 0.83/1.23 Bliksem 1.12
% 0.83/1.23
% 0.83/1.23
% 0.83/1.23 Automatic Strategy Selection
% 0.83/1.23
% 0.83/1.23 *** allocated 22500 integers for termspace/termends
% 0.83/1.23 *** allocated 33750 integers for termspace/termends
% 0.83/1.23 *** allocated 50625 integers for termspace/termends
% 0.83/1.23
% 0.83/1.23 Clauses:
% 0.83/1.23
% 0.83/1.23 { hasbody_aux( pulignymontrachetwhiteburgundy, medium ) }.
% 0.83/1.23 { hasbody_aux( formanchardonnay, full ) }.
% 0.83/1.23 { hasbody_aux( foxencheninblanc, full ) }.
% 0.83/1.23 { hasbody_aux( chianticlassico, medium ) }.
% 0.83/1.23 { hasbody_aux( cortonmontrachetwhiteburgundy, full ) }.
% 0.83/1.23 { hasbody_aux( corbansprivatebinsauvignonblanc, full ) }.
% 0.83/1.23 { hasbody_aux( congressspringssemillon, medium ) }.
% 0.83/1.23 { hasbody_aux( mariettapetitesyrah, medium ) }.
% 0.83/1.23 { hasbody_aux( corbanssauvignonblanc, medium ) }.
% 0.83/1.23 { hasbody_aux( petermccoychardonnay, medium ) }.
% 0.83/1.23 { hasbody_aux( selaksicewine, medium ) }.
% 0.83/1.23 { hasbody_aux( bancroftchardonnay, medium ) }.
% 0.83/1.23 { hasbody_aux( elysezinfandel, full ) }.
% 0.83/1.23 { hasbody_aux( mountadampinotnoir, medium ) }.
% 0.83/1.23 { hasbody_aux( mariettacabernetsauvignon, medium ) }.
% 0.83/1.23 { hasbody_aux( schlossrothermeltrochenbierenausleseriesling, full ) }.
% 0.83/1.23 { hasbody_aux( garyfarrellmerlot, medium ) }.
% 0.83/1.23 { hasbody_aux( cotturizinfandel, full ) }.
% 0.83/1.23 { hasbody_aux( mariettaoldvinesred, medium ) }.
% 0.83/1.23 { hasbody_aux( longridgemerlot, light ) }.
% 0.83/1.23 { hasbody_aux( kalincellarssemillon, full ) }.
% 0.83/1.23 { hasbody_aux( pagemillwinerycabernetsauvignon, medium ) }.
% 0.83/1.23 { hasbody_aux( seanthackreysiriuspetitesyrah, full ) }.
% 0.83/1.23 { hasbody_aux( saucelitocanyonzinfandel1998, medium ) }.
% 0.83/1.23 { hasbody_aux( whitehalllaneprimavera, light ) }.
% 0.83/1.23 { hasbody_aux( santacruzmountainvineyardcabernetsauvignon, full ) }.
% 0.83/1.23 { hasbody_aux( lanetannerpinotnoir, light ) }.
% 0.83/1.23 { hasbody_aux( corbansdrywhiteriesling, medium ) }.
% 0.83/1.23 { hasbody_aux( mountadamchardonnay, full ) }.
% 0.83/1.23 { hasbody_aux( mountadamriesling, medium ) }.
% 0.83/1.23 { hasbody_aux( mariettazinfandel, medium ) }.
% 0.83/1.23 { hasbody_aux( kathrynkennedylateral, medium ) }.
% 0.83/1.23 { hasbody_aux( mountedenvineyardestatepinotnoir, full ) }.
% 0.83/1.23 { hasbody_aux( whitehalllanecabernetfranc, medium ) }.
% 0.83/1.23 { hasbody_aux( ventanacheninblanc, medium ) }.
% 0.83/1.23 { hasbody_aux( saucelitocanyonzinfandel, medium ) }.
% 0.83/1.23 { hasbody_aux( formancabernetsauvignon, medium ) }.
% 0.83/1.23 { hasbody_aux( schlossvolradtrochenbierenausleseriesling, full ) }.
% 0.83/1.23 { hasbody_aux( mountedenvineyardednavalleychardonnay, medium ) }.
% 0.83/1.23 { hasbody_aux( stonleighsauvignonblanc, medium ) }.
% 0.83/1.23 { hasbody_aux( selakssauvignonblanc, medium ) }.
% 0.83/1.23 { hascolor_aux( selaksicewine, white ) }.
% 0.83/1.23 { hasflavor_aux( pulignymontrachetwhiteburgundy, moderate ) }.
% 0.83/1.23 { hasflavor_aux( formanchardonnay, moderate ) }.
% 0.83/1.23 { hasflavor_aux( stgenevievetexaswhite, moderate ) }.
% 0.83/1.23 { hasflavor_aux( foxencheninblanc, moderate ) }.
% 0.83/1.23 { hasflavor_aux( cortonmontrachetwhiteburgundy, strong ) }.
% 0.83/1.23 { hasflavor_aux( corbansprivatebinsauvignonblanc, strong ) }.
% 0.83/1.23 { hasflavor_aux( congressspringssemillon, moderate ) }.
% 0.83/1.23 { hasflavor_aux( mariettapetitesyrah, moderate ) }.
% 0.83/1.23 { hasflavor_aux( corbanssauvignonblanc, strong ) }.
% 0.83/1.23 { hasflavor_aux( petermccoychardonnay, moderate ) }.
% 0.83/1.23 { hasflavor_aux( selaksicewine, moderate ) }.
% 0.83/1.23 { hasflavor_aux( bancroftchardonnay, moderate ) }.
% 0.83/1.23 { hasflavor_aux( elysezinfandel, moderate ) }.
% 0.83/1.23 { hasflavor_aux( mountadampinotnoir, moderate ) }.
% 0.83/1.23 { hasflavor_aux( chateaudychemsauterne, strong ) }.
% 0.83/1.23 { hasflavor_aux( mariettacabernetsauvignon, moderate ) }.
% 0.83/1.23 { hasflavor_aux( schlossrothermeltrochenbierenausleseriesling, strong ) }.
% 0.83/1.23 { hasflavor_aux( garyfarrellmerlot, moderate ) }.
% 0.83/1.23 { hasflavor_aux( cotturizinfandel, strong ) }.
% 0.83/1.23 { hasflavor_aux( mariettaoldvinesred, moderate ) }.
% 0.83/1.23 { hasflavor_aux( longridgemerlot, moderate ) }.
% 0.83/1.23 { hasflavor_aux( kalincellarssemillon, strong ) }.
% 0.83/1.23 { hasflavor_aux( pagemillwinerycabernetsauvignon, moderate ) }.
% 0.83/1.23 { hasflavor_aux( seanthackreysiriuspetitesyrah, strong ) }.
% 0.83/1.23 { hasflavor_aux( saucelitocanyonzinfandel1998, moderate ) }.
% 0.83/1.23 { hasflavor_aux( chateaudemeursaultmeursault, moderate ) }.
% 0.83/1.23 { hasflavor_aux( whitehalllaneprimavera, delicate ) }.
% 0.83/1.23 { hasflavor_aux( santacruzmountainvineyardcabernetsauvignon, strong ) }.
% 0.83/1.23 { hasflavor_aux( lanetannerpinotnoir, delicate ) }.
% 0.83/1.23 { hasflavor_aux( corbansdrywhiteriesling, moderate ) }.
% 0.83/1.23 { hasflavor_aux( mountadamchardonnay, strong ) }.
% 0.83/1.23 { hasflavor_aux( mountadamriesling, delicate ) }.
% 0.83/1.23 { hasflavor_aux( mariettazinfandel, moderate ) }.
% 0.83/1.23 { hasflavor_aux( kathrynkennedylateral, delicate ) }.
% 0.83/1.23 { hasflavor_aux( mountedenvineyardestatepinotnoir, strong ) }.
% 0.83/1.23 { hasflavor_aux( whitehalllanecabernetfranc, moderate ) }.
% 0.83/1.23 { hasflavor_aux( ventanacheninblanc, moderate ) }.
% 0.83/1.23 { hasflavor_aux( saucelitocanyonzinfandel, moderate ) }.
% 0.83/1.23 { hasflavor_aux( formancabernetsauvignon, strong ) }.
% 0.83/1.23 { hasflavor_aux( schlossvolradtrochenbierenausleseriesling, moderate ) }.
% 0.83/1.23 { hasflavor_aux( mountedenvineyardednavalleychardonnay, moderate ) }.
% 0.83/1.23 { hasflavor_aux( stonleighsauvignonblanc, delicate ) }.
% 0.83/1.23 { hasflavor_aux( selakssauvignonblanc, moderate ) }.
% 0.83/1.23 { hasmaker_aux( pulignymontrachetwhiteburgundy, pulignymontrachet ) }.
% 0.83/1.23 { hasmaker_aux( chateaulafiterothschildpauillac, chateaulafiterothschild )
% 0.83/1.23 }.
% 0.83/1.23 { hasmaker_aux( formanchardonnay, forman ) }.
% 0.83/1.23 { hasmaker_aux( stgenevievetexaswhite, stgenevieve ) }.
% 0.83/1.23 { hasmaker_aux( foxencheninblanc, foxen ) }.
% 0.83/1.23 { hasmaker_aux( chianticlassico, mcguinnesso ) }.
% 0.83/1.23 { hasmaker_aux( cortonmontrachetwhiteburgundy, cortonmontrachet ) }.
% 0.83/1.23 { hasmaker_aux( corbansprivatebinsauvignonblanc, corbans ) }.
% 0.83/1.23 { hasmaker_aux( congressspringssemillon, congresssprings ) }.
% 0.83/1.23 { hasmaker_aux( mariettapetitesyrah, marietta ) }.
% 0.83/1.23 { hasmaker_aux( corbanssauvignonblanc, corbans ) }.
% 0.83/1.23 { hasmaker_aux( petermccoychardonnay, petermccoy ) }.
% 0.83/1.23 { hasmaker_aux( selaksicewine, selaks ) }.
% 0.83/1.23 { hasmaker_aux( bancroftchardonnay, bancroft ) }.
% 0.83/1.23 { hasmaker_aux( chateauchevalblancstemilion, chateauchevalblanc ) }.
% 0.83/1.23 { hasmaker_aux( chateaumorgonbeaujolais, chateaumorgon ) }.
% 0.83/1.23 { hasmaker_aux( elysezinfandel, elyse ) }.
% 0.83/1.23 { hasmaker_aux( mountadampinotnoir, mountadam ) }.
% 0.83/1.23 { hasmaker_aux( taylorport, taylor ) }.
% 0.83/1.23 { hasmaker_aux( chateaudychemsauterne, chateaudychem ) }.
% 0.83/1.23 { hasmaker_aux( mariettacabernetsauvignon, marietta ) }.
% 0.83/1.23 { hasmaker_aux( schlossrothermeltrochenbierenausleseriesling,
% 0.83/1.23 schlossrothermel ) }.
% 0.83/1.23 { hasmaker_aux( garyfarrellmerlot, garyfarrell ) }.
% 0.83/1.23 { hasmaker_aux( closdevougeotcotesdor, closdevougeot ) }.
% 0.83/1.23 { hasmaker_aux( cotturizinfandel, cotturi ) }.
% 0.83/1.23 { hasmaker_aux( closdelapoussiesancerre, closdelapoussie ) }.
% 0.83/1.23 { hasmaker_aux( mariettaoldvinesred, marietta ) }.
% 0.83/1.23 { hasmaker_aux( longridgemerlot, longridge ) }.
% 0.83/1.23 { hasmaker_aux( kalincellarssemillon, kalincellars ) }.
% 0.83/1.23 { hasmaker_aux( pagemillwinerycabernetsauvignon, pagemillwinery ) }.
% 0.83/1.23 { hasmaker_aux( seanthackreysiriuspetitesyrah, seanthackrey ) }.
% 0.83/1.23 { hasmaker_aux( saucelitocanyonzinfandel1998, saucelitocanyon ) }.
% 0.83/1.23 { hasmaker_aux( chateaudemeursaultmeursault, chateaudemeursault ) }.
% 0.83/1.23 { hasmaker_aux( santacruzmountainvineyardcabernetsauvignon,
% 0.83/1.23 santacruzmountainvineyard ) }.
% 0.83/1.23 { hasmaker_aux( lanetannerpinotnoir, lanetanner ) }.
% 0.83/1.23 { hasmaker_aux( corbansdrywhiteriesling, corbans ) }.
% 0.83/1.23 { hasmaker_aux( rosedanjou, danjou ) }.
% 0.83/1.23 { hasmaker_aux( mountadamchardonnay, mountadam ) }.
% 0.83/1.23 { hasmaker_aux( mountadamriesling, mountadam ) }.
% 0.83/1.23 { hasmaker_aux( mariettazinfandel, marietta ) }.
% 0.83/1.23 { hasmaker_aux( chateaumargaux, chateaumargauxwinery ) }.
% 0.83/1.23 { hasmaker_aux( kathrynkennedylateral, kathrynkennedy ) }.
% 0.83/1.23 { hasmaker_aux( mountedenvineyardestatepinotnoir, mountedenvineyard ) }.
% 0.83/1.23 { hasmaker_aux( whitehalllanecabernetfranc, whitehalllane ) }.
% 0.83/1.23 { hasmaker_aux( ventanacheninblanc, ventana ) }.
% 0.83/1.23 { hasmaker_aux( saucelitocanyonzinfandel, saucelitocanyon ) }.
% 0.83/1.23 { hasmaker_aux( formancabernetsauvignon, forman ) }.
% 0.83/1.23 { hasmaker_aux( schlossvolradtrochenbierenausleseriesling, schlossvolrad )
% 0.83/1.23 }.
% 0.83/1.23 { hasmaker_aux( mountedenvineyardednavalleychardonnay, mountedenvineyard )
% 0.83/1.23 }.
% 0.83/1.23 { hasmaker_aux( stonleighsauvignonblanc, stonleigh ) }.
% 0.83/1.23 { hasmaker_aux( selakssauvignonblanc, selaks ) }.
% 0.83/1.23 { hasmaker_aux( sevreetmainemuscadet, sevreetmaine ) }.
% 0.83/1.23 { hassugar_aux( pulignymontrachetwhiteburgundy, dry ) }.
% 0.83/1.23 { hassugar_aux( formanchardonnay, dry ) }.
% 0.83/1.23 { hassugar_aux( stgenevievetexaswhite, dry ) }.
% 0.83/1.23 { hassugar_aux( foxencheninblanc, dry ) }.
% 0.83/1.23 { hassugar_aux( cortonmontrachetwhiteburgundy, dry ) }.
% 0.83/1.23 { hassugar_aux( corbansprivatebinsauvignonblanc, dry ) }.
% 0.83/1.23 { hassugar_aux( congressspringssemillon, dry ) }.
% 0.83/1.23 { hassugar_aux( mariettapetitesyrah, dry ) }.
% 0.83/1.23 { hassugar_aux( corbanssauvignonblanc, dry ) }.
% 0.83/1.23 { hassugar_aux( petermccoychardonnay, dry ) }.
% 0.83/1.23 { hassugar_aux( bancroftchardonnay, dry ) }.
% 0.83/1.23 { hassugar_aux( elysezinfandel, dry ) }.
% 0.83/1.23 { hassugar_aux( mountadampinotnoir, dry ) }.
% 0.83/1.23 { hassugar_aux( mariettacabernetsauvignon, dry ) }.
% 0.83/1.23 { hassugar_aux( schlossrothermeltrochenbierenausleseriesling, sweet ) }.
% 0.83/1.23 { hassugar_aux( garyfarrellmerlot, dry ) }.
% 0.83/1.23 { hassugar_aux( cotturizinfandel, dry ) }.
% 0.83/1.23 { hassugar_aux( mariettaoldvinesred, dry ) }.
% 0.83/1.23 { hassugar_aux( longridgemerlot, dry ) }.
% 0.83/1.23 { hassugar_aux( kalincellarssemillon, dry ) }.
% 0.83/1.23 { hassugar_aux( pagemillwinerycabernetsauvignon, dry ) }.
% 0.83/1.23 { hassugar_aux( seanthackreysiriuspetitesyrah, dry ) }.
% 0.83/1.23 { hassugar_aux( saucelitocanyonzinfandel1998, dry ) }.
% 0.83/1.23 { hassugar_aux( whitehalllaneprimavera, sweet ) }.
% 0.83/1.23 { hassugar_aux( santacruzmountainvineyardcabernetsauvignon, dry ) }.
% 0.83/1.23 { hassugar_aux( lanetannerpinotnoir, dry ) }.
% 0.83/1.23 { hassugar_aux( corbansdrywhiteriesling, offdry ) }.
% 0.83/1.23 { hassugar_aux( mountadamchardonnay, dry ) }.
% 0.83/1.23 { hassugar_aux( mountadamriesling, dry ) }.
% 0.83/1.23 { hassugar_aux( mariettazinfandel, dry ) }.
% 0.83/1.23 { hassugar_aux( kathrynkennedylateral, dry ) }.
% 0.83/1.23 { hassugar_aux( mountedenvineyardestatepinotnoir, dry ) }.
% 0.83/1.23 { hassugar_aux( whitehalllanecabernetfranc, dry ) }.
% 0.83/1.23 { hassugar_aux( ventanacheninblanc, offdry ) }.
% 0.83/1.23 { hassugar_aux( saucelitocanyonzinfandel, dry ) }.
% 0.83/1.23 { hassugar_aux( formancabernetsauvignon, dry ) }.
% 0.83/1.23 { hassugar_aux( schlossvolradtrochenbierenausleseriesling, sweet ) }.
% 0.83/1.23 { hassugar_aux( mountedenvineyardednavalleychardonnay, dry ) }.
% 0.83/1.23 { hassugar_aux( stonleighsauvignonblanc, dry ) }.
% 0.83/1.23 { hassugar_aux( selakssauvignonblanc, dry ) }.
% 0.83/1.23 { locatedin_aux( californiaregion, usregion ) }.
% 0.83/1.23 { locatedin_aux( sancerreregion, loireregion ) }.
% 0.83/1.23 { locatedin_aux( formanchardonnay, naparegion ) }.
% 0.83/1.23 { locatedin_aux( stgenevievetexaswhite, centraltexasregion ) }.
% 0.83/1.23 { locatedin_aux( foxencheninblanc, santabarbararegion ) }.
% 0.83/1.23 { locatedin_aux( loireregion, frenchregion ) }.
% 0.83/1.23 { locatedin_aux( corbansprivatebinsauvignonblanc, newzealandregion ) }.
% 0.83/1.23 { locatedin_aux( mariettapetitesyrah, sonomaregion ) }.
% 0.83/1.23 { locatedin_aux( corbanssauvignonblanc, newzealandregion ) }.
% 0.83/1.23 { locatedin_aux( petermccoychardonnay, sonomaregion ) }.
% 0.83/1.23 { locatedin_aux( selaksicewine, newzealandregion ) }.
% 0.83/1.23 { locatedin_aux( bancroftchardonnay, naparegion ) }.
% 0.83/1.23 { locatedin_aux( elysezinfandel, naparegion ) }.
% 0.83/1.23 { locatedin_aux( naparegion, californiaregion ) }.
% 0.83/1.23 { locatedin_aux( mountadampinotnoir, southaustraliaregion ) }.
% 0.83/1.23 { locatedin_aux( chiantiregion, italianregion ) }.
% 0.83/1.23 { locatedin_aux( mariettacabernetsauvignon, sonomaregion ) }.
% 0.83/1.23 { locatedin_aux( sauterneregion, bordeauxregion ) }.
% 0.83/1.23 { locatedin_aux( pauillacregion, medocregion ) }.
% 0.83/1.23 { locatedin_aux( centraltexasregion, texasregion ) }.
% 0.83/1.23 { locatedin_aux( schlossrothermeltrochenbierenausleseriesling,
% 0.83/1.23 germanyregion ) }.
% 0.83/1.23 { locatedin_aux( garyfarrellmerlot, sonomaregion ) }.
% 0.83/1.23 { locatedin_aux( bordeauxregion, frenchregion ) }.
% 0.83/1.23 { locatedin_aux( cotturizinfandel, sonomaregion ) }.
% 0.83/1.23 { locatedin_aux( anjouregion, loireregion ) }.
% 0.83/1.23 { locatedin_aux( centralcoastregion, californiaregion ) }.
% 0.83/1.23 { locatedin_aux( mariettaoldvinesred, sonomaregion ) }.
% 0.83/1.23 { locatedin_aux( longridgemerlot, newzealandregion ) }.
% 0.83/1.23 { locatedin_aux( sonomaregion, californiaregion ) }.
% 0.83/1.23 { locatedin_aux( santabarbararegion, californiaregion ) }.
% 0.83/1.23 { locatedin_aux( pagemillwinerycabernetsauvignon, naparegion ) }.
% 0.83/1.23 { locatedin_aux( seanthackreysiriuspetitesyrah, naparegion ) }.
% 0.83/1.23 { locatedin_aux( saucelitocanyonzinfandel1998, arroyogranderegion ) }.
% 0.83/1.23 { locatedin_aux( medocregion, bordeauxregion ) }.
% 0.83/1.23 { locatedin_aux( southaustraliaregion, australianregion ) }.
% 0.83/1.23 { locatedin_aux( whitehalllaneprimavera, naparegion ) }.
% 0.83/1.23 { locatedin_aux( santacruzmountainvineyardcabernetsauvignon,
% 0.83/1.23 santacruzmountainsregion ) }.
% 0.83/1.23 { locatedin_aux( lanetannerpinotnoir, santabarbararegion ) }.
% 0.83/1.23 { locatedin_aux( mendocinoregion, californiaregion ) }.
% 0.83/1.23 { locatedin_aux( santacruzmountainsregion, californiaregion ) }.
% 0.83/1.23 { locatedin_aux( corbansdrywhiteriesling, newzealandregion ) }.
% 0.83/1.23 { locatedin_aux( margauxregion, medocregion ) }.
% 0.83/1.23 { locatedin_aux( texasregion, usregion ) }.
% 0.83/1.23 { locatedin_aux( muscadetregion, loireregion ) }.
% 0.83/1.23 { locatedin_aux( mountadamchardonnay, southaustraliaregion ) }.
% 0.83/1.23 { locatedin_aux( alsaceregion, frenchregion ) }.
% 0.83/1.23 { locatedin_aux( mountadamriesling, southaustraliaregion ) }.
% 0.83/1.23 { locatedin_aux( stemilionregion, bordeauxregion ) }.
% 0.83/1.23 { locatedin_aux( bourgogneregion, frenchregion ) }.
% 0.83/1.23 { locatedin_aux( mariettazinfandel, sonomaregion ) }.
% 0.83/1.23 { locatedin_aux( toursregion, loireregion ) }.
% 0.83/1.23 { locatedin_aux( cotesdorregion, bourgogneregion ) }.
% 0.83/1.23 { locatedin_aux( mountedenvineyardestatepinotnoir, ednavalleyregion ) }.
% 0.83/1.23 { locatedin_aux( whitehalllanecabernetfranc, naparegion ) }.
% 0.83/1.23 { locatedin_aux( ventanacheninblanc, centralcoastregion ) }.
% 0.83/1.23 { locatedin_aux( saucelitocanyonzinfandel, arroyogranderegion ) }.
% 0.83/1.23 { locatedin_aux( formancabernetsauvignon, naparegion ) }.
% 0.83/1.23 { locatedin_aux( schlossvolradtrochenbierenausleseriesling, germanyregion )
% 0.83/1.23 }.
% 0.83/1.23 { locatedin_aux( beaujolaisregion, frenchregion ) }.
% 0.83/1.23 { locatedin_aux( mountedenvineyardednavalleychardonnay, ednavalleyregion )
% 0.83/1.23 }.
% 0.83/1.23 { locatedin_aux( meursaultregion, bourgogneregion ) }.
% 0.83/1.23 { locatedin_aux( ednavalleyregion, californiaregion ) }.
% 0.83/1.23 { locatedin_aux( stonleighsauvignonblanc, newzealandregion ) }.
% 0.83/1.23 { locatedin_aux( arroyogranderegion, californiaregion ) }.
% 0.83/1.23 { locatedin_aux( selakssauvignonblanc, newzealandregion ) }.
% 0.83/1.23 { madefromgrape_aux( chateaudychemsauterne, semillongrape ) }.
% 0.83/1.23 { madefromgrape_aux( chateaudychemsauterne, sauvignonblancgrape ) }.
% 0.83/1.23 { ot____nom1_aux( sweet ) }.
% 0.83/1.23 { ot____nom10_aux( texasregion ) }.
% 0.83/1.23 { ot____nom11_aux( sauvignonblancgrape ) }.
% 0.83/1.23 { ot____nom12_aux( dry ) }.
% 0.83/1.23 { ot____nom13_aux( alsaceregion ) }.
% 0.83/1.23 { ot____nom14_aux( anjouregion ) }.
% 0.83/1.23 { ot____nom15_aux( californiaregion ) }.
% 0.83/1.23 { ot____nom16_aux( muscadetregion ) }.
% 0.83/1.23 { ot____nom17_aux( germanyregion ) }.
% 0.83/1.23 { ot____nom18_aux( sweet ) }.
% 0.83/1.23 { ot____nom18_aux( dry ) }.
% 0.83/1.23 { ot____nom18_aux( offdry ) }.
% 0.83/1.23 { ot____nom19_aux( loireregion ) }.
% 0.83/1.23 { ot____nom2_aux( medocregion ) }.
% 0.83/1.23 { ot____nom20_aux( zinfandelgrape ) }.
% 0.83/1.23 { ot____nom21_aux( pinotblancgrape ) }.
% 0.83/1.23 { ot____nom22_aux( margauxregion ) }.
% 0.83/1.23 { ot____nom23_aux( bordeauxregion ) }.
% 0.83/1.23 { ot____nom24_aux( chardonnaygrape ) }.
% 0.83/1.23 { ot____nom25_aux( petitesyrahgrape ) }.
% 0.83/1.23 { ot____nom26_aux( beaujolaisregion ) }.
% 0.83/1.23 { ot____nom27_aux( semillongrape ) }.
% 0.83/1.23 { ot____nom28_aux( red ) }.
% 0.83/1.23 { ot____nom29_aux( cabernetsauvignongrape ) }.
% 0.83/1.23 { ot____nom3_aux( cabernetfrancgrape ) }.
% 0.83/1.23 { ot____nom30_aux( sancerreregion ) }.
% 0.83/1.23 { ot____nom31_aux( meursaultregion ) }.
% 0.83/1.23 { ot____nom32_aux( rose ) }.
% 0.83/1.23 { ot____nom33_aux( gamaygrape ) }.
% 0.83/1.23 { ot____nom34_aux( cheninblancgrape ) }.
% 0.83/1.23 { ot____nom35_aux( delicate ) }.
% 0.83/1.23 { ot____nom35_aux( strong ) }.
% 0.83/1.23 { ot____nom35_aux( moderate ) }.
% 0.83/1.23 { ot____nom36_aux( stemilionregion ) }.
% 0.83/1.23 { ot____nom37_aux( rieslinggrape ) }.
% 0.83/1.23 { ot____nom38_aux( usregion ) }.
% 0.83/1.23 { ot____nom39_aux( pinotnoirgrape ) }.
% 0.83/1.23 { ot____nom4_aux( toursregion ) }.
% 0.83/1.23 { ot____nom40_aux( light ) }.
% 0.83/1.23 { ot____nom40_aux( full ) }.
% 0.83/1.23 { ot____nom40_aux( medium ) }.
% 0.83/1.23 { ot____nom41_aux( frenchregion ) }.
% 0.83/1.23 { ot____nom42_aux( cotesdorregion ) }.
% 0.83/1.23 { ot____nom43_aux( merlotgrape ) }.
% 0.83/1.23 { ot____nom44_aux( bourgogneregion ) }.
% 0.83/1.23 { ot____nom45_aux( full ) }.
% 0.83/1.23 { ot____nom46_aux( pauillacregion ) }.
% 0.83/1.23 { ot____nom47_aux( italianregion ) }.
% 0.83/1.23 { ot____nom48_aux( moderate ) }.
% 0.83/1.23 { ot____nom49_aux( medium ) }.
% 0.83/1.23 { ot____nom5_aux( white ) }.
% 0.83/1.23 { ot____nom50_aux( strong ) }.
% 0.83/1.23 { ot____nom50_aux( moderate ) }.
% 0.83/1.23 { ot____nom51_aux( full ) }.
% 0.83/1.23 { ot____nom51_aux( medium ) }.
% 0.83/1.23 { ot____nom52_aux( sauterneregion ) }.
% 0.83/1.23 { ot____nom53_aux( sweet ) }.
% 0.83/1.23 { ot____nom53_aux( offdry ) }.
% 0.83/1.23 { ot____nom54_aux( offdry ) }.
% 0.83/1.23 { ot____nom55_aux( delicate ) }.
% 0.83/1.23 { ot____nom56_aux( light ) }.
% 0.83/1.23 { ot____nom57_aux( portugalregion ) }.
% 0.83/1.23 { ot____nom58_aux( strong ) }.
% 0.83/1.23 { ot____nom59_aux( light ) }.
% 0.83/1.23 { ot____nom59_aux( medium ) }.
% 0.83/1.23 { ot____nom6_aux( semillongrape ) }.
% 0.83/1.23 { ot____nom6_aux( sauvignonblancgrape ) }.
% 0.83/1.23 { ot____nom60_aux( sangiovesegrape ) }.
% 0.83/1.23 { ot____nom61_aux( chiantiregion ) }.
% 0.83/1.23 { ot____nom62_aux( cabernetsauvignongrape ) }.
% 0.83/1.23 { ot____nom62_aux( merlotgrape ) }.
% 0.83/1.23 { ot____nom63_aux( pinotblancgrape ) }.
% 0.83/1.23 { ot____nom63_aux( sauvignonblancgrape ) }.
% 0.83/1.23 { ot____nom63_aux( cheninblancgrape ) }.
% 0.83/1.23 { ot____nom64_aux( delicate ) }.
% 0.83/1.23 { ot____nom64_aux( moderate ) }.
% 0.83/1.23 { ot____nom7_aux( dry ) }.
% 0.83/1.23 { ot____nom7_aux( offdry ) }.
% 0.83/1.23 { ot____nom8_aux( cabernetfrancgrape ) }.
% 0.83/1.23 { ot____nom8_aux( petiteverdotgrape ) }.
% 0.83/1.23 { ot____nom8_aux( cabernetsauvignongrape ) }.
% 0.83/1.23 { ot____nom8_aux( malbecgrape ) }.
% 0.83/1.23 { ot____nom8_aux( merlotgrape ) }.
% 0.83/1.23 { ot____nom9_aux( white ) }.
% 0.83/1.23 { ot____nom9_aux( rose ) }.
% 0.83/1.23 { ot____nom9_aux( red ) }.
% 0.83/1.23 { wineflavor_aux( delicate ) }.
% 0.83/1.23 { wineflavor_aux( strong ) }.
% 0.83/1.23 { wineflavor_aux( moderate ) }.
% 0.83/1.23 { winegrape_aux( petitesyrahgrape ) }.
% 0.83/1.23 { winegrape_aux( zinfandelgrape ) }.
% 0.83/1.23 { winegrape_aux( sangiovesegrape ) }.
% 0.83/1.23 { winegrape_aux( cabernetfrancgrape ) }.
% 0.83/1.23 { winegrape_aux( semillongrape ) }.
% 0.83/1.23 { winegrape_aux( rieslinggrape ) }.
% 0.83/1.23 { winegrape_aux( pinotblancgrape ) }.
% 0.83/1.23 { winegrape_aux( gamaygrape ) }.
% 0.83/1.23 { winegrape_aux( petiteverdotgrape ) }.
% 0.83/1.23 { winegrape_aux( chardonnaygrape ) }.
% 0.83/1.23 { winegrape_aux( pinotnoirgrape ) }.
% 0.83/1.23 { winegrape_aux( cabernetsauvignongrape ) }.
% 0.83/1.23 { winegrape_aux( sauvignonblancgrape ) }.
% 0.83/1.23 { winegrape_aux( cheninblancgrape ) }.
% 0.83/1.23 { winegrape_aux( malbecgrape ) }.
% 0.83/1.23 { winegrape_aux( merlotgrape ) }.
% 0.83/1.23 { winesugar_aux( sweet ) }.
% 0.83/1.23 { winesugar_aux( dry ) }.
% 0.83/1.23 { winesugar_aux( offdry ) }.
% 0.83/1.23 { winery_aux( seanthackrey ) }.
% 0.83/1.23 { winery_aux( marietta ) }.
% 0.83/1.23 { winery_aux( petermccoy ) }.
% 0.83/1.23 { winery_aux( danjou ) }.
% 0.83/1.23 { winery_aux( stonleigh ) }.
% 0.83/1.23 { winery_aux( schlossvolrad ) }.
% 0.83/1.23 { winery_aux( selaks ) }.
% 0.83/1.23 { winery_aux( cortonmontrachet ) }.
% 0.83/1.23 { winery_aux( forman ) }.
% 0.83/1.23 { winery_aux( chateaulafiterothschild ) }.
% 0.83/1.23 { winery_aux( elyse ) }.
% 0.83/1.23 { winery_aux( garyfarrell ) }.
% 0.83/1.23 { winery_aux( closdelapoussie ) }.
% 0.83/1.23 { winery_aux( santacruzmountainvineyard ) }.
% 0.83/1.23 { winery_aux( closdevougeot ) }.
% 0.83/1.23 { winery_aux( ventana ) }.
% 0.83/1.23 { winery_aux( schlossrothermel ) }.
% 0.83/1.23 { winery_aux( longridge ) }.
% 0.83/1.23 { winery_aux( mcguinnesso ) }.
% 0.83/1.23 { winery_aux( beringer ) }.
% 0.83/1.23 { winery_aux( sevreetmaine ) }.
% 0.83/1.23 { winery_aux( bancroft ) }.
% 0.83/1.23 { winery_aux( whitehalllane ) }.
% 0.83/1.23 { winery_aux( lanetanner ) }.
% 0.83/1.23 { winery_aux( saucelitocanyon ) }.
% 0.83/1.23 { winery_aux( mountedenvineyard ) }.
% 0.83/1.23 { winery_aux( taylor ) }.
% 0.83/1.23 { winery_aux( stgenevieve ) }.
% 0.83/1.23 { winery_aux( corbans ) }.
% 0.83/1.23 { winery_aux( kalincellars ) }.
% 0.83/1.23 { winery_aux( chateaudychem ) }.
% 0.83/1.23 { winery_aux( kathrynkennedy ) }.
% 0.83/1.23 { winery_aux( cotturi ) }.
% 0.83/1.23 { winery_aux( chateaumargauxwinery ) }.
% 0.83/1.23 { winery_aux( congresssprings ) }.
% 0.83/1.23 { winery_aux( chateaudemeursault ) }.
% 0.83/1.23 { winery_aux( chateauchevalblanc ) }.
% 0.83/1.23 { winery_aux( mountadam ) }.
% 0.83/1.23 { winery_aux( chateaumorgon ) }.
% 0.83/1.23 { winery_aux( pagemillwinery ) }.
% 0.83/1.23 { winery_aux( handley ) }.
% 0.83/1.23 { winery_aux( pulignymontrachet ) }.
% 0.83/1.23 { winery_aux( foxen ) }.
% 0.83/1.23 { zinfandel_aux( elysezinfandel ) }.
% 0.83/1.23 { zinfandel_aux( cotturizinfandel ) }.
% 0.83/1.23 { zinfandel_aux( saucelitocanyonzinfandel1998 ) }.
% 0.83/1.23 { zinfandel_aux( mariettazinfandel ) }.
% 0.83/1.23 { zinfandel_aux( saucelitocanyonzinfandel ) }.
% 0.83/1.23 { winebody_aux( light ) }.
% 0.83/1.23 { winebody_aux( full ) }.
% 0.83/1.23 { winebody_aux( medium ) }.
% 0.83/1.23 { winecolor_aux( white ) }.
% 0.83/1.23 { winecolor_aux( rose ) }.
% 0.83/1.23 { winecolor_aux( red ) }.
% 0.83/1.23 { whiteburgundy_aux( pulignymontrachetwhiteburgundy ) }.
% 0.83/1.23 { whiteburgundy_aux( cortonmontrachetwhiteburgundy ) }.
% 0.83/1.23 { whitewine_aux( stgenevievetexaswhite ) }.
% 0.83/1.23 { muscadet_aux( sevreetmainemuscadet ) }.
% 0.83/1.23 { meursault_aux( chateaudemeursaultmeursault ) }.
% 0.83/1.23 { meritage_aux( kathrynkennedylateral ) }.
% 0.83/1.23 { margaux_aux( chateaumargaux ) }.
% 0.83/1.23 { icewine_aux( selaksicewine ) }.
% 0.83/1.23 { dryriesling_aux( mountadamriesling ) }.
% 0.83/1.23 { dessertwine_aux( whitehalllaneprimavera ) }.
% 0.83/1.23 { cabernetsauvignon_aux( mariettacabernetsauvignon ) }.
% 0.83/1.23 { cabernetsauvignon_aux( pagemillwinerycabernetsauvignon ) }.
% 0.83/1.23 { cabernetsauvignon_aux( santacruzmountainvineyardcabernetsauvignon ) }.
% 0.83/1.23 { cabernetsauvignon_aux( formancabernetsauvignon ) }.
% 0.83/1.23 { cabernetfranc_aux( whitehalllanecabernetfranc ) }.
% 0.83/1.23 { beaujolais_aux( chateaumorgonbeaujolais ) }.
% 0.83/1.23 { anjou_aux( rosedanjou ) }.
% 0.83/1.23 { chardonnay_aux( formanchardonnay ) }.
% 0.83/1.23 { chardonnay_aux( petermccoychardonnay ) }.
% 0.83/1.23 { chardonnay_aux( bancroftchardonnay ) }.
% 0.83/1.23 { chardonnay_aux( mountadamchardonnay ) }.
% 0.83/1.23 { chardonnay_aux( mountedenvineyardednavalleychardonnay ) }.
% 0.83/1.23 { cheninblanc_aux( foxencheninblanc ) }.
% 0.83/1.23 { cheninblanc_aux( ventanacheninblanc ) }.
% 0.83/1.23 { chianti_aux( chianticlassico ) }.
% 0.83/1.23 { cotesdor_aux( closdevougeotcotesdor ) }.
% 0.83/1.23 { merlot_aux( garyfarrellmerlot ) }.
% 0.83/1.23 { merlot_aux( longridgemerlot ) }.
% 0.83/1.23 { pauillac_aux( chateaulafiterothschildpauillac ) }.
% 0.83/1.23 { petitesyrah_aux( mariettapetitesyrah ) }.
% 0.83/1.23 { petitesyrah_aux( seanthackreysiriuspetitesyrah ) }.
% 0.83/1.23 { pinotnoir_aux( mountadampinotnoir ) }.
% 0.83/1.23 { pinotnoir_aux( lanetannerpinotnoir ) }.
% 0.83/1.23 { pinotnoir_aux( mountedenvineyardestatepinotnoir ) }.
% 0.83/1.23 { port_aux( taylorport ) }.
% 0.83/1.23 { redtablewine_aux( mariettaoldvinesred ) }.
% 0.83/1.23 { region_aux( californiaregion ) }.
% 0.83/1.23 { region_aux( sancerreregion ) }.
% 0.83/1.23 { region_aux( loireregion ) }.
% 0.83/1.23 { region_aux( usregion ) }.
% 0.83/1.23 { region_aux( naparegion ) }.
% 0.83/1.23 { region_aux( newzealandregion ) }.
% 0.83/1.23 { region_aux( chiantiregion ) }.
% 0.83/1.23 { region_aux( sauterneregion ) }.
% 0.83/1.23 { region_aux( germanyregion ) }.
% 0.83/1.23 { region_aux( pauillacregion ) }.
% 0.83/1.23 { region_aux( centraltexasregion ) }.
% 0.83/1.23 { region_aux( bordeauxregion ) }.
% 0.83/1.23 { region_aux( portugalregion ) }.
% 0.83/1.23 { region_aux( anjouregion ) }.
% 0.83/1.23 { region_aux( centralcoastregion ) }.
% 0.83/1.23 { region_aux( sonomaregion ) }.
% 0.83/1.23 { region_aux( santabarbararegion ) }.
% 0.83/1.23 { region_aux( medocregion ) }.
% 0.83/1.23 { region_aux( australianregion ) }.
% 0.83/1.23 { region_aux( southaustraliaregion ) }.
% 0.83/1.23 { region_aux( mendocinoregion ) }.
% 0.83/1.23 { region_aux( santacruzmountainsregion ) }.
% 0.83/1.23 { region_aux( italianregion ) }.
% 0.83/1.23 { region_aux( margauxregion ) }.
% 0.83/1.23 { region_aux( texasregion ) }.
% 0.83/1.23 { region_aux( muscadetregion ) }.
% 0.83/1.23 { region_aux( alsaceregion ) }.
% 0.83/1.23 { region_aux( stemilionregion ) }.
% 0.83/1.23 { region_aux( bourgogneregion ) }.
% 0.83/1.23 { region_aux( toursregion ) }.
% 0.83/1.23 { region_aux( frenchregion ) }.
% 0.83/1.23 { region_aux( cotesdorregion ) }.
% 0.83/1.23 { region_aux( beaujolaisregion ) }.
% 0.83/1.23 { region_aux( meursaultregion ) }.
% 0.83/1.23 { region_aux( ednavalleyregion ) }.
% 0.83/1.23 { region_aux( arroyogranderegion ) }.
% 0.83/1.23 { riesling_aux( corbansdrywhiteriesling ) }.
% 0.83/1.23 { sancerre_aux( closdelapoussiesancerre ) }.
% 0.83/1.23 { sauternes_aux( chateaudychemsauterne ) }.
% 0.83/1.23 { sauvignonblanc_aux( corbansprivatebinsauvignonblanc ) }.
% 0.83/1.23 { sauvignonblanc_aux( corbanssauvignonblanc ) }.
% 0.83/1.23 { sauvignonblanc_aux( stonleighsauvignonblanc ) }.
% 0.83/1.23 { sauvignonblanc_aux( selakssauvignonblanc ) }.
% 0.83/1.23 { semillon_aux( congressspringssemillon ) }.
% 0.83/1.23 { semillon_aux( kalincellarssemillon ) }.
% 0.83/1.23 { stemilion_aux( chateauchevalblancstemilion ) }.
% 0.83/1.23 { sweetriesling_aux( schlossrothermeltrochenbierenausleseriesling ) }.
% 0.83/1.23 { sweetriesling_aux( schlossvolradtrochenbierenausleseriesling ) }.
% 0.83/1.23 { kaon2namedobjects( chateaudemeursault ) }.
% 0.83/1.23 { kaon2namedobjects( seanthackrey ) }.
% 0.83/1.23 { kaon2namedobjects( formancabernetsauvignon ) }.
% 0.83/1.23 { kaon2namedobjects( texasregion ) }.
% 0.83/1.23 { kaon2namedobjects( sonomaregion ) }.
% 0.83/1.23 { kaon2namedobjects( corbansdrywhiteriesling ) }.
% 0.83/1.23 { kaon2namedobjects( cheninblancgrape ) }.
% 0.83/1.23 { kaon2namedobjects( delicate ) }.
% 0.83/1.23 { kaon2namedobjects( petermccoy ) }.
% 0.83/1.23 { kaon2namedobjects( forman ) }.
% 0.83/1.23 { kaon2namedobjects( taylorport ) }.
% 0.83/1.23 { kaon2namedobjects( pagemillwinerycabernetsauvignon ) }.
% 0.83/1.23 { kaon2namedobjects( chateauchevalblancstemilion ) }.
% 0.83/1.23 { kaon2namedobjects( foxencheninblanc ) }.
% 0.83/1.23 { kaon2namedobjects( santacruzmountainvineyardcabernetsauvignon ) }.
% 0.83/1.23 { kaon2namedobjects( selaksicewine ) }.
% 0.83/1.23 { kaon2namedobjects( chardonnaygrape ) }.
% 0.83/1.23 { kaon2namedobjects( sauvignonblancgrape ) }.
% 0.83/1.23 { kaon2namedobjects( cabernetsauvignongrape ) }.
% 0.83/1.23 { kaon2namedobjects( mountadampinotnoir ) }.
% 0.83/1.23 { kaon2namedobjects( pinotblancgrape ) }.
% 0.83/1.23 { kaon2namedobjects( year1998 ) }.
% 0.83/1.23 { kaon2namedobjects( cotturizinfandel ) }.
% 0.83/1.23 { kaon2namedobjects( whitehalllaneprimavera ) }.
% 0.83/1.23 { kaon2namedobjects( longridge ) }.
% 0.83/1.23 { kaon2namedobjects( bancroft ) }.
% 0.83/1.23 { kaon2namedobjects( mountedenvineyardednavalleychardonnay ) }.
% 0.83/1.23 { kaon2namedobjects( moderate ) }.
% 0.83/1.23 { kaon2namedobjects( alsaceregion ) }.
% 0.83/1.23 { kaon2namedobjects( saucelitocanyonzinfandel1998 ) }.
% 0.83/1.23 { kaon2namedobjects( corbanssauvignonblanc ) }.
% 0.83/1.23 { kaon2namedobjects( full ) }.
% 0.83/1.23 { kaon2namedobjects( taylor ) }.
% 0.83/1.23 { kaon2namedobjects( malbecgrape ) }.
% 0.83/1.23 { kaon2namedobjects( closdevougeot ) }.
% 0.83/1.23 { kaon2namedobjects( corbans ) }.
% 0.83/1.23 { kaon2namedobjects( stonleighsauvignonblanc ) }.
% 0.83/1.23 { kaon2namedobjects( loireregion ) }.
% 0.83/1.23 { kaon2namedobjects( corbansprivatebinsauvignonblanc ) }.
% 0.83/1.23 { kaon2namedobjects( cortonmontrachet ) }.
% 0.83/1.23 { kaon2namedobjects( chateaudychem ) }.
% 0.83/1.23 { kaon2namedobjects( australianregion ) }.
% 0.83/1.23 { kaon2namedobjects( beringer ) }.
% 0.83/1.23 { kaon2namedobjects( formanchardonnay ) }.
% 0.83/1.23 { kaon2namedobjects( chateaudemeursaultmeursault ) }.
% 0.83/1.23 { kaon2namedobjects( merlotgrape ) }.
% 0.83/1.23 { kaon2namedobjects( garyfarrellmerlot ) }.
% 0.83/1.23 { kaon2namedobjects( santacruzmountainvineyard ) }.
% 0.83/1.23 { kaon2namedobjects( portugalregion ) }.
% 0.83/1.23 { kaon2namedobjects( margauxregion ) }.
% 0.83/1.23 { kaon2namedobjects( frenchregion ) }.
% 0.83/1.23 { kaon2namedobjects( strong ) }.
% 0.83/1.23 { kaon2namedobjects( schlossvolradtrochenbierenausleseriesling ) }.
% 0.83/1.23 { kaon2namedobjects( cabernetfrancgrape ) }.
% 0.83/1.23 { kaon2namedobjects( medium ) }.
% 0.83/1.23 { kaon2namedobjects( medocregion ) }.
% 0.83/1.23 { kaon2namedobjects( sangiovesegrape ) }.
% 0.83/1.23 { kaon2namedobjects( toursregion ) }.
% 0.83/1.23 { kaon2namedobjects( chateaumargauxwinery ) }.
% 0.83/1.23 { kaon2namedobjects( closdelapoussiesancerre ) }.
% 0.83/1.23 { kaon2namedobjects( ednavalleyregion ) }.
% 0.83/1.23 { kaon2namedobjects( schlossvolrad ) }.
% 0.83/1.23 { kaon2namedobjects( marietta ) }.
% 0.83/1.23 { kaon2namedobjects( sweet ) }.
% 0.83/1.23 { kaon2namedobjects( arroyogranderegion ) }.
% 0.83/1.23 { kaon2namedobjects( elyse ) }.
% 0.83/1.23 { kaon2namedobjects( whitehalllanecabernetfranc ) }.
% 0.83/1.23 { kaon2namedobjects( anjouregion ) }.
% 0.83/1.23 { kaon2namedobjects( beaujolaisregion ) }.
% 0.83/1.23 { kaon2namedobjects( petermccoychardonnay ) }.
% 0.83/1.23 { kaon2namedobjects( pagemillwinery ) }.
% 0.83/1.23 { kaon2namedobjects( stgenevievetexaswhite ) }.
% 0.83/1.23 { kaon2namedobjects( congresssprings ) }.
% 0.83/1.23 { kaon2namedobjects( germanyregion ) }.
% 0.83/1.23 { kaon2namedobjects( muscadetregion ) }.
% 0.83/1.23 { kaon2namedobjects( garyfarrell ) }.
% 0.83/1.23 { kaon2namedobjects( light ) }.
% 0.83/1.23 { kaon2namedobjects( rieslinggrape ) }.
% 0.83/1.23 { kaon2namedobjects( pauillacregion ) }.
% 0.83/1.23 { kaon2namedobjects( santabarbararegion ) }.
% 0.83/1.23 { kaon2namedobjects( lanetanner ) }.
% 0.83/1.23 { kaon2namedobjects( mcguinnesso ) }.
% 0.83/1.23 { kaon2namedobjects( mendocinoregion ) }.
% 0.83/1.23 { kaon2namedobjects( chateaumorgonbeaujolais ) }.
% 0.83/1.23 { kaon2namedobjects( santacruzmountainsregion ) }.
% 0.83/1.23 { kaon2namedobjects( californiaregion ) }.
% 0.83/1.23 { kaon2namedobjects( sancerreregion ) }.
% 0.83/1.23 { kaon2namedobjects( selakssauvignonblanc ) }.
% 0.83/1.23 { kaon2namedobjects( chateaulafiterothschildpauillac ) }.
% 0.83/1.23 { kaon2namedobjects( cortonmontrachetwhiteburgundy ) }.
% 0.83/1.23 { kaon2namedobjects( lanetannerpinotnoir ) }.
% 0.83/1.23 { kaon2namedobjects( ventana ) }.
% 0.83/1.23 { kaon2namedobjects( cotturi ) }.
% 0.83/1.23 { kaon2namedobjects( mariettaoldvinesred ) }.
% 0.83/1.23 { kaon2namedobjects( rosedanjou ) }.
% 0.83/1.23 { kaon2namedobjects( chateaulafiterothschild ) }.
% 0.83/1.23 { kaon2namedobjects( chateaumorgon ) }.
% 0.83/1.23 { kaon2namedobjects( saucelitocanyon ) }.
% 0.83/1.23 { kaon2namedobjects( ventanacheninblanc ) }.
% 0.83/1.23 { kaon2namedobjects( chateauchevalblanc ) }.
% 0.83/1.23 { kaon2namedobjects( mountadamriesling ) }.
% 0.83/1.23 { kaon2namedobjects( mariettacabernetsauvignon ) }.
% 0.83/1.23 { kaon2namedobjects( sevreetmaine ) }.
% 0.83/1.23 { kaon2namedobjects( saucelitocanyonzinfandel ) }.
% 0.83/1.23 { kaon2namedobjects( seanthackreysiriuspetitesyrah ) }.
% 0.83/1.23 { kaon2namedobjects( stonleigh ) }.
% 0.83/1.23 { kaon2namedobjects( schlossrothermeltrochenbierenausleseriesling ) }.
% 0.83/1.23 { kaon2namedobjects( mariettazinfandel ) }.
% 0.83/1.23 { kaon2namedobjects( kathrynkennedylateral ) }.
% 0.83/1.23 { kaon2namedobjects( mountadamchardonnay ) }.
% 0.83/1.23 { kaon2namedobjects( foxen ) }.
% 0.83/1.23 { kaon2namedobjects( stgenevieve ) }.
% 0.83/1.23 { kaon2namedobjects( offdry ) }.
% 0.83/1.23 { kaon2namedobjects( whitehalllane ) }.
% 0.83/1.23 { kaon2namedobjects( chianticlassico ) }.
% 0.83/1.23 { kaon2namedobjects( pulignymontrachet ) }.
% 0.83/1.23 { kaon2namedobjects( meursaultregion ) }.
% 0.83/1.23 { kaon2namedobjects( mountedenvineyardestatepinotnoir ) }.
% 0.83/1.23 { kaon2namedobjects( kalincellars ) }.
% 0.83/1.23 { kaon2namedobjects( petiteverdotgrape ) }.
% 0.83/1.23 { kaon2namedobjects( chateaumargaux ) }.
% 0.83/1.23 { kaon2namedobjects( kathrynkennedy ) }.
% 0.83/1.23 { kaon2namedobjects( sauterneregion ) }.
% 0.83/1.23 { kaon2namedobjects( bordeauxregion ) }.
% 0.83/1.23 { kaon2namedobjects( white ) }.
% 0.83/1.23 { kaon2namedobjects( mariettapetitesyrah ) }.
% 0.83/1.23 { kaon2namedobjects( handley ) }.
% 0.83/1.23 { kaon2namedobjects( naparegion ) }.
% 0.83/1.23 { kaon2namedobjects( chiantiregion ) }.
% 0.83/1.23 { kaon2namedobjects( chateaudychemsauterne ) }.
% 0.83/1.23 { kaon2namedobjects( elysezinfandel ) }.
% 0.83/1.23 { kaon2namedobjects( pulignymontrachetwhiteburgundy ) }.
% 0.83/1.23 { kaon2namedobjects( kalincellarssemillon ) }.
% 0.83/1.23 { kaon2namedobjects( closdevougeotcotesdor ) }.
% 0.83/1.23 { kaon2namedobjects( schlossrothermel ) }.
% 0.83/1.23 { kaon2namedobjects( bancroftchardonnay ) }.
% 0.83/1.23 { kaon2namedobjects( southaustraliaregion ) }.
% 0.83/1.23 { kaon2namedobjects( semillongrape ) }.
% 0.83/1.23 { kaon2namedobjects( danjou ) }.
% 0.83/1.23 { kaon2namedobjects( gamaygrape ) }.
% 0.83/1.23 { kaon2namedobjects( zinfandelgrape ) }.
% 0.83/1.23 { kaon2namedobjects( longridgemerlot ) }.
% 0.83/1.23 { kaon2namedobjects( mountedenvineyard ) }.
% 0.83/1.23 { kaon2namedobjects( bourgogneregion ) }.
% 0.83/1.23 { kaon2namedobjects( usregion ) }.
% 0.83/1.23 { kaon2namedobjects( centraltexasregion ) }.
% 0.83/1.23 { kaon2namedobjects( congressspringssemillon ) }.
% 0.83/1.23 { kaon2namedobjects( selaks ) }.
% 0.83/1.23 { kaon2namedobjects( dry ) }.
% 0.83/1.23 { kaon2namedobjects( newzealandregion ) }.
% 0.83/1.23 { kaon2namedobjects( red ) }.
% 0.83/1.23 { kaon2namedobjects( closdelapoussie ) }.
% 0.83/1.23 { kaon2namedobjects( cotesdorregion ) }.
% 0.83/1.23 { kaon2namedobjects( rose ) }.
% 0.83/1.23 { kaon2namedobjects( mountadam ) }.
% 0.83/1.23 { kaon2namedobjects( sevreetmainemuscadet ) }.
% 0.83/1.23 { kaon2namedobjects( pinotnoirgrape ) }.
% 0.83/1.23 { kaon2namedobjects( stemilionregion ) }.
% 0.83/1.23 { kaon2namedobjects( italianregion ) }.
% 0.83/1.23 { kaon2namedobjects( centralcoastregion ) }.
% 0.83/1.23 { kaon2namedobjects( petitesyrahgrape ) }.
% 0.83/1.23 { vintageyear_aux( year1998 ) }.
% 0.83/1.23 { hasvintageyear_aux( saucelitocanyonzinfandel1998, year1998 ) }.
% 0.83/1.23 { ! madefromgrape_aux( X, Y ), madefromgrape( X, Y ) }.
% 0.83/1.23 { ! locatedin_aux( X, Y ), locatedin( X, Y ) }.
% 0.83/1.23 { ! hassugar_aux( X, Y ), hassugar( X, Y ) }.
% 0.83/1.23 { ! hasmaker_aux( X, Y ), hasmaker( X, Y ) }.
% 0.83/1.23 { ! hasflavor_aux( X, Y ), hasflavor( X, Y ) }.
% 0.83/1.23 { ! hascolor_aux( X, Y ), hascolor( X, Y ) }.
% 0.83/1.23 { ! hasbody_aux( X, Y ), hasbody( X, Y ) }.
% 0.83/1.23 { ! adjacentregion_aux( X, Y ), adjacentregion( X, Y ) }.
% 0.83/1.23 { ! hasvintageyear_aux( X, Y ), hasvintageyear( X, Y ) }.
% 0.83/1.23 { ! ot____nom1_aux( X ), ot____nom1( X ) }.
% 0.83/1.23 { ! ot____nom10_aux( X ), ot____nom10( X ) }.
% 0.83/1.23 { ! ot____nom11_aux( X ), ot____nom11( X ) }.
% 0.83/1.23 { ! ot____nom12_aux( X ), ot____nom12( X ) }.
% 0.83/1.23 { ! ot____nom13_aux( X ), ot____nom13( X ) }.
% 0.83/1.23 { ! ot____nom14_aux( X ), ot____nom14( X ) }.
% 0.83/1.23 { ! ot____nom15_aux( X ), ot____nom15( X ) }.
% 0.83/1.23 { ! ot____nom16_aux( X ), ot____nom16( X ) }.
% 0.83/1.23 { ! ot____nom17_aux( X ), ot____nom17( X ) }.
% 0.83/1.23 { ! ot____nom18_aux( X ), ot____nom18( X ) }.
% 0.83/1.23 { ! ot____nom19_aux( X ), ot____nom19( X ) }.
% 0.83/1.23 { ! ot____nom2_aux( X ), ot____nom2( X ) }.
% 0.83/1.23 { ! ot____nom20_aux( X ), ot____nom20( X ) }.
% 0.83/1.23 { ! ot____nom21_aux( X ), ot____nom21( X ) }.
% 0.83/1.23 { ! ot____nom22_aux( X ), ot____nom22( X ) }.
% 0.83/1.23 { ! ot____nom23_aux( X ), ot____nom23( X ) }.
% 0.83/1.23 { ! ot____nom24_aux( X ), ot____nom24( X ) }.
% 0.83/1.23 { ! ot____nom25_aux( X ), ot____nom25( X ) }.
% 0.83/1.23 { ! ot____nom26_aux( X ), ot____nom26( X ) }.
% 0.83/1.23 { ! ot____nom27_aux( X ), ot____nom27( X ) }.
% 0.83/1.23 { ! ot____nom28_aux( X ), ot____nom28( X ) }.
% 0.83/1.23 { ! ot____nom29_aux( X ), ot____nom29( X ) }.
% 0.83/1.23 { ! ot____nom3_aux( X ), ot____nom3( X ) }.
% 0.83/1.23 { ! ot____nom30_aux( X ), ot____nom30( X ) }.
% 0.83/1.23 { ! ot____nom31_aux( X ), ot____nom31( X ) }.
% 0.83/1.23 { ! ot____nom32_aux( X ), ot____nom32( X ) }.
% 0.83/1.23 { ! ot____nom33_aux( X ), ot____nom33( X ) }.
% 0.83/1.23 { ! ot____nom34_aux( X ), ot____nom34( X ) }.
% 0.83/1.23 { ! ot____nom35_aux( X ), ot____nom35( X ) }.
% 0.83/1.23 { ! ot____nom36_aux( X ), ot____nom36( X ) }.
% 0.83/1.23 { ! ot____nom37_aux( X ), ot____nom37( X ) }.
% 0.83/1.23 { ! ot____nom38_aux( X ), ot____nom38( X ) }.
% 0.83/1.23 { ! ot____nom39_aux( X ), ot____nom39( X ) }.
% 0.83/1.23 { ! ot____nom4_aux( X ), ot____nom4( X ) }.
% 0.83/1.23 { ! ot____nom40_aux( X ), ot____nom40( X ) }.
% 0.83/1.23 { ! ot____nom41_aux( X ), ot____nom41( X ) }.
% 0.83/1.23 { ! ot____nom42_aux( X ), ot____nom42( X ) }.
% 0.83/1.23 { ! ot____nom43_aux( X ), ot____nom43( X ) }.
% 0.83/1.23 { ! ot____nom44_aux( X ), ot____nom44( X ) }.
% 0.83/1.23 { ! ot____nom45_aux( X ), ot____nom45( X ) }.
% 0.83/1.23 { ! ot____nom46_aux( X ), ot____nom46( X ) }.
% 0.83/1.23 { ! ot____nom47_aux( X ), ot____nom47( X ) }.
% 0.83/1.23 { ! ot____nom48_aux( X ), ot____nom48( X ) }.
% 0.83/1.23 { ! ot____nom49_aux( X ), ot____nom49( X ) }.
% 0.83/1.23 { ! ot____nom5_aux( X ), ot____nom5( X ) }.
% 0.83/1.23 { ! ot____nom50_aux( X ), ot____nom50( X ) }.
% 0.83/1.23 { ! ot____nom51_aux( X ), ot____nom51( X ) }.
% 0.83/1.23 { ! ot____nom52_aux( X ), ot____nom52( X ) }.
% 0.83/1.23 { ! ot____nom53_aux( X ), ot____nom53( X ) }.
% 0.83/1.23 { ! ot____nom54_aux( X ), ot____nom54( X ) }.
% 0.83/1.23 { ! ot____nom55_aux( X ), ot____nom55( X ) }.
% 0.83/1.23 { ! ot____nom56_aux( X ), ot____nom56( X ) }.
% 0.83/1.23 { ! ot____nom57_aux( X ), ot____nom57( X ) }.
% 0.83/1.23 { ! ot____nom58_aux( X ), ot____nom58( X ) }.
% 0.83/1.23 { ! ot____nom59_aux( X ), ot____nom59( X ) }.
% 0.83/1.23 { ! ot____nom6_aux( X ), ot____nom6( X ) }.
% 0.83/1.23 { ! ot____nom60_aux( X ), ot____nom60( X ) }.
% 0.83/1.23 { ! ot____nom61_aux( X ), ot____nom61( X ) }.
% 0.83/1.23 { ! ot____nom62_aux( X ), ot____nom62( X ) }.
% 0.83/1.23 { ! ot____nom63_aux( X ), ot____nom63( X ) }.
% 0.83/1.23 { ! ot____nom64_aux( X ), ot____nom64( X ) }.
% 0.83/1.23 { ! ot____nom7_aux( X ), ot____nom7( X ) }.
% 0.83/1.23 { ! ot____nom8_aux( X ), ot____nom8( X ) }.
% 0.83/1.23 { ! ot____nom9_aux( X ), ot____nom9( X ) }.
% 0.83/1.23 { ! zinfandel_aux( X ), zinfandel( X ) }.
% 0.83/1.23 { ! winery_aux( X ), winery( X ) }.
% 0.83/1.23 { ! winegrape_aux( X ), winegrape( X ) }.
% 0.83/1.23 { ! winesugar_aux( X ), winesugar( X ) }.
% 0.83/1.23 { ! wineflavor_aux( X ), wineflavor( X ) }.
% 0.83/1.23 { ! anjou_aux( X ), anjou( X ) }.
% 0.83/1.23 { ! beaujolais_aux( X ), beaujolais( X ) }.
% 0.83/1.23 { ! cabernetfranc_aux( X ), cabernetfranc( X ) }.
% 0.83/1.23 { ! cabernetsauvignon_aux( X ), cabernetsauvignon( X ) }.
% 0.83/1.23 { ! chardonnay_aux( X ), chardonnay( X ) }.
% 0.83/1.23 { ! cheninblanc_aux( X ), cheninblanc( X ) }.
% 0.83/1.23 { ! chianti_aux( X ), chianti( X ) }.
% 0.83/1.23 { ! cotesdor_aux( X ), cotesdor( X ) }.
% 0.83/1.23 { ! dessertwine_aux( X ), dessertwine( X ) }.
% 0.83/1.23 { ! dryriesling_aux( X ), dryriesling( X ) }.
% 0.83/1.23 { ! icewine_aux( X ), icewine( X ) }.
% 0.83/1.23 { ! margaux_aux( X ), margaux( X ) }.
% 0.83/1.23 { ! meritage_aux( X ), meritage( X ) }.
% 0.83/1.23 { ! merlot_aux( X ), merlot( X ) }.
% 0.83/1.23 { ! meursault_aux( X ), meursault( X ) }.
% 0.83/1.23 { ! muscadet_aux( X ), muscadet( X ) }.
% 0.83/1.23 { ! pauillac_aux( X ), pauillac( X ) }.
% 0.83/1.23 { ! petitesyrah_aux( X ), petitesyrah( X ) }.
% 0.83/1.23 { ! pinotnoir_aux( X ), pinotnoir( X ) }.
% 0.83/1.23 { ! port_aux( X ), port( X ) }.
% 0.83/1.23 { ! redtablewine_aux( X ), redtablewine( X ) }.
% 0.83/1.23 { ! region_aux( X ), region( X ) }.
% 0.83/1.23 { ! riesling_aux( X ), riesling( X ) }.
% 0.83/1.23 { ! sancerre_aux( X ), sancerre( X ) }.
% 0.83/1.23 { ! sauternes_aux( X ), sauternes( X ) }.
% 0.83/1.23 { ! sauvignonblanc_aux( X ), sauvignonblanc( X ) }.
% 0.83/1.23 { ! semillon_aux( X ), semillon( X ) }.
% 0.83/1.23 { ! stemilion_aux( X ), stemilion( X ) }.
% 0.83/1.23 { ! sweetriesling_aux( X ), sweetriesling( X ) }.
% 0.83/1.23 { ! vintageyear_aux( X ), vintageyear( X ) }.
% 0.83/1.23 { ! whiteburgundy_aux( X ), whiteburgundy( X ) }.
% 0.83/1.23 { ! whitewine_aux( X ), whitewine( X ) }.
% 0.83/1.23 { ! winebody_aux( X ), winebody( X ) }.
% 0.83/1.23 { ! winecolor_aux( X ), winecolor( X ) }.
% 0.83/1.23 { ! meritage( X ), q0( X ) }.
% 0.83/1.23 { ! merlot( X ), q0( X ) }.
% 0.83/1.23 { ! pinotnoir( X ), q0( X ) }.
% 0.83/1.23 { ! beaujolais( X ), q0( X ) }.
% 0.83/1.23 { ! cabernetfranc( X ), q0( X ) }.
% 0.83/1.23 { ! zinfandel( X ), q0( X ) }.
% 0.83/1.23 { ! medoc( X ), q0( X ) }.
% 0.83/1.23 { ! cabernetsauvignon( X ), q0( X ) }.
% 0.83/1.23 { ! redtablewine( X ), q0( X ) }.
% 0.83/1.23 { ! petitesyrah( X ), q0( X ) }.
% 0.83/1.23 { ! redwine( X ), q0( X ) }.
% 0.83/1.23 { ! chianti( X ), q0( X ) }.
% 0.83/1.23 { ! stemilion( X ), q0( X ) }.
% 0.83/1.23 { ! q0( Y ), ! kaon2equal( X, Y ), q0( X ) }.
% 0.83/1.23 { ! bordeaux( X ), q1( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q2( Y ), q1( X ) }.
% 0.83/1.23 { ! q1( Y ), ! kaon2equal( X, Y ), q1( X ) }.
% 0.83/1.23 { ! q9( X ), q10( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom4( Y ), q10( X ) }.
% 0.83/1.23 { ! q10( Y ), ! kaon2equal( X, Y ), q10( X ) }.
% 0.83/1.23 { ! pauillac( X ), q11( X ) }.
% 0.83/1.23 { ! port( X ), q11( X ) }.
% 0.83/1.23 { ! stemilion( X ), q11( X ) }.
% 0.83/1.23 { ! q11( Y ), ! kaon2equal( X, Y ), q11( X ) }.
% 0.83/1.23 { ! icewine( X ), q12( X ) }.
% 0.83/1.23 { ! whitetablewine( X ), q12( X ) }.
% 0.83/1.23 { ! cheninblanc( X ), q12( X ) }.
% 0.83/1.23 { ! chardonnay( X ), q12( X ) }.
% 0.83/1.23 { ! pinotblanc( X ), q12( X ) }.
% 0.83/1.23 { ! whitewine( X ), q12( X ) }.
% 0.83/1.23 { ! dryriesling( X ), q12( X ) }.
% 0.83/1.23 { ! sauternes( X ), q12( X ) }.
% 0.83/1.23 { ! semillonorsauvignonblanc( X ), q12( X ) }.
% 0.83/1.23 { ! riesling( X ), q12( X ) }.
% 0.83/1.23 { ! q12( Y ), ! kaon2equal( X, Y ), q12( X ) }.
% 0.83/1.23 { ! margaux( X ), q13( X ) }.
% 0.83/1.23 { ! merlot( X ), q13( X ) }.
% 0.83/1.23 { ! q13( Y ), ! kaon2equal( X, Y ), q13( X ) }.
% 0.83/1.23 { ! gamay( X ), q14( X ) }.
% 0.83/1.23 { ! beaujolais( X ), q14( X ) }.
% 0.83/1.23 { ! q14( Y ), ! kaon2equal( X, Y ), q14( X ) }.
% 0.83/1.23 { ! anjou( X ), q15( X ) }.
% 0.83/1.23 { ! rosewine( X ), q15( X ) }.
% 0.83/1.23 { ! q15( Y ), ! kaon2equal( X, Y ), q15( X ) }.
% 0.83/1.23 { ! meursault( X ), q16( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q17( Y ), q16( X ) }.
% 0.83/1.23 { ! q16( Y ), ! kaon2equal( X, Y ), q16( X ) }.
% 0.83/1.23 { ! q16( X ), q17( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom31( Y ), q17( X ) }.
% 0.83/1.23 { ! q17( Y ), ! kaon2equal( X, Y ), q17( X ) }.
% 0.83/1.23 { ! margaux( X ), q18( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q19( Y ), q18( X ) }.
% 0.83/1.23 { ! q18( Y ), ! kaon2equal( X, Y ), q18( X ) }.
% 0.83/1.23 { ! q18( X ), q19( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom22( Y ), q19( X ) }.
% 0.83/1.23 { ! q19( Y ), ! kaon2equal( X, Y ), q19( X ) }.
% 0.83/1.23 { ! q1( X ), q2( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom23( Y ), q2( X ) }.
% 0.83/1.23 { ! q2( Y ), ! kaon2equal( X, Y ), q2( X ) }.
% 0.83/1.23 { ! sancerre( X ), q20( X ) }.
% 0.83/1.23 { ! muscadet( X ), q20( X ) }.
% 0.83/1.23 { ! beaujolais( X ), q20( X ) }.
% 0.83/1.23 { ! dryriesling( X ), q20( X ) }.
% 0.83/1.23 { ! anjou( X ), q20( X ) }.
% 0.83/1.23 { ! margaux( X ), q20( X ) }.
% 0.83/1.23 { ! q20( Y ), ! kaon2equal( X, Y ), q20( X ) }.
% 0.83/1.23 { ! q12( X ), q21( X ) }.
% 0.83/1.23 { ! hascolor( X, Y ), ! ot____nom5( Y ), q21( X ) }.
% 0.83/1.23 { ! q21( Y ), ! kaon2equal( X, Y ), q21( X ) }.
% 0.83/1.23 { ! beaujolais( X ), q22( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q23( Y ), q22( X ) }.
% 0.83/1.23 { ! q22( Y ), ! kaon2equal( X, Y ), q22( X ) }.
% 0.83/1.23 { ! q22( X ), q23( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom26( Y ), q23( X ) }.
% 0.83/1.23 { ! q23( Y ), ! kaon2equal( X, Y ), q23( X ) }.
% 0.83/1.23 { ! pinotblanc( X ), q24( X ) }.
% 0.83/1.23 { ! muscadet( X ), q24( X ) }.
% 0.83/1.23 { ! q24( Y ), ! kaon2equal( X, Y ), q24( X ) }.
% 0.83/1.23 { ! americanwine( X ), q26( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q27( Y ), q26( X ) }.
% 0.83/1.23 { ! q26( Y ), ! kaon2equal( X, Y ), q26( X ) }.
% 0.83/1.23 { ! q26( X ), q27( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom38( Y ), q27( X ) }.
% 0.83/1.23 { ! q27( Y ), ! kaon2equal( X, Y ), q27( X ) }.
% 0.83/1.23 { ! burgundy( X ), q29( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q30( Y ), q29( X ) }.
% 0.83/1.23 { ! q29( Y ), ! kaon2equal( X, Y ), q29( X ) }.
% 0.83/1.23 { ! margaux( X ), q3( X ) }.
% 0.83/1.23 { ! pauillac( X ), q3( X ) }.
% 0.83/1.23 { ! zinfandel( X ), q3( X ) }.
% 0.83/1.23 { ! chardonnay( X ), q3( X ) }.
% 0.83/1.23 { ! tours( X ), q3( X ) }.
% 0.83/1.23 { ! riesling( X ), q3( X ) }.
% 0.83/1.23 { ! semillon( X ), q3( X ) }.
% 0.83/1.23 { ! petitesyrah( X ), q3( X ) }.
% 0.83/1.23 { ! whiteburgundy( X ), q3( X ) }.
% 0.83/1.23 { ! cabernetsauvignon( X ), q3( X ) }.
% 0.83/1.23 { ! cheninblanc( X ), q3( X ) }.
% 0.83/1.23 { ! sauvignonblanc( X ), q3( X ) }.
% 0.83/1.23 { ! cabernetfranc( X ), q3( X ) }.
% 0.83/1.23 { ! beaujolais( X ), q3( X ) }.
% 0.83/1.23 { ! stemilion( X ), q3( X ) }.
% 0.83/1.23 { ! pinotnoir( X ), q3( X ) }.
% 0.83/1.23 { ! sancerre( X ), q3( X ) }.
% 0.83/1.23 { ! redburgundy( X ), q3( X ) }.
% 0.83/1.23 { ! muscadet( X ), q3( X ) }.
% 0.83/1.23 { ! merlot( X ), q3( X ) }.
% 0.83/1.23 { ! pinotblanc( X ), q3( X ) }.
% 0.83/1.23 { ! gamay( X ), q3( X ) }.
% 0.83/1.23 { ! q3( Y ), ! kaon2equal( X, Y ), q3( X ) }.
% 0.83/1.23 { ! ot____nom8( X ), ! wine( X ), ! kaon2namedobjects( X ), q3( X ) }.
% 0.83/1.23 { ! q29( X ), q30( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom44( Y ), q30( X ) }.
% 0.83/1.23 { ! q30( Y ), ! kaon2equal( X, Y ), q30( X ) }.
% 0.83/1.23 { ! chianti( X ), q31( X ) }.
% 0.83/1.23 { ! cabernetsauvignon( X ), q31( X ) }.
% 0.83/1.23 { ! medoc( X ), q31( X ) }.
% 0.83/1.23 { ! merlot( X ), q31( X ) }.
% 0.83/1.23 { ! muscadet( X ), q31( X ) }.
% 0.83/1.23 { ! tablewine( X ), q31( X ) }.
% 0.83/1.23 { ! drywine( X ), q31( X ) }.
% 0.83/1.23 { ! beaujolais( X ), q31( X ) }.
% 0.83/1.23 { ! zinfandel( X ), q31( X ) }.
% 0.83/1.23 { ! cabernetfranc( X ), q31( X ) }.
% 0.83/1.23 { ! burgundy( X ), q31( X ) }.
% 0.83/1.23 { ! dryriesling( X ), q31( X ) }.
% 0.83/1.23 { ! petitesyrah( X ), q31( X ) }.
% 0.83/1.23 { ! q31( Y ), ! kaon2equal( X, Y ), q31( X ) }.
% 0.83/1.23 { ! sancerre( X ), q32( X ) }.
% 0.83/1.23 { ! anjou( X ), q32( X ) }.
% 0.83/1.23 { ! q32( Y ), ! kaon2equal( X, Y ), q32( X ) }.
% 0.83/1.23 { ! medoc( X ), q33( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q34( Y ), q33( X ) }.
% 0.83/1.23 { ! q33( Y ), ! kaon2equal( X, Y ), q33( X ) }.
% 0.83/1.23 { ! q33( X ), q34( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom2( Y ), q34( X ) }.
% 0.83/1.23 { ! q34( Y ), ! kaon2equal( X, Y ), q34( X ) }.
% 0.83/1.23 { ! pauillac( X ), q35( X ) }.
% 0.83/1.23 { ! port( X ), q35( X ) }.
% 0.83/1.23 { ! sweetriesling( X ), q35( X ) }.
% 0.83/1.23 { ! meursault( X ), q35( X ) }.
% 0.83/1.23 { ! fullbodiedwine( X ), q35( X ) }.
% 0.83/1.23 { ! q35( Y ), ! kaon2equal( X, Y ), q35( X ) }.
% 0.83/1.23 { ! whitenonsweetwine( X ), q36( X ) }.
% 0.83/1.23 { ! earlyharvest( X ), q36( X ) }.
% 0.83/1.23 { ! cheninblanc( X ), q36( X ) }.
% 0.83/1.23 { ! q36( Y ), ! kaon2equal( X, Y ), q36( X ) }.
% 0.83/1.23 { ! cotesdor( X ), q37( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q38( Y ), q37( X ) }.
% 0.83/1.23 { ! q37( Y ), ! kaon2equal( X, Y ), q37( X ) }.
% 0.83/1.23 { ! q37( X ), q38( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom42( Y ), q38( X ) }.
% 0.83/1.23 { ! q38( Y ), ! kaon2equal( X, Y ), q38( X ) }.
% 0.83/1.23 { ! sancerre( X ), q39( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q40( Y ), q39( X ) }.
% 0.83/1.23 { ! q39( Y ), ! kaon2equal( X, Y ), q39( X ) }.
% 0.83/1.23 { ! cheninblanc( X ), q4( X ) }.
% 0.83/1.23 { ! chianti( X ), q4( X ) }.
% 0.83/1.23 { ! cabernetfranc( X ), q4( X ) }.
% 0.83/1.23 { ! cotesdor( X ), q4( X ) }.
% 0.83/1.23 { ! q4( Y ), ! kaon2equal( X, Y ), q4( X ) }.
% 0.83/1.23 { ! q39( X ), q40( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom30( Y ), q40( X ) }.
% 0.83/1.23 { ! q40( Y ), ! kaon2equal( X, Y ), q40( X ) }.
% 0.83/1.23 { ! q0( X ), q41( X ) }.
% 0.83/1.23 { ! hascolor( X, Y ), ! ot____nom28( Y ), q41( X ) }.
% 0.83/1.23 { ! q41( Y ), ! kaon2equal( X, Y ), q41( X ) }.
% 0.83/1.23 { ! pauillac( X ), q42( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q43( Y ), q42( X ) }.
% 0.83/1.23 { ! q42( Y ), ! kaon2equal( X, Y ), q42( X ) }.
% 0.83/1.23 { ! q42( X ), q43( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom46( Y ), q43( X ) }.
% 0.83/1.23 { ! q43( Y ), ! kaon2equal( X, Y ), q43( X ) }.
% 0.83/1.23 { ! sancerre( X ), q44( X ) }.
% 0.83/1.23 { ! sauvignonblanc( X ), q44( X ) }.
% 0.83/1.23 { ! q44( Y ), ! kaon2equal( X, Y ), q44( X ) }.
% 0.83/1.23 { ! beaujolais( X ), q45( X ) }.
% 0.83/1.23 { ! muscadet( X ), q45( X ) }.
% 0.83/1.23 { ! anjou( X ), q45( X ) }.
% 0.83/1.23 { ! q45( Y ), ! kaon2equal( X, Y ), q45( X ) }.
% 0.83/1.23 { ! q31( X ), q46( X ) }.
% 0.83/1.23 { ! hassugar( X, Y ), ! ot____nom12( Y ), q46( X ) }.
% 0.83/1.23 { ! q46( Y ), ! kaon2equal( X, Y ), q46( X ) }.
% 0.83/1.23 { ! californiawine( X ), q47( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q48( Y ), q47( X ) }.
% 0.83/1.23 { ! q47( Y ), ! kaon2equal( X, Y ), q47( X ) }.
% 0.83/1.23 { ! q47( X ), q48( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom15( Y ), q48( X ) }.
% 0.83/1.23 { ! q48( Y ), ! kaon2equal( X, Y ), q48( X ) }.
% 0.83/1.23 { ! germanwine( X ), q49( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q50( Y ), q49( X ) }.
% 0.83/1.23 { ! q49( Y ), ! kaon2equal( X, Y ), q49( X ) }.
% 0.83/1.23 { ! meritage( X ), q5( X ) }.
% 0.83/1.23 { ! q24( X ), q5( X ) }.
% 0.83/1.23 { ! q6( X ), q5( X ) }.
% 0.83/1.23 { ! q13( X ), q5( X ) }.
% 0.83/1.23 { ! q72( X ), q5( X ) }.
% 0.83/1.23 { ! q14( X ), q5( X ) }.
% 0.83/1.23 { ! q69( X ), q5( X ) }.
% 0.83/1.23 { ! q63( X ), q5( X ) }.
% 0.83/1.23 { ! q44( X ), ! semillonorsauvignonblanc( X ), q5( X ) }.
% 0.83/1.23 { ! q5( Y ), ! kaon2equal( X, Y ), q5( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom3( Y ), q5( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom43( Y ), q5( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom24( Y ), q5( X ) }.
% 0.83/1.23 { ! semillonorsauvignonblanc( X ), ! madefromgrape( X, Y ), ! ot____nom11(
% 0.83/1.23 Y ), q5( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom34( Y ), q5( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom37( Y ), q5( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom20( Y ), q5( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom33( Y ), q5( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom39( Y ), q5( X ) }.
% 0.83/1.23 { ! semillonorsauvignonblanc( X ), ! madefromgrape( X, Y ), ! ot____nom27(
% 0.83/1.23 Y ), q5( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom25( Y ), q5( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom21( Y ), q5( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom29( Y ), q5( X ) }.
% 0.83/1.23 { ! q49( X ), q50( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom17( Y ), q50( X ) }.
% 0.83/1.23 { ! q50( Y ), ! kaon2equal( X, Y ), q50( X ) }.
% 0.83/1.23 { ! frenchwine( X ), q51( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q52( Y ), q51( X ) }.
% 0.83/1.23 { ! q51( Y ), ! kaon2equal( X, Y ), q51( X ) }.
% 0.83/1.23 { ! q51( X ), q52( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom41( Y ), q52( X ) }.
% 0.83/1.23 { ! q52( Y ), ! kaon2equal( X, Y ), q52( X ) }.
% 0.83/1.23 { ! muscadet( X ), q55( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q56( Y ), q55( X ) }.
% 0.83/1.23 { ! q55( Y ), ! kaon2equal( X, Y ), q55( X ) }.
% 0.83/1.23 { ! q55( X ), q56( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom16( Y ), q56( X ) }.
% 0.83/1.23 { ! q56( Y ), ! kaon2equal( X, Y ), q56( X ) }.
% 0.83/1.23 { ! loire( X ), q57( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q58( Y ), q57( X ) }.
% 0.83/1.23 { ! q57( Y ), ! kaon2equal( X, Y ), q57( X ) }.
% 0.83/1.23 { ! q57( X ), q58( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom19( Y ), q58( X ) }.
% 0.83/1.23 { ! q58( Y ), ! kaon2equal( X, Y ), q58( X ) }.
% 0.83/1.23 { ! alsatianwine( X ), q59( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q60( Y ), q59( X ) }.
% 0.83/1.23 { ! q59( Y ), ! kaon2equal( X, Y ), q59( X ) }.
% 0.83/1.23 { ! cheninblanc( X ), q6( X ) }.
% 0.83/1.23 { ! tours( X ), q6( X ) }.
% 0.83/1.23 { ! q6( Y ), ! kaon2equal( X, Y ), q6( X ) }.
% 0.83/1.23 { ! q59( X ), q60( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom13( Y ), q60( X ) }.
% 0.83/1.23 { ! q60( Y ), ! kaon2equal( X, Y ), q60( X ) }.
% 0.83/1.23 { ! italianwine( X ), q61( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q62( Y ), q61( X ) }.
% 0.83/1.23 { ! q61( Y ), ! kaon2equal( X, Y ), q61( X ) }.
% 0.83/1.23 { ! q61( X ), q62( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom47( Y ), q62( X ) }.
% 0.83/1.23 { ! q62( Y ), ! kaon2equal( X, Y ), q62( X ) }.
% 0.83/1.23 { ! chardonnay( X ), q63( X ) }.
% 0.83/1.23 { ! whiteburgundy( X ), q63( X ) }.
% 0.83/1.23 { ! q63( Y ), ! kaon2equal( X, Y ), q63( X ) }.
% 0.83/1.23 { ! stemilion( X ), q64( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q65( Y ), q64( X ) }.
% 0.83/1.23 { ! q64( Y ), ! kaon2equal( X, Y ), q64( X ) }.
% 0.83/1.23 { ! q64( X ), q65( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom36( Y ), q65( X ) }.
% 0.83/1.23 { ! q65( Y ), ! kaon2equal( X, Y ), q65( X ) }.
% 0.83/1.23 { ! anjou( X ), q66( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q67( Y ), q66( X ) }.
% 0.83/1.23 { ! q66( Y ), ! kaon2equal( X, Y ), q66( X ) }.
% 0.83/1.23 { ! q66( X ), q67( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom14( Y ), q67( X ) }.
% 0.83/1.23 { ! q67( Y ), ! kaon2equal( X, Y ), q67( X ) }.
% 0.83/1.23 { ! whitebordeaux( X ), q68( X ) }.
% 0.83/1.23 { ! semillonorsauvignonblanc( X ), q68( X ) }.
% 0.83/1.23 { ! q68( Y ), ! kaon2equal( X, Y ), q68( X ) }.
% 0.83/1.23 { ! pauillac( X ), q69( X ) }.
% 0.83/1.23 { ! cabernetsauvignon( X ), q69( X ) }.
% 0.83/1.23 { ! stemilion( X ), q69( X ) }.
% 0.83/1.23 { ! q69( Y ), ! kaon2equal( X, Y ), q69( X ) }.
% 0.83/1.23 { ! cabernetfranc( X ), q7( X ) }.
% 0.83/1.23 { ! sauternes( X ), q7( X ) }.
% 0.83/1.23 { ! sancerre( X ), q7( X ) }.
% 0.83/1.23 { ! q7( Y ), ! kaon2equal( X, Y ), q7( X ) }.
% 0.83/1.23 { ! sweetriesling( X ), q70( X ) }.
% 0.83/1.23 { ! port( X ), q70( X ) }.
% 0.83/1.23 { ! sweetwine( X ), q70( X ) }.
% 0.83/1.23 { ! lateharvest( X ), q70( X ) }.
% 0.83/1.23 { ! q70( Y ), ! kaon2equal( X, Y ), q70( X ) }.
% 0.83/1.23 { ! q70( X ), q71( X ) }.
% 0.83/1.23 { ! hassugar( X, Y ), ! ot____nom1( Y ), q71( X ) }.
% 0.83/1.23 { ! q71( Y ), ! kaon2equal( X, Y ), q71( X ) }.
% 0.83/1.23 { ! pinotnoir( X ), q72( X ) }.
% 0.83/1.23 { ! redburgundy( X ), q72( X ) }.
% 0.83/1.23 { ! q72( Y ), ! kaon2equal( X, Y ), q72( X ) }.
% 0.83/1.23 { ! texaswine( X ), q73( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q74( Y ), q73( X ) }.
% 0.83/1.23 { ! q73( Y ), ! kaon2equal( X, Y ), q73( X ) }.
% 0.83/1.23 { ! q73( X ), q74( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! ot____nom10( Y ), q74( X ) }.
% 0.83/1.23 { ! q74( Y ), ! kaon2equal( X, Y ), q74( X ) }.
% 0.83/1.23 { ! tours( X ), q9( X ) }.
% 0.83/1.23 { ! locatedin( X, Y ), ! q10( Y ), q9( X ) }.
% 0.83/1.23 { ! q9( Y ), ! kaon2equal( X, Y ), q9( X ) }.
% 0.83/1.23 { ! q60( X ), ! wine( X ), alsatianwine( X ) }.
% 0.83/1.23 { ! alsatianwine( Y ), ! kaon2equal( X, Y ), alsatianwine( X ) }.
% 0.83/1.23 { ! q27( X ), ! wine( X ), americanwine( X ) }.
% 0.83/1.23 { ! americanwine( Y ), ! kaon2equal( X, Y ), americanwine( X ) }.
% 0.83/1.23 { ! q67( X ), ! loire( X ), anjou( X ) }.
% 0.83/1.23 { ! anjou( Y ), ! kaon2equal( X, Y ), anjou( X ) }.
% 0.83/1.23 { ! q23( X ), ! wine( X ), beaujolais( X ) }.
% 0.83/1.23 { ! beaujolais( Y ), ! kaon2equal( X, Y ), beaujolais( X ) }.
% 0.83/1.23 { ! sauternes( X ), bordeaux( X ) }.
% 0.83/1.23 { ! medoc( X ), bordeaux( X ) }.
% 0.83/1.23 { ! redbordeaux( X ), bordeaux( X ) }.
% 0.83/1.23 { ! stemilion( X ), bordeaux( X ) }.
% 0.83/1.23 { ! whitebordeaux( X ), bordeaux( X ) }.
% 0.83/1.23 { ! q2( X ), ! wine( X ), bordeaux( X ) }.
% 0.83/1.23 { ! bordeaux( Y ), ! kaon2equal( X, Y ), bordeaux( X ) }.
% 0.83/1.23 { ! whiteburgundy( X ), burgundy( X ) }.
% 0.83/1.23 { ! redburgundy( X ), burgundy( X ) }.
% 0.83/1.23 { ! q30( X ), ! wine( X ), burgundy( X ) }.
% 0.83/1.23 { ! burgundy( Y ), ! kaon2equal( X, Y ), burgundy( X ) }.
% 0.83/1.23 { ! cabernetfranc( Y ), ! kaon2equal( X, Y ), cabernetfranc( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom3( Y ), cabernetfranc( X
% 0.83/1.23 ) }.
% 0.83/1.23 { ! q69( X ), cabernetsauvignon( X ) }.
% 0.83/1.23 { ! cabernetsauvignon( Y ), ! kaon2equal( X, Y ), cabernetsauvignon( X ) }
% 0.83/1.23 .
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom29( Y ),
% 0.83/1.23 cabernetsauvignon( X ) }.
% 0.83/1.23 { ! q48( X ), ! wine( X ), californiawine( X ) }.
% 0.83/1.23 { ! californiawine( Y ), ! kaon2equal( X, Y ), californiawine( X ) }.
% 0.83/1.23 { ! q63( X ), chardonnay( X ) }.
% 0.83/1.23 { ! chardonnay( Y ), ! kaon2equal( X, Y ), chardonnay( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom24( Y ), chardonnay( X )
% 0.83/1.23 }.
% 0.83/1.23 { ! q6( X ), cheninblanc( X ) }.
% 0.83/1.23 { ! cheninblanc( Y ), ! kaon2equal( X, Y ), cheninblanc( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom34( Y ), cheninblanc( X
% 0.83/1.23 ) }.
% 0.83/1.23 { ! chianti( Y ), ! kaon2equal( X, Y ), chianti( X ) }.
% 0.83/1.23 { ! q38( X ), ! redburgundy( X ), cotesdor( X ) }.
% 0.83/1.23 { ! cotesdor( Y ), ! kaon2equal( X, Y ), cotesdor( X ) }.
% 0.83/1.23 { ! sweetriesling( X ), dessertwine( X ) }.
% 0.83/1.23 { ! icewine( X ), dessertwine( X ) }.
% 0.83/1.23 { ! dessertwine( Y ), ! kaon2equal( X, Y ), dessertwine( X ) }.
% 0.83/1.23 { ! drywine( X ), ! redwine( X ), dryredwine( X ) }.
% 0.83/1.23 { ! dryredwine( Y ), ! kaon2equal( X, Y ), dryredwine( X ) }.
% 0.83/1.23 { ! q46( X ), ! riesling( X ), dryriesling( X ) }.
% 0.83/1.23 { ! dryriesling( Y ), ! kaon2equal( X, Y ), dryriesling( X ) }.
% 0.83/1.23 { ! drywine( X ), ! whitewine( X ), drywhitewine( X ) }.
% 0.83/1.23 { ! drywhitewine( Y ), ! kaon2equal( X, Y ), drywhitewine( X ) }.
% 0.83/1.23 { ! drywhitewine( X ), drywine( X ) }.
% 0.83/1.23 { ! dryredwine( X ), drywine( X ) }.
% 0.83/1.23 { ! q46( X ), ! wine( X ), drywine( X ) }.
% 0.83/1.23 { ! drywine( Y ), ! kaon2equal( X, Y ), drywine( X ) }.
% 0.83/1.23 { ! earlyharvest( Y ), ! kaon2equal( X, Y ), earlyharvest( X ) }.
% 0.83/1.23 { ! q52( X ), ! wine( X ), frenchwine( X ) }.
% 0.83/1.23 { ! frenchwine( Y ), ! kaon2equal( X, Y ), frenchwine( X ) }.
% 0.83/1.23 { ! q35( X ), fullbodiedwine( X ) }.
% 0.83/1.23 { ! fullbodiedwine( Y ), ! kaon2equal( X, Y ), fullbodiedwine( X ) }.
% 0.83/1.23 { ! wine( X ), ! hasbody( X, Y ), ! ot____nom45( Y ), fullbodiedwine( X ) }
% 0.83/1.23 .
% 0.83/1.23 { ! q14( X ), gamay( X ) }.
% 0.83/1.23 { ! gamay( Y ), ! kaon2equal( X, Y ), gamay( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom33( Y ), gamay( X ) }.
% 0.83/1.23 { ! q50( X ), ! wine( X ), germanwine( X ) }.
% 0.83/1.23 { ! germanwine( Y ), ! kaon2equal( X, Y ), germanwine( X ) }.
% 0.83/1.23 { ! winegrape( X ), grape( X ) }.
% 0.83/1.23 { ! grape( Y ), ! kaon2equal( X, Y ), grape( X ) }.
% 0.83/1.23 { ! icewine( Y ), ! kaon2equal( X, Y ), icewine( X ) }.
% 0.83/1.23 { ! q21( X ), ! dessertwine( X ), ! lateharvest( X ), icewine( X ) }.
% 0.83/1.23 { ! chianti( X ), italianwine( X ) }.
% 0.83/1.23 { ! q62( X ), ! wine( X ), italianwine( X ) }.
% 0.83/1.23 { ! italianwine( Y ), ! kaon2equal( X, Y ), italianwine( X ) }.
% 0.83/1.23 { ! icewine( X ), lateharvest( X ) }.
% 0.83/1.23 { ! sauternes( X ), lateharvest( X ) }.
% 0.83/1.23 { ! lateharvest( Y ), ! kaon2equal( X, Y ), lateharvest( X ) }.
% 0.83/1.23 { ! sancerre( X ), loire( X ) }.
% 0.83/1.23 { ! tours( X ), loire( X ) }.
% 0.83/1.23 { ! whiteloire( X ), loire( X ) }.
% 0.83/1.23 { ! anjou( X ), loire( X ) }.
% 0.83/1.23 { ! muscadet( X ), loire( X ) }.
% 0.83/1.23 { ! q58( X ), ! wine( X ), loire( X ) }.
% 0.83/1.23 { ! loire( Y ), ! kaon2equal( X, Y ), loire( X ) }.
% 0.83/1.23 { ! q19( X ), ! medoc( X ), margaux( X ) }.
% 0.83/1.23 { ! margaux( Y ), ! kaon2equal( X, Y ), margaux( X ) }.
% 0.83/1.23 { ! pauillac( X ), medoc( X ) }.
% 0.83/1.23 { ! margaux( X ), medoc( X ) }.
% 0.83/1.23 { ! q34( X ), ! bordeaux( X ), medoc( X ) }.
% 0.83/1.23 { ! medoc( Y ), ! kaon2equal( X, Y ), medoc( X ) }.
% 0.83/1.23 { ! meritage( Y ), ! kaon2equal( X, Y ), meritage( X ) }.
% 0.83/1.23 { ! ot____nom8( X ), ! wine( X ), ! kaon2namedobjects( X ), meritage( X ) }
% 0.83/1.23 .
% 0.83/1.23 { ! q13( X ), merlot( X ) }.
% 0.83/1.23 { ! merlot( Y ), ! kaon2equal( X, Y ), merlot( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom43( Y ), merlot( X ) }.
% 0.83/1.23 { ! q17( X ), ! whiteburgundy( X ), meursault( X ) }.
% 0.83/1.23 { ! meursault( Y ), ! kaon2equal( X, Y ), meursault( X ) }.
% 0.83/1.23 { ! q56( X ), ! loire( X ), muscadet( X ) }.
% 0.83/1.23 { ! muscadet( Y ), ! kaon2equal( X, Y ), muscadet( X ) }.
% 0.83/1.23 { ! q43( X ), ! medoc( X ), pauillac( X ) }.
% 0.83/1.23 { ! pauillac( Y ), ! kaon2equal( X, Y ), pauillac( X ) }.
% 0.83/1.23 { ! petitesyrah( Y ), ! kaon2equal( X, Y ), petitesyrah( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom25( Y ), petitesyrah( X
% 0.83/1.23 ) }.
% 0.83/1.23 { ! q24( X ), pinotblanc( X ) }.
% 0.83/1.23 { ! pinotblanc( Y ), ! kaon2equal( X, Y ), pinotblanc( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom21( Y ), pinotblanc( X )
% 0.83/1.23 }.
% 0.83/1.23 { ! q72( X ), pinotnoir( X ) }.
% 0.83/1.23 { ! pinotnoir( Y ), ! kaon2equal( X, Y ), pinotnoir( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom39( Y ), pinotnoir( X )
% 0.83/1.23 }.
% 0.83/1.23 { ! port( Y ), ! kaon2equal( X, Y ), port( X ) }.
% 0.83/1.23 { ! wine( X ), potableliquid( X ) }.
% 0.83/1.23 { ! potableliquid( Y ), ! kaon2equal( X, Y ), potableliquid( X ) }.
% 0.83/1.23 { ! redwine( X ), ! bordeaux( X ), redbordeaux( X ) }.
% 0.83/1.23 { ! redbordeaux( Y ), ! kaon2equal( X, Y ), redbordeaux( X ) }.
% 0.83/1.23 { ! cotesdor( X ), redburgundy( X ) }.
% 0.83/1.23 { ! burgundy( X ), ! redwine( X ), redburgundy( X ) }.
% 0.83/1.23 { ! redburgundy( Y ), ! kaon2equal( X, Y ), redburgundy( X ) }.
% 0.83/1.23 { ! q41( X ), ! tablewine( X ), redtablewine( X ) }.
% 0.83/1.23 { ! redtablewine( Y ), ! kaon2equal( X, Y ), redtablewine( X ) }.
% 0.83/1.23 { ! redburgundy( X ), redwine( X ) }.
% 0.83/1.23 { ! redbordeaux( X ), redwine( X ) }.
% 0.83/1.23 { ! dryredwine( X ), redwine( X ) }.
% 0.83/1.23 { ! port( X ), redwine( X ) }.
% 0.83/1.23 { ! q41( X ), ! wine( X ), redwine( X ) }.
% 0.83/1.23 { ! redwine( Y ), ! kaon2equal( X, Y ), redwine( X ) }.
% 0.83/1.23 { ! adjacentregion( Y, X ), region( X ) }.
% 0.83/1.23 { ! locatedin( Y, X ), region( X ) }.
% 0.83/1.23 { ! adjacentregion( X, Y ), region( X ) }.
% 0.83/1.23 { ! wine( X ), ! kaon2namedobjects( X ), region( X ) }.
% 0.83/1.23 { ! region( Y ), ! kaon2equal( X, Y ), region( X ) }.
% 0.83/1.23 { ! dryriesling( X ), riesling( X ) }.
% 0.83/1.23 { ! sweetriesling( X ), riesling( X ) }.
% 0.83/1.23 { ! riesling( Y ), ! kaon2equal( X, Y ), riesling( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom37( Y ), riesling( X ) }
% 0.83/1.23 .
% 0.83/1.23 { ! q15( X ), rosewine( X ) }.
% 0.83/1.23 { ! rosewine( Y ), ! kaon2equal( X, Y ), rosewine( X ) }.
% 0.83/1.23 { ! wine( X ), ! hascolor( X, Y ), ! ot____nom32( Y ), rosewine( X ) }.
% 0.83/1.23 { ! q40( X ), ! loire( X ), sancerre( X ) }.
% 0.83/1.23 { ! sancerre( Y ), ! kaon2equal( X, Y ), sancerre( X ) }.
% 0.83/1.23 { ! sauternes( Y ), ! kaon2equal( X, Y ), sauternes( X ) }.
% 0.83/1.23 { ! q44( X ), ! semillonorsauvignonblanc( X ), sauvignonblanc( X ) }.
% 0.83/1.23 { ! sauvignonblanc( Y ), ! kaon2equal( X, Y ), sauvignonblanc( X ) }.
% 0.83/1.23 { ! semillonorsauvignonblanc( X ), ! madefromgrape( X, Y ), ! ot____nom11(
% 0.83/1.23 Y ), sauvignonblanc( X ) }.
% 0.83/1.23 { ! semillon( Y ), ! kaon2equal( X, Y ), semillon( X ) }.
% 0.83/1.23 { ! semillonorsauvignonblanc( X ), ! madefromgrape( X, Y ), ! ot____nom27(
% 0.83/1.23 Y ), semillon( X ) }.
% 0.83/1.23 { ! semillon( X ), semillonorsauvignonblanc( X ) }.
% 0.83/1.23 { ! sauvignonblanc( X ), semillonorsauvignonblanc( X ) }.
% 0.83/1.23 { ! q68( X ), ! wine( X ), semillonorsauvignonblanc( X ) }.
% 0.83/1.23 { ! semillonorsauvignonblanc( Y ), ! kaon2equal( X, Y ),
% 0.83/1.23 semillonorsauvignonblanc( X ) }.
% 0.83/1.23 { ! ot____nom6( X ), ! wine( X ), ! kaon2namedobjects( X ),
% 0.83/1.23 semillonorsauvignonblanc( X ) }.
% 0.83/1.23 { ! q65( X ), ! bordeaux( X ), stemilion( X ) }.
% 0.83/1.23 { ! stemilion( Y ), ! kaon2equal( X, Y ), stemilion( X ) }.
% 0.83/1.23 { ! q71( X ), ! riesling( X ), sweetriesling( X ) }.
% 0.83/1.23 { ! sweetriesling( Y ), ! kaon2equal( X, Y ), sweetriesling( X ) }.
% 0.83/1.23 { ! q71( X ), ! wine( X ), sweetwine( X ) }.
% 0.83/1.23 { ! sweetwine( Y ), ! kaon2equal( X, Y ), sweetwine( X ) }.
% 0.83/1.23 { ! whitetablewine( X ), tablewine( X ) }.
% 0.83/1.23 { ! redtablewine( X ), tablewine( X ) }.
% 0.83/1.23 { ! q46( X ), ! wine( X ), tablewine( X ) }.
% 0.83/1.23 { ! tablewine( Y ), ! kaon2equal( X, Y ), tablewine( X ) }.
% 0.83/1.23 { ! q74( X ), ! wine( X ), texaswine( X ) }.
% 0.83/1.23 { ! texaswine( Y ), ! kaon2equal( X, Y ), texaswine( X ) }.
% 0.83/1.23 { ! q10( X ), ! loire( X ), tours( X ) }.
% 0.83/1.23 { ! tours( Y ), ! kaon2equal( X, Y ), tours( X ) }.
% 0.83/1.23 { ! hasvintageyear( X, Y ), vintage( X ) }.
% 0.83/1.23 { ! vintage( Y ), ! kaon2equal( X, Y ), vintage( X ) }.
% 0.83/1.23 { ! hasvintageyear( Y, X ), vintageyear( X ) }.
% 0.83/1.23 { ! vintageyear( Y ), ! kaon2equal( X, Y ), vintageyear( X ) }.
% 0.83/1.23 { ! bordeaux( X ), ! whitewine( X ), whitebordeaux( X ) }.
% 0.83/1.23 { ! whitebordeaux( Y ), ! kaon2equal( X, Y ), whitebordeaux( X ) }.
% 0.83/1.23 { ! meursault( X ), whiteburgundy( X ) }.
% 0.83/1.23 { ! burgundy( X ), ! whitewine( X ), whiteburgundy( X ) }.
% 0.83/1.23 { ! whiteburgundy( Y ), ! kaon2equal( X, Y ), whiteburgundy( X ) }.
% 0.83/1.23 { ! loire( X ), ! whitewine( X ), whiteloire( X ) }.
% 0.83/1.23 { ! whiteloire( Y ), ! kaon2equal( X, Y ), whiteloire( X ) }.
% 0.83/1.23 { ! whitewine( X ), ! kaon2namedobjects( X ), whitenonsweetwine( X ) }.
% 0.83/1.23 { ! q36( X ), ! whitewine( X ), whitenonsweetwine( X ) }.
% 0.83/1.23 { ! whitenonsweetwine( Y ), ! kaon2equal( X, Y ), whitenonsweetwine( X ) }
% 0.83/1.23 .
% 0.83/1.23 { ! ot____nom7( X ), ! whitewine( X ), ! kaon2namedobjects( X ),
% 0.83/1.23 whitenonsweetwine( X ) }.
% 0.83/1.23 { ! q21( X ), ! tablewine( X ), whitetablewine( X ) }.
% 0.83/1.23 { ! whitetablewine( Y ), ! kaon2equal( X, Y ), whitetablewine( X ) }.
% 0.83/1.23 { ! drywhitewine( X ), whitewine( X ) }.
% 0.83/1.23 { ! whiteburgundy( X ), whitewine( X ) }.
% 0.83/1.23 { ! whitebordeaux( X ), whitewine( X ) }.
% 0.83/1.23 { ! whiteloire( X ), whitewine( X ) }.
% 0.83/1.23 { ! whitenonsweetwine( X ), whitewine( X ) }.
% 0.83/1.23 { ! q21( X ), ! wine( X ), whitewine( X ) }.
% 0.83/1.23 { ! whitewine( Y ), ! kaon2equal( X, Y ), whitewine( X ) }.
% 0.83/1.23 { ! q14( X ), wine( X ) }.
% 0.83/1.23 { ! texaswine( X ), wine( X ) }.
% 0.83/1.23 { ! q63( X ), wine( X ) }.
% 0.83/1.23 { ! q20( X ), wine( X ) }.
% 0.83/1.23 { ! tablewine( X ), wine( X ) }.
% 0.83/1.23 { ! haswinedescriptor( X, Y ), wine( X ) }.
% 0.83/1.23 { ! q31( X ), wine( X ) }.
% 0.83/1.23 { ! q11( X ), wine( X ) }.
% 0.83/1.23 { ! q15( X ), wine( X ) }.
% 0.83/1.23 { ! earlyharvest( X ), wine( X ) }.
% 0.83/1.23 { ! sweetwine( X ), wine( X ) }.
% 0.83/1.23 { ! americanwine( X ), wine( X ) }.
% 0.83/1.23 { ! alsatianwine( X ), wine( X ) }.
% 0.83/1.23 { ! q0( X ), wine( X ) }.
% 0.83/1.23 { ! madefromgrape( X, Y ), wine( X ) }.
% 0.83/1.23 { ! cabernetfranc( X ), wine( X ) }.
% 0.83/1.23 { ! semillonorsauvignonblanc( X ), wine( X ) }.
% 0.83/1.23 { ! beaujolais( X ), wine( X ) }.
% 0.83/1.23 { ! fullbodiedwine( X ), wine( X ) }.
% 0.83/1.23 { ! loire( X ), wine( X ) }.
% 0.83/1.23 { ! petitesyrah( X ), wine( X ) }.
% 0.83/1.23 { ! q12( X ), wine( X ) }.
% 0.83/1.23 { ! q45( X ), wine( X ) }.
% 0.83/1.23 { ! q7( X ), wine( X ) }.
% 0.83/1.23 { ! pinotnoir( X ), wine( X ) }.
% 0.83/1.23 { ! q35( X ), wine( X ) }.
% 0.83/1.23 { ! q24( X ), wine( X ) }.
% 0.83/1.23 { ! frenchwine( X ), wine( X ) }.
% 0.83/1.23 { ! meritage( X ), wine( X ) }.
% 0.83/1.23 { ! zinfandel( X ), wine( X ) }.
% 0.83/1.23 { ! californiawine( X ), wine( X ) }.
% 0.83/1.23 { ! pinotblanc( X ), wine( X ) }.
% 0.83/1.23 { ! q44( X ), wine( X ) }.
% 0.83/1.23 { ! bordeaux( X ), wine( X ) }.
% 0.83/1.23 { ! riesling( X ), wine( X ) }.
% 0.83/1.23 { ! hascolor( X, Y ), wine( X ) }.
% 0.83/1.23 { ! redwine( X ), wine( X ) }.
% 0.83/1.23 { ! whitewine( X ), wine( X ) }.
% 0.83/1.23 { ! dessertwine( X ), wine( X ) }.
% 0.83/1.23 { ! q69( X ), wine( X ) }.
% 0.83/1.23 { ! q6( X ), wine( X ) }.
% 0.83/1.23 { ! drywine( X ), wine( X ) }.
% 0.83/1.23 { ! q13( X ), wine( X ) }.
% 0.83/1.23 { ! germanwine( X ), wine( X ) }.
% 0.83/1.23 { ! burgundy( X ), wine( X ) }.
% 0.83/1.23 { ! cabernetsauvignon( X ), wine( X ) }.
% 0.83/1.23 { ! q72( X ), wine( X ) }.
% 0.83/1.23 { ! q70( X ), wine( X ) }.
% 0.83/1.23 { ! q4( X ), wine( X ) }.
% 0.83/1.23 { ! italianwine( X ), wine( X ) }.
% 0.83/1.23 { ! chardonnay( X ), wine( X ) }.
% 0.83/1.23 { ! semillon( X ), wine( X ) }.
% 0.83/1.23 { ! q5( X ), wine( X ) }.
% 0.83/1.23 { ! rosewine( X ), wine( X ) }.
% 0.83/1.23 { ! q32( X ), wine( X ) }.
% 0.83/1.23 { ! lateharvest( X ), wine( X ) }.
% 0.83/1.23 { ! merlot( X ), wine( X ) }.
% 0.83/1.23 { ! wine( Y ), ! kaon2equal( X, Y ), wine( X ) }.
% 0.83/1.23 { ! ot____nom40( X ), winebody( X ) }.
% 0.83/1.23 { ! hasbody( Y, X ), winebody( X ) }.
% 0.83/1.23 { ! winebody( Y ), ! kaon2equal( X, Y ), winebody( X ) }.
% 0.83/1.23 { ! ot____nom9( X ), winecolor( X ) }.
% 0.83/1.23 { ! hascolor( Y, X ), winecolor( X ) }.
% 0.83/1.23 { ! winedescriptor( X ), winecolor( X ) }.
% 0.83/1.23 { ! winecolor( Y ), ! kaon2equal( X, Y ), winecolor( X ) }.
% 0.83/1.23 { ! winecolor( X ), winedescriptor( X ) }.
% 0.83/1.23 { ! winetaste( X ), winedescriptor( X ) }.
% 0.83/1.23 { ! haswinedescriptor( Y, X ), winedescriptor( X ) }.
% 0.83/1.23 { ! winedescriptor( Y ), ! kaon2equal( X, Y ), winedescriptor( X ) }.
% 0.83/1.23 { ! hasflavor( Y, X ), wineflavor( X ) }.
% 0.83/1.23 { ! ot____nom35( X ), wineflavor( X ) }.
% 0.83/1.23 { ! wineflavor( Y ), ! kaon2equal( X, Y ), wineflavor( X ) }.
% 0.83/1.23 { ! madefromgrape( Y, X ), winegrape( X ) }.
% 0.83/1.23 { ! winegrape( Y ), ! kaon2equal( X, Y ), winegrape( X ) }.
% 0.83/1.23 { ! ot____nom18( X ), winesugar( X ) }.
% 0.83/1.23 { ! hassugar( Y, X ), winesugar( X ) }.
% 0.83/1.23 { ! winesugar( Y ), ! kaon2equal( X, Y ), winesugar( X ) }.
% 0.83/1.23 { ! wineflavor( X ), winetaste( X ) }.
% 0.83/1.23 { ! winesugar( X ), winetaste( X ) }.
% 0.83/1.23 { ! winebody( X ), winetaste( X ) }.
% 0.83/1.23 { ! winedescriptor( X ), winetaste( X ) }.
% 0.83/1.23 { ! winetaste( Y ), ! kaon2equal( X, Y ), winetaste( X ) }.
% 0.83/1.23 { ! wine( Y ), ! hasmaker( Y, X ), winery( X ) }.
% 0.83/1.23 { ! winery( Y ), ! kaon2equal( X, Y ), winery( X ) }.
% 0.83/1.23 { ! zinfandel( Y ), ! kaon2equal( X, Y ), zinfandel( X ) }.
% 0.83/1.23 { ! wine( X ), ! madefromgrape( X, Y ), ! ot____nom20( Y ), zinfandel( X )
% 0.83/1.23 }.
% 0.83/1.23 { ! q70( X ), ! kaon2namedobjects( X ), ot____nom1( X ) }.
% 0.83/1.23 { ! ot____nom1( Y ), ! kaon2equal( X, Y ), ot____nom1( X ) }.
% 0.83/1.23 { ! q73( X ), ! kaon2namedobjects( X ), ot____nom10( X ) }.
% 0.83/1.23 { ! ot____nom10( Y ), ! kaon2equal( X, Y ), ot____nom10( X ) }.
% 0.83/1.23 { ! q44( X ), ! kaon2namedobjects( X ), ot____nom11( X ) }.
% 0.83/1.23 { ! ot____nom11( Y ), ! kaon2equal( X, Y ), ot____nom11( X ) }.
% 0.83/1.23 { ! q31( X ), ! kaon2namedobjects( X ), ot____nom12( X ) }.
% 0.83/1.23 { ! ot____nom12( Y ), ! kaon2equal( X, Y ), ot____nom12( X ) }.
% 0.83/1.23 { ! q59( X ), ! kaon2namedobjects( X ), ot____nom13( X ) }.
% 0.83/1.23 { ! ot____nom13( Y ), ! kaon2equal( X, Y ), ot____nom13( X ) }.
% 0.83/1.23 { ! q66( X ), ! kaon2namedobjects( X ), ot____nom14( X ) }.
% 0.83/1.23 { ! ot____nom14( Y ), ! kaon2equal( X, Y ), ot____nom14( X ) }.
% 0.83/1.23 { ! q47( X ), ! kaon2namedobjects( X ), ot____nom15( X ) }.
% 0.83/1.23 { ! ot____nom15( Y ), ! kaon2equal( X, Y ), ot____nom15( X ) }.
% 0.83/1.23 { ! q55( X ), ! kaon2namedobjects( X ), ot____nom16( X ) }.
% 0.83/1.23 { ! ot____nom16( Y ), ! kaon2equal( X, Y ), ot____nom16( X ) }.
% 0.83/1.23 { ! q49( X ), ! kaon2namedobjects( X ), ot____nom17( X ) }.
% 0.83/1.23 { ! ot____nom17( Y ), ! kaon2equal( X, Y ), ot____nom17( X ) }.
% 0.83/1.23 { ! winesugar( X ), ot____nom18( X ) }.
% 0.83/1.23 { ! ot____nom18( Y ), ! kaon2equal( X, Y ), ot____nom18( X ) }.
% 0.83/1.23 { ! q57( X ), ! kaon2namedobjects( X ), ot____nom19( X ) }.
% 0.83/1.23 { ! ot____nom19( Y ), ! kaon2equal( X, Y ), ot____nom19( X ) }.
% 0.83/1.23 { ! q33( X ), ! kaon2namedobjects( X ), ot____nom2( X ) }.
% 0.83/1.23 { ! ot____nom2( Y ), ! kaon2equal( X, Y ), ot____nom2( X ) }.
% 0.83/1.23 { ! zinfandel( X ), ! kaon2namedobjects( X ), ot____nom20( X ) }.
% 0.83/1.23 { ! ot____nom20( Y ), ! kaon2equal( X, Y ), ot____nom20( X ) }.
% 0.83/1.23 { ! q24( X ), ! kaon2namedobjects( X ), ot____nom21( X ) }.
% 0.83/1.23 { ! ot____nom21( Y ), ! kaon2equal( X, Y ), ot____nom21( X ) }.
% 0.83/1.23 { ! q18( X ), ! kaon2namedobjects( X ), ot____nom22( X ) }.
% 0.83/1.23 { ! ot____nom22( Y ), ! kaon2equal( X, Y ), ot____nom22( X ) }.
% 0.83/1.23 { ! q1( X ), ! kaon2namedobjects( X ), ot____nom23( X ) }.
% 0.83/1.23 { ! ot____nom23( Y ), ! kaon2equal( X, Y ), ot____nom23( X ) }.
% 0.83/1.23 { ! q63( X ), ! kaon2namedobjects( X ), ot____nom24( X ) }.
% 0.83/1.23 { ! ot____nom24( Y ), ! kaon2equal( X, Y ), ot____nom24( X ) }.
% 0.83/1.23 { ! petitesyrah( X ), ! kaon2namedobjects( X ), ot____nom25( X ) }.
% 0.83/1.23 { ! ot____nom25( Y ), ! kaon2equal( X, Y ), ot____nom25( X ) }.
% 0.83/1.23 { ! q22( X ), ! kaon2namedobjects( X ), ot____nom26( X ) }.
% 0.83/1.23 { ! ot____nom26( Y ), ! kaon2equal( X, Y ), ot____nom26( X ) }.
% 0.83/1.23 { ! semillon( X ), ! kaon2namedobjects( X ), ot____nom27( X ) }.
% 0.83/1.23 { ! ot____nom27( Y ), ! kaon2equal( X, Y ), ot____nom27( X ) }.
% 0.83/1.23 { ! q0( X ), ! kaon2namedobjects( X ), ot____nom28( X ) }.
% 0.83/1.23 { ! ot____nom28( Y ), ! kaon2equal( X, Y ), ot____nom28( X ) }.
% 0.83/1.23 { ! q69( X ), ! kaon2namedobjects( X ), ot____nom29( X ) }.
% 0.83/1.23 { ! ot____nom29( Y ), ! kaon2equal( X, Y ), ot____nom29( X ) }.
% 0.83/1.23 { ! cabernetfranc( X ), ! kaon2namedobjects( X ), ot____nom3( X ) }.
% 0.83/1.23 { ! ot____nom3( Y ), ! kaon2equal( X, Y ), ot____nom3( X ) }.
% 0.83/1.23 { ! q39( X ), ! kaon2namedobjects( X ), ot____nom30( X ) }.
% 0.83/1.23 { ! ot____nom30( Y ), ! kaon2equal( X, Y ), ot____nom30( X ) }.
% 0.83/1.23 { ! q16( X ), ! kaon2namedobjects( X ), ot____nom31( X ) }.
% 0.83/1.23 { ! ot____nom31( Y ), ! kaon2equal( X, Y ), ot____nom31( X ) }.
% 0.83/1.23 { ! q15( X ), ! kaon2namedobjects( X ), ot____nom32( X ) }.
% 0.83/1.23 { ! ot____nom32( Y ), ! kaon2equal( X, Y ), ot____nom32( X ) }.
% 0.83/1.23 { ! q14( X ), ! kaon2namedobjects( X ), ot____nom33( X ) }.
% 0.83/1.23 { ! ot____nom33( Y ), ! kaon2equal( X, Y ), ot____nom33( X ) }.
% 0.83/1.23 { ! q6( X ), ! kaon2namedobjects( X ), ot____nom34( X ) }.
% 0.83/1.23 { ! ot____nom34( Y ), ! kaon2equal( X, Y ), ot____nom34( X ) }.
% 0.83/1.23 { ! wineflavor( X ), ot____nom35( X ) }.
% 0.83/1.23 { ! ot____nom35( Y ), ! kaon2equal( X, Y ), ot____nom35( X ) }.
% 0.83/1.23 { ! q64( X ), ! kaon2namedobjects( X ), ot____nom36( X ) }.
% 0.83/1.23 { ! ot____nom36( Y ), ! kaon2equal( X, Y ), ot____nom36( X ) }.
% 0.83/1.23 { ! riesling( X ), ! kaon2namedobjects( X ), ot____nom37( X ) }.
% 0.83/1.23 { ! ot____nom37( Y ), ! kaon2equal( X, Y ), ot____nom37( X ) }.
% 0.83/1.23 { ! q26( X ), ! kaon2namedobjects( X ), ot____nom38( X ) }.
% 0.83/1.23 { ! ot____nom38( Y ), ! kaon2equal( X, Y ), ot____nom38( X ) }.
% 0.83/1.23 { ! q72( X ), ! kaon2namedobjects( X ), ot____nom39( X ) }.
% 0.83/1.23 { ! ot____nom39( Y ), ! kaon2equal( X, Y ), ot____nom39( X ) }.
% 0.83/1.23 { ! q9( X ), ! kaon2namedobjects( X ), ot____nom4( X ) }.
% 0.83/1.23 { ! ot____nom4( Y ), ! kaon2equal( X, Y ), ot____nom4( X ) }.
% 0.83/1.23 { ! winebody( X ), ot____nom40( X ) }.
% 0.83/1.23 { ! ot____nom40( Y ), ! kaon2equal( X, Y ), ot____nom40( X ) }.
% 0.83/1.23 { ! q51( X ), ! kaon2namedobjects( X ), ot____nom41( X ) }.
% 0.83/1.23 { ! ot____nom41( Y ), ! kaon2equal( X, Y ), ot____nom41( X ) }.
% 0.83/1.23 { ! q37( X ), ! kaon2namedobjects( X ), ot____nom42( X ) }.
% 0.83/1.23 { ! ot____nom42( Y ), ! kaon2equal( X, Y ), ot____nom42( X ) }.
% 0.83/1.23 { ! q13( X ), ! kaon2namedobjects( X ), ot____nom43( X ) }.
% 0.83/1.23 { ! ot____nom43( Y ), ! kaon2equal( X, Y ), ot____nom43( X ) }.
% 0.83/1.23 { ! q29( X ), ! kaon2namedobjects( X ), ot____nom44( X ) }.
% 0.83/1.23 { ! ot____nom44( Y ), ! kaon2equal( X, Y ), ot____nom44( X ) }.
% 0.83/1.23 { ! q35( X ), ! kaon2namedobjects( X ), ot____nom45( X ) }.
% 0.83/1.23 { ! ot____nom45( Y ), ! kaon2equal( X, Y ), ot____nom45( X ) }.
% 0.83/1.23 { ! q42( X ), ! kaon2namedobjects( X ), ot____nom46( X ) }.
% 0.83/1.23 { ! ot____nom46( Y ), ! kaon2equal( X, Y ), ot____nom46( X ) }.
% 0.83/1.23 { ! q61( X ), ! kaon2namedobjects( X ), ot____nom47( X ) }.
% 0.83/1.23 { ! ot____nom47( Y ), ! kaon2equal( X, Y ), ot____nom47( X ) }.
% 0.83/1.23 { ! q4( X ), ! kaon2namedobjects( X ), ot____nom48( X ) }.
% 0.83/1.23 { ! ot____nom48( Y ), ! kaon2equal( X, Y ), ot____nom48( X ) }.
% 0.83/1.23 { ! q7( X ), ! kaon2namedobjects( X ), ot____nom49( X ) }.
% 0.83/1.23 { ! ot____nom49( Y ), ! kaon2equal( X, Y ), ot____nom49( X ) }.
% 0.83/1.23 { ! q12( X ), ! kaon2namedobjects( X ), ot____nom5( X ) }.
% 0.83/1.23 { ! ot____nom5( Y ), ! kaon2equal( X, Y ), ot____nom5( X ) }.
% 0.83/1.23 { ! sweetriesling( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.83/1.23 { ! lateharvest( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.83/1.23 { ! chardonnay( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.83/1.23 { ! zinfandel( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.83/1.23 { ! icewine( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.83/1.23 { ! cabernetsauvignon( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.83/1.23 { ! petitesyrah( Y ), ! hasflavor( Y, X ), ot____nom50( X ) }.
% 0.83/1.23 { ! ot____nom50( Y ), ! kaon2equal( X, Y ), ot____nom50( X ) }.
% 0.83/1.23 { ! icewine( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.83/1.23 { ! cheninblanc( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.83/1.23 { ! chardonnay( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.83/1.23 { ! cabernetsauvignon( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.83/1.23 { ! semillonorsauvignonblanc( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.83/1.23 { ! petitesyrah( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.83/1.23 { ! zinfandel( Y ), ! hasbody( Y, X ), ot____nom51( X ) }.
% 0.83/1.23 { ! ot____nom51( Y ), ! kaon2equal( X, Y ), ot____nom51( X ) }.
% 0.83/1.23 { ! sauternes( X ), ! kaon2namedobjects( X ), ot____nom52( X ) }.
% 0.83/1.23 { ! ot____nom52( Y ), ! kaon2equal( X, Y ), ot____nom52( X ) }.
% 0.83/1.23 { ! dessertwine( Y ), ! hassugar( Y, X ), ot____nom53( X ) }.
% 0.83/1.23 { ! ot____nom53( Y ), ! kaon2equal( X, Y ), ot____nom53( X ) }.
% 0.83/1.23 { ! q32( X ), ! kaon2namedobjects( X ), ot____nom54( X ) }.
% 0.83/1.23 { ! ot____nom54( Y ), ! kaon2equal( X, Y ), ot____nom54( X ) }.
% 0.83/1.23 { ! q20( X ), ! kaon2namedobjects( X ), ot____nom55( X ) }.
% 0.83/1.23 { ! ot____nom55( Y ), ! kaon2equal( X, Y ), ot____nom55( X ) }.
% 0.83/1.23 { ! q45( X ), ! kaon2namedobjects( X ), ot____nom56( X ) }.
% 0.83/1.23 { ! ot____nom56( Y ), ! kaon2equal( X, Y ), ot____nom56( X ) }.
% 0.83/1.23 { ! port( X ), ! kaon2namedobjects( X ), ot____nom57( X ) }.
% 0.83/1.23 { ! ot____nom57( Y ), ! kaon2equal( X, Y ), ot____nom57( X ) }.
% 0.83/1.23 { ! q11( X ), ! kaon2namedobjects( X ), ot____nom58( X ) }.
% 0.83/1.23 { ! ot____nom58( Y ), ! kaon2equal( X, Y ), ot____nom58( X ) }.
% 0.83/1.23 { ! merlot( Y ), ! hasbody( Y, X ), ot____nom59( X ) }.
% 0.83/1.23 { ! dryriesling( Y ), ! hasbody( Y, X ), ot____nom59( X ) }.
% 0.83/1.23 { ! chianti( Y ), ! hasbody( Y, X ), ot____nom59( X ) }.
% 0.83/1.23 { ! ot____nom59( Y ), ! kaon2equal( X, Y ), ot____nom59( X ) }.
% 0.83/1.23 { ! q68( Y ), ! madefromgrape( Y, X ), ot____nom6( X ) }.
% 0.83/1.23 { ! ot____nom6( Y ), ! kaon2equal( X, Y ), ot____nom6( X ) }.
% 0.83/1.23 { ! chianti( X ), ! kaon2namedobjects( X ), ot____nom60( X ) }.
% 0.83/1.23 { ! ot____nom60( Y ), ! kaon2equal( X, Y ), ot____nom60( X ) }.
% 0.83/1.23 { ! chianti( X ), ! kaon2namedobjects( X ), ot____nom61( X ) }.
% 0.83/1.23 { ! ot____nom61( Y ), ! kaon2equal( X, Y ), ot____nom61( X ) }.
% 0.83/1.23 { ! redbordeaux( Y ), ! madefromgrape( Y, X ), ot____nom62( X ) }.
% 0.83/1.23 { ! ot____nom62( Y ), ! kaon2equal( X, Y ), ot____nom62( X ) }.
% 0.83/1.23 { ! whiteloire( Y ), ! madefromgrape( Y, X ), ot____nom63( X ) }.
% 0.83/1.23 { ! ot____nom63( Y ), ! kaon2equal( X, Y ), ot____nom63( X ) }.
% 0.83/1.23 { ! merlot( Y ), ! hasflavor( Y, X ), ot____nom64( X ) }.
% 0.83/1.23 { ! ot____nom64( Y ), ! kaon2equal( X, Y ), ot____nom64( X ) }.
% 0.83/1.23 { ! q36( Y ), ! hassugar( Y, X ), ot____nom7( X ) }.
% 0.83/1.23 { ! ot____nom7( Y ), ! kaon2equal( X, Y ), ot____nom7( X ) }.
% 0.83/1.23 { ! meritage( Y ), ! madefromgrape( Y, X ), ot____nom8( X ) }.
% 0.83/1.23 { ! ot____nom8( Y ), ! kaon2equal( X, Y ), ot____nom8( X ) }.
% 0.83/1.23 { ! winecolor( X ), ot____nom9( X ) }.
% 0.83/1.23 { ! ot____nom9( Y ), ! kaon2equal( X, Y ), ot____nom9( X ) }.
% 0.83/1.23 { ! adjacentregion( X, Y ), adjacentregion( Y, X ) }.
% 0.83/1.23 { ! adjacentregion( Z, X ), ! kaon2equal( Y, Z ), adjacentregion( Y, X ) }
% 0.83/1.23 .
% 0.83/1.23 { ! adjacentregion( X, Z ), ! kaon2equal( Y, Z ), adjacentregion( X, Y ) }
% 0.83/1.23 .
% 0.83/1.23 { ! q45( X ), ! kaon2namedobjects( X ), hasbody( X, X ) }.
% 0.83/1.23 { ! wine( X ), ! kaon2namedobjects( X ), hasbody( X, X ) }.
% 0.83/1.23 { ! q35( X ), ! kaon2namedobjects( X ), hasbody( X, X ) }.
% 0.83/1.23 { ! q7( X ), ! kaon2namedobjects( X ), hasbody( X, X ) }.
% 0.83/1.23 { ! hasbody( Z, X ), ! kaon2equal( Y, Z ), hasbody( Y, X ) }.
% 0.83/1.23 { ! hasbody( X, Z ), ! kaon2equal( Y, Z ), hasbody( X, Y ) }.
% 0.83/1.23 { ! q0( X ), ! kaon2namedobjects( X ), hascolor( X, X ) }.
% 0.83/1.23 { ! q15( X ), ! kaon2namedobjects( X ), hascolor( X, X ) }.
% 0.83/1.23 { ! wine( X ), ! kaon2namedobjects( X ), hascolor( X, X ) }.
% 0.83/1.23 { ! q12( X ), ! kaon2namedobjects( X ), hascolor( X, X ) }.
% 0.83/1.23 { ! hascolor( Z, X ), ! kaon2equal( Y, Z ), hascolor( Y, X ) }.
% 0.83/1.23 { ! hascolor( X, Z ), ! kaon2equal( Y, Z ), hascolor( X, Y ) }.
% 0.83/1.24 { ! q4( X ), ! kaon2namedobjects( X ), hasflavor( X, X ) }.
% 0.83/1.24 { ! q11( X ), ! kaon2namedobjects( X ), hasflavor( X, X ) }.
% 0.83/1.24 { ! q20( X ), ! kaon2namedobjects( X ), hasflavor( X, X ) }.
% 0.83/1.24 { ! wine( X ), ! kaon2namedobjects( X ), hasflavor( X, X ) }.
% 0.83/1.24 { ! hasflavor( Z, X ), ! kaon2equal( Y, Z ), hasflavor( Y, X ) }.
% 0.83/1.24 { ! hasflavor( X, Z ), ! kaon2equal( Y, Z ), hasflavor( X, Y ) }.
% 0.83/1.24 { ! produceswine( X, Y ), hasmaker( Y, X ) }.
% 0.83/1.24 { ! wine( X ), ! kaon2namedobjects( X ), hasmaker( X, X ) }.
% 0.83/1.24 { ! hasmaker( Z, X ), ! kaon2equal( Y, Z ), hasmaker( Y, X ) }.
% 0.83/1.24 { ! hasmaker( X, Z ), ! kaon2equal( Y, Z ), hasmaker( X, Y ) }.
% 0.83/1.24 { ! wine( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.83/1.24 { ! q31( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.83/1.24 { ! whitewine( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.83/1.24 { ! q70( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.83/1.24 { ! q32( X ), ! kaon2namedobjects( X ), hassugar( X, X ) }.
% 0.83/1.24 { ! hassugar( Z, X ), ! kaon2equal( Y, Z ), hassugar( Y, X ) }.
% 0.83/1.24 { ! hassugar( X, Z ), ! kaon2equal( Y, Z ), hassugar( X, Y ) }.
% 0.83/1.24 { ! vintage( X ), ! kaon2namedobjects( X ), hasvintageyear( X, X ) }.
% 0.83/1.24 { ! hasvintageyear( Z, X ), ! kaon2equal( Y, Z ), hasvintageyear( Y, X ) }
% 0.83/1.24 .
% 0.83/1.24 { ! hasvintageyear( X, Z ), ! kaon2equal( Y, Z ), hasvintageyear( X, Y ) }
% 0.83/1.24 .
% 0.83/1.24 { ! hasbody( X, Y ), haswinedescriptor( X, Y ) }.
% 0.83/1.24 { ! hascolor( X, Y ), haswinedescriptor( X, Y ) }.
% 0.83/1.24 { ! hasflavor( X, Y ), haswinedescriptor( X, Y ) }.
% 0.83/1.24 { ! hassugar( X, Y ), haswinedescriptor( X, Y ) }.
% 0.83/1.24 { ! haswinedescriptor( Z, X ), ! kaon2equal( Y, Z ), haswinedescriptor( Y,
% 0.83/1.24 X ) }.
% 0.83/1.24 { ! haswinedescriptor( X, Z ), ! kaon2equal( Y, Z ), haswinedescriptor( X,
% 0.83/1.24 Y ) }.
% 0.83/1.24 { ! q57( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q37( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q61( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q59( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q33( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! wine( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q18( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q49( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q42( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q9( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q22( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! chianti( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! port( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q26( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q51( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q55( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q16( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q73( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q29( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q1( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q47( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q39( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q64( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! sauternes( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! q66( X ), ! kaon2namedobjects( X ), locatedin( X, X ) }.
% 0.83/1.24 { ! locatedin( Z, X ), ! kaon2equal( Y, Z ), locatedin( Y, X ) }.
% 0.83/1.24 { ! locatedin( X, Z ), ! kaon2equal( Y, Z ), locatedin( X, Y ) }.
% 0.83/1.24 { ! locatedin( X, Z ), ! locatedin( Z, Y ), locatedin( X, Y ) }.
% 0.83/1.24 { ! locatedin( X, Z ), ! locatedin( Z, Y ), ! kaon2namedobjects( Y ), !
% 0.83/1.24 kaon2namedobjects( Z ), ! kaon2namedobjects( X ), locatedin( X, Y ) }.
% 0.83/1.24 { ! madefromgrape( X, Y ), madefromfruit( X, Y ) }.
% 0.83/1.24 { ! madefromfruit( Z, X ), ! kaon2equal( Y, Z ), madefromfruit( Y, X ) }.
% 0.83/1.24 { ! madefromfruit( X, Z ), ! kaon2equal( Y, Z ), madefromfruit( X, Y ) }.
% 0.83/1.24 { ! madeintowine( X, Y ), madefromgrape( Y, X ) }.
% 0.83/1.24 { ! riesling( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! wine( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! q72( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! q5( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! semillon( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! q14( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! q24( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! q5( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! zinfandel( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! q6( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! petitesyrah( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! q13( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! chianti( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! cabernetfranc( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! q69( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! q44( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! q63( X ), ! kaon2namedobjects( X ), madefromgrape( X, X ) }.
% 0.83/1.24 { ! madefromgrape( Z, X ), ! kaon2equal( Y, Z ), madefromgrape( Y, X ) }.
% 0.83/1.24 { ! madefromgrape( X, Z ), ! kaon2equal( Y, Z ), madefromgrape( X, Y ) }.
% 0.83/1.24 { ! madefromgrape( X, Y ), madeintowine( Y, X ) }.
% 0.83/1.24 { ! madeintowine( Z, X ), ! kaon2equal( Y, Z ), madeintowine( Y, X ) }.
% 0.83/1.24 { ! madeintowine( X, Z ), ! kaon2equal( Y, Z ), madeintowine( X, Y ) }.
% 0.83/1.24 { ! hasmaker( X, Y ), produceswine( Y, X ) }.
% 0.83/1.24 { ! produceswine( Z, X ), ! kaon2equal( Y, Z ), produceswine( Y, X ) }.
% 0.83/1.24 { ! produceswine( X, Z ), ! kaon2equal( Y, Z ), produceswine( X, Y ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2namedobjects( X ), kaon2hu( X ) }.
% 0.83/1.24 { ! kaon2hu( X ), kaon2equal( X, X ) }.
% 0.83/1.24 { ! hasflavor( Z, X ), ! hasflavor( Z, Y ), kaon2equal( X, Y ) }.
% 0.83/1.24 { ! hassugar( Z, X ), ! hassugar( Z, Y ), kaon2equal( X, Y ) }.
% 0.83/1.24 { ! hasvintageyear( Z, X ), ! hasvintageyear( Z, Y ), kaon2equal( X, Y ) }
% 0.83/1.24 .
% 0.83/1.24 { ! hascolor( Z, X ), ! hascolor( Z, Y ), kaon2equal( X, Y ) }.
% 0.83/1.24 { ! hasmaker( Z, X ), ! hasmaker( Z, Y ), kaon2equal( X, Y ) }.
% 0.83/1.24 { ! hasbody( Z, X ), ! hasbody( Z, Y ), kaon2equal( X, Y ) }.
% 0.83/1.24 { ! q3( Z ), ! madefromgrape( Z, X ), ! madefromgrape( Z, Y ), kaon2equal(
% 0.83/1.24 X, Y ) }.
% 0.83/1.24 { ! kaon2hu( X ), ! kaon2hu( Y ), ! kaon2equal( Y, X ), kaon2equal( X, Y )
% 0.83/1.24 }.
% 0.83/1.24 { ! kaon2equal( X, Z ), ! kaon2equal( Z, Y ), ! kaon2hu( X ), ! kaon2hu( Z
% 0.83/1.24 ), ! kaon2hu( Y ), kaon2equal( X, Y ) }.
% 0.83/1.24 { ! frenchwine( X ) }.
% 0.83/1.24
% 0.83/1.24 *** allocated 15000 integers for clauses
% 0.83/1.24 *** allocated 22500 integers for clauses
% 0.83/1.24 *** allocated 33750 integers for clauses
% 0.83/1.24 *** allocated 50625 integers for clauses
% 0.83/1.24 percentage equality = 0.000000, percentage horn = 1.000000
% 0.83/1.24 This is a near-Horn, non-equality problem
% 0.83/1.24
% 0.83/1.24
% 0.83/1.24 Options Used:
% 0.83/1.24
% 0.83/1.24 useres = 1
% 0.83/1.24 useparamod = 0
% 0.83/1.24 useeqrefl = 0
% 0.83/1.24 useeqfact = 0
% 0.83/1.24 usefactor = 1
% 0.83/1.24 usesimpsplitting = 0
% 0.83/1.24 usesimpdemod = 0
% 0.83/1.24 usesimpres = 4
% 0.83/1.24
% 0.83/1.24 resimpinuse = 1000
% 0.83/1.24 resimpclauses = 20000
% 0.83/1.24 substype = standard
% 0.83/1.24 backwardsubs = 1
% 0.83/1.24 selectoldest = 5
% 0.83/1.24
% 0.83/1.24 litorderings [0] = split
% 0.83/1.24 litorderings [1] = liftord
% 0.83/1.24
% 0.83/1.24 termordering = none
% 0.83/1.24
% 0.83/1.24 litapriori = 1
% 0.83/1.24 termapriori = 0
% 0.83/1.24 litaposteriori = 0
% 0.83/1.24 termaposteriori = 0
% 0.83/1.24 demodaposteriori = 0
% 0.83/1.24 ordereqreflfact = 0
% 0.83/1.24
% 0.83/1.24 litselect = negative
% 0.83/1.24
% 0.83/1.24 maxweight = 30000
% 0.83/1.24 maxdepth = 30000
% 0.83/1.24 maxlength = 115
% 0.83/1.24 maxnrvars = 195
% 0.83/1.24 excuselevel = 0
% 0.83/1.24 increasemaxweight = 0
% 0.83/1.24
% 0.83/1.24 maxselected = 10000000
% 0.83/1.24 maxnrclauses = 10000000
% 0.83/1.24
% 0.83/1.24 showgenerated = 0
% 0.83/1.24 showkept = 0
% 0.83/1.24 showselected = 0
% 0.83/1.24 showdeleted = 0
% 0.83/1.24 showresimp = 1
% 0.83/1.24 showstatus = 2000
% 0.83/1.24
% 0.83/1.24 prologoutput = 0
% 0.83/1.24 nrgoals = 5000000
% 0.83/1.24 totalproof = 1
% 0.83/1.24
% 0.83/1.24 Symbols occurring in the translation:
% 0.83/1.24
% 0.83/1.24 {} [0, 0] (w:1, o:2, a:1, s:1, b:0),
% 0.83/1.24 . [1, 2] (w:1, o:494, a:1, s:1, b:0),
% 0.83/1.24 ! [4, 1] (w:1, o:174, a:1, s:1, b:0),
% 0.83/1.24 = [13, 2] (w:1, o:0, a:0, s:1, b:0),
% 0.83/1.24 ==> [14, 2] (w:1, o:0, a:0, s:1, b:0),
% 0.83/1.24 pulignymontrachetwhiteburgundy [35, 0] (w:1, o:16, a:1, s:1, b:0),
% 0.83/1.24 medium [36, 0] (w:1, o:27, a:1, s:1, b:0),
% 0.83/1.24 hasbody_aux [37, 2] (w:1, o:518, a:1, s:1, b:0),
% 0.83/1.24 formanchardonnay [38, 0] (w:1, o:70, a:1, s:1, b:0),
% 0.83/1.24 full [39, 0] (w:1, o:71, a:1, s:1, b:0),
% 0.83/1.24 foxencheninblanc [40, 0] (w:1, o:72, a:1, s:1, b:0),
% 0.83/1.24 chianticlassico [41, 0] (w:1, o:74, a:1, s:1, b:0),
% 0.83/1.24 cortonmontrachetwhiteburgundy [42, 0] (w:1, o:75, a:1, s:1, b:0),
% 0.83/1.24 corbansprivatebinsauvignonblanc [43, 0] (w:1, o:76, a:1, s:1, b:0),
% 0.83/1.24 congressspringssemillon [44, 0] (w:1, o:77, a:1, s:1, b:0),
% 0.83/1.24 mariettapetitesyrah [45, 0] (w:1, o:79, a:1, s:1, b:0),
% 0.83/1.24 corbanssauvignonblanc [46, 0] (w:1, o:80, a:1, s:1, b:0),
% 0.83/1.24 petermccoychardonnay [47, 0] (w:1, o:81, a:1, s:1, b:0),
% 0.83/1.24 selaksicewine [48, 0] (w:1, o:86, a:1, s:1, b:0),
% 0.83/1.24 bancroftchardonnay [49, 0] (w:1, o:73, a:1, s:1, b:0),
% 0.83/1.24 elysezinfandel [50, 0] (w:1, o:67, a:1, s:1, b:0),
% 0.83/1.24 mountadampinotnoir [51, 0] (w:1, o:87, a:1, s:1, b:0),
% 0.83/1.24 mariettacabernetsauvignon [52, 0] (w:1, o:88, a:1, s:1, b:0),
% 0.83/1.24 schlossrothermeltrochenbierenausleseriesling [53, 0] (w:1, o:89, a:1
% 0.83/1.24 , s:1, b:0),
% 0.83/1.24 garyfarrellmerlot [54, 0] (w:1, o:94, a:1, s:1, b:0),
% 0.83/1.24 cotturizinfandel [55, 0] (w:1, o:95, a:1, s:1, b:0),
% 0.83/1.24 mariettaoldvinesred [56, 0] (w:1, o:78, a:1, s:1, b:0),
% 0.83/1.24 longridgemerlot [57, 0] (w:1, o:21, a:1, s:1, b:0),
% 0.83/1.24 light [58, 0] (w:1, o:22, a:1, s:1, b:0),
% 0.83/1.24 kalincellarssemillon [59, 0] (w:1, o:17, a:1, s:1, b:0),
% 0.83/1.24 pagemillwinerycabernetsauvignon [60, 0] (w:1, o:96, a:1, s:1, b:0),
% 0.83/1.24 seanthackreysiriuspetitesyrah [61, 0] (w:1, o:97, a:1, s:1, b:0),
% 0.83/1.24 saucelitocanyonzinfandel1998 [62, 0] (w:1, o:98, a:1, s:1, b:0),
% 0.83/1.24 whitehalllaneprimavera [63, 0] (w:1, o:109, a:1, s:1, b:0),
% 0.83/1.24 santacruzmountainvineyardcabernetsauvignon [64, 0] (w:1, o:111, a:1
% 0.83/1.24 , s:1, b:0),
% 0.83/1.24 lanetannerpinotnoir [65, 0] (w:1, o:23, a:1, s:1, b:0),
% 0.83/1.24 corbansdrywhiteriesling [66, 0] (w:1, o:112, a:1, s:1, b:0),
% 0.83/1.24 mountadamchardonnay [67, 0] (w:1, o:113, a:1, s:1, b:0),
% 0.83/1.24 mountadamriesling [68, 0] (w:1, o:114, a:1, s:1, b:0),
% 0.83/1.24 mariettazinfandel [69, 0] (w:1, o:115, a:1, s:1, b:0),
% 0.83/1.24 kathrynkennedylateral [70, 0] (w:1, o:18, a:1, s:1, b:0),
% 0.83/1.24 mountedenvineyardestatepinotnoir [71, 0] (w:1, o:116, a:1, s:1, b:0)
% 0.83/1.24 ,
% 0.83/1.24 whitehalllanecabernetfranc [72, 0] (w:1, o:117, a:1, s:1, b:0),
% 0.83/1.24 ventanacheninblanc [73, 0] (w:1, o:107, a:1, s:1, b:0),
% 0.83/1.24 saucelitocanyonzinfandel [74, 0] (w:1, o:118, a:1, s:1, b:0),
% 0.83/1.24 formancabernetsauvignon [75, 0] (w:1, o:90, a:1, s:1, b:0),
% 0.83/1.24 schlossvolradtrochenbierenausleseriesling [76, 0] (w:1, o:119, a:1
% 0.83/1.24 , s:1, b:0),
% 0.83/1.24 mountedenvineyardednavalleychardonnay [77, 0] (w:1, o:120, a:1, s:1
% 0.83/1.24 , b:0),
% 0.83/1.24 stonleighsauvignonblanc [78, 0] (w:1, o:121, a:1, s:1, b:0),
% 0.83/1.24 selakssauvignonblanc [79, 0] (w:1, o:122, a:1, s:1, b:0),
% 0.83/1.24 white [80, 0] (w:1, o:123, a:1, s:1, b:0),
% 0.83/1.24 hascolor_aux [81, 2] (w:1, o:520, a:1, s:1, b:0),
% 0.83/1.24 moderate [82, 0] (w:1, o:124, a:1, s:1, b:0),
% 0.83/1.24 hasflavor_aux [83, 2] (w:1, o:521, a:1, s:1, b:0),
% 0.83/1.24 stgenevievetexaswhite [84, 0] (w:1, o:125, a:1, s:1, b:0),
% 0.83/1.24 strong [85, 0] (w:1, o:126, a:1, s:1, b:0),
% 0.83/1.24 chateaudychemsauterne [86, 0] (w:1, o:127, a:1, s:1, b:0),
% 0.83/1.24 chateaudemeursaultmeursault [87, 0] (w:1, o:128, a:1, s:1, b:0),
% 0.83/1.24 delicate [88, 0] (w:1, o:64, a:1, s:1, b:0),
% 0.83/1.24 pulignymontrachet [89, 0] (w:1, o:129, a:1, s:1, b:0),
% 0.83/1.24 hasmaker_aux [90, 2] (w:1, o:522, a:1, s:1, b:0),
% 0.83/1.24 chateaulafiterothschildpauillac [91, 0] (w:1, o:37, a:1, s:1, b:0),
% 0.83/1.24 chateaulafiterothschild [92, 0] (w:1, o:38, a:1, s:1, b:0),
% 0.83/1.24 forman [93, 0] (w:1, o:91, a:1, s:1, b:0),
% 0.83/1.24 stgenevieve [94, 0] (w:1, o:130, a:1, s:1, b:0),
% 0.83/1.24 foxen [95, 0] (w:1, o:92, a:1, s:1, b:0),
% 0.83/1.24 mcguinnesso [96, 0] (w:1, o:131, a:1, s:1, b:0),
% 0.83/1.24 cortonmontrachet [97, 0] (w:1, o:39, a:1, s:1, b:0),
% 0.83/1.24 corbans [98, 0] (w:1, o:40, a:1, s:1, b:0),
% 0.83/1.24 congresssprings [99, 0] (w:1, o:41, a:1, s:1, b:0),
% 0.83/1.24 marietta [100, 0] (w:1, o:132, a:1, s:1, b:0),
% 0.83/1.24 petermccoy [101, 0] (w:1, o:133, a:1, s:1, b:0),
% 0.83/1.24 selaks [102, 0] (w:1, o:134, a:1, s:1, b:0),
% 0.83/1.24 bancroft [103, 0] (w:1, o:32, a:1, s:1, b:0),
% 0.83/1.24 chateauchevalblancstemilion [104, 0] (w:1, o:42, a:1, s:1, b:0),
% 0.83/1.24 chateauchevalblanc [105, 0] (w:1, o:43, a:1, s:1, b:0),
% 0.83/1.24 chateaumorgonbeaujolais [106, 0] (w:1, o:44, a:1, s:1, b:0),
% 0.83/1.24 chateaumorgon [107, 0] (w:1, o:45, a:1, s:1, b:0),
% 0.83/1.24 elyse [108, 0] (w:1, o:68, a:1, s:1, b:0),
% 0.83/1.24 mountadam [109, 0] (w:1, o:135, a:1, s:1, b:0),
% 0.83/1.24 taylorport [110, 0] (w:1, o:149, a:1, s:1, b:0),
% 0.83/1.24 taylor [111, 0] (w:1, o:150, a:1, s:1, b:0),
% 0.83/1.24 chateaudychem [112, 0] (w:1, o:46, a:1, s:1, b:0),
% 0.83/1.24 schlossrothermel [113, 0] (w:1, o:136, a:1, s:1, b:0),
% 0.83/1.24 garyfarrell [114, 0] (w:1, o:151, a:1, s:1, b:0),
% 0.83/1.24 closdevougeotcotesdor [115, 0] (w:1, o:47, a:1, s:1, b:0),
% 0.83/1.24 closdevougeot [116, 0] (w:1, o:48, a:1, s:1, b:0),
% 0.83/1.24 cotturi [117, 0] (w:1, o:49, a:1, s:1, b:0),
% 0.83/1.24 closdelapoussiesancerre [118, 0] (w:1, o:50, a:1, s:1, b:0),
% 0.83/1.24 closdelapoussie [119, 0] (w:1, o:51, a:1, s:1, b:0),
% 0.83/1.24 longridge [120, 0] (w:1, o:24, a:1, s:1, b:0),
% 0.83/1.24 kalincellars [121, 0] (w:1, o:19, a:1, s:1, b:0),
% 0.83/1.24 pagemillwinery [122, 0] (w:1, o:152, a:1, s:1, b:0),
% 0.83/1.24 seanthackrey [123, 0] (w:1, o:137, a:1, s:1, b:0),
% 0.83/1.24 saucelitocanyon [124, 0] (w:1, o:138, a:1, s:1, b:0),
% 0.83/1.24 chateaudemeursault [125, 0] (w:1, o:52, a:1, s:1, b:0),
% 0.83/1.24 santacruzmountainvineyard [126, 0] (w:1, o:139, a:1, s:1, b:0),
% 0.83/1.24 lanetanner [127, 0] (w:1, o:25, a:1, s:1, b:0),
% 0.83/1.24 rosedanjou [128, 0] (w:1, o:82, a:1, s:1, b:0),
% 0.83/1.24 danjou [129, 0] (w:1, o:65, a:1, s:1, b:0),
% 0.83/1.24 chateaumargaux [130, 0] (w:1, o:53, a:1, s:1, b:0),
% 0.83/1.24 chateaumargauxwinery [131, 0] (w:1, o:54, a:1, s:1, b:0),
% 0.83/1.24 kathrynkennedy [132, 0] (w:1, o:20, a:1, s:1, b:0),
% 0.83/1.24 mountedenvineyard [133, 0] (w:1, o:153, a:1, s:1, b:0),
% 0.83/1.24 whitehalllane [134, 0] (w:1, o:154, a:1, s:1, b:0),
% 0.83/1.24 ventana [135, 0] (w:1, o:108, a:1, s:1, b:0),
% 0.83/1.24 schlossvolrad [136, 0] (w:1, o:140, a:1, s:1, b:0),
% 0.83/1.24 stonleigh [137, 0] (w:1, o:141, a:1, s:1, b:0),
% 0.83/1.24 sevreetmainemuscadet [138, 0] (w:1, o:142, a:1, s:1, b:0),
% 0.83/1.24 sevreetmaine [139, 0] (w:1, o:143, a:1, s:1, b:0),
% 0.83/1.24 dry [140, 0] (w:1, o:66, a:1, s:1, b:0),
% 0.83/1.24 hassugar_aux [141, 2] (w:1, o:523, a:1, s:1, b:0),
% 0.83/1.24 sweet [142, 0] (w:1, o:144, a:1, s:1, b:0),
% 0.83/1.24 offdry [143, 0] (w:1, o:15, a:1, s:1, b:0),
% 0.83/1.24 californiaregion [144, 0] (w:1, o:55, a:1, s:1, b:0),
% 0.83/1.24 usregion [145, 0] (w:1, o:106, a:1, s:1, b:0),
% 0.83/1.24 locatedin_aux [146, 2] (w:1, o:525, a:1, s:1, b:0),
% 0.83/1.24 sancerreregion [147, 0] (w:1, o:145, a:1, s:1, b:0),
% 0.83/1.24 loireregion [148, 0] (w:1, o:26, a:1, s:1, b:0),
% 0.83/1.24 naparegion [149, 0] (w:1, o:13, a:1, s:1, b:0),
% 0.83/1.24 centraltexasregion [150, 0] (w:1, o:56, a:1, s:1, b:0),
% 0.83/1.24 santabarbararegion [151, 0] (w:1, o:110, a:1, s:1, b:0),
% 0.83/1.24 frenchregion [152, 0] (w:1, o:93, a:1, s:1, b:0),
% 0.83/1.24 newzealandregion [153, 0] (w:1, o:14, a:1, s:1, b:0),
% 0.83/1.24 sonomaregion [154, 0] (w:1, o:146, a:1, s:1, b:0),
% 0.83/1.24 southaustraliaregion [155, 0] (w:1, o:147, a:1, s:1, b:0),
% 0.83/1.24 chiantiregion [156, 0] (w:1, o:57, a:1, s:1, b:0),
% 0.83/1.24 italianregion [157, 0] (w:1, o:156, a:1, s:1, b:0),
% 0.83/1.24 sauterneregion [158, 0] (w:1, o:148, a:1, s:1, b:0),
% 0.83/1.24 bordeauxregion [159, 0] (w:1, o:33, a:1, s:1, b:0),
% 0.83/1.24 pauillacregion [160, 0] (w:1, o:157, a:1, s:1, b:0),
% 0.83/1.24 medocregion [161, 0] (w:1, o:6, a:1, s:1, b:0),
% 0.83/1.24 texasregion [162, 0] (w:1, o:104, a:1, s:1, b:0),
% 0.83/1.24 germanyregion [163, 0] (w:1, o:158, a:1, s:1, b:0),
% 0.83/1.24 anjouregion [164, 0] (w:1, o:28, a:1, s:1, b:0),
% 0.83/1.24 centralcoastregion [165, 0] (w:1, o:58, a:1, s:1, b:0),
% 0.83/1.24 arroyogranderegion [166, 0] (w:1, o:29, a:1, s:1, b:0),
% 0.83/1.24 australianregion [167, 0] (w:1, o:30, a:1, s:1, b:0),
% 0.83/1.24 santacruzmountainsregion [168, 0] (w:1, o:99, a:1, s:1, b:0),
% 0.83/1.24 mendocinoregion [169, 0] (w:1, o:7, a:1, s:1, b:0),
% 0.83/1.24 margauxregion [170, 0] (w:1, o:8, a:1, s:1, b:0),
% 0.83/1.24 muscadetregion [171, 0] (w:1, o:9, a:1, s:1, b:0),
% 0.83/1.24 alsaceregion [172, 0] (w:1, o:31, a:1, s:1, b:0),
% 0.83/1.24 stemilionregion [173, 0] (w:1, o:100, a:1, s:1, b:0),
% 0.83/1.24 bourgogneregion [174, 0] (w:1, o:34, a:1, s:1, b:0),
% 0.83/1.24 toursregion [175, 0] (w:1, o:105, a:1, s:1, b:0),
% 0.83/1.24 cotesdorregion [176, 0] (w:1, o:59, a:1, s:1, b:0),
% 0.83/1.24 ednavalleyregion [177, 0] (w:1, o:69, a:1, s:1, b:0),
% 0.83/1.24 beaujolaisregion [178, 0] (w:1, o:35, a:1, s:1, b:0),
% 0.83/1.24 meursaultregion [179, 0] (w:1, o:10, a:1, s:1, b:0),
% 0.83/1.24 semillongrape [180, 0] (w:1, o:101, a:1, s:1, b:0),
% 0.83/1.24 madefromgrape_aux [181, 2] (w:1, o:528, a:1, s:1, b:0),
% 0.83/1.24 sauvignonblancgrape [182, 0] (w:1, o:102, a:1, s:1, b:0),
% 0.83/1.24 ot____nom1_aux [183, 1] (w:1, o:179, a:1, s:1, b:0),
% 0.83/1.24 ot____nom10_aux [184, 1] (w:1, o:180, a:1, s:1, b:0),
% 0.83/1.24 ot____nom11_aux [185, 1] (w:1, o:182, a:1, s:1, b:0),
% 0.83/1.24 ot____nom12_aux [186, 1] (w:1, o:184, a:1, s:1, b:0),
% 0.83/1.24 ot____nom13_aux [187, 1] (w:1, o:186, a:1, s:1, b:0),
% 0.83/1.24 ot____nom14_aux [188, 1] (w:1, o:188, a:1, s:1, b:0),
% 0.83/1.24 ot____nom15_aux [189, 1] (w:1, o:190, a:1, s:1, b:0),
% 0.83/1.24 ot____nom16_aux [190, 1] (w:1, o:192, a:1, s:1, b:0),
% 0.83/1.24 ot____nom17_aux [191, 1] (w:1, o:194, a:1, s:1, b:0),
% 0.83/1.24 ot____nom18_aux [192, 1] (w:1, o:196, a:1, s:1, b:0),
% 0.83/1.24 ot____nom19_aux [193, 1] (w:1, o:198, a:1, s:1, b:0),
% 0.83/1.24 ot____nom2_aux [194, 1] (w:1, o:201, a:1, s:1, b:0),
% 0.83/1.24 zinfandelgrape [195, 0] (w:1, o:160, a:1, s:1, b:0),
% 0.83/1.24 ot____nom20_aux [196, 1] (w:1, o:202, a:1, s:1, b:0),
% 0.83/1.24 pinotblancgrape [197, 0] (w:1, o:161, a:1, s:1, b:0),
% 0.83/1.24 ot____nom21_aux [198, 1] (w:1, o:204, a:1, s:1, b:0),
% 0.83/1.24 ot____nom22_aux [199, 1] (w:1, o:206, a:1, s:1, b:0),
% 0.83/1.24 ot____nom23_aux [200, 1] (w:1, o:208, a:1, s:1, b:0),
% 0.83/1.24 chardonnaygrape [201, 0] (w:1, o:60, a:1, s:1, b:0),
% 0.83/1.24 ot____nom24_aux [202, 1] (w:1, o:210, a:1, s:1, b:0),
% 0.83/1.24 petitesyrahgrape [203, 0] (w:1, o:162, a:1, s:1, b:0),
% 0.83/1.24 ot____nom25_aux [204, 1] (w:1, o:212, a:1, s:1, b:0),
% 0.83/1.24 ot____nom26_aux [205, 1] (w:1, o:214, a:1, s:1, b:0),
% 0.83/1.24 ot____nom27_aux [206, 1] (w:1, o:216, a:1, s:1, b:0),
% 0.83/1.24 red [207, 0] (w:1, o:83, a:1, s:1, b:0),
% 0.83/1.24 ot____nom28_aux [208, 1] (w:1, o:218, a:1, s:1, b:0),
% 0.83/1.24 cabernetsauvignongrape [209, 0] (w:1, o:61, a:1, s:1, b:0),
% 0.83/1.24 ot____nom29_aux [210, 1] (w:1, o:220, a:1, s:1, b:0),
% 0.83/1.24 cabernetfrancgrape [211, 0] (w:1, o:62, a:1, s:1, b:0),
% 0.83/1.24 ot____nom3_aux [212, 1] (w:1, o:223, a:1, s:1, b:0),
% 0.83/1.24 ot____nom30_aux [213, 1] (w:1, o:224, a:1, s:1, b:0),
% 0.83/1.24 ot____nom31_aux [214, 1] (w:1, o:226, a:1, s:1, b:0),
% 0.83/1.24 rose [215, 0] (w:1, o:84, a:1, s:1, b:0),
% 0.83/1.24 ot____nom32_aux [216, 1] (w:1, o:228, a:1, s:1, b:0),
% 0.83/1.24 gamaygrape [217, 0] (w:1, o:163, a:1, s:1, b:0),
% 0.83/1.24 ot____nom33_aux [218, 1] (w:1, o:230, a:1, s:1, b:0),
% 0.83/1.24 cheninblancgrape [219, 0] (w:1, o:63, a:1, s:1, b:0),
% 0.83/1.24 ot____nom34_aux [220, 1] (w:1, o:232, a:1, s:1, b:0),
% 0.83/1.24 ot____nom35_aux [221, 1] (w:1, o:234, a:1, s:1, b:0),
% 0.83/1.24 ot____nom36_aux [222, 1] (w:1, o:236, a:1, s:1, b:0),
% 0.83/1.24 rieslinggrape [223, 0] (w:1, o:85, a:1, s:1, b:0),
% 0.83/1.24 ot____nom37_aux [224, 1] (w:1, o:238, a:1, s:1, b:0),
% 0.83/1.24 ot____nom38_aux [225, 1] (w:1, o:240, a:1, s:1, b:0),
% 0.83/1.24 pinotnoirgrape [226, 0] (w:1, o:164, a:1, s:1, b:0),
% 0.83/1.24 ot____nom39_aux [227, 1] (w:1, o:242, a:1, s:1, b:0),
% 0.83/1.24 ot____nom4_aux [228, 1] (w:1, o:245, a:1, s:1, b:0),
% 0.83/1.24 ot____nom40_aux [229, 1] (w:1, o:246, a:1, s:1, b:0),
% 0.83/1.24 ot____nom41_aux [230, 1] (w:1, o:248, a:1, s:1, b:0),
% 0.83/1.24 ot____nom42_aux [231, 1] (w:1, o:250, a:1, s:1, b:0),
% 0.83/1.24 merlotgrape [232, 0] (w:1, o:11, a:1, s:1, b:0),
% 0.83/1.24 ot____nom43_aux [233, 1] (w:1, o:252, a:1, s:1, b:0),
% 0.83/1.24 ot____nom44_aux [234, 1] (w:1, o:254, a:1, s:1, b:0),
% 0.83/1.24 ot____nom45_aux [235, 1] (w:1, o:256, a:1, s:1, b:0),
% 0.83/1.25 ot____nom46_aux [236, 1] (w:1, o:258, a:1, s:1, b:0),
% 0.83/1.25 ot____nom47_aux [237, 1] (w:1, o:260, a:1, s:1, b:0),
% 0.83/1.25 ot____nom48_aux [238, 1] (w:1, o:262, a:1, s:1, b:0),
% 0.83/1.25 ot____nom49_aux [239, 1] (w:1, o:264, a:1, s:1, b:0),
% 0.83/1.25 ot____nom5_aux [240, 1] (w:1, o:267, a:1, s:1, b:0),
% 0.83/1.25 ot____nom50_aux [241, 1] (w:1, o:268, a:1, s:1, b:0),
% 0.83/1.25 ot____nom51_aux [242, 1] (w:1, o:270, a:1, s:1, b:0),
% 0.83/1.25 ot____nom52_aux [243, 1] (w:1, o:272, a:1, s:1, b:0),
% 0.83/1.25 ot____nom53_aux [244, 1] (w:1, o:274, a:1, s:1, b:0),
% 0.83/1.25 ot____nom54_aux [245, 1] (w:1, o:276, a:1, s:1, b:0),
% 0.83/1.25 ot____nom55_aux [246, 1] (w:1, o:278, a:1, s:1, b:0),
% 0.83/1.25 ot____nom56_aux [247, 1] (w:1, o:280, a:1, s:1, b:0),
% 0.83/1.25 portugalregion [248, 0] (w:1, o:165, a:1, s:1, b:0),
% 0.83/1.25 ot____nom57_aux [249, 1] (w:1, o:282, a:1, s:1, b:0),
% 0.83/1.25 ot____nom58_aux [250, 1] (w:1, o:284, a:1, s:1, b:0),
% 0.83/1.25 ot____nom59_aux [251, 1] (w:1, o:286, a:1, s:1, b:0),
% 0.83/1.25 ot____nom6_aux [252, 1] (w:1, o:289, a:1, s:1, b:0),
% 0.83/1.25 sangiovesegrape [253, 0] (w:1, o:103, a:1, s:1, b:0),
% 0.83/1.25 ot____nom60_aux [254, 1] (w:1, o:290, a:1, s:1, b:0),
% 0.83/1.25 ot____nom61_aux [255, 1] (w:1, o:292, a:1, s:1, b:0),
% 0.83/1.25 ot____nom62_aux [256, 1] (w:1, o:294, a:1, s:1, b:0),
% 0.83/1.25 ot____nom63_aux [257, 1] (w:1, o:296, a:1, s:1, b:0),
% 0.83/1.25 ot____nom64_aux [258, 1] (w:1, o:298, a:1, s:1, b:0),
% 0.83/1.25 ot____nom7_aux [259, 1] (w:1, o:301, a:1, s:1, b:0),
% 0.83/1.25 ot____nom8_aux [260, 1] (w:1, o:303, a:1, s:1, b:0),
% 0.83/1.25 petiteverdotgrape [261, 0] (w:1, o:166, a:1, s:1, b:0),
% 0.83/1.25 malbecgrape [262, 0] (w:1, o:12, a:1, s:1, b:0),
% 0.83/1.25 ot____nom9_aux [263, 1] (w:1, o:305, a:1, s:1, b:0),
% 0.83/1.25 wineflavor_aux [264, 1] (w:1, o:317, a:1, s:1, b:0),
% 0.83/1.25 winegrape_aux [265, 1] (w:1, o:319, a:1, s:1, b:0),
% 0.83/1.25 winesugar_aux [266, 1] (w:1, o:322, a:1, s:1, b:0),
% 0.83/1.25 winery_aux [267, 1] (w:1, o:320, a:1, s:1, b:0),
% 0.83/1.25 beringer [268, 0] (w:1, o:36, a:1, s:1, b:0),
% 0.83/1.25 handley [269, 0] (w:1, o:155, a:1, s:1, b:0),
% 0.83/1.25 zinfandel_aux [270, 1] (w:1, o:323, a:1, s:1, b:0),
% 0.83/1.25 winebody_aux [271, 1] (w:1, o:324, a:1, s:1, b:0),
% 0.83/1.25 winecolor_aux [272, 1] (w:1, o:326, a:1, s:1, b:0),
% 0.83/1.25 whiteburgundy_aux [273, 1] (w:1, o:309, a:1, s:1, b:0),
% 0.83/1.25 whitewine_aux [274, 1] (w:1, o:310, a:1, s:1, b:0),
% 0.83/1.25 muscadet_aux [275, 1] (w:1, o:330, a:1, s:1, b:0),
% 0.83/1.25 meursault_aux [276, 1] (w:1, o:331, a:1, s:1, b:0),
% 0.83/1.25 meritage_aux [277, 1] (w:1, o:332, a:1, s:1, b:0),
% 0.83/1.25 margaux_aux [278, 1] (w:1, o:333, a:1, s:1, b:0),
% 0.83/1.25 icewine_aux [279, 1] (w:1, o:334, a:1, s:1, b:0),
% 0.83/1.25 dryriesling_aux [280, 1] (w:1, o:356, a:1, s:1, b:0),
% 0.83/1.25 dessertwine_aux [281, 1] (w:1, o:357, a:1, s:1, b:0),
% 0.83/1.25 cabernetsauvignon_aux [282, 1] (w:1, o:343, a:1, s:1, b:0),
% 0.83/1.25 cabernetfranc_aux [283, 1] (w:1, o:344, a:1, s:1, b:0),
% 0.83/1.25 beaujolais_aux [284, 1] (w:1, o:339, a:1, s:1, b:0),
% 0.83/1.25 anjou_aux [285, 1] (w:1, o:337, a:1, s:1, b:0),
% 0.83/1.25 chardonnay_aux [286, 1] (w:1, o:345, a:1, s:1, b:0),
% 0.83/1.25 cheninblanc_aux [287, 1] (w:1, o:346, a:1, s:1, b:0),
% 0.83/1.25 chianti_aux [288, 1] (w:1, o:347, a:1, s:1, b:0),
% 0.83/1.25 cotesdor_aux [289, 1] (w:1, o:348, a:1, s:1, b:0),
% 0.83/1.25 merlot_aux [290, 1] (w:1, o:358, a:1, s:1, b:0),
% 0.83/1.25 pauillac_aux [291, 1] (w:1, o:360, a:1, s:1, b:0),
% 0.83/1.25 petitesyrah_aux [292, 1] (w:1, o:361, a:1, s:1, b:0),
% 0.83/1.25 pinotnoir_aux [293, 1] (w:1, o:362, a:1, s:1, b:0),
% 0.83/1.25 port_aux [294, 1] (w:1, o:363, a:1, s:1, b:0),
% 0.83/1.25 redtablewine_aux [295, 1] (w:1, o:436, a:1, s:1, b:0),
% 0.83/1.25 region_aux [296, 1] (w:1, o:437, a:1, s:1, b:0),
% 0.83/1.25 riesling_aux [297, 1] (w:1, o:438, a:1, s:1, b:0),
% 0.83/1.25 sancerre_aux [298, 1] (w:1, o:446, a:1, s:1, b:0),
% 0.83/1.25 sauternes_aux [299, 1] (w:1, o:447, a:1, s:1, b:0),
% 0.83/1.25 sauvignonblanc_aux [300, 1] (w:1, o:448, a:1, s:1, b:0),
% 0.83/1.25 semillon_aux [301, 1] (w:1, o:449, a:1, s:1, b:0),
% 0.83/1.25 stemilion_aux [302, 1] (w:1, o:450, a:1, s:1, b:0),
% 0.83/1.25 sweetriesling_aux [303, 1] (w:1, o:451, a:1, s:1, b:0),
% 0.83/1.25 kaon2namedobjects [304, 1] (w:1, o:452, a:1, s:1, b:0),
% 0.83/1.25 year1998 [305, 0] (w:1, o:159, a:1, s:1, b:0),
% 0.83/1.25 vintageyear_aux [306, 1] (w:1, o:306, a:1, s:1, b:0),
% 0.83/1.25 hasvintageyear_aux [307, 2] (w:1, o:529, a:1, s:1, b:0),
% 0.83/1.25 madefromgrape [310, 2] (w:1, o:530, a:1, s:1, b:0),
% 0.83/1.25 locatedin [311, 2] (w:1, o:526, a:1, s:1, b:0),
% 0.83/1.25 hassugar [312, 2] (w:1, o:531, a:1, s:1, b:0),
% 0.83/1.25 hasmaker [313, 2] (w:1, o:532, a:1, s:1, b:0),
% 0.83/1.25 hasflavor [314, 2] (w:1, o:533, a:1, s:1, b:0),
% 0.83/1.25 hascolor [315, 2] (w:1, o:534, a:1, s:1, b:0),
% 0.83/1.25 hasbody [316, 2] (w:1, o:519, a:1, s:1, b:0),
% 0.83/1.25 adjacentregion_aux [317, 2] (w:1, o:535, a:1, s:1, b:0),
% 0.83/1.25 adjacentregion [318, 2] (w:1, o:536, a:1, s:1, b:0),
% 0.83/1.25 hasvintageyear [319, 2] (w:1, o:537, a:1, s:1, b:0),
% 0.83/1.25 ot____nom1 [320, 1] (w:1, o:199, a:1, s:1, b:0),
% 0.83/1.25 ot____nom10 [321, 1] (w:1, o:181, a:1, s:1, b:0),
% 0.83/1.25 ot____nom11 [322, 1] (w:1, o:183, a:1, s:1, b:0),
% 0.83/1.25 ot____nom12 [323, 1] (w:1, o:185, a:1, s:1, b:0),
% 0.83/1.25 ot____nom13 [324, 1] (w:1, o:187, a:1, s:1, b:0),
% 0.83/1.25 ot____nom14 [325, 1] (w:1, o:189, a:1, s:1, b:0),
% 0.83/1.25 ot____nom15 [326, 1] (w:1, o:191, a:1, s:1, b:0),
% 0.83/1.25 ot____nom16 [327, 1] (w:1, o:193, a:1, s:1, b:0),
% 0.83/1.25 ot____nom17 [328, 1] (w:1, o:195, a:1, s:1, b:0),
% 0.83/1.25 ot____nom18 [329, 1] (w:1, o:197, a:1, s:1, b:0),
% 0.83/1.25 ot____nom19 [330, 1] (w:1, o:200, a:1, s:1, b:0),
% 0.83/1.25 ot____nom2 [331, 1] (w:1, o:221, a:1, s:1, b:0),
% 0.83/1.25 ot____nom20 [332, 1] (w:1, o:203, a:1, s:1, b:0),
% 0.83/1.25 ot____nom21 [333, 1] (w:1, o:205, a:1, s:1, b:0),
% 0.83/1.25 ot____nom22 [334, 1] (w:1, o:207, a:1, s:1, b:0),
% 0.83/1.25 ot____nom23 [335, 1] (w:1, o:209, a:1, s:1, b:0),
% 0.83/1.25 ot____nom24 [336, 1] (w:1, o:211, a:1, s:1, b:0),
% 0.83/1.25 ot____nom25 [337, 1] (w:1, o:213, a:1, s:1, b:0),
% 0.83/1.25 ot____nom26 [338, 1] (w:1, o:215, a:1, s:1, b:0),
% 0.83/1.25 ot____nom27 [339, 1] (w:1, o:217, a:1, s:1, b:0),
% 0.83/1.25 ot____nom28 [340, 1] (w:1, o:219, a:1, s:1, b:0),
% 0.83/1.25 ot____nom29 [341, 1] (w:1, o:222, a:1, s:1, b:0),
% 0.83/1.25 ot____nom3 [342, 1] (w:1, o:243, a:1, s:1, b:0),
% 0.83/1.25 ot____nom30 [343, 1] (w:1, o:225, a:1, s:1, b:0),
% 0.83/1.25 ot____nom31 [344, 1] (w:1, o:227, a:1, s:1, b:0),
% 0.83/1.25 ot____nom32 [345, 1] (w:1, o:229, a:1, s:1, b:0),
% 0.83/1.25 ot____nom33 [346, 1] (w:1, o:231, a:1, s:1, b:0),
% 0.83/1.25 ot____nom34 [347, 1] (w:1, o:233, a:1, s:1, b:0),
% 0.83/1.25 ot____nom35 [348, 1] (w:1, o:235, a:1, s:1, b:0),
% 0.83/1.25 ot____nom36 [349, 1] (w:1, o:237, a:1, s:1, b:0),
% 0.83/1.25 ot____nom37 [350, 1] (w:1, o:239, a:1, s:1, b:0),
% 0.83/1.25 ot____nom38 [351, 1] (w:1, o:241, a:1, s:1, b:0),
% 0.83/1.25 ot____nom39 [352, 1] (w:1, o:244, a:1, s:1, b:0),
% 0.83/1.25 ot____nom4 [353, 1] (w:1, o:265, a:1, s:1, b:0),
% 0.83/1.25 ot____nom40 [354, 1] (w:1, o:247, a:1, s:1, b:0),
% 0.83/1.25 ot____nom41 [355, 1] (w:1, o:249, a:1, s:1, b:0),
% 0.83/1.25 ot____nom42 [356, 1] (w:1, o:251, a:1, s:1, b:0),
% 0.83/1.25 ot____nom43 [357, 1] (w:1, o:253, a:1, s:1, b:0),
% 0.83/1.25 ot____nom44 [358, 1] (w:1, o:255, a:1, s:1, b:0),
% 0.83/1.25 ot____nom45 [359, 1] (w:1, o:257, a:1, s:1, b:0),
% 0.83/1.25 ot____nom46 [360, 1] (w:1, o:259, a:1, s:1, b:0),
% 0.83/1.25 ot____nom47 [361, 1] (w:1, o:261, a:1, s:1, b:0),
% 0.83/1.25 ot____nom48 [362, 1] (w:1, o:263, a:1, s:1, b:0),
% 0.83/1.25 ot____nom49 [363, 1] (w:1, o:266, a:1, s:1, b:0),
% 0.83/1.25 ot____nom5 [364, 1] (w:1, o:287, a:1, s:1, b:0),
% 0.83/1.25 ot____nom50 [365, 1] (w:1, o:269, a:1, s:1, b:0),
% 0.83/1.25 ot____nom51 [366, 1] (w:1, o:271, a:1, s:1, b:0),
% 0.83/1.25 ot____nom52 [367, 1] (w:1, o:273, a:1, s:1, b:0),
% 0.83/1.25 ot____nom53 [368, 1] (w:1, o:275, a:1, s:1, b:0),
% 0.83/1.25 ot____nom54 [369, 1] (w:1, o:277, a:1, s:1, b:0),
% 0.83/1.25 ot____nom55 [370, 1] (w:1, o:279, a:1, s:1, b:0),
% 0.83/1.25 ot____nom56 [371, 1] (w:1, o:281, a:1, s:1, b:0),
% 0.83/1.25 ot____nom57 [372, 1] (w:1, o:283, a:1, s:1, b:0),
% 0.83/1.25 ot____nom58 [373, 1] (w:1, o:285, a:1, s:1, b:0),
% 0.83/1.25 ot____nom59 [374, 1] (w:1, o:288, a:1, s:1, b:0),
% 0.83/1.25 ot____nom6 [375, 1] (w:1, o:299, a:1, s:1, b:0),
% 0.83/1.25 ot____nom60 [376, 1] (w:1, o:291, a:1, s:1, b:0),
% 0.83/1.25 ot____nom61 [377, 1] (w:1, o:293, a:1, s:1, b:0),
% 0.83/1.25 ot____nom62 [378, 1] (w:1, o:295, a:1, s:1, b:0),
% 0.83/1.25 ot____nom63 [379, 1] (w:1, o:297, a:1, s:1, b:0),
% 0.83/1.25 ot____nom64 [380, 1] (w:1, o:300, a:1, s:1, b:0),
% 0.83/1.25 ot____nom7 [381, 1] (w:1, o:302, a:1, s:1, b:0),
% 0.83/1.25 ot____nom8 [382, 1] (w:1, o:304, a:1, s:1, b:0),
% 0.83/1.25 ot____nom9 [383, 1] (w:1, o:359, a:1, s:1, b:0),
% 0.83/1.25 zinfandel [384, 1] (w:1, o:453, a:1, s:1, b:0),
% 0.83/1.25 winery [385, 1] (w:1, o:321, a:1, s:1, b:0),
% 0.83/1.25 winegrape [386, 1] (w:1, o:454, a:1, s:1, b:0),
% 0.83/1.25 winesugar [387, 1] (w:1, o:455, a:1, s:1, b:0),
% 0.83/1.25 wineflavor [388, 1] (w:1, o:318, a:1, s:1, b:0),
% 0.83/1.25 anjou [389, 1] (w:1, o:338, a:1, s:1, b:0),
% 0.83/1.25 beaujolais [390, 1] (w:1, o:340, a:1, s:1, b:0),
% 0.83/1.25 cabernetfranc [391, 1] (w:1, o:349, a:1, s:1, b:0),
% 0.83/1.25 cabernetsauvignon [392, 1] (w:1, o:350, a:1, s:1, b:0),
% 0.83/1.25 chardonnay [393, 1] (w:1, o:351, a:1, s:1, b:0),
% 0.83/1.25 cheninblanc [394, 1] (w:1, o:352, a:1, s:1, b:0),
% 0.83/1.25 chianti [395, 1] (w:1, o:353, a:1, s:1, b:0),
% 0.83/1.25 cotesdor [396, 1] (w:1, o:354, a:1, s:1, b:0),
% 0.83/1.25 dessertwine [397, 1] (w:1, o:456, a:1, s:1, b:0),
% 0.83/1.25 dryriesling [398, 1] (w:1, o:457, a:1, s:1, b:0),
% 0.83/1.25 icewine [399, 1] (w:1, o:458, a:1, s:1, b:0),
% 0.83/1.25 margaux [400, 1] (w:1, o:459, a:1, s:1, b:0),
% 0.83/1.25 meritage [401, 1] (w:1, o:460, a:1, s:1, b:0),
% 0.83/1.25 merlot [402, 1] (w:1, o:461, a:1, s:1, b:0),
% 0.83/1.25 meursault [403, 1] (w:1, o:462, a:1, s:1, b:0),
% 0.83/1.25 muscadet [404, 1] (w:1, o:463, a:1, s:1, b:0),
% 0.83/1.25 pauillac [405, 1] (w:1, o:464, a:1, s:1, b:0),
% 0.83/1.25 petitesyrah [406, 1] (w:1, o:465, a:1, s:1, b:0),
% 0.83/1.25 pinotnoir [407, 1] (w:1, o:466, a:1, s:1, b:0),
% 0.83/1.25 port [408, 1] (w:1, o:467, a:1, s:1, b:0),
% 0.83/1.25 redtablewine [409, 1] (w:1, o:439, a:1, s:1, b:0),
% 0.83/1.25 region [410, 1] (w:1, o:440, a:1, s:1, b:0),
% 0.83/1.25 riesling [411, 1] (w:1, o:441, a:1, s:1, b:0),
% 0.83/1.25 sancerre [412, 1] (w:1, o:468, a:1, s:1, b:0),
% 0.83/1.25 sauternes [413, 1] (w:1, o:469, a:1, s:1, b:0),
% 0.83/1.25 sauvignonblanc [414, 1] (w:1, o:470, a:1, s:1, b:0),
% 0.83/1.25 semillon [415, 1] (w:1, o:471, a:1, s:1, b:0),
% 0.83/1.25 stemilion [416, 1] (w:1, o:472, a:1, s:1, b:0),
% 0.83/1.25 sweetriesling [417, 1] (w:1, o:473, a:1, s:1, b:0),
% 0.83/1.25 vintageyear [418, 1] (w:1, o:307, a:1, s:1, b:0),
% 0.83/1.25 whiteburgundy [419, 1] (w:1, o:311, a:1, s:1, b:0),
% 0.83/1.25 whitewine [420, 1] (w:1, o:312, a:1, s:1, b:0),
% 0.83/1.25 winebody [421, 1] (w:1, o:325, a:1, s:1, b:0),
% 0.83/1.25 winecolor [422, 1] (w:1, o:474, a:1, s:1, b:0),
% 0.83/1.25 q0 [423, 1] (w:1, o:366, a:1, s:1, b:0),
% 0.83/1.25 medoc [424, 1] (w:1, o:475, a:1, s:1, b:0),
% 0.83/1.25 redwine [425, 1] (w:1, o:442, a:1, s:1, b:0),
% 0.83/1.25 kaon2equal [426, 2] (w:1, o:524, a:1, s:1, b:0),
% 0.83/1.25 bordeaux [427, 1] (w:1, o:341, a:1, s:1, b:0),
% 0.83/1.25 q1 [428, 1] (w:1, o:367, a:1, s:1, b:0),
% 0.83/1.25 q2 [429, 1] (w:1, o:378, a:1, s:1, b:0),
% 0.83/1.25 q9 [430, 1] (w:1, o:379, a:1, s:1, b:0),
% 0.83/1.25 q10 [431, 1] (w:1, o:368, a:1, s:1, b:0),
% 0.83/1.25 q11 [432, 1] (w:1, o:369, a:1, s:1, b:0),
% 0.83/1.25 q12 [433, 1] (w:1, o:370, a:1, s:1, b:0),
% 0.83/1.25 whitetablewine [434, 1] (w:1, o:313, a:1, s:1, b:0),
% 3.00/3.36 pinotblanc [435, 1] (w:1, o:364, a:1, s:1, b:0),
% 3.00/3.36 semillonorsauvignonblanc [436, 1] (w:1, o:476, a:1, s:1, b:0),
% 3.00/3.36 q13 [437, 1] (w:1, o:371, a:1, s:1, b:0),
% 3.00/3.36 gamay [438, 1] (w:1, o:482, a:1, s:1, b:0),
% 3.00/3.36 q14 [439, 1] (w:1, o:372, a:1, s:1, b:0),
% 3.00/3.36 q15 [440, 1] (w:1, o:373, a:1, s:1, b:0),
% 3.00/3.36 rosewine [441, 1] (w:1, o:443, a:1, s:1, b:0),
% 3.00/3.36 q16 [442, 1] (w:1, o:374, a:1, s:1, b:0),
% 3.00/3.36 q17 [443, 1] (w:1, o:375, a:1, s:1, b:0),
% 3.00/3.36 q18 [444, 1] (w:1, o:376, a:1, s:1, b:0),
% 3.00/3.36 q19 [445, 1] (w:1, o:377, a:1, s:1, b:0),
% 3.00/3.36 q20 [446, 1] (w:1, o:380, a:1, s:1, b:0),
% 3.00/3.36 q21 [447, 1] (w:1, o:381, a:1, s:1, b:0),
% 3.00/3.36 q22 [448, 1] (w:1, o:382, a:1, s:1, b:0),
% 3.00/3.36 q23 [449, 1] (w:1, o:383, a:1, s:1, b:0),
% 3.00/3.36 q24 [450, 1] (w:1, o:384, a:1, s:1, b:0),
% 3.00/3.36 americanwine [451, 1] (w:1, o:336, a:1, s:1, b:0),
% 3.00/3.36 q26 [452, 1] (w:1, o:385, a:1, s:1, b:0),
% 3.00/3.36 q27 [453, 1] (w:1, o:386, a:1, s:1, b:0),
% 3.00/3.36 burgundy [454, 1] (w:1, o:342, a:1, s:1, b:0),
% 3.00/3.37 q29 [455, 1] (w:1, o:387, a:1, s:1, b:0),
% 3.00/3.37 q30 [456, 1] (w:1, o:388, a:1, s:1, b:0),
% 3.00/3.37 q3 [457, 1] (w:1, o:389, a:1, s:1, b:0),
% 3.00/3.37 tours [458, 1] (w:1, o:484, a:1, s:1, b:0),
% 3.00/3.37 redburgundy [459, 1] (w:1, o:444, a:1, s:1, b:0),
% 3.00/3.37 wine [460, 1] (w:1, o:485, a:1, s:1, b:0),
% 3.00/3.37 q31 [461, 1] (w:1, o:390, a:1, s:1, b:0),
% 3.00/3.37 tablewine [462, 1] (w:1, o:486, a:1, s:1, b:0),
% 3.00/3.37 drywine [463, 1] (w:1, o:487, a:1, s:1, b:0),
% 3.00/3.37 q32 [464, 1] (w:1, o:391, a:1, s:1, b:0),
% 3.00/3.37 q33 [465, 1] (w:1, o:392, a:1, s:1, b:0),
% 3.00/3.37 q34 [466, 1] (w:1, o:393, a:1, s:1, b:0),
% 3.00/3.37 q35 [467, 1] (w:1, o:394, a:1, s:1, b:0),
% 3.00/3.37 fullbodiedwine [468, 1] (w:1, o:480, a:1, s:1, b:0),
% 3.00/3.37 whitenonsweetwine [469, 1] (w:1, o:314, a:1, s:1, b:0),
% 3.00/3.37 q36 [470, 1] (w:1, o:395, a:1, s:1, b:0),
% 3.00/3.37 earlyharvest [471, 1] (w:1, o:479, a:1, s:1, b:0),
% 3.00/3.37 q37 [472, 1] (w:1, o:396, a:1, s:1, b:0),
% 3.00/3.37 q38 [473, 1] (w:1, o:397, a:1, s:1, b:0),
% 3.00/3.37 q39 [474, 1] (w:1, o:398, a:1, s:1, b:0),
% 3.00/3.37 q40 [475, 1] (w:1, o:399, a:1, s:1, b:0),
% 3.00/3.37 q4 [476, 1] (w:1, o:400, a:1, s:1, b:0),
% 3.00/3.37 q41 [477, 1] (w:1, o:401, a:1, s:1, b:0),
% 3.00/3.37 q42 [478, 1] (w:1, o:402, a:1, s:1, b:0),
% 3.00/3.37 q43 [479, 1] (w:1, o:403, a:1, s:1, b:0),
% 3.00/3.37 q44 [480, 1] (w:1, o:404, a:1, s:1, b:0),
% 3.00/3.37 q45 [481, 1] (w:1, o:405, a:1, s:1, b:0),
% 3.00/3.37 q46 [482, 1] (w:1, o:406, a:1, s:1, b:0),
% 3.00/3.37 californiawine [483, 1] (w:1, o:355, a:1, s:1, b:0),
% 3.00/3.37 q47 [484, 1] (w:1, o:407, a:1, s:1, b:0),
% 3.00/3.37 q48 [485, 1] (w:1, o:408, a:1, s:1, b:0),
% 3.00/3.37 germanwine [486, 1] (w:1, o:488, a:1, s:1, b:0),
% 3.00/3.37 q49 [487, 1] (w:1, o:409, a:1, s:1, b:0),
% 3.00/3.37 q50 [488, 1] (w:1, o:410, a:1, s:1, b:0),
% 3.00/3.37 q5 [489, 1] (w:1, o:411, a:1, s:1, b:0),
% 3.00/3.37 q6 [490, 1] (w:1, o:419, a:1, s:1, b:0),
% 3.00/3.37 q72 [491, 1] (w:1, o:431, a:1, s:1, b:0),
% 3.00/3.37 q69 [492, 1] (w:1, o:421, a:1, s:1, b:0),
% 3.00/3.37 q63 [493, 1] (w:1, o:423, a:1, s:1, b:0),
% 3.00/3.37 frenchwine [494, 1] (w:1, o:481, a:1, s:1, b:0),
% 3.00/3.37 q51 [495, 1] (w:1, o:412, a:1, s:1, b:0),
% 3.00/3.37 q52 [496, 1] (w:1, o:413, a:1, s:1, b:0),
% 3.00/3.37 q55 [497, 1] (w:1, o:414, a:1, s:1, b:0),
% 3.00/3.37 q56 [498, 1] (w:1, o:415, a:1, s:1, b:0),
% 3.00/3.37 loire [499, 1] (w:1, o:328, a:1, s:1, b:0),
% 3.00/3.37 q57 [500, 1] (w:1, o:416, a:1, s:1, b:0),
% 3.00/3.37 q58 [501, 1] (w:1, o:417, a:1, s:1, b:0),
% 3.00/3.37 alsatianwine [502, 1] (w:1, o:335, a:1, s:1, b:0),
% 3.00/3.37 q59 [503, 1] (w:1, o:418, a:1, s:1, b:0),
% 3.00/3.37 q60 [504, 1] (w:1, o:424, a:1, s:1, b:0),
% 3.00/3.37 italianwine [505, 1] (w:1, o:489, a:1, s:1, b:0),
% 3.00/3.37 q61 [506, 1] (w:1, o:425, a:1, s:1, b:0),
% 3.00/3.37 q62 [507, 1] (w:1, o:422, a:1, s:1, b:0),
% 3.00/3.37 q64 [508, 1] (w:1, o:426, a:1, s:1, b:0),
% 3.00/3.37 q65 [509, 1] (w:1, o:427, a:1, s:1, b:0),
% 3.00/3.37 q66 [510, 1] (w:1, o:428, a:1, s:1, b:0),
% 3.00/3.37 q67 [511, 1] (w:1, o:429, a:1, s:1, b:0),
% 3.00/3.37 whitebordeaux [512, 1] (w:1, o:315, a:1, s:1, b:0),
% 3.00/3.37 q68 [513, 1] (w:1, o:420, a:1, s:1, b:0),
% 3.00/3.37 q7 [514, 1] (w:1, o:432, a:1, s:1, b:0),
% 3.00/3.37 q70 [515, 1] (w:1, o:433, a:1, s:1, b:0),
% 37.14/37.52 sweetwine [516, 1] (w:1, o:483, a:1, s:1, b:0),
% 37.14/37.52 lateharvest [517, 1] (w:1, o:329, a:1, s:1, b:0),
% 37.14/37.52 q71 [518, 1] (w:1, o:430, a:1, s:1, b:0),
% 37.14/37.52 texaswine [519, 1] (w:1, o:490, a:1, s:1, b:0),
% 37.14/37.52 q73 [520, 1] (w:1, o:434, a:1, s:1, b:0),
% 37.14/37.52 q74 [521, 1] (w:1, o:435, a:1, s:1, b:0),
% 37.14/37.52 redbordeaux [522, 1] (w:1, o:445, a:1, s:1, b:0),
% 37.14/37.52 dryredwine [523, 1] (w:1, o:477, a:1, s:1, b:0),
% 37.14/37.52 drywhitewine [524, 1] (w:1, o:478, a:1, s:1, b:0),
% 37.14/37.52 grape [525, 1] (w:1, o:491, a:1, s:1, b:0),
% 37.14/37.52 whiteloire [526, 1] (w:1, o:316, a:1, s:1, b:0),
% 37.14/37.52 potableliquid [527, 1] (w:1, o:365, a:1, s:1, b:0),
% 37.14/37.52 vintage [528, 1] (w:1, o:308, a:1, s:1, b:0),
% 37.14/37.52 haswinedescriptor [529, 2] (w:1, o:538, a:1, s:1, b:0),
% 37.14/37.52 winedescriptor [530, 1] (w:1, o:492, a:1, s:1, b:0),
% 37.14/37.52 winetaste [531, 1] (w:1, o:493, a:1, s:1, b:0),
% 37.14/37.52 produceswine [534, 2] (w:1, o:539, a:1, s:1, b:0),
% 37.14/37.52 madefromfruit [536, 2] (w:1, o:527, a:1, s:1, b:0),
% 37.14/37.52 madeintowine [537, 2] (w:1, o:540, a:1, s:1, b:0),
% 37.14/37.52 kaon2hu [538, 1] (w:1, o:327, a:1, s:1, b:0).
% 37.14/37.52
% 37.14/37.52
% 37.14/37.52 Starting Search:
% 37.14/37.52
% 37.14/37.52 *** allocated 75937 integers for clauses
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52 *** allocated 113905 integers for clauses
% 37.14/37.52
% 37.14/37.52 Intermediate Status:
% 37.14/37.52 Generated: 2043
% 37.14/37.52 Kept: 2000
% 37.14/37.52 Inuse: 741
% 37.14/37.52 Deleted: 0
% 37.14/37.52 Deletedinuse: 0
% 37.14/37.52
% 37.14/37.52 *** allocated 170857 integers for clauses
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52 *** allocated 256285 integers for clauses
% 37.14/37.52
% 37.14/37.52 Intermediate Status:
% 37.14/37.52 Generated: 4304
% 37.14/37.52 Kept: 4064
% 37.14/37.52 Inuse: 2055
% 37.14/37.52 Deleted: 1
% 37.14/37.52 Deletedinuse: 0
% 37.14/37.52
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52 *** allocated 384427 integers for clauses
% 37.14/37.52 *** allocated 75937 integers for termspace/termends
% 37.14/37.52
% 37.14/37.52 Intermediate Status:
% 37.14/37.52 Generated: 6565
% 37.14/37.52 Kept: 6084
% 37.14/37.52 Inuse: 2757
% 37.14/37.52 Deleted: 4
% 37.14/37.52 Deletedinuse: 0
% 37.14/37.52
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52
% 37.14/37.52 Intermediate Status:
% 37.14/37.52 Generated: 9371
% 37.14/37.52 Kept: 8137
% 37.14/37.52 Inuse: 3327
% 37.14/37.52 Deleted: 9
% 37.14/37.52 Deletedinuse: 5
% 37.14/37.52
% 37.14/37.52 *** allocated 576640 integers for clauses
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52
% 37.14/37.52 Intermediate Status:
% 37.14/37.52 Generated: 11387
% 37.14/37.52 Kept: 10141
% 37.14/37.52 Inuse: 3457
% 37.14/37.52 Deleted: 9
% 37.14/37.52 Deletedinuse: 5
% 37.14/37.52
% 37.14/37.52 *** allocated 113905 integers for termspace/termends
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52 *** allocated 864960 integers for clauses
% 37.14/37.52
% 37.14/37.52 Intermediate Status:
% 37.14/37.52 Generated: 13547
% 37.14/37.52 Kept: 12288
% 37.14/37.52 Inuse: 3587
% 37.14/37.52 Deleted: 9
% 37.14/37.52 Deletedinuse: 5
% 37.14/37.52
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52
% 37.14/37.52 Intermediate Status:
% 37.14/37.52 Generated: 15685
% 37.14/37.52 Kept: 14413
% 37.14/37.52 Inuse: 3722
% 37.14/37.52 Deleted: 9
% 37.14/37.52 Deletedinuse: 5
% 37.14/37.52
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52
% 37.14/37.52 Intermediate Status:
% 37.14/37.52 Generated: 18407
% 37.14/37.52 Kept: 16430
% 37.14/37.52 Inuse: 4017
% 37.14/37.52 Deleted: 9
% 37.14/37.52 Deletedinuse: 5
% 37.14/37.52
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52 Resimplifying inuse:
% 37.14/37.52 Done
% 37.14/37.52
% 37.14/37.52 *** allocated 1297440 integers for clauses
% 37.14/37.52 *** allocated 170857 integers for termspace/termends
% 37.14/37.52
% 37.14/37.52 Intermediate Status:
% 37.14/37.52 Generated: 20736
% 37.14/37.52 Kept: 18453
% 37.14/37.52 Inuse: 4117
% 37.14/37.53 Deleted: 9
% 37.14/37.53 Deletedinuse: 5
% 37.14/37.53
% 37.14/37.53 Resimplifying inuse:
% 37.14/37.53 Done
% 37.14/37.53
% 37.14/37.53 Resimplifying inuse:
% 37.14/37.53 Done
% 37.14/37.53
% 37.14/37.53 Resimplifying clauses:
% 37.14/37.53 Done
% 37.14/37.53
% 37.14/37.53
% 37.14/37.53 Intermediate Status:
% 37.14/37.53 Generated: 23197
% 37.14/37.53 Kept: 20568
% 37.14/37.53 Inuse: 4222
% 37.14/37.53 Deleted: 347
% 37.14/37.53 Deletedinuse: 5
% 37.14/37.53
% 37.14/37.53 Resimplifying inuse:
% 37.14/37.53 Done
% 37.14/37.53
% 37.14/37.53 Resimplifying inuse:
% 37.14/37.53 Done
% 37.14/37.53
% 37.14/37.53
% 37.14/37.53 Intermediate Status:
% 37.14/37.53 Generated: 26522
% 37.14/37.53 Kept: 22620
% 37.14/37.53 Inuse: 4322
% 37.14/37.53 Deleted: 360
% 37.14/37.53 Deletedinuse: 18
% 37.14/37.53
% 37.14/37.53 Resimplifying inuse:
% 37.14/37.53 Done
% 37.14/37.53
% 37.14/37.53 Resimplifying inuse:
% 37.14/37.53 Done
% 37.14/37.53
% 37.14/37.53
% 37.14/37.53 Intermediate Status:
% 37.14/37.53 Generated: 29286
% 37.14/37.53 Kept: 24630
% 37.14/37.53 Inuse: 4432
% 37.14/37.53 Deleted: 382
% 37.14/37.53 Deletedinuse: 40
% 37.14/37.53
% 37.14/37.53 Resimplifying inuse:
% 37.14/37.53 Done
% 37.14/37.53
% 37.14/37.53 Resimplifying inuse:
% 37.14/37.53 Done
% 37.14/37.53
% 37.14/37.53
% 37.14/37.53 Intermediate Status:
% 37.14/37.53 Generated: 50430
% 37.14/37.53 Kept: 26654
% 37.14/37.53 Inuse: 5031
% 37.14/37.53 Deleted: 382
% 37.14/37.53 Deletedinuse: 40
% 37.14/37.53
% 37.14/37.53 Resimplifying inuse:
% 37.14/37.53 Done
% 37.14/37.53
% 37.14/37.53 Resimplifying inuse:
% 37.14/37.53 Done
% 37.14/37.53
% 37.14/37.53 *** allocated 1946160 integers for clauses
% 37.14/37.53 *** allocated 256285 integers for termspace/termends
% 37.14/37.53
% 37.14/37.53 Intermediate Status:
% 37.14/37.53 Generated: 52663
% 37.14/37.53 Kept: 28657
% 37.14/37.53 Inuse: 5158
% 37.14/37.53 Deleted: 383
% 37.14/37.53 Deletedinuse: 41
% 37.14/37.53
% 37.14/37.53 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 55419
% 75.95/76.35 Kept: 30661
% 75.95/76.35 Inuse: 5951
% 75.95/76.35 Deleted: 386
% 75.95/76.35 Deletedinuse: 41
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 58462
% 75.95/76.35 Kept: 32661
% 75.95/76.35 Inuse: 20486
% 75.95/76.35 Deleted: 908
% 75.95/76.35 Deletedinuse: 41
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 63594
% 75.95/76.35 Kept: 34662
% 75.95/76.35 Inuse: 31079
% 75.95/76.35 Deleted: 2007
% 75.95/76.35 Deletedinuse: 526
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 66686
% 75.95/76.35 Kept: 36668
% 75.95/76.35 Inuse: 31894
% 75.95/76.35 Deleted: 2096
% 75.95/76.35 Deletedinuse: 614
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 69245
% 75.95/76.35 Kept: 38672
% 75.95/76.35 Inuse: 32233
% 75.95/76.35 Deleted: 2158
% 75.95/76.35 Deletedinuse: 676
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying clauses:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 72497
% 75.95/76.35 Kept: 40754
% 75.95/76.35 Inuse: 32619
% 75.95/76.35 Deleted: 2874
% 75.95/76.35 Deletedinuse: 1296
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 75244
% 75.95/76.35 Kept: 42810
% 75.95/76.35 Inuse: 32798
% 75.95/76.35 Deleted: 3065
% 75.95/76.35 Deletedinuse: 1487
% 75.95/76.35
% 75.95/76.35 *** allocated 2919240 integers for clauses
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 77981
% 75.95/76.35 Kept: 44885
% 75.95/76.35 Inuse: 32903
% 75.95/76.35 Deleted: 3099
% 75.95/76.35 Deletedinuse: 1521
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 *** allocated 384427 integers for termspace/termends
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 81165
% 75.95/76.35 Kept: 46939
% 75.95/76.35 Inuse: 33211
% 75.95/76.35 Deleted: 3355
% 75.95/76.35 Deletedinuse: 1777
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 84882
% 75.95/76.35 Kept: 48977
% 75.95/76.35 Inuse: 33520
% 75.95/76.35 Deleted: 3470
% 75.95/76.35 Deletedinuse: 1884
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 88215
% 75.95/76.35 Kept: 50985
% 75.95/76.35 Inuse: 33790
% 75.95/76.35 Deleted: 3568
% 75.95/76.35 Deletedinuse: 1980
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 92380
% 75.95/76.35 Kept: 52993
% 75.95/76.35 Inuse: 34226
% 75.95/76.35 Deleted: 3734
% 75.95/76.35 Deletedinuse: 2144
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 96218
% 75.95/76.35 Kept: 55005
% 75.95/76.35 Inuse: 34525
% 75.95/76.35 Deleted: 3757
% 75.95/76.35 Deletedinuse: 2163
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 99389
% 75.95/76.35 Kept: 57005
% 75.95/76.35 Inuse: 34703
% 75.95/76.35 Deleted: 3771
% 75.95/76.35 Deletedinuse: 2177
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 102737
% 75.95/76.35 Kept: 59042
% 75.95/76.35 Inuse: 34910
% 75.95/76.35 Deleted: 3785
% 75.95/76.35 Deletedinuse: 2191
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying clauses:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 105857
% 75.95/76.35 Kept: 61042
% 75.95/76.35 Inuse: 35319
% 75.95/76.35 Deleted: 4669
% 75.95/76.35 Deletedinuse: 2194
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 109215
% 75.95/76.35 Kept: 63076
% 75.95/76.35 Inuse: 35628
% 75.95/76.35 Deleted: 5001
% 75.95/76.35 Deletedinuse: 2526
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 112703
% 75.95/76.35 Kept: 65098
% 75.95/76.35 Inuse: 35937
% 75.95/76.35 Deleted: 5276
% 75.95/76.35 Deletedinuse: 2801
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 *** allocated 4378860 integers for clauses
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 116115
% 75.95/76.35 Kept: 67176
% 75.95/76.35 Inuse: 36192
% 75.95/76.35 Deleted: 5550
% 75.95/76.35 Deletedinuse: 3075
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 119806
% 75.95/76.35 Kept: 69223
% 75.95/76.35 Inuse: 36499
% 75.95/76.35 Deleted: 5724
% 75.95/76.35 Deletedinuse: 3249
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 123450
% 75.95/76.35 Kept: 71233
% 75.95/76.35 Inuse: 36824
% 75.95/76.35 Deleted: 5855
% 75.95/76.35 Deletedinuse: 3380
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 *** allocated 576640 integers for termspace/termends
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35
% 75.95/76.35 Intermediate Status:
% 75.95/76.35 Generated: 127696
% 75.95/76.35 Kept: 73234
% 75.95/76.35 Inuse: 37538
% 75.95/76.35 Deleted: 6340
% 75.95/76.35 Deletedinuse: 3865
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 75.95/76.35 Done
% 75.95/76.35
% 75.95/76.35 Resimplifying inuse:
% 137.91/138.29 Done
% 137.91/138.29
% 137.91/138.29
% 137.91/138.29 Intermediate Status:
% 137.91/138.29 Generated: 131677
% 137.91/138.29 Kept: 75234
% 137.91/138.29 Inuse: 37877
% 137.91/138.29 Deleted: 6550
% 137.91/138.29 Deletedinuse: 4075
% 137.91/138.29
% 137.91/138.29 Resimplifying inuse:
% 137.91/138.29 Done
% 137.91/138.29
% 137.91/138.29 Resimplifying inuse:
% 137.91/138.29 Done
% 137.91/138.29
% 137.91/138.29
% 137.91/138.29 Intermediate Status:
% 137.91/138.29 Generated: 135756
% 137.91/138.29 Kept: 77234
% 137.91/138.29 Inuse: 38145
% 137.91/138.29 Deleted: 6746
% 137.91/138.29 Deletedinuse: 4271
% 137.91/138.29
% 137.91/138.29 Resimplifying inuse:
% 137.91/138.29 Done
% 137.91/138.29
% 137.91/138.29 Resimplifying inuse:
% 137.91/138.29 Done
% 137.91/138.29
% 137.91/138.29
% 137.91/138.29 Intermediate Status:
% 137.91/138.29 Generated: 140138
% 137.91/138.29 Kept: 79276
% 137.91/138.29 Inuse: 38455
% 137.91/138.29 Deleted: 6848
% 137.91/138.29 Deletedinuse: 4373
% 137.91/138.29
% 137.91/138.29 Resimplifying inuse:
% 137.91/138.29 Done
% 137.91/138.29
% 137.91/138.29 Resimplifying clauses:
% 137.91/138.29 Done
% 137.91/138.29
% 137.91/138.29
% 137.91/138.29 Intermediate Status:
% 137.91/138.29 Generated: 144514
% 137.91/138.29 Kept: 81723
% 137.91/138.29 Inuse: 38707
% 137.91/138.29 Deleted: 13722
% 137.91/138.29 Deletedinuse: 4403
% 137.91/138.29
% 137.91/138.29 Resimplifying inuse:
% 137.91/138.29 Done
% 137.91/138.29
% 137.91/138.29 Resimplifying inuse:
% 137.91/138.29 Done
% 137.91/138.29
% 137.91/138.29
% 137.91/138.29 Intermediate Status:
% 137.91/138.29 Generated: 150798
% 137.91/138.29 Kept: 83776
% 137.91/138.29 Inuse: 40234
% 137.91/138.29 Deleted: 14776
% 137.91/138.29 Deletedinuse: 5457
% 137.91/138.29
% 137.91/138.29 Resimplifying inuse:
% 137.91/138.29 Done
% 137.91/138.29
% 137.91/138.29 Resimplifying inuse:
% 137.91/138.29 Done
% 137.91/138.29
% 137.91/138.29
% 137.91/138.29 Intermediate Status:
% 137.91/138.29 Generated: 155694
% 137.91/138.29 Kept: 85798
% 137.91/138.29 Inuse: 40544
% 137.91/138.29 Deleted: 14895
% 137.91/138.29 Deletedinuse: 5576
% 137.91/138.29
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 160627
% 137.91/138.30 Kept: 87799
% 137.91/138.30 Inuse: 40836
% 137.91/138.30 Deleted: 15011
% 137.91/138.30 Deletedinuse: 5692
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 165728
% 137.91/138.30 Kept: 89812
% 137.91/138.30 Inuse: 41348
% 137.91/138.30 Deleted: 15317
% 137.91/138.30 Deletedinuse: 5998
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 170562
% 137.91/138.30 Kept: 91819
% 137.91/138.30 Inuse: 41689
% 137.91/138.30 Deleted: 15511
% 137.91/138.30 Deletedinuse: 6192
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 175506
% 137.91/138.30 Kept: 93873
% 137.91/138.30 Inuse: 42003
% 137.91/138.30 Deleted: 15604
% 137.91/138.30 Deletedinuse: 6285
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 180192
% 137.91/138.30 Kept: 95910
% 137.91/138.30 Inuse: 42266
% 137.91/138.30 Deleted: 15663
% 137.91/138.30 Deletedinuse: 6343
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 184826
% 137.91/138.30 Kept: 97919
% 137.91/138.30 Inuse: 42645
% 137.91/138.30 Deleted: 15821
% 137.91/138.30 Deletedinuse: 6498
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 189825
% 137.91/138.30 Kept: 99937
% 137.91/138.30 Inuse: 43046
% 137.91/138.30 Deleted: 15970
% 137.91/138.30 Deletedinuse: 6637
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying clauses:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 194905
% 137.91/138.30 Kept: 102458
% 137.91/138.30 Inuse: 43414
% 137.91/138.30 Deleted: 21410
% 137.91/138.30 Deletedinuse: 6816
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 *** allocated 6568290 integers for clauses
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 199481
% 137.91/138.30 Kept: 104503
% 137.91/138.30 Inuse: 44714
% 137.91/138.30 Deleted: 22067
% 137.91/138.30 Deletedinuse: 7473
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 204739
% 137.91/138.30 Kept: 106510
% 137.91/138.30 Inuse: 45004
% 137.91/138.30 Deleted: 22084
% 137.91/138.30 Deletedinuse: 7490
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 209958
% 137.91/138.30 Kept: 108543
% 137.91/138.30 Inuse: 45266
% 137.91/138.30 Deleted: 22085
% 137.91/138.30 Deletedinuse: 7491
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 215087
% 137.91/138.30 Kept: 110565
% 137.91/138.30 Inuse: 45551
% 137.91/138.30 Deleted: 22087
% 137.91/138.30 Deletedinuse: 7493
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 *** allocated 864960 integers for termspace/termends
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 220089
% 137.91/138.30 Kept: 112568
% 137.91/138.30 Inuse: 45839
% 137.91/138.30 Deleted: 22090
% 137.91/138.30 Deletedinuse: 7496
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 225766
% 137.91/138.30 Kept: 114582
% 137.91/138.30 Inuse: 46182
% 137.91/138.30 Deleted: 22099
% 137.91/138.30 Deletedinuse: 7505
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 230823
% 137.91/138.30 Kept: 116661
% 137.91/138.30 Inuse: 46377
% 137.91/138.30 Deleted: 22101
% 137.91/138.30 Deletedinuse: 7507
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 235790
% 137.91/138.30 Kept: 118662
% 137.91/138.30 Inuse: 46754
% 137.91/138.30 Deleted: 22192
% 137.91/138.30 Deletedinuse: 7596
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30 Resimplifying inuse:
% 137.91/138.30 Done
% 137.91/138.30
% 137.91/138.30
% 137.91/138.30 Intermediate Status:
% 137.91/138.30 Generated: 240993
% 137.91/138.30 Kept: 120697
% 212.72/213.11 Inuse: 47045
% 212.72/213.11 Deleted: 22196
% 212.72/213.11 Deletedinuse: 7600
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying clauses:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 246076
% 212.72/213.11 Kept: 122907
% 212.72/213.11 Inuse: 47305
% 212.72/213.11 Deleted: 23031
% 212.72/213.11 Deletedinuse: 7601
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 251177
% 212.72/213.11 Kept: 124959
% 212.72/213.11 Inuse: 47897
% 212.72/213.11 Deleted: 23219
% 212.72/213.11 Deletedinuse: 7789
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 256290
% 212.72/213.11 Kept: 126961
% 212.72/213.11 Inuse: 48175
% 212.72/213.11 Deleted: 23224
% 212.72/213.11 Deletedinuse: 7794
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 261485
% 212.72/213.11 Kept: 128992
% 212.72/213.11 Inuse: 48457
% 212.72/213.11 Deleted: 23225
% 212.72/213.11 Deletedinuse: 7795
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 266636
% 212.72/213.11 Kept: 130995
% 212.72/213.11 Inuse: 48743
% 212.72/213.11 Deleted: 23227
% 212.72/213.11 Deletedinuse: 7797
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 272100
% 212.72/213.11 Kept: 133015
% 212.72/213.11 Inuse: 49044
% 212.72/213.11 Deleted: 23229
% 212.72/213.11 Deletedinuse: 7799
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 277772
% 212.72/213.11 Kept: 135039
% 212.72/213.11 Inuse: 49353
% 212.72/213.11 Deleted: 23232
% 212.72/213.11 Deletedinuse: 7802
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 283034
% 212.72/213.11 Kept: 137074
% 212.72/213.11 Inuse: 49618
% 212.72/213.11 Deleted: 23235
% 212.72/213.11 Deletedinuse: 7805
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 288148
% 212.72/213.11 Kept: 139074
% 212.72/213.11 Inuse: 49917
% 212.72/213.11 Deleted: 23236
% 212.72/213.11 Deletedinuse: 7806
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 293394
% 212.72/213.11 Kept: 141079
% 212.72/213.11 Inuse: 50212
% 212.72/213.11 Deleted: 23240
% 212.72/213.11 Deletedinuse: 7810
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying clauses:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 298751
% 212.72/213.11 Kept: 143262
% 212.72/213.11 Inuse: 50503
% 212.72/213.11 Deleted: 23769
% 212.72/213.11 Deletedinuse: 7811
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 303681
% 212.72/213.11 Kept: 145317
% 212.72/213.11 Inuse: 50887
% 212.72/213.11 Deleted: 23865
% 212.72/213.11 Deletedinuse: 7907
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 308718
% 212.72/213.11 Kept: 147330
% 212.72/213.11 Inuse: 51164
% 212.72/213.11 Deleted: 23867
% 212.72/213.11 Deletedinuse: 7909
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 313976
% 212.72/213.11 Kept: 149342
% 212.72/213.11 Inuse: 51467
% 212.72/213.11 Deleted: 23869
% 212.72/213.11 Deletedinuse: 7911
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 319191
% 212.72/213.11 Kept: 151344
% 212.72/213.11 Inuse: 51764
% 212.72/213.11 Deleted: 23870
% 212.72/213.11 Deletedinuse: 7912
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 325369
% 212.72/213.11 Kept: 153404
% 212.72/213.11 Inuse: 52126
% 212.72/213.11 Deleted: 23870
% 212.72/213.11 Deletedinuse: 7912
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 330884
% 212.72/213.11 Kept: 155443
% 212.72/213.11 Inuse: 52204
% 212.72/213.11 Deleted: 23871
% 212.72/213.11 Deletedinuse: 7913
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 *** allocated 9852435 integers for clauses
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 336432
% 212.72/213.11 Kept: 157563
% 212.72/213.11 Inuse: 52347
% 212.72/213.11 Deleted: 23871
% 212.72/213.11 Deletedinuse: 7913
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 342048
% 212.72/213.11 Kept: 159564
% 212.72/213.11 Inuse: 52921
% 212.72/213.11 Deleted: 24045
% 212.72/213.11 Deletedinuse: 8087
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 347565
% 212.72/213.11 Kept: 161589
% 212.72/213.11 Inuse: 53189
% 212.72/213.11 Deleted: 24223
% 212.72/213.11 Deletedinuse: 8265
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying clauses:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 352154
% 212.72/213.11 Kept: 163589
% 212.72/213.11 Inuse: 53533
% 212.72/213.11 Deleted: 24706
% 212.72/213.11 Deletedinuse: 8354
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11 Resimplifying inuse:
% 212.72/213.11 Done
% 212.72/213.11
% 212.72/213.11
% 212.72/213.11 Intermediate Status:
% 212.72/213.11 Generated: 357130
% 212.72/213.11 Kept: 165589
% 212.72/213.11 Inuse: 53833
% 212.72/213.11 Deleted: 2479Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------