TPTP Axioms File: PRD001+0.ax


%------------------------------------------------------------------------------
% File     : PRD001+0 : TPTP v9.0.0. Released v6.2.0.
% Domain   : Products
% Axioms   : Wine facts
% Version  : [Lua15] axioms.
% English  : 

% Refs     : [Lua15] Meng (2015), Email to G. Sutcliffe
% Source   : [Lua15]
% Names    : 

% Status   : Satisfiable
% Syntax   : Number of formulae    : 1614 ( 653 unt;   0 def)
%            Number of atoms       : 3121 (   0 equ)
%            Maximal formula atoms :    6 (   1 avg)
%            Number of connectives : 1507 (   0   ~;   0   |; 546   &)
%                                         (   0 <=>; 961  =>;   0  <=;   0 <~>)
%            Maximal formula depth :    9 (   3 avg)
%            Maximal term depth    :    1 (   1 avg)
%            Number of predicates  :  338 ( 338 usr;   0 prp; 1-2 aty)
%            Number of functors    :  161 ( 161 usr; 161 con; 0-0 aty)
%            Number of variables   : 1376 (1376   !;   0   ?)
% SPC      :

% Comments : See http://projects.semwebcentral.org/scm/viewvc.php/
%            openrulebench/recursion/data/wine_data.tgz?root=rulebench&
%            view=log (wine_data.tgz)
%------------------------------------------------------------------------------
fof(act1_formula1,axiom,
    hasbody_aux(pulignymontrachetwhiteburgundy,medium) ).

fof(act1_formula2,axiom,
    hasbody_aux(formanchardonnay,full) ).

fof(act1_formula3,axiom,
    hasbody_aux(foxencheninblanc,full) ).

fof(act1_formula4,axiom,
    hasbody_aux(chianticlassico,medium) ).

fof(act1_formula5,axiom,
    hasbody_aux(cortonmontrachetwhiteburgundy,full) ).

fof(act1_formula6,axiom,
    hasbody_aux(corbansprivatebinsauvignonblanc,full) ).

fof(act1_formula7,axiom,
    hasbody_aux(congressspringssemillon,medium) ).

fof(act1_formula8,axiom,
    hasbody_aux(mariettapetitesyrah,medium) ).

fof(act1_formula9,axiom,
    hasbody_aux(corbanssauvignonblanc,medium) ).

fof(act1_formula10,axiom,
    hasbody_aux(petermccoychardonnay,medium) ).

fof(act1_formula11,axiom,
    hasbody_aux(selaksicewine,medium) ).

fof(act1_formula12,axiom,
    hasbody_aux(bancroftchardonnay,medium) ).

fof(act1_formula13,axiom,
    hasbody_aux(elysezinfandel,full) ).

fof(act1_formula14,axiom,
    hasbody_aux(mountadampinotnoir,medium) ).

fof(act1_formula15,axiom,
    hasbody_aux(mariettacabernetsauvignon,medium) ).

fof(act1_formula16,axiom,
    hasbody_aux(schlossrothermeltrochenbierenausleseriesling,full) ).

fof(act1_formula17,axiom,
    hasbody_aux(garyfarrellmerlot,medium) ).

fof(act1_formula18,axiom,
    hasbody_aux(cotturizinfandel,full) ).

fof(act1_formula19,axiom,
    hasbody_aux(mariettaoldvinesred,medium) ).

fof(act1_formula20,axiom,
    hasbody_aux(longridgemerlot,light) ).

fof(act1_formula21,axiom,
    hasbody_aux(kalincellarssemillon,full) ).

fof(act1_formula22,axiom,
    hasbody_aux(pagemillwinerycabernetsauvignon,medium) ).

fof(act1_formula23,axiom,
    hasbody_aux(seanthackreysiriuspetitesyrah,full) ).

fof(act1_formula24,axiom,
    hasbody_aux(saucelitocanyonzinfandel1998,medium) ).

fof(act1_formula25,axiom,
    hasbody_aux(whitehalllaneprimavera,light) ).

fof(act1_formula26,axiom,
    hasbody_aux(santacruzmountainvineyardcabernetsauvignon,full) ).

fof(act1_formula27,axiom,
    hasbody_aux(lanetannerpinotnoir,light) ).

fof(act1_formula28,axiom,
    hasbody_aux(corbansdrywhiteriesling,medium) ).

fof(act1_formula29,axiom,
    hasbody_aux(mountadamchardonnay,full) ).

fof(act1_formula30,axiom,
    hasbody_aux(mountadamriesling,medium) ).

fof(act1_formula31,axiom,
    hasbody_aux(mariettazinfandel,medium) ).

fof(act1_formula32,axiom,
    hasbody_aux(kathrynkennedylateral,medium) ).

fof(act1_formula33,axiom,
    hasbody_aux(mountedenvineyardestatepinotnoir,full) ).

fof(act1_formula34,axiom,
    hasbody_aux(whitehalllanecabernetfranc,medium) ).

fof(act1_formula35,axiom,
    hasbody_aux(ventanacheninblanc,medium) ).

fof(act1_formula36,axiom,
    hasbody_aux(saucelitocanyonzinfandel,medium) ).

fof(act1_formula37,axiom,
    hasbody_aux(formancabernetsauvignon,medium) ).

fof(act1_formula38,axiom,
    hasbody_aux(schlossvolradtrochenbierenausleseriesling,full) ).

fof(act1_formula39,axiom,
    hasbody_aux(mountedenvineyardednavalleychardonnay,medium) ).

fof(act1_formula40,axiom,
    hasbody_aux(stonleighsauvignonblanc,medium) ).

fof(act1_formula41,axiom,
    hasbody_aux(selakssauvignonblanc,medium) ).

fof(act1_formula42,axiom,
    hascolor_aux(selaksicewine,white) ).

fof(act1_formula43,axiom,
    hasflavor_aux(pulignymontrachetwhiteburgundy,moderate) ).

fof(act1_formula44,axiom,
    hasflavor_aux(formanchardonnay,moderate) ).

fof(act1_formula45,axiom,
    hasflavor_aux(stgenevievetexaswhite,moderate) ).

fof(act1_formula46,axiom,
    hasflavor_aux(foxencheninblanc,moderate) ).

fof(act1_formula47,axiom,
    hasflavor_aux(cortonmontrachetwhiteburgundy,strong) ).

fof(act1_formula48,axiom,
    hasflavor_aux(corbansprivatebinsauvignonblanc,strong) ).

fof(act1_formula49,axiom,
    hasflavor_aux(congressspringssemillon,moderate) ).

fof(act1_formula50,axiom,
    hasflavor_aux(mariettapetitesyrah,moderate) ).

fof(act1_formula51,axiom,
    hasflavor_aux(corbanssauvignonblanc,strong) ).

fof(act1_formula52,axiom,
    hasflavor_aux(petermccoychardonnay,moderate) ).

fof(act1_formula53,axiom,
    hasflavor_aux(selaksicewine,moderate) ).

fof(act1_formula54,axiom,
    hasflavor_aux(bancroftchardonnay,moderate) ).

fof(act1_formula55,axiom,
    hasflavor_aux(elysezinfandel,moderate) ).

fof(act1_formula56,axiom,
    hasflavor_aux(mountadampinotnoir,moderate) ).

fof(act1_formula57,axiom,
    hasflavor_aux(chateaudychemsauterne,strong) ).

fof(act1_formula58,axiom,
    hasflavor_aux(mariettacabernetsauvignon,moderate) ).

fof(act1_formula59,axiom,
    hasflavor_aux(schlossrothermeltrochenbierenausleseriesling,strong) ).

fof(act1_formula60,axiom,
    hasflavor_aux(garyfarrellmerlot,moderate) ).

fof(act1_formula61,axiom,
    hasflavor_aux(cotturizinfandel,strong) ).

fof(act1_formula62,axiom,
    hasflavor_aux(mariettaoldvinesred,moderate) ).

fof(act1_formula63,axiom,
    hasflavor_aux(longridgemerlot,moderate) ).

fof(act1_formula64,axiom,
    hasflavor_aux(kalincellarssemillon,strong) ).

fof(act1_formula65,axiom,
    hasflavor_aux(pagemillwinerycabernetsauvignon,moderate) ).

fof(act1_formula66,axiom,
    hasflavor_aux(seanthackreysiriuspetitesyrah,strong) ).

fof(act1_formula67,axiom,
    hasflavor_aux(saucelitocanyonzinfandel1998,moderate) ).

fof(act1_formula68,axiom,
    hasflavor_aux(chateaudemeursaultmeursault,moderate) ).

fof(act1_formula69,axiom,
    hasflavor_aux(whitehalllaneprimavera,delicate) ).

fof(act1_formula70,axiom,
    hasflavor_aux(santacruzmountainvineyardcabernetsauvignon,strong) ).

fof(act1_formula71,axiom,
    hasflavor_aux(lanetannerpinotnoir,delicate) ).

fof(act1_formula72,axiom,
    hasflavor_aux(corbansdrywhiteriesling,moderate) ).

fof(act1_formula73,axiom,
    hasflavor_aux(mountadamchardonnay,strong) ).

fof(act1_formula74,axiom,
    hasflavor_aux(mountadamriesling,delicate) ).

fof(act1_formula75,axiom,
    hasflavor_aux(mariettazinfandel,moderate) ).

fof(act1_formula76,axiom,
    hasflavor_aux(kathrynkennedylateral,delicate) ).

fof(act1_formula77,axiom,
    hasflavor_aux(mountedenvineyardestatepinotnoir,strong) ).

fof(act1_formula78,axiom,
    hasflavor_aux(whitehalllanecabernetfranc,moderate) ).

fof(act1_formula79,axiom,
    hasflavor_aux(ventanacheninblanc,moderate) ).

fof(act1_formula80,axiom,
    hasflavor_aux(saucelitocanyonzinfandel,moderate) ).

fof(act1_formula81,axiom,
    hasflavor_aux(formancabernetsauvignon,strong) ).

fof(act1_formula82,axiom,
    hasflavor_aux(schlossvolradtrochenbierenausleseriesling,moderate) ).

fof(act1_formula83,axiom,
    hasflavor_aux(mountedenvineyardednavalleychardonnay,moderate) ).

fof(act1_formula84,axiom,
    hasflavor_aux(stonleighsauvignonblanc,delicate) ).

fof(act1_formula85,axiom,
    hasflavor_aux(selakssauvignonblanc,moderate) ).

fof(act1_formula86,axiom,
    hasmaker_aux(pulignymontrachetwhiteburgundy,pulignymontrachet) ).

fof(act1_formula87,axiom,
    hasmaker_aux(chateaulafiterothschildpauillac,chateaulafiterothschild) ).

fof(act1_formula88,axiom,
    hasmaker_aux(formanchardonnay,forman) ).

fof(act1_formula89,axiom,
    hasmaker_aux(stgenevievetexaswhite,stgenevieve) ).

fof(act1_formula90,axiom,
    hasmaker_aux(foxencheninblanc,foxen) ).

fof(act1_formula91,axiom,
    hasmaker_aux(chianticlassico,mcguinnesso) ).

fof(act1_formula92,axiom,
    hasmaker_aux(cortonmontrachetwhiteburgundy,cortonmontrachet) ).

fof(act1_formula93,axiom,
    hasmaker_aux(corbansprivatebinsauvignonblanc,corbans) ).

fof(act1_formula94,axiom,
    hasmaker_aux(congressspringssemillon,congresssprings) ).

fof(act1_formula95,axiom,
    hasmaker_aux(mariettapetitesyrah,marietta) ).

fof(act1_formula96,axiom,
    hasmaker_aux(corbanssauvignonblanc,corbans) ).

fof(act1_formula97,axiom,
    hasmaker_aux(petermccoychardonnay,petermccoy) ).

fof(act1_formula98,axiom,
    hasmaker_aux(selaksicewine,selaks) ).

fof(act1_formula99,axiom,
    hasmaker_aux(bancroftchardonnay,bancroft) ).

fof(act1_formula100,axiom,
    hasmaker_aux(chateauchevalblancstemilion,chateauchevalblanc) ).

fof(act1_formula101,axiom,
    hasmaker_aux(chateaumorgonbeaujolais,chateaumorgon) ).

fof(act1_formula102,axiom,
    hasmaker_aux(elysezinfandel,elyse) ).

fof(act1_formula103,axiom,
    hasmaker_aux(mountadampinotnoir,mountadam) ).

fof(act1_formula104,axiom,
    hasmaker_aux(taylorport,taylor) ).

fof(act1_formula105,axiom,
    hasmaker_aux(chateaudychemsauterne,chateaudychem) ).

fof(act1_formula106,axiom,
    hasmaker_aux(mariettacabernetsauvignon,marietta) ).

fof(act1_formula107,axiom,
    hasmaker_aux(schlossrothermeltrochenbierenausleseriesling,schlossrothermel) ).

fof(act1_formula108,axiom,
    hasmaker_aux(garyfarrellmerlot,garyfarrell) ).

fof(act1_formula109,axiom,
    hasmaker_aux(closdevougeotcotesdor,closdevougeot) ).

fof(act1_formula110,axiom,
    hasmaker_aux(cotturizinfandel,cotturi) ).

fof(act1_formula111,axiom,
    hasmaker_aux(closdelapoussiesancerre,closdelapoussie) ).

fof(act1_formula112,axiom,
    hasmaker_aux(mariettaoldvinesred,marietta) ).

fof(act1_formula113,axiom,
    hasmaker_aux(longridgemerlot,longridge) ).

fof(act1_formula114,axiom,
    hasmaker_aux(kalincellarssemillon,kalincellars) ).

fof(act1_formula115,axiom,
    hasmaker_aux(pagemillwinerycabernetsauvignon,pagemillwinery) ).

fof(act1_formula116,axiom,
    hasmaker_aux(seanthackreysiriuspetitesyrah,seanthackrey) ).

fof(act1_formula117,axiom,
    hasmaker_aux(saucelitocanyonzinfandel1998,saucelitocanyon) ).

fof(act1_formula118,axiom,
    hasmaker_aux(chateaudemeursaultmeursault,chateaudemeursault) ).

fof(act1_formula119,axiom,
    hasmaker_aux(santacruzmountainvineyardcabernetsauvignon,santacruzmountainvineyard) ).

fof(act1_formula120,axiom,
    hasmaker_aux(lanetannerpinotnoir,lanetanner) ).

fof(act1_formula121,axiom,
    hasmaker_aux(corbansdrywhiteriesling,corbans) ).

fof(act1_formula122,axiom,
    hasmaker_aux(rosedanjou,danjou) ).

fof(act1_formula123,axiom,
    hasmaker_aux(mountadamchardonnay,mountadam) ).

fof(act1_formula124,axiom,
    hasmaker_aux(mountadamriesling,mountadam) ).

fof(act1_formula125,axiom,
    hasmaker_aux(mariettazinfandel,marietta) ).

fof(act1_formula126,axiom,
    hasmaker_aux(chateaumargaux,chateaumargauxwinery) ).

fof(act1_formula127,axiom,
    hasmaker_aux(kathrynkennedylateral,kathrynkennedy) ).

fof(act1_formula128,axiom,
    hasmaker_aux(mountedenvineyardestatepinotnoir,mountedenvineyard) ).

fof(act1_formula129,axiom,
    hasmaker_aux(whitehalllanecabernetfranc,whitehalllane) ).

fof(act1_formula130,axiom,
    hasmaker_aux(ventanacheninblanc,ventana) ).

fof(act1_formula131,axiom,
    hasmaker_aux(saucelitocanyonzinfandel,saucelitocanyon) ).

fof(act1_formula132,axiom,
    hasmaker_aux(formancabernetsauvignon,forman) ).

fof(act1_formula133,axiom,
    hasmaker_aux(schlossvolradtrochenbierenausleseriesling,schlossvolrad) ).

fof(act1_formula134,axiom,
    hasmaker_aux(mountedenvineyardednavalleychardonnay,mountedenvineyard) ).

fof(act1_formula135,axiom,
    hasmaker_aux(stonleighsauvignonblanc,stonleigh) ).

fof(act1_formula136,axiom,
    hasmaker_aux(selakssauvignonblanc,selaks) ).

fof(act1_formula137,axiom,
    hasmaker_aux(sevreetmainemuscadet,sevreetmaine) ).

fof(act1_formula138,axiom,
    hassugar_aux(pulignymontrachetwhiteburgundy,dry) ).

fof(act1_formula139,axiom,
    hassugar_aux(formanchardonnay,dry) ).

fof(act1_formula140,axiom,
    hassugar_aux(stgenevievetexaswhite,dry) ).

fof(act1_formula141,axiom,
    hassugar_aux(foxencheninblanc,dry) ).

fof(act1_formula142,axiom,
    hassugar_aux(cortonmontrachetwhiteburgundy,dry) ).

fof(act1_formula143,axiom,
    hassugar_aux(corbansprivatebinsauvignonblanc,dry) ).

fof(act1_formula144,axiom,
    hassugar_aux(congressspringssemillon,dry) ).

fof(act1_formula145,axiom,
    hassugar_aux(mariettapetitesyrah,dry) ).

fof(act1_formula146,axiom,
    hassugar_aux(corbanssauvignonblanc,dry) ).

fof(act1_formula147,axiom,
    hassugar_aux(petermccoychardonnay,dry) ).

fof(act1_formula148,axiom,
    hassugar_aux(bancroftchardonnay,dry) ).

fof(act1_formula149,axiom,
    hassugar_aux(elysezinfandel,dry) ).

fof(act1_formula150,axiom,
    hassugar_aux(mountadampinotnoir,dry) ).

fof(act1_formula151,axiom,
    hassugar_aux(mariettacabernetsauvignon,dry) ).

fof(act1_formula152,axiom,
    hassugar_aux(schlossrothermeltrochenbierenausleseriesling,sweet) ).

fof(act1_formula153,axiom,
    hassugar_aux(garyfarrellmerlot,dry) ).

fof(act1_formula154,axiom,
    hassugar_aux(cotturizinfandel,dry) ).

fof(act1_formula155,axiom,
    hassugar_aux(mariettaoldvinesred,dry) ).

fof(act1_formula156,axiom,
    hassugar_aux(longridgemerlot,dry) ).

fof(act1_formula157,axiom,
    hassugar_aux(kalincellarssemillon,dry) ).

fof(act1_formula158,axiom,
    hassugar_aux(pagemillwinerycabernetsauvignon,dry) ).

fof(act1_formula159,axiom,
    hassugar_aux(seanthackreysiriuspetitesyrah,dry) ).

fof(act1_formula160,axiom,
    hassugar_aux(saucelitocanyonzinfandel1998,dry) ).

fof(act1_formula161,axiom,
    hassugar_aux(whitehalllaneprimavera,sweet) ).

fof(act1_formula162,axiom,
    hassugar_aux(santacruzmountainvineyardcabernetsauvignon,dry) ).

fof(act1_formula163,axiom,
    hassugar_aux(lanetannerpinotnoir,dry) ).

fof(act1_formula164,axiom,
    hassugar_aux(corbansdrywhiteriesling,offdry) ).

fof(act1_formula165,axiom,
    hassugar_aux(mountadamchardonnay,dry) ).

fof(act1_formula166,axiom,
    hassugar_aux(mountadamriesling,dry) ).

fof(act1_formula167,axiom,
    hassugar_aux(mariettazinfandel,dry) ).

fof(act1_formula168,axiom,
    hassugar_aux(kathrynkennedylateral,dry) ).

fof(act1_formula169,axiom,
    hassugar_aux(mountedenvineyardestatepinotnoir,dry) ).

fof(act1_formula170,axiom,
    hassugar_aux(whitehalllanecabernetfranc,dry) ).

fof(act1_formula171,axiom,
    hassugar_aux(ventanacheninblanc,offdry) ).

fof(act1_formula172,axiom,
    hassugar_aux(saucelitocanyonzinfandel,dry) ).

fof(act1_formula173,axiom,
    hassugar_aux(formancabernetsauvignon,dry) ).

fof(act1_formula174,axiom,
    hassugar_aux(schlossvolradtrochenbierenausleseriesling,sweet) ).

fof(act1_formula175,axiom,
    hassugar_aux(mountedenvineyardednavalleychardonnay,dry) ).

fof(act1_formula176,axiom,
    hassugar_aux(stonleighsauvignonblanc,dry) ).

fof(act1_formula177,axiom,
    hassugar_aux(selakssauvignonblanc,dry) ).

fof(act1_formula178,axiom,
    locatedin_aux(californiaregion,usregion) ).

fof(act1_formula179,axiom,
    locatedin_aux(sancerreregion,loireregion) ).

fof(act1_formula180,axiom,
    locatedin_aux(formanchardonnay,naparegion) ).

fof(act1_formula181,axiom,
    locatedin_aux(stgenevievetexaswhite,centraltexasregion) ).

fof(act1_formula182,axiom,
    locatedin_aux(foxencheninblanc,santabarbararegion) ).

fof(act1_formula183,axiom,
    locatedin_aux(loireregion,frenchregion) ).

fof(act1_formula184,axiom,
    locatedin_aux(corbansprivatebinsauvignonblanc,newzealandregion) ).

fof(act1_formula185,axiom,
    locatedin_aux(mariettapetitesyrah,sonomaregion) ).

fof(act1_formula186,axiom,
    locatedin_aux(corbanssauvignonblanc,newzealandregion) ).

fof(act1_formula187,axiom,
    locatedin_aux(petermccoychardonnay,sonomaregion) ).

fof(act1_formula188,axiom,
    locatedin_aux(selaksicewine,newzealandregion) ).

fof(act1_formula189,axiom,
    locatedin_aux(bancroftchardonnay,naparegion) ).

fof(act1_formula190,axiom,
    locatedin_aux(elysezinfandel,naparegion) ).

fof(act1_formula191,axiom,
    locatedin_aux(naparegion,californiaregion) ).

fof(act1_formula192,axiom,
    locatedin_aux(mountadampinotnoir,southaustraliaregion) ).

fof(act1_formula193,axiom,
    locatedin_aux(chiantiregion,italianregion) ).

fof(act1_formula194,axiom,
    locatedin_aux(mariettacabernetsauvignon,sonomaregion) ).

fof(act1_formula195,axiom,
    locatedin_aux(sauterneregion,bordeauxregion) ).

fof(act1_formula196,axiom,
    locatedin_aux(pauillacregion,medocregion) ).

fof(act1_formula197,axiom,
    locatedin_aux(centraltexasregion,texasregion) ).

fof(act1_formula198,axiom,
    locatedin_aux(schlossrothermeltrochenbierenausleseriesling,germanyregion) ).

fof(act1_formula199,axiom,
    locatedin_aux(garyfarrellmerlot,sonomaregion) ).

fof(act1_formula200,axiom,
    locatedin_aux(bordeauxregion,frenchregion) ).

fof(act1_formula201,axiom,
    locatedin_aux(cotturizinfandel,sonomaregion) ).

fof(act1_formula202,axiom,
    locatedin_aux(anjouregion,loireregion) ).

fof(act1_formula203,axiom,
    locatedin_aux(centralcoastregion,californiaregion) ).

fof(act1_formula204,axiom,
    locatedin_aux(mariettaoldvinesred,sonomaregion) ).

fof(act1_formula205,axiom,
    locatedin_aux(longridgemerlot,newzealandregion) ).

fof(act1_formula206,axiom,
    locatedin_aux(sonomaregion,californiaregion) ).

fof(act1_formula207,axiom,
    locatedin_aux(santabarbararegion,californiaregion) ).

fof(act1_formula208,axiom,
    locatedin_aux(pagemillwinerycabernetsauvignon,naparegion) ).

fof(act1_formula209,axiom,
    locatedin_aux(seanthackreysiriuspetitesyrah,naparegion) ).

fof(act1_formula210,axiom,
    locatedin_aux(saucelitocanyonzinfandel1998,arroyogranderegion) ).

fof(act1_formula211,axiom,
    locatedin_aux(medocregion,bordeauxregion) ).

fof(act1_formula212,axiom,
    locatedin_aux(southaustraliaregion,australianregion) ).

fof(act1_formula213,axiom,
    locatedin_aux(whitehalllaneprimavera,naparegion) ).

fof(act1_formula214,axiom,
    locatedin_aux(santacruzmountainvineyardcabernetsauvignon,santacruzmountainsregion) ).

fof(act1_formula215,axiom,
    locatedin_aux(lanetannerpinotnoir,santabarbararegion) ).

fof(act1_formula216,axiom,
    locatedin_aux(mendocinoregion,californiaregion) ).

fof(act1_formula217,axiom,
    locatedin_aux(santacruzmountainsregion,californiaregion) ).

fof(act1_formula218,axiom,
    locatedin_aux(corbansdrywhiteriesling,newzealandregion) ).

fof(act1_formula219,axiom,
    locatedin_aux(margauxregion,medocregion) ).

fof(act1_formula220,axiom,
    locatedin_aux(texasregion,usregion) ).

fof(act1_formula221,axiom,
    locatedin_aux(muscadetregion,loireregion) ).

fof(act1_formula222,axiom,
    locatedin_aux(mountadamchardonnay,southaustraliaregion) ).

fof(act1_formula223,axiom,
    locatedin_aux(alsaceregion,frenchregion) ).

fof(act1_formula224,axiom,
    locatedin_aux(mountadamriesling,southaustraliaregion) ).

fof(act1_formula225,axiom,
    locatedin_aux(stemilionregion,bordeauxregion) ).

fof(act1_formula226,axiom,
    locatedin_aux(bourgogneregion,frenchregion) ).

fof(act1_formula227,axiom,
    locatedin_aux(mariettazinfandel,sonomaregion) ).

fof(act1_formula228,axiom,
    locatedin_aux(toursregion,loireregion) ).

fof(act1_formula229,axiom,
    locatedin_aux(cotesdorregion,bourgogneregion) ).

fof(act1_formula230,axiom,
    locatedin_aux(mountedenvineyardestatepinotnoir,ednavalleyregion) ).

fof(act1_formula231,axiom,
    locatedin_aux(whitehalllanecabernetfranc,naparegion) ).

fof(act1_formula232,axiom,
    locatedin_aux(ventanacheninblanc,centralcoastregion) ).

fof(act1_formula233,axiom,
    locatedin_aux(saucelitocanyonzinfandel,arroyogranderegion) ).

fof(act1_formula234,axiom,
    locatedin_aux(formancabernetsauvignon,naparegion) ).

fof(act1_formula235,axiom,
    locatedin_aux(schlossvolradtrochenbierenausleseriesling,germanyregion) ).

fof(act1_formula236,axiom,
    locatedin_aux(beaujolaisregion,frenchregion) ).

fof(act1_formula237,axiom,
    locatedin_aux(mountedenvineyardednavalleychardonnay,ednavalleyregion) ).

fof(act1_formula238,axiom,
    locatedin_aux(meursaultregion,bourgogneregion) ).

fof(act1_formula239,axiom,
    locatedin_aux(ednavalleyregion,californiaregion) ).

fof(act1_formula240,axiom,
    locatedin_aux(stonleighsauvignonblanc,newzealandregion) ).

fof(act1_formula241,axiom,
    locatedin_aux(arroyogranderegion,californiaregion) ).

fof(act1_formula242,axiom,
    locatedin_aux(selakssauvignonblanc,newzealandregion) ).

fof(act1_formula243,axiom,
    madefromgrape_aux(chateaudychemsauterne,semillongrape) ).

fof(act1_formula244,axiom,
    madefromgrape_aux(chateaudychemsauterne,sauvignonblancgrape) ).

fof(act1_formula245,axiom,
    ot____nom1_aux(sweet) ).

fof(act1_formula246,axiom,
    ot____nom10_aux(texasregion) ).

fof(act1_formula247,axiom,
    ot____nom11_aux(sauvignonblancgrape) ).

fof(act1_formula248,axiom,
    ot____nom12_aux(dry) ).

fof(act1_formula249,axiom,
    ot____nom13_aux(alsaceregion) ).

fof(act1_formula250,axiom,
    ot____nom14_aux(anjouregion) ).

fof(act1_formula251,axiom,
    ot____nom15_aux(californiaregion) ).

fof(act1_formula252,axiom,
    ot____nom16_aux(muscadetregion) ).

fof(act1_formula253,axiom,
    ot____nom17_aux(germanyregion) ).

fof(act1_formula254,axiom,
    ot____nom18_aux(sweet) ).

fof(act1_formula255,axiom,
    ot____nom18_aux(dry) ).

fof(act1_formula256,axiom,
    ot____nom18_aux(offdry) ).

fof(act1_formula257,axiom,
    ot____nom19_aux(loireregion) ).

fof(act1_formula258,axiom,
    ot____nom2_aux(medocregion) ).

fof(act1_formula259,axiom,
    ot____nom20_aux(zinfandelgrape) ).

fof(act1_formula260,axiom,
    ot____nom21_aux(pinotblancgrape) ).

fof(act1_formula261,axiom,
    ot____nom22_aux(margauxregion) ).

fof(act1_formula262,axiom,
    ot____nom23_aux(bordeauxregion) ).

fof(act1_formula263,axiom,
    ot____nom24_aux(chardonnaygrape) ).

fof(act1_formula264,axiom,
    ot____nom25_aux(petitesyrahgrape) ).

fof(act1_formula265,axiom,
    ot____nom26_aux(beaujolaisregion) ).

fof(act1_formula266,axiom,
    ot____nom27_aux(semillongrape) ).

fof(act1_formula267,axiom,
    ot____nom28_aux(red) ).

fof(act1_formula268,axiom,
    ot____nom29_aux(cabernetsauvignongrape) ).

fof(act1_formula269,axiom,
    ot____nom3_aux(cabernetfrancgrape) ).

fof(act1_formula270,axiom,
    ot____nom30_aux(sancerreregion) ).

fof(act1_formula271,axiom,
    ot____nom31_aux(meursaultregion) ).

fof(act1_formula272,axiom,
    ot____nom32_aux(rose) ).

fof(act1_formula273,axiom,
    ot____nom33_aux(gamaygrape) ).

fof(act1_formula274,axiom,
    ot____nom34_aux(cheninblancgrape) ).

fof(act1_formula275,axiom,
    ot____nom35_aux(delicate) ).

fof(act1_formula276,axiom,
    ot____nom35_aux(strong) ).

fof(act1_formula277,axiom,
    ot____nom35_aux(moderate) ).

fof(act1_formula278,axiom,
    ot____nom36_aux(stemilionregion) ).

fof(act1_formula279,axiom,
    ot____nom37_aux(rieslinggrape) ).

fof(act1_formula280,axiom,
    ot____nom38_aux(usregion) ).

fof(act1_formula281,axiom,
    ot____nom39_aux(pinotnoirgrape) ).

fof(act1_formula282,axiom,
    ot____nom4_aux(toursregion) ).

fof(act1_formula283,axiom,
    ot____nom40_aux(light) ).

fof(act1_formula284,axiom,
    ot____nom40_aux(full) ).

fof(act1_formula285,axiom,
    ot____nom40_aux(medium) ).

fof(act1_formula286,axiom,
    ot____nom41_aux(frenchregion) ).

fof(act1_formula287,axiom,
    ot____nom42_aux(cotesdorregion) ).

fof(act1_formula288,axiom,
    ot____nom43_aux(merlotgrape) ).

fof(act1_formula289,axiom,
    ot____nom44_aux(bourgogneregion) ).

fof(act1_formula290,axiom,
    ot____nom45_aux(full) ).

fof(act1_formula291,axiom,
    ot____nom46_aux(pauillacregion) ).

fof(act1_formula292,axiom,
    ot____nom47_aux(italianregion) ).

fof(act1_formula293,axiom,
    ot____nom48_aux(moderate) ).

fof(act1_formula294,axiom,
    ot____nom49_aux(medium) ).

fof(act1_formula295,axiom,
    ot____nom5_aux(white) ).

fof(act1_formula296,axiom,
    ot____nom50_aux(strong) ).

fof(act1_formula297,axiom,
    ot____nom50_aux(moderate) ).

fof(act1_formula298,axiom,
    ot____nom51_aux(full) ).

fof(act1_formula299,axiom,
    ot____nom51_aux(medium) ).

fof(act1_formula300,axiom,
    ot____nom52_aux(sauterneregion) ).

fof(act1_formula301,axiom,
    ot____nom53_aux(sweet) ).

fof(act1_formula302,axiom,
    ot____nom53_aux(offdry) ).

fof(act1_formula303,axiom,
    ot____nom54_aux(offdry) ).

fof(act1_formula304,axiom,
    ot____nom55_aux(delicate) ).

fof(act1_formula305,axiom,
    ot____nom56_aux(light) ).

fof(act1_formula306,axiom,
    ot____nom57_aux(portugalregion) ).

fof(act1_formula307,axiom,
    ot____nom58_aux(strong) ).

fof(act1_formula308,axiom,
    ot____nom59_aux(light) ).

fof(act1_formula309,axiom,
    ot____nom59_aux(medium) ).

fof(act1_formula310,axiom,
    ot____nom6_aux(semillongrape) ).

fof(act1_formula311,axiom,
    ot____nom6_aux(sauvignonblancgrape) ).

fof(act1_formula312,axiom,
    ot____nom60_aux(sangiovesegrape) ).

fof(act1_formula313,axiom,
    ot____nom61_aux(chiantiregion) ).

fof(act1_formula314,axiom,
    ot____nom62_aux(cabernetsauvignongrape) ).

fof(act1_formula315,axiom,
    ot____nom62_aux(merlotgrape) ).

fof(act1_formula316,axiom,
    ot____nom63_aux(pinotblancgrape) ).

fof(act1_formula317,axiom,
    ot____nom63_aux(sauvignonblancgrape) ).

fof(act1_formula318,axiom,
    ot____nom63_aux(cheninblancgrape) ).

fof(act1_formula319,axiom,
    ot____nom64_aux(delicate) ).

fof(act1_formula320,axiom,
    ot____nom64_aux(moderate) ).

fof(act1_formula321,axiom,
    ot____nom7_aux(dry) ).

fof(act1_formula322,axiom,
    ot____nom7_aux(offdry) ).

fof(act1_formula323,axiom,
    ot____nom8_aux(cabernetfrancgrape) ).

fof(act1_formula324,axiom,
    ot____nom8_aux(petiteverdotgrape) ).

fof(act1_formula325,axiom,
    ot____nom8_aux(cabernetsauvignongrape) ).

fof(act1_formula326,axiom,
    ot____nom8_aux(malbecgrape) ).

fof(act1_formula327,axiom,
    ot____nom8_aux(merlotgrape) ).

fof(act1_formula328,axiom,
    ot____nom9_aux(white) ).

fof(act1_formula329,axiom,
    ot____nom9_aux(rose) ).

fof(act1_formula330,axiom,
    ot____nom9_aux(red) ).

fof(act1_formula331,axiom,
    wineflavor_aux(delicate) ).

fof(act1_formula332,axiom,
    wineflavor_aux(strong) ).

fof(act1_formula333,axiom,
    wineflavor_aux(moderate) ).

fof(act1_formula334,axiom,
    winegrape_aux(petitesyrahgrape) ).

fof(act1_formula335,axiom,
    winegrape_aux(zinfandelgrape) ).

fof(act1_formula336,axiom,
    winegrape_aux(sangiovesegrape) ).

fof(act1_formula337,axiom,
    winegrape_aux(cabernetfrancgrape) ).

fof(act1_formula338,axiom,
    winegrape_aux(semillongrape) ).

fof(act1_formula339,axiom,
    winegrape_aux(rieslinggrape) ).

fof(act1_formula340,axiom,
    winegrape_aux(pinotblancgrape) ).

fof(act1_formula341,axiom,
    winegrape_aux(gamaygrape) ).

fof(act1_formula342,axiom,
    winegrape_aux(petiteverdotgrape) ).

fof(act1_formula343,axiom,
    winegrape_aux(chardonnaygrape) ).

fof(act1_formula344,axiom,
    winegrape_aux(pinotnoirgrape) ).

fof(act1_formula345,axiom,
    winegrape_aux(cabernetsauvignongrape) ).

fof(act1_formula346,axiom,
    winegrape_aux(sauvignonblancgrape) ).

fof(act1_formula347,axiom,
    winegrape_aux(cheninblancgrape) ).

fof(act1_formula348,axiom,
    winegrape_aux(malbecgrape) ).

fof(act1_formula349,axiom,
    winegrape_aux(merlotgrape) ).

fof(act1_formula350,axiom,
    winesugar_aux(sweet) ).

fof(act1_formula351,axiom,
    winesugar_aux(dry) ).

fof(act1_formula352,axiom,
    winesugar_aux(offdry) ).

fof(act1_formula353,axiom,
    winery_aux(seanthackrey) ).

fof(act1_formula354,axiom,
    winery_aux(marietta) ).

fof(act1_formula355,axiom,
    winery_aux(petermccoy) ).

fof(act1_formula356,axiom,
    winery_aux(danjou) ).

fof(act1_formula357,axiom,
    winery_aux(stonleigh) ).

fof(act1_formula358,axiom,
    winery_aux(schlossvolrad) ).

fof(act1_formula359,axiom,
    winery_aux(selaks) ).

fof(act1_formula360,axiom,
    winery_aux(cortonmontrachet) ).

fof(act1_formula361,axiom,
    winery_aux(forman) ).

fof(act1_formula362,axiom,
    winery_aux(chateaulafiterothschild) ).

fof(act1_formula363,axiom,
    winery_aux(elyse) ).

fof(act1_formula364,axiom,
    winery_aux(garyfarrell) ).

fof(act1_formula365,axiom,
    winery_aux(closdelapoussie) ).

fof(act1_formula366,axiom,
    winery_aux(santacruzmountainvineyard) ).

fof(act1_formula367,axiom,
    winery_aux(closdevougeot) ).

fof(act1_formula368,axiom,
    winery_aux(ventana) ).

fof(act1_formula369,axiom,
    winery_aux(schlossrothermel) ).

fof(act1_formula370,axiom,
    winery_aux(longridge) ).

fof(act1_formula371,axiom,
    winery_aux(mcguinnesso) ).

fof(act1_formula372,axiom,
    winery_aux(beringer) ).

fof(act1_formula373,axiom,
    winery_aux(sevreetmaine) ).

fof(act1_formula374,axiom,
    winery_aux(bancroft) ).

fof(act1_formula375,axiom,
    winery_aux(whitehalllane) ).

fof(act1_formula376,axiom,
    winery_aux(lanetanner) ).

fof(act1_formula377,axiom,
    winery_aux(saucelitocanyon) ).

fof(act1_formula378,axiom,
    winery_aux(mountedenvineyard) ).

fof(act1_formula379,axiom,
    winery_aux(taylor) ).

fof(act1_formula380,axiom,
    winery_aux(stgenevieve) ).

fof(act1_formula381,axiom,
    winery_aux(corbans) ).

fof(act1_formula382,axiom,
    winery_aux(kalincellars) ).

fof(act1_formula383,axiom,
    winery_aux(chateaudychem) ).

fof(act1_formula384,axiom,
    winery_aux(kathrynkennedy) ).

fof(act1_formula385,axiom,
    winery_aux(cotturi) ).

fof(act1_formula386,axiom,
    winery_aux(chateaumargauxwinery) ).

fof(act1_formula387,axiom,
    winery_aux(congresssprings) ).

fof(act1_formula388,axiom,
    winery_aux(chateaudemeursault) ).

fof(act1_formula389,axiom,
    winery_aux(chateauchevalblanc) ).

fof(act1_formula390,axiom,
    winery_aux(mountadam) ).

fof(act1_formula391,axiom,
    winery_aux(chateaumorgon) ).

fof(act1_formula392,axiom,
    winery_aux(pagemillwinery) ).

fof(act1_formula393,axiom,
    winery_aux(handley) ).

fof(act1_formula394,axiom,
    winery_aux(pulignymontrachet) ).

fof(act1_formula395,axiom,
    winery_aux(foxen) ).

fof(act1_formula396,axiom,
    zinfandel_aux(elysezinfandel) ).

fof(act1_formula397,axiom,
    zinfandel_aux(cotturizinfandel) ).

fof(act1_formula398,axiom,
    zinfandel_aux(saucelitocanyonzinfandel1998) ).

fof(act1_formula399,axiom,
    zinfandel_aux(mariettazinfandel) ).

fof(act1_formula400,axiom,
    zinfandel_aux(saucelitocanyonzinfandel) ).

fof(act1_formula401,axiom,
    winebody_aux(light) ).

fof(act1_formula402,axiom,
    winebody_aux(full) ).

fof(act1_formula403,axiom,
    winebody_aux(medium) ).

fof(act1_formula404,axiom,
    winecolor_aux(white) ).

fof(act1_formula405,axiom,
    winecolor_aux(rose) ).

fof(act1_formula406,axiom,
    winecolor_aux(red) ).

fof(act1_formula407,axiom,
    whiteburgundy_aux(pulignymontrachetwhiteburgundy) ).

fof(act1_formula408,axiom,
    whiteburgundy_aux(cortonmontrachetwhiteburgundy) ).

fof(act1_formula409,axiom,
    whitewine_aux(stgenevievetexaswhite) ).

fof(act1_formula410,axiom,
    muscadet_aux(sevreetmainemuscadet) ).

fof(act1_formula411,axiom,
    meursault_aux(chateaudemeursaultmeursault) ).

fof(act1_formula412,axiom,
    meritage_aux(kathrynkennedylateral) ).

fof(act1_formula413,axiom,
    margaux_aux(chateaumargaux) ).

fof(act1_formula414,axiom,
    icewine_aux(selaksicewine) ).

fof(act1_formula415,axiom,
    dryriesling_aux(mountadamriesling) ).

fof(act1_formula416,axiom,
    dessertwine_aux(whitehalllaneprimavera) ).

fof(act1_formula417,axiom,
    cabernetsauvignon_aux(mariettacabernetsauvignon) ).

fof(act1_formula418,axiom,
    cabernetsauvignon_aux(pagemillwinerycabernetsauvignon) ).

fof(act1_formula419,axiom,
    cabernetsauvignon_aux(santacruzmountainvineyardcabernetsauvignon) ).

fof(act1_formula420,axiom,
    cabernetsauvignon_aux(formancabernetsauvignon) ).

fof(act1_formula421,axiom,
    cabernetfranc_aux(whitehalllanecabernetfranc) ).

fof(act1_formula422,axiom,
    beaujolais_aux(chateaumorgonbeaujolais) ).

fof(act1_formula423,axiom,
    anjou_aux(rosedanjou) ).

fof(act1_formula424,axiom,
    chardonnay_aux(formanchardonnay) ).

fof(act1_formula425,axiom,
    chardonnay_aux(petermccoychardonnay) ).

fof(act1_formula426,axiom,
    chardonnay_aux(bancroftchardonnay) ).

fof(act1_formula427,axiom,
    chardonnay_aux(mountadamchardonnay) ).

fof(act1_formula428,axiom,
    chardonnay_aux(mountedenvineyardednavalleychardonnay) ).

fof(act1_formula429,axiom,
    cheninblanc_aux(foxencheninblanc) ).

fof(act1_formula430,axiom,
    cheninblanc_aux(ventanacheninblanc) ).

fof(act1_formula431,axiom,
    chianti_aux(chianticlassico) ).

fof(act1_formula432,axiom,
    cotesdor_aux(closdevougeotcotesdor) ).

fof(act1_formula433,axiom,
    merlot_aux(garyfarrellmerlot) ).

fof(act1_formula434,axiom,
    merlot_aux(longridgemerlot) ).

fof(act1_formula435,axiom,
    pauillac_aux(chateaulafiterothschildpauillac) ).

fof(act1_formula436,axiom,
    petitesyrah_aux(mariettapetitesyrah) ).

fof(act1_formula437,axiom,
    petitesyrah_aux(seanthackreysiriuspetitesyrah) ).

fof(act1_formula438,axiom,
    pinotnoir_aux(mountadampinotnoir) ).

fof(act1_formula439,axiom,
    pinotnoir_aux(lanetannerpinotnoir) ).

fof(act1_formula440,axiom,
    pinotnoir_aux(mountedenvineyardestatepinotnoir) ).

fof(act1_formula441,axiom,
    port_aux(taylorport) ).

fof(act1_formula442,axiom,
    redtablewine_aux(mariettaoldvinesred) ).

fof(act1_formula443,axiom,
    region_aux(californiaregion) ).

fof(act1_formula444,axiom,
    region_aux(sancerreregion) ).

fof(act1_formula445,axiom,
    region_aux(loireregion) ).

fof(act1_formula446,axiom,
    region_aux(usregion) ).

fof(act1_formula447,axiom,
    region_aux(naparegion) ).

fof(act1_formula448,axiom,
    region_aux(newzealandregion) ).

fof(act1_formula449,axiom,
    region_aux(chiantiregion) ).

fof(act1_formula450,axiom,
    region_aux(sauterneregion) ).

fof(act1_formula451,axiom,
    region_aux(germanyregion) ).

fof(act1_formula452,axiom,
    region_aux(pauillacregion) ).

fof(act1_formula453,axiom,
    region_aux(centraltexasregion) ).

fof(act1_formula454,axiom,
    region_aux(bordeauxregion) ).

fof(act1_formula455,axiom,
    region_aux(portugalregion) ).

fof(act1_formula456,axiom,
    region_aux(anjouregion) ).

fof(act1_formula457,axiom,
    region_aux(centralcoastregion) ).

fof(act1_formula458,axiom,
    region_aux(sonomaregion) ).

fof(act1_formula459,axiom,
    region_aux(santabarbararegion) ).

fof(act1_formula460,axiom,
    region_aux(medocregion) ).

fof(act1_formula461,axiom,
    region_aux(australianregion) ).

fof(act1_formula462,axiom,
    region_aux(southaustraliaregion) ).

fof(act1_formula463,axiom,
    region_aux(mendocinoregion) ).

fof(act1_formula464,axiom,
    region_aux(santacruzmountainsregion) ).

fof(act1_formula465,axiom,
    region_aux(italianregion) ).

fof(act1_formula466,axiom,
    region_aux(margauxregion) ).

fof(act1_formula467,axiom,
    region_aux(texasregion) ).

fof(act1_formula468,axiom,
    region_aux(muscadetregion) ).

fof(act1_formula469,axiom,
    region_aux(alsaceregion) ).

fof(act1_formula470,axiom,
    region_aux(stemilionregion) ).

fof(act1_formula471,axiom,
    region_aux(bourgogneregion) ).

fof(act1_formula472,axiom,
    region_aux(toursregion) ).

fof(act1_formula473,axiom,
    region_aux(frenchregion) ).

fof(act1_formula474,axiom,
    region_aux(cotesdorregion) ).

fof(act1_formula475,axiom,
    region_aux(beaujolaisregion) ).

fof(act1_formula476,axiom,
    region_aux(meursaultregion) ).

fof(act1_formula477,axiom,
    region_aux(ednavalleyregion) ).

fof(act1_formula478,axiom,
    region_aux(arroyogranderegion) ).

fof(act1_formula479,axiom,
    riesling_aux(corbansdrywhiteriesling) ).

fof(act1_formula480,axiom,
    sancerre_aux(closdelapoussiesancerre) ).

fof(act1_formula481,axiom,
    sauternes_aux(chateaudychemsauterne) ).

fof(act1_formula482,axiom,
    sauvignonblanc_aux(corbansprivatebinsauvignonblanc) ).

fof(act1_formula483,axiom,
    sauvignonblanc_aux(corbanssauvignonblanc) ).

fof(act1_formula484,axiom,
    sauvignonblanc_aux(stonleighsauvignonblanc) ).

fof(act1_formula485,axiom,
    sauvignonblanc_aux(selakssauvignonblanc) ).

fof(act1_formula486,axiom,
    semillon_aux(congressspringssemillon) ).

fof(act1_formula487,axiom,
    semillon_aux(kalincellarssemillon) ).

fof(act1_formula488,axiom,
    stemilion_aux(chateauchevalblancstemilion) ).

fof(act1_formula489,axiom,
    sweetriesling_aux(schlossrothermeltrochenbierenausleseriesling) ).

fof(act1_formula490,axiom,
    sweetriesling_aux(schlossvolradtrochenbierenausleseriesling) ).

fof(act1_formula491,axiom,
    kaon2namedobjects(chateaudemeursault) ).

fof(act1_formula492,axiom,
    kaon2namedobjects(seanthackrey) ).

fof(act1_formula493,axiom,
    kaon2namedobjects(formancabernetsauvignon) ).

fof(act1_formula494,axiom,
    kaon2namedobjects(texasregion) ).

fof(act1_formula495,axiom,
    kaon2namedobjects(sonomaregion) ).

fof(act1_formula496,axiom,
    kaon2namedobjects(corbansdrywhiteriesling) ).

fof(act1_formula497,axiom,
    kaon2namedobjects(cheninblancgrape) ).

fof(act1_formula498,axiom,
    kaon2namedobjects(delicate) ).

fof(act1_formula499,axiom,
    kaon2namedobjects(petermccoy) ).

fof(act1_formula500,axiom,
    kaon2namedobjects(forman) ).

fof(act1_formula501,axiom,
    kaon2namedobjects(taylorport) ).

fof(act1_formula502,axiom,
    kaon2namedobjects(pagemillwinerycabernetsauvignon) ).

fof(act1_formula503,axiom,
    kaon2namedobjects(chateauchevalblancstemilion) ).

fof(act1_formula504,axiom,
    kaon2namedobjects(foxencheninblanc) ).

fof(act1_formula505,axiom,
    kaon2namedobjects(santacruzmountainvineyardcabernetsauvignon) ).

fof(act1_formula506,axiom,
    kaon2namedobjects(selaksicewine) ).

fof(act1_formula507,axiom,
    kaon2namedobjects(chardonnaygrape) ).

fof(act1_formula508,axiom,
    kaon2namedobjects(sauvignonblancgrape) ).

fof(act1_formula509,axiom,
    kaon2namedobjects(cabernetsauvignongrape) ).

fof(act1_formula510,axiom,
    kaon2namedobjects(mountadampinotnoir) ).

fof(act1_formula511,axiom,
    kaon2namedobjects(pinotblancgrape) ).

fof(act1_formula512,axiom,
    kaon2namedobjects(year1998) ).

fof(act1_formula513,axiom,
    kaon2namedobjects(cotturizinfandel) ).

fof(act1_formula514,axiom,
    kaon2namedobjects(whitehalllaneprimavera) ).

fof(act1_formula515,axiom,
    kaon2namedobjects(longridge) ).

fof(act1_formula516,axiom,
    kaon2namedobjects(bancroft) ).

fof(act1_formula517,axiom,
    kaon2namedobjects(mountedenvineyardednavalleychardonnay) ).

fof(act1_formula518,axiom,
    kaon2namedobjects(moderate) ).

fof(act1_formula519,axiom,
    kaon2namedobjects(alsaceregion) ).

fof(act1_formula520,axiom,
    kaon2namedobjects(saucelitocanyonzinfandel1998) ).

fof(act1_formula521,axiom,
    kaon2namedobjects(corbanssauvignonblanc) ).

fof(act1_formula522,axiom,
    kaon2namedobjects(full) ).

fof(act1_formula523,axiom,
    kaon2namedobjects(taylor) ).

fof(act1_formula524,axiom,
    kaon2namedobjects(malbecgrape) ).

fof(act1_formula525,axiom,
    kaon2namedobjects(closdevougeot) ).

fof(act1_formula526,axiom,
    kaon2namedobjects(corbans) ).

fof(act1_formula527,axiom,
    kaon2namedobjects(stonleighsauvignonblanc) ).

fof(act1_formula528,axiom,
    kaon2namedobjects(loireregion) ).

fof(act1_formula529,axiom,
    kaon2namedobjects(corbansprivatebinsauvignonblanc) ).

fof(act1_formula530,axiom,
    kaon2namedobjects(cortonmontrachet) ).

fof(act1_formula531,axiom,
    kaon2namedobjects(chateaudychem) ).

fof(act1_formula532,axiom,
    kaon2namedobjects(australianregion) ).

fof(act1_formula533,axiom,
    kaon2namedobjects(beringer) ).

fof(act1_formula534,axiom,
    kaon2namedobjects(formanchardonnay) ).

fof(act1_formula535,axiom,
    kaon2namedobjects(chateaudemeursaultmeursault) ).

fof(act1_formula536,axiom,
    kaon2namedobjects(merlotgrape) ).

fof(act1_formula537,axiom,
    kaon2namedobjects(garyfarrellmerlot) ).

fof(act1_formula538,axiom,
    kaon2namedobjects(santacruzmountainvineyard) ).

fof(act1_formula539,axiom,
    kaon2namedobjects(portugalregion) ).

fof(act1_formula540,axiom,
    kaon2namedobjects(margauxregion) ).

fof(act1_formula541,axiom,
    kaon2namedobjects(frenchregion) ).

fof(act1_formula542,axiom,
    kaon2namedobjects(strong) ).

fof(act1_formula543,axiom,
    kaon2namedobjects(schlossvolradtrochenbierenausleseriesling) ).

fof(act1_formula544,axiom,
    kaon2namedobjects(cabernetfrancgrape) ).

fof(act1_formula545,axiom,
    kaon2namedobjects(medium) ).

fof(act1_formula546,axiom,
    kaon2namedobjects(medocregion) ).

fof(act1_formula547,axiom,
    kaon2namedobjects(sangiovesegrape) ).

fof(act1_formula548,axiom,
    kaon2namedobjects(toursregion) ).

fof(act1_formula549,axiom,
    kaon2namedobjects(chateaumargauxwinery) ).

fof(act1_formula550,axiom,
    kaon2namedobjects(closdelapoussiesancerre) ).

fof(act1_formula551,axiom,
    kaon2namedobjects(ednavalleyregion) ).

fof(act1_formula552,axiom,
    kaon2namedobjects(schlossvolrad) ).

fof(act1_formula553,axiom,
    kaon2namedobjects(marietta) ).

fof(act1_formula554,axiom,
    kaon2namedobjects(sweet) ).

fof(act1_formula555,axiom,
    kaon2namedobjects(arroyogranderegion) ).

fof(act1_formula556,axiom,
    kaon2namedobjects(elyse) ).

fof(act1_formula557,axiom,
    kaon2namedobjects(whitehalllanecabernetfranc) ).

fof(act1_formula558,axiom,
    kaon2namedobjects(anjouregion) ).

fof(act1_formula559,axiom,
    kaon2namedobjects(beaujolaisregion) ).

fof(act1_formula560,axiom,
    kaon2namedobjects(petermccoychardonnay) ).

fof(act1_formula561,axiom,
    kaon2namedobjects(pagemillwinery) ).

fof(act1_formula562,axiom,
    kaon2namedobjects(stgenevievetexaswhite) ).

fof(act1_formula563,axiom,
    kaon2namedobjects(congresssprings) ).

fof(act1_formula564,axiom,
    kaon2namedobjects(germanyregion) ).

fof(act1_formula565,axiom,
    kaon2namedobjects(muscadetregion) ).

fof(act1_formula566,axiom,
    kaon2namedobjects(garyfarrell) ).

fof(act1_formula567,axiom,
    kaon2namedobjects(light) ).

fof(act1_formula568,axiom,
    kaon2namedobjects(rieslinggrape) ).

fof(act1_formula569,axiom,
    kaon2namedobjects(pauillacregion) ).

fof(act1_formula570,axiom,
    kaon2namedobjects(santabarbararegion) ).

fof(act1_formula571,axiom,
    kaon2namedobjects(lanetanner) ).

fof(act1_formula572,axiom,
    kaon2namedobjects(mcguinnesso) ).

fof(act1_formula573,axiom,
    kaon2namedobjects(mendocinoregion) ).

fof(act1_formula574,axiom,
    kaon2namedobjects(chateaumorgonbeaujolais) ).

fof(act1_formula575,axiom,
    kaon2namedobjects(santacruzmountainsregion) ).

fof(act1_formula576,axiom,
    kaon2namedobjects(californiaregion) ).

fof(act1_formula577,axiom,
    kaon2namedobjects(sancerreregion) ).

fof(act1_formula578,axiom,
    kaon2namedobjects(selakssauvignonblanc) ).

fof(act1_formula579,axiom,
    kaon2namedobjects(chateaulafiterothschildpauillac) ).

fof(act1_formula580,axiom,
    kaon2namedobjects(cortonmontrachetwhiteburgundy) ).

fof(act1_formula581,axiom,
    kaon2namedobjects(lanetannerpinotnoir) ).

fof(act1_formula582,axiom,
    kaon2namedobjects(ventana) ).

fof(act1_formula583,axiom,
    kaon2namedobjects(cotturi) ).

fof(act1_formula584,axiom,
    kaon2namedobjects(mariettaoldvinesred) ).

fof(act1_formula585,axiom,
    kaon2namedobjects(rosedanjou) ).

fof(act1_formula586,axiom,
    kaon2namedobjects(chateaulafiterothschild) ).

fof(act1_formula587,axiom,
    kaon2namedobjects(chateaumorgon) ).

fof(act1_formula588,axiom,
    kaon2namedobjects(saucelitocanyon) ).

fof(act1_formula589,axiom,
    kaon2namedobjects(ventanacheninblanc) ).

fof(act1_formula590,axiom,
    kaon2namedobjects(chateauchevalblanc) ).

fof(act1_formula591,axiom,
    kaon2namedobjects(mountadamriesling) ).

fof(act1_formula592,axiom,
    kaon2namedobjects(mariettacabernetsauvignon) ).

fof(act1_formula593,axiom,
    kaon2namedobjects(sevreetmaine) ).

fof(act1_formula594,axiom,
    kaon2namedobjects(saucelitocanyonzinfandel) ).

fof(act1_formula595,axiom,
    kaon2namedobjects(seanthackreysiriuspetitesyrah) ).

fof(act1_formula596,axiom,
    kaon2namedobjects(stonleigh) ).

fof(act1_formula597,axiom,
    kaon2namedobjects(schlossrothermeltrochenbierenausleseriesling) ).

fof(act1_formula598,axiom,
    kaon2namedobjects(mariettazinfandel) ).

fof(act1_formula599,axiom,
    kaon2namedobjects(kathrynkennedylateral) ).

fof(act1_formula600,axiom,
    kaon2namedobjects(mountadamchardonnay) ).

fof(act1_formula601,axiom,
    kaon2namedobjects(foxen) ).

fof(act1_formula602,axiom,
    kaon2namedobjects(stgenevieve) ).

fof(act1_formula603,axiom,
    kaon2namedobjects(offdry) ).

fof(act1_formula604,axiom,
    kaon2namedobjects(whitehalllane) ).

fof(act1_formula605,axiom,
    kaon2namedobjects(chianticlassico) ).

fof(act1_formula606,axiom,
    kaon2namedobjects(pulignymontrachet) ).

fof(act1_formula607,axiom,
    kaon2namedobjects(meursaultregion) ).

fof(act1_formula608,axiom,
    kaon2namedobjects(mountedenvineyardestatepinotnoir) ).

fof(act1_formula609,axiom,
    kaon2namedobjects(kalincellars) ).

fof(act1_formula610,axiom,
    kaon2namedobjects(petiteverdotgrape) ).

fof(act1_formula611,axiom,
    kaon2namedobjects(chateaumargaux) ).

fof(act1_formula612,axiom,
    kaon2namedobjects(kathrynkennedy) ).

fof(act1_formula613,axiom,
    kaon2namedobjects(sauterneregion) ).

fof(act1_formula614,axiom,
    kaon2namedobjects(bordeauxregion) ).

fof(act1_formula615,axiom,
    kaon2namedobjects(white) ).

fof(act1_formula616,axiom,
    kaon2namedobjects(mariettapetitesyrah) ).

fof(act1_formula617,axiom,
    kaon2namedobjects(handley) ).

fof(act1_formula618,axiom,
    kaon2namedobjects(naparegion) ).

fof(act1_formula619,axiom,
    kaon2namedobjects(chiantiregion) ).

fof(act1_formula620,axiom,
    kaon2namedobjects(chateaudychemsauterne) ).

fof(act1_formula621,axiom,
    kaon2namedobjects(elysezinfandel) ).

fof(act1_formula622,axiom,
    kaon2namedobjects(pulignymontrachetwhiteburgundy) ).

fof(act1_formula623,axiom,
    kaon2namedobjects(kalincellarssemillon) ).

fof(act1_formula624,axiom,
    kaon2namedobjects(closdevougeotcotesdor) ).

fof(act1_formula625,axiom,
    kaon2namedobjects(schlossrothermel) ).

fof(act1_formula626,axiom,
    kaon2namedobjects(bancroftchardonnay) ).

fof(act1_formula627,axiom,
    kaon2namedobjects(southaustraliaregion) ).

fof(act1_formula628,axiom,
    kaon2namedobjects(semillongrape) ).

fof(act1_formula629,axiom,
    kaon2namedobjects(danjou) ).

fof(act1_formula630,axiom,
    kaon2namedobjects(gamaygrape) ).

fof(act1_formula631,axiom,
    kaon2namedobjects(zinfandelgrape) ).

fof(act1_formula632,axiom,
    kaon2namedobjects(longridgemerlot) ).

fof(act1_formula633,axiom,
    kaon2namedobjects(mountedenvineyard) ).

fof(act1_formula634,axiom,
    kaon2namedobjects(bourgogneregion) ).

fof(act1_formula635,axiom,
    kaon2namedobjects(usregion) ).

fof(act1_formula636,axiom,
    kaon2namedobjects(centraltexasregion) ).

fof(act1_formula637,axiom,
    kaon2namedobjects(congressspringssemillon) ).

fof(act1_formula638,axiom,
    kaon2namedobjects(selaks) ).

fof(act1_formula639,axiom,
    kaon2namedobjects(dry) ).

fof(act1_formula640,axiom,
    kaon2namedobjects(newzealandregion) ).

fof(act1_formula641,axiom,
    kaon2namedobjects(red) ).

fof(act1_formula642,axiom,
    kaon2namedobjects(closdelapoussie) ).

fof(act1_formula643,axiom,
    kaon2namedobjects(cotesdorregion) ).

fof(act1_formula644,axiom,
    kaon2namedobjects(rose) ).

fof(act1_formula645,axiom,
    kaon2namedobjects(mountadam) ).

fof(act1_formula646,axiom,
    kaon2namedobjects(sevreetmainemuscadet) ).

fof(act1_formula647,axiom,
    kaon2namedobjects(pinotnoirgrape) ).

fof(act1_formula648,axiom,
    kaon2namedobjects(stemilionregion) ).

fof(act1_formula649,axiom,
    kaon2namedobjects(italianregion) ).

fof(act1_formula650,axiom,
    kaon2namedobjects(centralcoastregion) ).

fof(act1_formula651,axiom,
    kaon2namedobjects(petitesyrahgrape) ).

fof(act1_formula652,axiom,
    vintageyear_aux(year1998) ).

fof(act1_formula653,axiom,
    hasvintageyear_aux(saucelitocanyonzinfandel1998,year1998) ).

% wine ontology. based on: http://projects.semwebcentral.org/scm/viewvc.php/openrulebench/recursion/xsb/wine.P?root=rulebench&view=markup
fof(act2_formula1,axiom,
    ! [X,Y] :
      ( madefromgrape_aux(X,Y)
     => madefromgrape(X,Y) ) ).

fof(act2_formula2,axiom,
    ! [X,Y] :
      ( locatedin_aux(X,Y)
     => locatedin(X,Y) ) ).

fof(act2_formula3,axiom,
    ! [X,Y] :
      ( hassugar_aux(X,Y)
     => hassugar(X,Y) ) ).

fof(act2_formula4,axiom,
    ! [X,Y] :
      ( hasmaker_aux(X,Y)
     => hasmaker(X,Y) ) ).

fof(act2_formula5,axiom,
    ! [X,Y] :
      ( hasflavor_aux(X,Y)
     => hasflavor(X,Y) ) ).

fof(act2_formula6,axiom,
    ! [X,Y] :
      ( hascolor_aux(X,Y)
     => hascolor(X,Y) ) ).

fof(act2_formula7,axiom,
    ! [X,Y] :
      ( hasbody_aux(X,Y)
     => hasbody(X,Y) ) ).

fof(act2_formula8,axiom,
    ! [Y,X] :
      ( adjacentregion_aux(Y,X)
     => adjacentregion(Y,X) ) ).

fof(act2_formula9,axiom,
    ! [Y,X] :
      ( hasvintageyear_aux(Y,X)
     => hasvintageyear(Y,X) ) ).

fof(act2_formula10,axiom,
    ! [X] :
      ( ot____nom1_aux(X)
     => ot____nom1(X) ) ).

fof(act2_formula11,axiom,
    ! [X] :
      ( ot____nom10_aux(X)
     => ot____nom10(X) ) ).

fof(act2_formula12,axiom,
    ! [X] :
      ( ot____nom11_aux(X)
     => ot____nom11(X) ) ).

fof(act2_formula13,axiom,
    ! [X] :
      ( ot____nom12_aux(X)
     => ot____nom12(X) ) ).

fof(act2_formula14,axiom,
    ! [X] :
      ( ot____nom13_aux(X)
     => ot____nom13(X) ) ).

fof(act2_formula15,axiom,
    ! [X] :
      ( ot____nom14_aux(X)
     => ot____nom14(X) ) ).

fof(act2_formula16,axiom,
    ! [X] :
      ( ot____nom15_aux(X)
     => ot____nom15(X) ) ).

fof(act2_formula17,axiom,
    ! [X] :
      ( ot____nom16_aux(X)
     => ot____nom16(X) ) ).

fof(act2_formula18,axiom,
    ! [X] :
      ( ot____nom17_aux(X)
     => ot____nom17(X) ) ).

fof(act2_formula19,axiom,
    ! [X] :
      ( ot____nom18_aux(X)
     => ot____nom18(X) ) ).

fof(act2_formula20,axiom,
    ! [X] :
      ( ot____nom19_aux(X)
     => ot____nom19(X) ) ).

fof(act2_formula21,axiom,
    ! [X] :
      ( ot____nom2_aux(X)
     => ot____nom2(X) ) ).

fof(act2_formula22,axiom,
    ! [X] :
      ( ot____nom20_aux(X)
     => ot____nom20(X) ) ).

fof(act2_formula23,axiom,
    ! [X] :
      ( ot____nom21_aux(X)
     => ot____nom21(X) ) ).

fof(act2_formula24,axiom,
    ! [X] :
      ( ot____nom22_aux(X)
     => ot____nom22(X) ) ).

fof(act2_formula25,axiom,
    ! [X] :
      ( ot____nom23_aux(X)
     => ot____nom23(X) ) ).

fof(act2_formula26,axiom,
    ! [X] :
      ( ot____nom24_aux(X)
     => ot____nom24(X) ) ).

fof(act2_formula27,axiom,
    ! [X] :
      ( ot____nom25_aux(X)
     => ot____nom25(X) ) ).

fof(act2_formula28,axiom,
    ! [X] :
      ( ot____nom26_aux(X)
     => ot____nom26(X) ) ).

fof(act2_formula29,axiom,
    ! [X] :
      ( ot____nom27_aux(X)
     => ot____nom27(X) ) ).

fof(act2_formula30,axiom,
    ! [X] :
      ( ot____nom28_aux(X)
     => ot____nom28(X) ) ).

fof(act2_formula31,axiom,
    ! [X] :
      ( ot____nom29_aux(X)
     => ot____nom29(X) ) ).

fof(act2_formula32,axiom,
    ! [X] :
      ( ot____nom3_aux(X)
     => ot____nom3(X) ) ).

fof(act2_formula33,axiom,
    ! [X] :
      ( ot____nom30_aux(X)
     => ot____nom30(X) ) ).

fof(act2_formula34,axiom,
    ! [X] :
      ( ot____nom31_aux(X)
     => ot____nom31(X) ) ).

fof(act2_formula35,axiom,
    ! [X] :
      ( ot____nom32_aux(X)
     => ot____nom32(X) ) ).

fof(act2_formula36,axiom,
    ! [X] :
      ( ot____nom33_aux(X)
     => ot____nom33(X) ) ).

fof(act2_formula37,axiom,
    ! [X] :
      ( ot____nom34_aux(X)
     => ot____nom34(X) ) ).

fof(act2_formula38,axiom,
    ! [X] :
      ( ot____nom35_aux(X)
     => ot____nom35(X) ) ).

fof(act2_formula39,axiom,
    ! [X] :
      ( ot____nom36_aux(X)
     => ot____nom36(X) ) ).

fof(act2_formula40,axiom,
    ! [X] :
      ( ot____nom37_aux(X)
     => ot____nom37(X) ) ).

fof(act2_formula41,axiom,
    ! [X] :
      ( ot____nom38_aux(X)
     => ot____nom38(X) ) ).

fof(act2_formula42,axiom,
    ! [X] :
      ( ot____nom39_aux(X)
     => ot____nom39(X) ) ).

fof(act2_formula43,axiom,
    ! [X] :
      ( ot____nom4_aux(X)
     => ot____nom4(X) ) ).

fof(act2_formula44,axiom,
    ! [X] :
      ( ot____nom40_aux(X)
     => ot____nom40(X) ) ).

fof(act2_formula45,axiom,
    ! [X] :
      ( ot____nom41_aux(X)
     => ot____nom41(X) ) ).

fof(act2_formula46,axiom,
    ! [X] :
      ( ot____nom42_aux(X)
     => ot____nom42(X) ) ).

fof(act2_formula47,axiom,
    ! [X] :
      ( ot____nom43_aux(X)
     => ot____nom43(X) ) ).

fof(act2_formula48,axiom,
    ! [X] :
      ( ot____nom44_aux(X)
     => ot____nom44(X) ) ).

fof(act2_formula49,axiom,
    ! [X] :
      ( ot____nom45_aux(X)
     => ot____nom45(X) ) ).

fof(act2_formula50,axiom,
    ! [X] :
      ( ot____nom46_aux(X)
     => ot____nom46(X) ) ).

fof(act2_formula51,axiom,
    ! [X] :
      ( ot____nom47_aux(X)
     => ot____nom47(X) ) ).

fof(act2_formula52,axiom,
    ! [X] :
      ( ot____nom48_aux(X)
     => ot____nom48(X) ) ).

fof(act2_formula53,axiom,
    ! [X] :
      ( ot____nom49_aux(X)
     => ot____nom49(X) ) ).

fof(act2_formula54,axiom,
    ! [X] :
      ( ot____nom5_aux(X)
     => ot____nom5(X) ) ).

fof(act2_formula55,axiom,
    ! [X] :
      ( ot____nom50_aux(X)
     => ot____nom50(X) ) ).

fof(act2_formula56,axiom,
    ! [X] :
      ( ot____nom51_aux(X)
     => ot____nom51(X) ) ).

fof(act2_formula57,axiom,
    ! [X] :
      ( ot____nom52_aux(X)
     => ot____nom52(X) ) ).

fof(act2_formula58,axiom,
    ! [X] :
      ( ot____nom53_aux(X)
     => ot____nom53(X) ) ).

fof(act2_formula59,axiom,
    ! [X] :
      ( ot____nom54_aux(X)
     => ot____nom54(X) ) ).

fof(act2_formula60,axiom,
    ! [X] :
      ( ot____nom55_aux(X)
     => ot____nom55(X) ) ).

fof(act2_formula61,axiom,
    ! [X] :
      ( ot____nom56_aux(X)
     => ot____nom56(X) ) ).

fof(act2_formula62,axiom,
    ! [X] :
      ( ot____nom57_aux(X)
     => ot____nom57(X) ) ).

fof(act2_formula63,axiom,
    ! [X] :
      ( ot____nom58_aux(X)
     => ot____nom58(X) ) ).

fof(act2_formula64,axiom,
    ! [X] :
      ( ot____nom59_aux(X)
     => ot____nom59(X) ) ).

fof(act2_formula65,axiom,
    ! [X] :
      ( ot____nom6_aux(X)
     => ot____nom6(X) ) ).

fof(act2_formula66,axiom,
    ! [X] :
      ( ot____nom60_aux(X)
     => ot____nom60(X) ) ).

fof(act2_formula67,axiom,
    ! [X] :
      ( ot____nom61_aux(X)
     => ot____nom61(X) ) ).

fof(act2_formula68,axiom,
    ! [X] :
      ( ot____nom62_aux(X)
     => ot____nom62(X) ) ).

fof(act2_formula69,axiom,
    ! [X] :
      ( ot____nom63_aux(X)
     => ot____nom63(X) ) ).

fof(act2_formula70,axiom,
    ! [X] :
      ( ot____nom64_aux(X)
     => ot____nom64(X) ) ).

fof(act2_formula71,axiom,
    ! [X] :
      ( ot____nom7_aux(X)
     => ot____nom7(X) ) ).

fof(act2_formula72,axiom,
    ! [X] :
      ( ot____nom8_aux(X)
     => ot____nom8(X) ) ).

fof(act2_formula73,axiom,
    ! [X] :
      ( ot____nom9_aux(X)
     => ot____nom9(X) ) ).

fof(act2_formula74,axiom,
    ! [X] :
      ( zinfandel_aux(X)
     => zinfandel(X) ) ).

fof(act2_formula75,axiom,
    ! [X] :
      ( winery_aux(X)
     => winery(X) ) ).

fof(act2_formula76,axiom,
    ! [X] :
      ( winegrape_aux(X)
     => winegrape(X) ) ).

fof(act2_formula77,axiom,
    ! [X] :
      ( winesugar_aux(X)
     => winesugar(X) ) ).

fof(act2_formula78,axiom,
    ! [X] :
      ( wineflavor_aux(X)
     => wineflavor(X) ) ).

fof(act2_formula79,axiom,
    ! [X] :
      ( anjou_aux(X)
     => anjou(X) ) ).

fof(act2_formula80,axiom,
    ! [X] :
      ( beaujolais_aux(X)
     => beaujolais(X) ) ).

fof(act2_formula81,axiom,
    ! [X] :
      ( cabernetfranc_aux(X)
     => cabernetfranc(X) ) ).

fof(act2_formula82,axiom,
    ! [X] :
      ( cabernetsauvignon_aux(X)
     => cabernetsauvignon(X) ) ).

fof(act2_formula83,axiom,
    ! [X] :
      ( chardonnay_aux(X)
     => chardonnay(X) ) ).

fof(act2_formula84,axiom,
    ! [X] :
      ( cheninblanc_aux(X)
     => cheninblanc(X) ) ).

fof(act2_formula85,axiom,
    ! [X] :
      ( chianti_aux(X)
     => chianti(X) ) ).

fof(act2_formula86,axiom,
    ! [X] :
      ( cotesdor_aux(X)
     => cotesdor(X) ) ).

fof(act2_formula87,axiom,
    ! [X] :
      ( dessertwine_aux(X)
     => dessertwine(X) ) ).

fof(act2_formula88,axiom,
    ! [X] :
      ( dryriesling_aux(X)
     => dryriesling(X) ) ).

fof(act2_formula89,axiom,
    ! [X] :
      ( icewine_aux(X)
     => icewine(X) ) ).

fof(act2_formula90,axiom,
    ! [X] :
      ( margaux_aux(X)
     => margaux(X) ) ).

fof(act2_formula91,axiom,
    ! [X] :
      ( meritage_aux(X)
     => meritage(X) ) ).

fof(act2_formula92,axiom,
    ! [X] :
      ( merlot_aux(X)
     => merlot(X) ) ).

fof(act2_formula93,axiom,
    ! [X] :
      ( meursault_aux(X)
     => meursault(X) ) ).

fof(act2_formula94,axiom,
    ! [X] :
      ( muscadet_aux(X)
     => muscadet(X) ) ).

fof(act2_formula95,axiom,
    ! [X] :
      ( pauillac_aux(X)
     => pauillac(X) ) ).

fof(act2_formula96,axiom,
    ! [X] :
      ( petitesyrah_aux(X)
     => petitesyrah(X) ) ).

fof(act2_formula97,axiom,
    ! [X] :
      ( pinotnoir_aux(X)
     => pinotnoir(X) ) ).

fof(act2_formula98,axiom,
    ! [X] :
      ( port_aux(X)
     => port(X) ) ).

fof(act2_formula99,axiom,
    ! [X] :
      ( redtablewine_aux(X)
     => redtablewine(X) ) ).

fof(act2_formula100,axiom,
    ! [X] :
      ( region_aux(X)
     => region(X) ) ).

fof(act2_formula101,axiom,
    ! [X] :
      ( riesling_aux(X)
     => riesling(X) ) ).

fof(act2_formula102,axiom,
    ! [X] :
      ( sancerre_aux(X)
     => sancerre(X) ) ).

fof(act2_formula103,axiom,
    ! [X] :
      ( sauternes_aux(X)
     => sauternes(X) ) ).

fof(act2_formula104,axiom,
    ! [X] :
      ( sauvignonblanc_aux(X)
     => sauvignonblanc(X) ) ).

fof(act2_formula105,axiom,
    ! [X] :
      ( semillon_aux(X)
     => semillon(X) ) ).

fof(act2_formula106,axiom,
    ! [X] :
      ( stemilion_aux(X)
     => stemilion(X) ) ).

fof(act2_formula107,axiom,
    ! [X] :
      ( sweetriesling_aux(X)
     => sweetriesling(X) ) ).

fof(act2_formula108,axiom,
    ! [X] :
      ( vintageyear_aux(X)
     => vintageyear(X) ) ).

fof(act2_formula109,axiom,
    ! [X] :
      ( whiteburgundy_aux(X)
     => whiteburgundy(X) ) ).

fof(act2_formula110,axiom,
    ! [X] :
      ( whitewine_aux(X)
     => whitewine(X) ) ).

fof(act2_formula111,axiom,
    ! [X] :
      ( winebody_aux(X)
     => winebody(X) ) ).

fof(act2_formula112,axiom,
    ! [X] :
      ( winecolor_aux(X)
     => winecolor(X) ) ).

fof(act2_formula113,axiom,
    ! [X] :
      ( meritage(X)
     => q0(X) ) ).

fof(act2_formula114,axiom,
    ! [X] :
      ( merlot(X)
     => q0(X) ) ).

fof(act2_formula115,axiom,
    ! [X] :
      ( pinotnoir(X)
     => q0(X) ) ).

fof(act2_formula116,axiom,
    ! [X] :
      ( beaujolais(X)
     => q0(X) ) ).

fof(act2_formula117,axiom,
    ! [X] :
      ( cabernetfranc(X)
     => q0(X) ) ).

fof(act2_formula118,axiom,
    ! [X] :
      ( zinfandel(X)
     => q0(X) ) ).

fof(act2_formula119,axiom,
    ! [X] :
      ( medoc(X)
     => q0(X) ) ).

fof(act2_formula120,axiom,
    ! [X] :
      ( cabernetsauvignon(X)
     => q0(X) ) ).

fof(act2_formula121,axiom,
    ! [X] :
      ( redtablewine(X)
     => q0(X) ) ).

fof(act2_formula122,axiom,
    ! [X] :
      ( petitesyrah(X)
     => q0(X) ) ).

fof(act2_formula123,axiom,
    ! [X] :
      ( redwine(X)
     => q0(X) ) ).

fof(act2_formula124,axiom,
    ! [X] :
      ( chianti(X)
     => q0(X) ) ).

fof(act2_formula125,axiom,
    ! [X] :
      ( stemilion(X)
     => q0(X) ) ).

fof(act2_formula126,axiom,
    ! [Y,X] :
      ( ( q0(Y)
        & kaon2equal(X,Y) )
     => q0(X) ) ).

fof(act2_formula127,axiom,
    ! [X] :
      ( bordeaux(X)
     => q1(X) ) ).

fof(act2_formula128,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q2(Y) )
     => q1(X) ) ).

fof(act2_formula129,axiom,
    ! [Y,X] :
      ( ( q1(Y)
        & kaon2equal(X,Y) )
     => q1(X) ) ).

fof(act2_formula130,axiom,
    ! [X] :
      ( q9(X)
     => q10(X) ) ).

fof(act2_formula131,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom4(Y) )
     => q10(X) ) ).

fof(act2_formula132,axiom,
    ! [Y,X] :
      ( ( q10(Y)
        & kaon2equal(X,Y) )
     => q10(X) ) ).

fof(act2_formula133,axiom,
    ! [X] :
      ( pauillac(X)
     => q11(X) ) ).

fof(act2_formula134,axiom,
    ! [X] :
      ( port(X)
     => q11(X) ) ).

fof(act2_formula135,axiom,
    ! [X] :
      ( stemilion(X)
     => q11(X) ) ).

fof(act2_formula136,axiom,
    ! [Y,X] :
      ( ( q11(Y)
        & kaon2equal(X,Y) )
     => q11(X) ) ).

fof(act2_formula137,axiom,
    ! [X] :
      ( icewine(X)
     => q12(X) ) ).

fof(act2_formula138,axiom,
    ! [X] :
      ( whitetablewine(X)
     => q12(X) ) ).

fof(act2_formula139,axiom,
    ! [X] :
      ( cheninblanc(X)
     => q12(X) ) ).

fof(act2_formula140,axiom,
    ! [X] :
      ( chardonnay(X)
     => q12(X) ) ).

fof(act2_formula141,axiom,
    ! [X] :
      ( pinotblanc(X)
     => q12(X) ) ).

fof(act2_formula142,axiom,
    ! [X] :
      ( whitewine(X)
     => q12(X) ) ).

fof(act2_formula143,axiom,
    ! [X] :
      ( dryriesling(X)
     => q12(X) ) ).

fof(act2_formula144,axiom,
    ! [X] :
      ( sauternes(X)
     => q12(X) ) ).

fof(act2_formula145,axiom,
    ! [X] :
      ( semillonorsauvignonblanc(X)
     => q12(X) ) ).

fof(act2_formula146,axiom,
    ! [X] :
      ( riesling(X)
     => q12(X) ) ).

fof(act2_formula147,axiom,
    ! [Y,X] :
      ( ( q12(Y)
        & kaon2equal(X,Y) )
     => q12(X) ) ).

fof(act2_formula148,axiom,
    ! [X] :
      ( margaux(X)
     => q13(X) ) ).

fof(act2_formula149,axiom,
    ! [X] :
      ( merlot(X)
     => q13(X) ) ).

fof(act2_formula150,axiom,
    ! [Y,X] :
      ( ( q13(Y)
        & kaon2equal(X,Y) )
     => q13(X) ) ).

fof(act2_formula151,axiom,
    ! [X] :
      ( gamay(X)
     => q14(X) ) ).

fof(act2_formula152,axiom,
    ! [X] :
      ( beaujolais(X)
     => q14(X) ) ).

fof(act2_formula153,axiom,
    ! [Y,X] :
      ( ( q14(Y)
        & kaon2equal(X,Y) )
     => q14(X) ) ).

fof(act2_formula154,axiom,
    ! [X] :
      ( anjou(X)
     => q15(X) ) ).

fof(act2_formula155,axiom,
    ! [X] :
      ( rosewine(X)
     => q15(X) ) ).

fof(act2_formula156,axiom,
    ! [Y,X] :
      ( ( q15(Y)
        & kaon2equal(X,Y) )
     => q15(X) ) ).

fof(act2_formula157,axiom,
    ! [X] :
      ( meursault(X)
     => q16(X) ) ).

fof(act2_formula158,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q17(Y) )
     => q16(X) ) ).

fof(act2_formula159,axiom,
    ! [Y,X] :
      ( ( q16(Y)
        & kaon2equal(X,Y) )
     => q16(X) ) ).

fof(act2_formula160,axiom,
    ! [X] :
      ( q16(X)
     => q17(X) ) ).

fof(act2_formula161,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom31(Y) )
     => q17(X) ) ).

fof(act2_formula162,axiom,
    ! [Y,X] :
      ( ( q17(Y)
        & kaon2equal(X,Y) )
     => q17(X) ) ).

fof(act2_formula163,axiom,
    ! [X] :
      ( margaux(X)
     => q18(X) ) ).

fof(act2_formula164,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q19(Y) )
     => q18(X) ) ).

fof(act2_formula165,axiom,
    ! [Y,X] :
      ( ( q18(Y)
        & kaon2equal(X,Y) )
     => q18(X) ) ).

fof(act2_formula166,axiom,
    ! [X] :
      ( q18(X)
     => q19(X) ) ).

fof(act2_formula167,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom22(Y) )
     => q19(X) ) ).

fof(act2_formula168,axiom,
    ! [Y,X] :
      ( ( q19(Y)
        & kaon2equal(X,Y) )
     => q19(X) ) ).

fof(act2_formula169,axiom,
    ! [X] :
      ( q1(X)
     => q2(X) ) ).

fof(act2_formula170,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom23(Y) )
     => q2(X) ) ).

fof(act2_formula171,axiom,
    ! [Y,X] :
      ( ( q2(Y)
        & kaon2equal(X,Y) )
     => q2(X) ) ).

fof(act2_formula172,axiom,
    ! [X] :
      ( sancerre(X)
     => q20(X) ) ).

fof(act2_formula173,axiom,
    ! [X] :
      ( muscadet(X)
     => q20(X) ) ).

fof(act2_formula174,axiom,
    ! [X] :
      ( beaujolais(X)
     => q20(X) ) ).

fof(act2_formula175,axiom,
    ! [X] :
      ( dryriesling(X)
     => q20(X) ) ).

fof(act2_formula176,axiom,
    ! [X] :
      ( anjou(X)
     => q20(X) ) ).

fof(act2_formula177,axiom,
    ! [X] :
      ( margaux(X)
     => q20(X) ) ).

fof(act2_formula178,axiom,
    ! [Y,X] :
      ( ( q20(Y)
        & kaon2equal(X,Y) )
     => q20(X) ) ).

fof(act2_formula179,axiom,
    ! [X] :
      ( q12(X)
     => q21(X) ) ).

fof(act2_formula180,axiom,
    ! [X,Y] :
      ( ( hascolor(X,Y)
        & ot____nom5(Y) )
     => q21(X) ) ).

fof(act2_formula181,axiom,
    ! [Y,X] :
      ( ( q21(Y)
        & kaon2equal(X,Y) )
     => q21(X) ) ).

fof(act2_formula182,axiom,
    ! [X] :
      ( beaujolais(X)
     => q22(X) ) ).

fof(act2_formula183,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q23(Y) )
     => q22(X) ) ).

fof(act2_formula184,axiom,
    ! [Y,X] :
      ( ( q22(Y)
        & kaon2equal(X,Y) )
     => q22(X) ) ).

fof(act2_formula185,axiom,
    ! [X] :
      ( q22(X)
     => q23(X) ) ).

fof(act2_formula186,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom26(Y) )
     => q23(X) ) ).

fof(act2_formula187,axiom,
    ! [Y,X] :
      ( ( q23(Y)
        & kaon2equal(X,Y) )
     => q23(X) ) ).

fof(act2_formula188,axiom,
    ! [X] :
      ( pinotblanc(X)
     => q24(X) ) ).

fof(act2_formula189,axiom,
    ! [X] :
      ( muscadet(X)
     => q24(X) ) ).

fof(act2_formula190,axiom,
    ! [Y,X] :
      ( ( q24(Y)
        & kaon2equal(X,Y) )
     => q24(X) ) ).

fof(act2_formula191,axiom,
    ! [X] :
      ( americanwine(X)
     => q26(X) ) ).

fof(act2_formula192,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q27(Y) )
     => q26(X) ) ).

fof(act2_formula193,axiom,
    ! [Y,X] :
      ( ( q26(Y)
        & kaon2equal(X,Y) )
     => q26(X) ) ).

fof(act2_formula194,axiom,
    ! [X] :
      ( q26(X)
     => q27(X) ) ).

fof(act2_formula195,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom38(Y) )
     => q27(X) ) ).

fof(act2_formula196,axiom,
    ! [Y,X] :
      ( ( q27(Y)
        & kaon2equal(X,Y) )
     => q27(X) ) ).

fof(act2_formula197,axiom,
    ! [X] :
      ( burgundy(X)
     => q29(X) ) ).

fof(act2_formula198,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q30(Y) )
     => q29(X) ) ).

fof(act2_formula199,axiom,
    ! [Y,X] :
      ( ( q29(Y)
        & kaon2equal(X,Y) )
     => q29(X) ) ).

fof(act2_formula200,axiom,
    ! [X] :
      ( margaux(X)
     => q3(X) ) ).

fof(act2_formula201,axiom,
    ! [X] :
      ( pauillac(X)
     => q3(X) ) ).

fof(act2_formula202,axiom,
    ! [X] :
      ( zinfandel(X)
     => q3(X) ) ).

fof(act2_formula203,axiom,
    ! [X] :
      ( chardonnay(X)
     => q3(X) ) ).

fof(act2_formula204,axiom,
    ! [X] :
      ( tours(X)
     => q3(X) ) ).

fof(act2_formula205,axiom,
    ! [X] :
      ( riesling(X)
     => q3(X) ) ).

fof(act2_formula206,axiom,
    ! [X] :
      ( semillon(X)
     => q3(X) ) ).

fof(act2_formula207,axiom,
    ! [X] :
      ( petitesyrah(X)
     => q3(X) ) ).

fof(act2_formula208,axiom,
    ! [X] :
      ( whiteburgundy(X)
     => q3(X) ) ).

fof(act2_formula209,axiom,
    ! [X] :
      ( cabernetsauvignon(X)
     => q3(X) ) ).

fof(act2_formula210,axiom,
    ! [X] :
      ( cheninblanc(X)
     => q3(X) ) ).

fof(act2_formula211,axiom,
    ! [X] :
      ( sauvignonblanc(X)
     => q3(X) ) ).

fof(act2_formula212,axiom,
    ! [X] :
      ( cabernetfranc(X)
     => q3(X) ) ).

fof(act2_formula213,axiom,
    ! [X] :
      ( beaujolais(X)
     => q3(X) ) ).

fof(act2_formula214,axiom,
    ! [X] :
      ( stemilion(X)
     => q3(X) ) ).

fof(act2_formula215,axiom,
    ! [X] :
      ( pinotnoir(X)
     => q3(X) ) ).

fof(act2_formula216,axiom,
    ! [X] :
      ( sancerre(X)
     => q3(X) ) ).

fof(act2_formula217,axiom,
    ! [X] :
      ( redburgundy(X)
     => q3(X) ) ).

fof(act2_formula218,axiom,
    ! [X] :
      ( muscadet(X)
     => q3(X) ) ).

fof(act2_formula219,axiom,
    ! [X] :
      ( merlot(X)
     => q3(X) ) ).

fof(act2_formula220,axiom,
    ! [X] :
      ( pinotblanc(X)
     => q3(X) ) ).

fof(act2_formula221,axiom,
    ! [X] :
      ( gamay(X)
     => q3(X) ) ).

fof(act2_formula222,axiom,
    ! [Y,X] :
      ( ( q3(Y)
        & kaon2equal(X,Y) )
     => q3(X) ) ).

fof(act2_formula223,axiom,
    ! [X] :
      ( ( ot____nom8(X)
        & wine(X)
        & kaon2namedobjects(X) )
     => q3(X) ) ).

fof(act2_formula224,axiom,
    ! [X] :
      ( q29(X)
     => q30(X) ) ).

fof(act2_formula225,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom44(Y) )
     => q30(X) ) ).

fof(act2_formula226,axiom,
    ! [Y,X] :
      ( ( q30(Y)
        & kaon2equal(X,Y) )
     => q30(X) ) ).

fof(act2_formula227,axiom,
    ! [X] :
      ( chianti(X)
     => q31(X) ) ).

fof(act2_formula228,axiom,
    ! [X] :
      ( cabernetsauvignon(X)
     => q31(X) ) ).

fof(act2_formula229,axiom,
    ! [X] :
      ( medoc(X)
     => q31(X) ) ).

fof(act2_formula230,axiom,
    ! [X] :
      ( merlot(X)
     => q31(X) ) ).

fof(act2_formula231,axiom,
    ! [X] :
      ( muscadet(X)
     => q31(X) ) ).

fof(act2_formula232,axiom,
    ! [X] :
      ( tablewine(X)
     => q31(X) ) ).

fof(act2_formula233,axiom,
    ! [X] :
      ( drywine(X)
     => q31(X) ) ).

fof(act2_formula234,axiom,
    ! [X] :
      ( beaujolais(X)
     => q31(X) ) ).

fof(act2_formula235,axiom,
    ! [X] :
      ( zinfandel(X)
     => q31(X) ) ).

fof(act2_formula236,axiom,
    ! [X] :
      ( cabernetfranc(X)
     => q31(X) ) ).

fof(act2_formula237,axiom,
    ! [X] :
      ( burgundy(X)
     => q31(X) ) ).

fof(act2_formula238,axiom,
    ! [X] :
      ( dryriesling(X)
     => q31(X) ) ).

fof(act2_formula239,axiom,
    ! [X] :
      ( petitesyrah(X)
     => q31(X) ) ).

fof(act2_formula240,axiom,
    ! [Y,X] :
      ( ( q31(Y)
        & kaon2equal(X,Y) )
     => q31(X) ) ).

fof(act2_formula241,axiom,
    ! [X] :
      ( sancerre(X)
     => q32(X) ) ).

fof(act2_formula242,axiom,
    ! [X] :
      ( anjou(X)
     => q32(X) ) ).

fof(act2_formula243,axiom,
    ! [Y,X] :
      ( ( q32(Y)
        & kaon2equal(X,Y) )
     => q32(X) ) ).

fof(act2_formula244,axiom,
    ! [X] :
      ( medoc(X)
     => q33(X) ) ).

fof(act2_formula245,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q34(Y) )
     => q33(X) ) ).

fof(act2_formula246,axiom,
    ! [Y,X] :
      ( ( q33(Y)
        & kaon2equal(X,Y) )
     => q33(X) ) ).

fof(act2_formula247,axiom,
    ! [X] :
      ( q33(X)
     => q34(X) ) ).

fof(act2_formula248,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom2(Y) )
     => q34(X) ) ).

fof(act2_formula249,axiom,
    ! [Y,X] :
      ( ( q34(Y)
        & kaon2equal(X,Y) )
     => q34(X) ) ).

fof(act2_formula250,axiom,
    ! [X] :
      ( pauillac(X)
     => q35(X) ) ).

fof(act2_formula251,axiom,
    ! [X] :
      ( port(X)
     => q35(X) ) ).

fof(act2_formula252,axiom,
    ! [X] :
      ( sweetriesling(X)
     => q35(X) ) ).

fof(act2_formula253,axiom,
    ! [X] :
      ( meursault(X)
     => q35(X) ) ).

fof(act2_formula254,axiom,
    ! [X] :
      ( fullbodiedwine(X)
     => q35(X) ) ).

fof(act2_formula255,axiom,
    ! [Y,X] :
      ( ( q35(Y)
        & kaon2equal(X,Y) )
     => q35(X) ) ).

fof(act2_formula256,axiom,
    ! [X] :
      ( whitenonsweetwine(X)
     => q36(X) ) ).

fof(act2_formula257,axiom,
    ! [X] :
      ( earlyharvest(X)
     => q36(X) ) ).

fof(act2_formula258,axiom,
    ! [X] :
      ( cheninblanc(X)
     => q36(X) ) ).

fof(act2_formula259,axiom,
    ! [Y,X] :
      ( ( q36(Y)
        & kaon2equal(X,Y) )
     => q36(X) ) ).

fof(act2_formula260,axiom,
    ! [X] :
      ( cotesdor(X)
     => q37(X) ) ).

fof(act2_formula261,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q38(Y) )
     => q37(X) ) ).

fof(act2_formula262,axiom,
    ! [Y,X] :
      ( ( q37(Y)
        & kaon2equal(X,Y) )
     => q37(X) ) ).

fof(act2_formula263,axiom,
    ! [X] :
      ( q37(X)
     => q38(X) ) ).

fof(act2_formula264,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom42(Y) )
     => q38(X) ) ).

fof(act2_formula265,axiom,
    ! [Y,X] :
      ( ( q38(Y)
        & kaon2equal(X,Y) )
     => q38(X) ) ).

fof(act2_formula266,axiom,
    ! [X] :
      ( sancerre(X)
     => q39(X) ) ).

fof(act2_formula267,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q40(Y) )
     => q39(X) ) ).

fof(act2_formula268,axiom,
    ! [Y,X] :
      ( ( q39(Y)
        & kaon2equal(X,Y) )
     => q39(X) ) ).

fof(act2_formula269,axiom,
    ! [X] :
      ( cheninblanc(X)
     => q4(X) ) ).

fof(act2_formula270,axiom,
    ! [X] :
      ( chianti(X)
     => q4(X) ) ).

fof(act2_formula271,axiom,
    ! [X] :
      ( cabernetfranc(X)
     => q4(X) ) ).

fof(act2_formula272,axiom,
    ! [X] :
      ( cotesdor(X)
     => q4(X) ) ).

fof(act2_formula273,axiom,
    ! [Y,X] :
      ( ( q4(Y)
        & kaon2equal(X,Y) )
     => q4(X) ) ).

fof(act2_formula274,axiom,
    ! [X] :
      ( q39(X)
     => q40(X) ) ).

fof(act2_formula275,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom30(Y) )
     => q40(X) ) ).

fof(act2_formula276,axiom,
    ! [Y,X] :
      ( ( q40(Y)
        & kaon2equal(X,Y) )
     => q40(X) ) ).

fof(act2_formula277,axiom,
    ! [X] :
      ( q0(X)
     => q41(X) ) ).

fof(act2_formula278,axiom,
    ! [X,Y] :
      ( ( hascolor(X,Y)
        & ot____nom28(Y) )
     => q41(X) ) ).

fof(act2_formula279,axiom,
    ! [Y,X] :
      ( ( q41(Y)
        & kaon2equal(X,Y) )
     => q41(X) ) ).

fof(act2_formula280,axiom,
    ! [X] :
      ( pauillac(X)
     => q42(X) ) ).

fof(act2_formula281,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q43(Y) )
     => q42(X) ) ).

fof(act2_formula282,axiom,
    ! [Y,X] :
      ( ( q42(Y)
        & kaon2equal(X,Y) )
     => q42(X) ) ).

fof(act2_formula283,axiom,
    ! [X] :
      ( q42(X)
     => q43(X) ) ).

fof(act2_formula284,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom46(Y) )
     => q43(X) ) ).

fof(act2_formula285,axiom,
    ! [Y,X] :
      ( ( q43(Y)
        & kaon2equal(X,Y) )
     => q43(X) ) ).

fof(act2_formula286,axiom,
    ! [X] :
      ( sancerre(X)
     => q44(X) ) ).

fof(act2_formula287,axiom,
    ! [X] :
      ( sauvignonblanc(X)
     => q44(X) ) ).

fof(act2_formula288,axiom,
    ! [Y,X] :
      ( ( q44(Y)
        & kaon2equal(X,Y) )
     => q44(X) ) ).

fof(act2_formula289,axiom,
    ! [X] :
      ( beaujolais(X)
     => q45(X) ) ).

fof(act2_formula290,axiom,
    ! [X] :
      ( muscadet(X)
     => q45(X) ) ).

fof(act2_formula291,axiom,
    ! [X] :
      ( anjou(X)
     => q45(X) ) ).

fof(act2_formula292,axiom,
    ! [Y,X] :
      ( ( q45(Y)
        & kaon2equal(X,Y) )
     => q45(X) ) ).

fof(act2_formula293,axiom,
    ! [X] :
      ( q31(X)
     => q46(X) ) ).

fof(act2_formula294,axiom,
    ! [X,Y] :
      ( ( hassugar(X,Y)
        & ot____nom12(Y) )
     => q46(X) ) ).

fof(act2_formula295,axiom,
    ! [Y,X] :
      ( ( q46(Y)
        & kaon2equal(X,Y) )
     => q46(X) ) ).

fof(act2_formula296,axiom,
    ! [X] :
      ( californiawine(X)
     => q47(X) ) ).

fof(act2_formula297,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q48(Y) )
     => q47(X) ) ).

fof(act2_formula298,axiom,
    ! [Y,X] :
      ( ( q47(Y)
        & kaon2equal(X,Y) )
     => q47(X) ) ).

fof(act2_formula299,axiom,
    ! [X] :
      ( q47(X)
     => q48(X) ) ).

fof(act2_formula300,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom15(Y) )
     => q48(X) ) ).

fof(act2_formula301,axiom,
    ! [Y,X] :
      ( ( q48(Y)
        & kaon2equal(X,Y) )
     => q48(X) ) ).

fof(act2_formula302,axiom,
    ! [X] :
      ( germanwine(X)
     => q49(X) ) ).

fof(act2_formula303,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q50(Y) )
     => q49(X) ) ).

fof(act2_formula304,axiom,
    ! [Y,X] :
      ( ( q49(Y)
        & kaon2equal(X,Y) )
     => q49(X) ) ).

fof(act2_formula305,axiom,
    ! [X] :
      ( meritage(X)
     => q5(X) ) ).

fof(act2_formula306,axiom,
    ! [X] :
      ( q24(X)
     => q5(X) ) ).

fof(act2_formula307,axiom,
    ! [X] :
      ( q6(X)
     => q5(X) ) ).

fof(act2_formula308,axiom,
    ! [X] :
      ( q13(X)
     => q5(X) ) ).

fof(act2_formula309,axiom,
    ! [X] :
      ( q72(X)
     => q5(X) ) ).

fof(act2_formula310,axiom,
    ! [X] :
      ( q14(X)
     => q5(X) ) ).

fof(act2_formula311,axiom,
    ! [X] :
      ( q69(X)
     => q5(X) ) ).

fof(act2_formula312,axiom,
    ! [X] :
      ( q63(X)
     => q5(X) ) ).

fof(act2_formula313,axiom,
    ! [X] :
      ( ( q44(X)
        & semillonorsauvignonblanc(X) )
     => q5(X) ) ).

fof(act2_formula314,axiom,
    ! [Y,X] :
      ( ( q5(Y)
        & kaon2equal(X,Y) )
     => q5(X) ) ).

fof(act2_formula315,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom3(Y) )
     => q5(X) ) ).

fof(act2_formula316,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom43(Y) )
     => q5(X) ) ).

fof(act2_formula317,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom24(Y) )
     => q5(X) ) ).

fof(act2_formula318,axiom,
    ! [X,Y] :
      ( ( semillonorsauvignonblanc(X)
        & madefromgrape(X,Y)
        & ot____nom11(Y) )
     => q5(X) ) ).

fof(act2_formula319,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom34(Y) )
     => q5(X) ) ).

fof(act2_formula320,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom37(Y) )
     => q5(X) ) ).

fof(act2_formula321,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom20(Y) )
     => q5(X) ) ).

fof(act2_formula322,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom33(Y) )
     => q5(X) ) ).

fof(act2_formula323,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom39(Y) )
     => q5(X) ) ).

fof(act2_formula324,axiom,
    ! [X,Y] :
      ( ( semillonorsauvignonblanc(X)
        & madefromgrape(X,Y)
        & ot____nom27(Y) )
     => q5(X) ) ).

fof(act2_formula325,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom25(Y) )
     => q5(X) ) ).

fof(act2_formula326,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom21(Y) )
     => q5(X) ) ).

fof(act2_formula327,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom29(Y) )
     => q5(X) ) ).

fof(act2_formula328,axiom,
    ! [X] :
      ( q49(X)
     => q50(X) ) ).

fof(act2_formula329,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom17(Y) )
     => q50(X) ) ).

fof(act2_formula330,axiom,
    ! [Y,X] :
      ( ( q50(Y)
        & kaon2equal(X,Y) )
     => q50(X) ) ).

fof(act2_formula331,axiom,
    ! [X] :
      ( frenchwine(X)
     => q51(X) ) ).

fof(act2_formula332,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q52(Y) )
     => q51(X) ) ).

fof(act2_formula333,axiom,
    ! [Y,X] :
      ( ( q51(Y)
        & kaon2equal(X,Y) )
     => q51(X) ) ).

fof(act2_formula334,axiom,
    ! [X] :
      ( q51(X)
     => q52(X) ) ).

fof(act2_formula335,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom41(Y) )
     => q52(X) ) ).

fof(act2_formula336,axiom,
    ! [Y,X] :
      ( ( q52(Y)
        & kaon2equal(X,Y) )
     => q52(X) ) ).

fof(act2_formula337,axiom,
    ! [X] :
      ( muscadet(X)
     => q55(X) ) ).

fof(act2_formula338,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q56(Y) )
     => q55(X) ) ).

fof(act2_formula339,axiom,
    ! [Y,X] :
      ( ( q55(Y)
        & kaon2equal(X,Y) )
     => q55(X) ) ).

fof(act2_formula340,axiom,
    ! [X] :
      ( q55(X)
     => q56(X) ) ).

fof(act2_formula341,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom16(Y) )
     => q56(X) ) ).

fof(act2_formula342,axiom,
    ! [Y,X] :
      ( ( q56(Y)
        & kaon2equal(X,Y) )
     => q56(X) ) ).

fof(act2_formula343,axiom,
    ! [X] :
      ( loire(X)
     => q57(X) ) ).

fof(act2_formula344,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q58(Y) )
     => q57(X) ) ).

fof(act2_formula345,axiom,
    ! [Y,X] :
      ( ( q57(Y)
        & kaon2equal(X,Y) )
     => q57(X) ) ).

fof(act2_formula346,axiom,
    ! [X] :
      ( q57(X)
     => q58(X) ) ).

fof(act2_formula347,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom19(Y) )
     => q58(X) ) ).

fof(act2_formula348,axiom,
    ! [Y,X] :
      ( ( q58(Y)
        & kaon2equal(X,Y) )
     => q58(X) ) ).

fof(act2_formula349,axiom,
    ! [X] :
      ( alsatianwine(X)
     => q59(X) ) ).

fof(act2_formula350,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q60(Y) )
     => q59(X) ) ).

fof(act2_formula351,axiom,
    ! [Y,X] :
      ( ( q59(Y)
        & kaon2equal(X,Y) )
     => q59(X) ) ).

fof(act2_formula352,axiom,
    ! [X] :
      ( cheninblanc(X)
     => q6(X) ) ).

fof(act2_formula353,axiom,
    ! [X] :
      ( tours(X)
     => q6(X) ) ).

fof(act2_formula354,axiom,
    ! [Y,X] :
      ( ( q6(Y)
        & kaon2equal(X,Y) )
     => q6(X) ) ).

fof(act2_formula355,axiom,
    ! [X] :
      ( q59(X)
     => q60(X) ) ).

fof(act2_formula356,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom13(Y) )
     => q60(X) ) ).

fof(act2_formula357,axiom,
    ! [Y,X] :
      ( ( q60(Y)
        & kaon2equal(X,Y) )
     => q60(X) ) ).

fof(act2_formula358,axiom,
    ! [X] :
      ( italianwine(X)
     => q61(X) ) ).

fof(act2_formula359,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q62(Y) )
     => q61(X) ) ).

fof(act2_formula360,axiom,
    ! [Y,X] :
      ( ( q61(Y)
        & kaon2equal(X,Y) )
     => q61(X) ) ).

fof(act2_formula361,axiom,
    ! [X] :
      ( q61(X)
     => q62(X) ) ).

fof(act2_formula362,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom47(Y) )
     => q62(X) ) ).

fof(act2_formula363,axiom,
    ! [Y,X] :
      ( ( q62(Y)
        & kaon2equal(X,Y) )
     => q62(X) ) ).

fof(act2_formula364,axiom,
    ! [X] :
      ( chardonnay(X)
     => q63(X) ) ).

fof(act2_formula365,axiom,
    ! [X] :
      ( whiteburgundy(X)
     => q63(X) ) ).

fof(act2_formula366,axiom,
    ! [Y,X] :
      ( ( q63(Y)
        & kaon2equal(X,Y) )
     => q63(X) ) ).

fof(act2_formula367,axiom,
    ! [X] :
      ( stemilion(X)
     => q64(X) ) ).

fof(act2_formula368,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q65(Y) )
     => q64(X) ) ).

fof(act2_formula369,axiom,
    ! [Y,X] :
      ( ( q64(Y)
        & kaon2equal(X,Y) )
     => q64(X) ) ).

fof(act2_formula370,axiom,
    ! [X] :
      ( q64(X)
     => q65(X) ) ).

fof(act2_formula371,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom36(Y) )
     => q65(X) ) ).

fof(act2_formula372,axiom,
    ! [Y,X] :
      ( ( q65(Y)
        & kaon2equal(X,Y) )
     => q65(X) ) ).

fof(act2_formula373,axiom,
    ! [X] :
      ( anjou(X)
     => q66(X) ) ).

fof(act2_formula374,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q67(Y) )
     => q66(X) ) ).

fof(act2_formula375,axiom,
    ! [Y,X] :
      ( ( q66(Y)
        & kaon2equal(X,Y) )
     => q66(X) ) ).

fof(act2_formula376,axiom,
    ! [X] :
      ( q66(X)
     => q67(X) ) ).

fof(act2_formula377,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom14(Y) )
     => q67(X) ) ).

fof(act2_formula378,axiom,
    ! [Y,X] :
      ( ( q67(Y)
        & kaon2equal(X,Y) )
     => q67(X) ) ).

fof(act2_formula379,axiom,
    ! [X] :
      ( whitebordeaux(X)
     => q68(X) ) ).

fof(act2_formula380,axiom,
    ! [X] :
      ( semillonorsauvignonblanc(X)
     => q68(X) ) ).

fof(act2_formula381,axiom,
    ! [Y,X] :
      ( ( q68(Y)
        & kaon2equal(X,Y) )
     => q68(X) ) ).

fof(act2_formula382,axiom,
    ! [X] :
      ( pauillac(X)
     => q69(X) ) ).

fof(act2_formula383,axiom,
    ! [X] :
      ( cabernetsauvignon(X)
     => q69(X) ) ).

fof(act2_formula384,axiom,
    ! [X] :
      ( stemilion(X)
     => q69(X) ) ).

fof(act2_formula385,axiom,
    ! [Y,X] :
      ( ( q69(Y)
        & kaon2equal(X,Y) )
     => q69(X) ) ).

fof(act2_formula386,axiom,
    ! [X] :
      ( cabernetfranc(X)
     => q7(X) ) ).

fof(act2_formula387,axiom,
    ! [X] :
      ( sauternes(X)
     => q7(X) ) ).

fof(act2_formula388,axiom,
    ! [X] :
      ( sancerre(X)
     => q7(X) ) ).

fof(act2_formula389,axiom,
    ! [Y,X] :
      ( ( q7(Y)
        & kaon2equal(X,Y) )
     => q7(X) ) ).

fof(act2_formula390,axiom,
    ! [X] :
      ( sweetriesling(X)
     => q70(X) ) ).

fof(act2_formula391,axiom,
    ! [X] :
      ( port(X)
     => q70(X) ) ).

fof(act2_formula392,axiom,
    ! [X] :
      ( sweetwine(X)
     => q70(X) ) ).

fof(act2_formula393,axiom,
    ! [X] :
      ( lateharvest(X)
     => q70(X) ) ).

fof(act2_formula394,axiom,
    ! [Y,X] :
      ( ( q70(Y)
        & kaon2equal(X,Y) )
     => q70(X) ) ).

fof(act2_formula395,axiom,
    ! [X] :
      ( q70(X)
     => q71(X) ) ).

fof(act2_formula396,axiom,
    ! [X,Y] :
      ( ( hassugar(X,Y)
        & ot____nom1(Y) )
     => q71(X) ) ).

fof(act2_formula397,axiom,
    ! [Y,X] :
      ( ( q71(Y)
        & kaon2equal(X,Y) )
     => q71(X) ) ).

fof(act2_formula398,axiom,
    ! [X] :
      ( pinotnoir(X)
     => q72(X) ) ).

fof(act2_formula399,axiom,
    ! [X] :
      ( redburgundy(X)
     => q72(X) ) ).

fof(act2_formula400,axiom,
    ! [Y,X] :
      ( ( q72(Y)
        & kaon2equal(X,Y) )
     => q72(X) ) ).

fof(act2_formula401,axiom,
    ! [X] :
      ( texaswine(X)
     => q73(X) ) ).

fof(act2_formula402,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q74(Y) )
     => q73(X) ) ).

fof(act2_formula403,axiom,
    ! [Y,X] :
      ( ( q73(Y)
        & kaon2equal(X,Y) )
     => q73(X) ) ).

fof(act2_formula404,axiom,
    ! [X] :
      ( q73(X)
     => q74(X) ) ).

fof(act2_formula405,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & ot____nom10(Y) )
     => q74(X) ) ).

fof(act2_formula406,axiom,
    ! [Y,X] :
      ( ( q74(Y)
        & kaon2equal(X,Y) )
     => q74(X) ) ).

fof(act2_formula407,axiom,
    ! [X] :
      ( tours(X)
     => q9(X) ) ).

fof(act2_formula408,axiom,
    ! [X,Y] :
      ( ( locatedin(X,Y)
        & q10(Y) )
     => q9(X) ) ).

fof(act2_formula409,axiom,
    ! [Y,X] :
      ( ( q9(Y)
        & kaon2equal(X,Y) )
     => q9(X) ) ).

fof(act2_formula410,axiom,
    ! [X] :
      ( ( q60(X)
        & wine(X) )
     => alsatianwine(X) ) ).

fof(act2_formula411,axiom,
    ! [Y,X] :
      ( ( alsatianwine(Y)
        & kaon2equal(X,Y) )
     => alsatianwine(X) ) ).

fof(act2_formula412,axiom,
    ! [X] :
      ( ( q27(X)
        & wine(X) )
     => americanwine(X) ) ).

fof(act2_formula413,axiom,
    ! [Y,X] :
      ( ( americanwine(Y)
        & kaon2equal(X,Y) )
     => americanwine(X) ) ).

fof(act2_formula414,axiom,
    ! [X] :
      ( ( q67(X)
        & loire(X) )
     => anjou(X) ) ).

fof(act2_formula415,axiom,
    ! [Y,X] :
      ( ( anjou(Y)
        & kaon2equal(X,Y) )
     => anjou(X) ) ).

fof(act2_formula416,axiom,
    ! [X] :
      ( ( q23(X)
        & wine(X) )
     => beaujolais(X) ) ).

fof(act2_formula417,axiom,
    ! [Y,X] :
      ( ( beaujolais(Y)
        & kaon2equal(X,Y) )
     => beaujolais(X) ) ).

fof(act2_formula418,axiom,
    ! [X] :
      ( sauternes(X)
     => bordeaux(X) ) ).

fof(act2_formula419,axiom,
    ! [X] :
      ( medoc(X)
     => bordeaux(X) ) ).

fof(act2_formula420,axiom,
    ! [X] :
      ( redbordeaux(X)
     => bordeaux(X) ) ).

fof(act2_formula421,axiom,
    ! [X] :
      ( stemilion(X)
     => bordeaux(X) ) ).

fof(act2_formula422,axiom,
    ! [X] :
      ( whitebordeaux(X)
     => bordeaux(X) ) ).

fof(act2_formula423,axiom,
    ! [X] :
      ( ( q2(X)
        & wine(X) )
     => bordeaux(X) ) ).

fof(act2_formula424,axiom,
    ! [Y,X] :
      ( ( bordeaux(Y)
        & kaon2equal(X,Y) )
     => bordeaux(X) ) ).

fof(act2_formula425,axiom,
    ! [X] :
      ( whiteburgundy(X)
     => burgundy(X) ) ).

fof(act2_formula426,axiom,
    ! [X] :
      ( redburgundy(X)
     => burgundy(X) ) ).

fof(act2_formula427,axiom,
    ! [X] :
      ( ( q30(X)
        & wine(X) )
     => burgundy(X) ) ).

fof(act2_formula428,axiom,
    ! [Y,X] :
      ( ( burgundy(Y)
        & kaon2equal(X,Y) )
     => burgundy(X) ) ).

fof(act2_formula429,axiom,
    ! [Y,X] :
      ( ( cabernetfranc(Y)
        & kaon2equal(X,Y) )
     => cabernetfranc(X) ) ).

fof(act2_formula430,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom3(Y) )
     => cabernetfranc(X) ) ).

fof(act2_formula431,axiom,
    ! [X] :
      ( q69(X)
     => cabernetsauvignon(X) ) ).

fof(act2_formula432,axiom,
    ! [Y,X] :
      ( ( cabernetsauvignon(Y)
        & kaon2equal(X,Y) )
     => cabernetsauvignon(X) ) ).

fof(act2_formula433,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom29(Y) )
     => cabernetsauvignon(X) ) ).

fof(act2_formula434,axiom,
    ! [X] :
      ( ( q48(X)
        & wine(X) )
     => californiawine(X) ) ).

fof(act2_formula435,axiom,
    ! [Y,X] :
      ( ( californiawine(Y)
        & kaon2equal(X,Y) )
     => californiawine(X) ) ).

fof(act2_formula436,axiom,
    ! [X] :
      ( q63(X)
     => chardonnay(X) ) ).

fof(act2_formula437,axiom,
    ! [Y,X] :
      ( ( chardonnay(Y)
        & kaon2equal(X,Y) )
     => chardonnay(X) ) ).

fof(act2_formula438,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom24(Y) )
     => chardonnay(X) ) ).

fof(act2_formula439,axiom,
    ! [X] :
      ( q6(X)
     => cheninblanc(X) ) ).

fof(act2_formula440,axiom,
    ! [Y,X] :
      ( ( cheninblanc(Y)
        & kaon2equal(X,Y) )
     => cheninblanc(X) ) ).

fof(act2_formula441,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom34(Y) )
     => cheninblanc(X) ) ).

fof(act2_formula442,axiom,
    ! [Y,X] :
      ( ( chianti(Y)
        & kaon2equal(X,Y) )
     => chianti(X) ) ).

fof(act2_formula443,axiom,
    ! [X] :
      ( ( q38(X)
        & redburgundy(X) )
     => cotesdor(X) ) ).

fof(act2_formula444,axiom,
    ! [Y,X] :
      ( ( cotesdor(Y)
        & kaon2equal(X,Y) )
     => cotesdor(X) ) ).

fof(act2_formula445,axiom,
    ! [X] :
      ( sweetriesling(X)
     => dessertwine(X) ) ).

fof(act2_formula446,axiom,
    ! [X] :
      ( icewine(X)
     => dessertwine(X) ) ).

fof(act2_formula447,axiom,
    ! [Y,X] :
      ( ( dessertwine(Y)
        & kaon2equal(X,Y) )
     => dessertwine(X) ) ).

fof(act2_formula448,axiom,
    ! [X] :
      ( ( drywine(X)
        & redwine(X) )
     => dryredwine(X) ) ).

fof(act2_formula449,axiom,
    ! [Y,X] :
      ( ( dryredwine(Y)
        & kaon2equal(X,Y) )
     => dryredwine(X) ) ).

fof(act2_formula450,axiom,
    ! [X] :
      ( ( q46(X)
        & riesling(X) )
     => dryriesling(X) ) ).

fof(act2_formula451,axiom,
    ! [Y,X] :
      ( ( dryriesling(Y)
        & kaon2equal(X,Y) )
     => dryriesling(X) ) ).

fof(act2_formula452,axiom,
    ! [X] :
      ( ( drywine(X)
        & whitewine(X) )
     => drywhitewine(X) ) ).

fof(act2_formula453,axiom,
    ! [Y,X] :
      ( ( drywhitewine(Y)
        & kaon2equal(X,Y) )
     => drywhitewine(X) ) ).

fof(act2_formula454,axiom,
    ! [X] :
      ( drywhitewine(X)
     => drywine(X) ) ).

fof(act2_formula455,axiom,
    ! [X] :
      ( dryredwine(X)
     => drywine(X) ) ).

fof(act2_formula456,axiom,
    ! [X] :
      ( ( q46(X)
        & wine(X) )
     => drywine(X) ) ).

fof(act2_formula457,axiom,
    ! [Y,X] :
      ( ( drywine(Y)
        & kaon2equal(X,Y) )
     => drywine(X) ) ).

fof(act2_formula458,axiom,
    ! [Y,X] :
      ( ( earlyharvest(Y)
        & kaon2equal(X,Y) )
     => earlyharvest(X) ) ).

fof(act2_formula459,axiom,
    ! [X] :
      ( ( q52(X)
        & wine(X) )
     => frenchwine(X) ) ).

fof(act2_formula460,axiom,
    ! [Y,X] :
      ( ( frenchwine(Y)
        & kaon2equal(X,Y) )
     => frenchwine(X) ) ).

fof(act2_formula461,axiom,
    ! [X] :
      ( q35(X)
     => fullbodiedwine(X) ) ).

fof(act2_formula462,axiom,
    ! [Y,X] :
      ( ( fullbodiedwine(Y)
        & kaon2equal(X,Y) )
     => fullbodiedwine(X) ) ).

fof(act2_formula463,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & hasbody(X,Y)
        & ot____nom45(Y) )
     => fullbodiedwine(X) ) ).

fof(act2_formula464,axiom,
    ! [X] :
      ( q14(X)
     => gamay(X) ) ).

fof(act2_formula465,axiom,
    ! [Y,X] :
      ( ( gamay(Y)
        & kaon2equal(X,Y) )
     => gamay(X) ) ).

fof(act2_formula466,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom33(Y) )
     => gamay(X) ) ).

fof(act2_formula467,axiom,
    ! [X] :
      ( ( q50(X)
        & wine(X) )
     => germanwine(X) ) ).

fof(act2_formula468,axiom,
    ! [Y,X] :
      ( ( germanwine(Y)
        & kaon2equal(X,Y) )
     => germanwine(X) ) ).

fof(act2_formula469,axiom,
    ! [X] :
      ( winegrape(X)
     => grape(X) ) ).

fof(act2_formula470,axiom,
    ! [Y,X] :
      ( ( grape(Y)
        & kaon2equal(X,Y) )
     => grape(X) ) ).

fof(act2_formula471,axiom,
    ! [Y,X] :
      ( ( icewine(Y)
        & kaon2equal(X,Y) )
     => icewine(X) ) ).

fof(act2_formula472,axiom,
    ! [X] :
      ( ( q21(X)
        & dessertwine(X)
        & lateharvest(X) )
     => icewine(X) ) ).

fof(act2_formula473,axiom,
    ! [X] :
      ( chianti(X)
     => italianwine(X) ) ).

fof(act2_formula474,axiom,
    ! [X] :
      ( ( q62(X)
        & wine(X) )
     => italianwine(X) ) ).

fof(act2_formula475,axiom,
    ! [Y,X] :
      ( ( italianwine(Y)
        & kaon2equal(X,Y) )
     => italianwine(X) ) ).

fof(act2_formula476,axiom,
    ! [X] :
      ( icewine(X)
     => lateharvest(X) ) ).

fof(act2_formula477,axiom,
    ! [X] :
      ( sauternes(X)
     => lateharvest(X) ) ).

fof(act2_formula478,axiom,
    ! [Y,X] :
      ( ( lateharvest(Y)
        & kaon2equal(X,Y) )
     => lateharvest(X) ) ).

fof(act2_formula479,axiom,
    ! [X] :
      ( sancerre(X)
     => loire(X) ) ).

fof(act2_formula480,axiom,
    ! [X] :
      ( tours(X)
     => loire(X) ) ).

fof(act2_formula481,axiom,
    ! [X] :
      ( whiteloire(X)
     => loire(X) ) ).

fof(act2_formula482,axiom,
    ! [X] :
      ( anjou(X)
     => loire(X) ) ).

fof(act2_formula483,axiom,
    ! [X] :
      ( muscadet(X)
     => loire(X) ) ).

fof(act2_formula484,axiom,
    ! [X] :
      ( ( q58(X)
        & wine(X) )
     => loire(X) ) ).

fof(act2_formula485,axiom,
    ! [Y,X] :
      ( ( loire(Y)
        & kaon2equal(X,Y) )
     => loire(X) ) ).

fof(act2_formula486,axiom,
    ! [X] :
      ( ( q19(X)
        & medoc(X) )
     => margaux(X) ) ).

fof(act2_formula487,axiom,
    ! [Y,X] :
      ( ( margaux(Y)
        & kaon2equal(X,Y) )
     => margaux(X) ) ).

fof(act2_formula488,axiom,
    ! [X] :
      ( pauillac(X)
     => medoc(X) ) ).

fof(act2_formula489,axiom,
    ! [X] :
      ( margaux(X)
     => medoc(X) ) ).

fof(act2_formula490,axiom,
    ! [X] :
      ( ( q34(X)
        & bordeaux(X) )
     => medoc(X) ) ).

fof(act2_formula491,axiom,
    ! [Y,X] :
      ( ( medoc(Y)
        & kaon2equal(X,Y) )
     => medoc(X) ) ).

fof(act2_formula492,axiom,
    ! [Y,X] :
      ( ( meritage(Y)
        & kaon2equal(X,Y) )
     => meritage(X) ) ).

fof(act2_formula493,axiom,
    ! [X] :
      ( ( ot____nom8(X)
        & wine(X)
        & kaon2namedobjects(X) )
     => meritage(X) ) ).

fof(act2_formula494,axiom,
    ! [X] :
      ( q13(X)
     => merlot(X) ) ).

fof(act2_formula495,axiom,
    ! [Y,X] :
      ( ( merlot(Y)
        & kaon2equal(X,Y) )
     => merlot(X) ) ).

fof(act2_formula496,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom43(Y) )
     => merlot(X) ) ).

fof(act2_formula497,axiom,
    ! [X] :
      ( ( q17(X)
        & whiteburgundy(X) )
     => meursault(X) ) ).

fof(act2_formula498,axiom,
    ! [Y,X] :
      ( ( meursault(Y)
        & kaon2equal(X,Y) )
     => meursault(X) ) ).

fof(act2_formula499,axiom,
    ! [X] :
      ( ( q56(X)
        & loire(X) )
     => muscadet(X) ) ).

fof(act2_formula500,axiom,
    ! [Y,X] :
      ( ( muscadet(Y)
        & kaon2equal(X,Y) )
     => muscadet(X) ) ).

fof(act2_formula501,axiom,
    ! [X] :
      ( ( q43(X)
        & medoc(X) )
     => pauillac(X) ) ).

fof(act2_formula502,axiom,
    ! [Y,X] :
      ( ( pauillac(Y)
        & kaon2equal(X,Y) )
     => pauillac(X) ) ).

fof(act2_formula503,axiom,
    ! [Y,X] :
      ( ( petitesyrah(Y)
        & kaon2equal(X,Y) )
     => petitesyrah(X) ) ).

fof(act2_formula504,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom25(Y) )
     => petitesyrah(X) ) ).

fof(act2_formula505,axiom,
    ! [X] :
      ( q24(X)
     => pinotblanc(X) ) ).

fof(act2_formula506,axiom,
    ! [Y,X] :
      ( ( pinotblanc(Y)
        & kaon2equal(X,Y) )
     => pinotblanc(X) ) ).

fof(act2_formula507,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom21(Y) )
     => pinotblanc(X) ) ).

fof(act2_formula508,axiom,
    ! [X] :
      ( q72(X)
     => pinotnoir(X) ) ).

fof(act2_formula509,axiom,
    ! [Y,X] :
      ( ( pinotnoir(Y)
        & kaon2equal(X,Y) )
     => pinotnoir(X) ) ).

fof(act2_formula510,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom39(Y) )
     => pinotnoir(X) ) ).

fof(act2_formula511,axiom,
    ! [Y,X] :
      ( ( port(Y)
        & kaon2equal(X,Y) )
     => port(X) ) ).

fof(act2_formula512,axiom,
    ! [X] :
      ( wine(X)
     => potableliquid(X) ) ).

fof(act2_formula513,axiom,
    ! [Y,X] :
      ( ( potableliquid(Y)
        & kaon2equal(X,Y) )
     => potableliquid(X) ) ).

fof(act2_formula514,axiom,
    ! [X] :
      ( ( redwine(X)
        & bordeaux(X) )
     => redbordeaux(X) ) ).

fof(act2_formula515,axiom,
    ! [Y,X] :
      ( ( redbordeaux(Y)
        & kaon2equal(X,Y) )
     => redbordeaux(X) ) ).

fof(act2_formula516,axiom,
    ! [X] :
      ( cotesdor(X)
     => redburgundy(X) ) ).

fof(act2_formula517,axiom,
    ! [X] :
      ( ( burgundy(X)
        & redwine(X) )
     => redburgundy(X) ) ).

fof(act2_formula518,axiom,
    ! [Y,X] :
      ( ( redburgundy(Y)
        & kaon2equal(X,Y) )
     => redburgundy(X) ) ).

fof(act2_formula519,axiom,
    ! [X] :
      ( ( q41(X)
        & tablewine(X) )
     => redtablewine(X) ) ).

fof(act2_formula520,axiom,
    ! [Y,X] :
      ( ( redtablewine(Y)
        & kaon2equal(X,Y) )
     => redtablewine(X) ) ).

fof(act2_formula521,axiom,
    ! [X] :
      ( redburgundy(X)
     => redwine(X) ) ).

fof(act2_formula522,axiom,
    ! [X] :
      ( redbordeaux(X)
     => redwine(X) ) ).

fof(act2_formula523,axiom,
    ! [X] :
      ( dryredwine(X)
     => redwine(X) ) ).

fof(act2_formula524,axiom,
    ! [X] :
      ( port(X)
     => redwine(X) ) ).

fof(act2_formula525,axiom,
    ! [X] :
      ( ( q41(X)
        & wine(X) )
     => redwine(X) ) ).

fof(act2_formula526,axiom,
    ! [Y,X] :
      ( ( redwine(Y)
        & kaon2equal(X,Y) )
     => redwine(X) ) ).

fof(act2_formula527,axiom,
    ! [X,Y] :
      ( adjacentregion(X,Y)
     => region(Y) ) ).

fof(act2_formula528,axiom,
    ! [X,Y] :
      ( locatedin(X,Y)
     => region(Y) ) ).

fof(act2_formula529,axiom,
    ! [X,Y] :
      ( adjacentregion(X,Y)
     => region(X) ) ).

fof(act2_formula530,axiom,
    ! [X] :
      ( ( wine(X)
        & kaon2namedobjects(X) )
     => region(X) ) ).

fof(act2_formula531,axiom,
    ! [Y,X] :
      ( ( region(Y)
        & kaon2equal(X,Y) )
     => region(X) ) ).

fof(act2_formula532,axiom,
    ! [X] :
      ( dryriesling(X)
     => riesling(X) ) ).

fof(act2_formula533,axiom,
    ! [X] :
      ( sweetriesling(X)
     => riesling(X) ) ).

fof(act2_formula534,axiom,
    ! [Y,X] :
      ( ( riesling(Y)
        & kaon2equal(X,Y) )
     => riesling(X) ) ).

fof(act2_formula535,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom37(Y) )
     => riesling(X) ) ).

fof(act2_formula536,axiom,
    ! [X] :
      ( q15(X)
     => rosewine(X) ) ).

fof(act2_formula537,axiom,
    ! [Y,X] :
      ( ( rosewine(Y)
        & kaon2equal(X,Y) )
     => rosewine(X) ) ).

fof(act2_formula538,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & hascolor(X,Y)
        & ot____nom32(Y) )
     => rosewine(X) ) ).

fof(act2_formula539,axiom,
    ! [X] :
      ( ( q40(X)
        & loire(X) )
     => sancerre(X) ) ).

fof(act2_formula540,axiom,
    ! [Y,X] :
      ( ( sancerre(Y)
        & kaon2equal(X,Y) )
     => sancerre(X) ) ).

fof(act2_formula541,axiom,
    ! [Y,X] :
      ( ( sauternes(Y)
        & kaon2equal(X,Y) )
     => sauternes(X) ) ).

fof(act2_formula542,axiom,
    ! [X] :
      ( ( q44(X)
        & semillonorsauvignonblanc(X) )
     => sauvignonblanc(X) ) ).

fof(act2_formula543,axiom,
    ! [Y,X] :
      ( ( sauvignonblanc(Y)
        & kaon2equal(X,Y) )
     => sauvignonblanc(X) ) ).

fof(act2_formula544,axiom,
    ! [X,Y] :
      ( ( semillonorsauvignonblanc(X)
        & madefromgrape(X,Y)
        & ot____nom11(Y) )
     => sauvignonblanc(X) ) ).

fof(act2_formula545,axiom,
    ! [Y,X] :
      ( ( semillon(Y)
        & kaon2equal(X,Y) )
     => semillon(X) ) ).

fof(act2_formula546,axiom,
    ! [X,Y] :
      ( ( semillonorsauvignonblanc(X)
        & madefromgrape(X,Y)
        & ot____nom27(Y) )
     => semillon(X) ) ).

fof(act2_formula547,axiom,
    ! [X] :
      ( semillon(X)
     => semillonorsauvignonblanc(X) ) ).

fof(act2_formula548,axiom,
    ! [X] :
      ( sauvignonblanc(X)
     => semillonorsauvignonblanc(X) ) ).

fof(act2_formula549,axiom,
    ! [X] :
      ( ( q68(X)
        & wine(X) )
     => semillonorsauvignonblanc(X) ) ).

fof(act2_formula550,axiom,
    ! [Y,X] :
      ( ( semillonorsauvignonblanc(Y)
        & kaon2equal(X,Y) )
     => semillonorsauvignonblanc(X) ) ).

fof(act2_formula551,axiom,
    ! [X] :
      ( ( ot____nom6(X)
        & wine(X)
        & kaon2namedobjects(X) )
     => semillonorsauvignonblanc(X) ) ).

fof(act2_formula552,axiom,
    ! [X] :
      ( ( q65(X)
        & bordeaux(X) )
     => stemilion(X) ) ).

fof(act2_formula553,axiom,
    ! [Y,X] :
      ( ( stemilion(Y)
        & kaon2equal(X,Y) )
     => stemilion(X) ) ).

fof(act2_formula554,axiom,
    ! [X] :
      ( ( q71(X)
        & riesling(X) )
     => sweetriesling(X) ) ).

fof(act2_formula555,axiom,
    ! [Y,X] :
      ( ( sweetriesling(Y)
        & kaon2equal(X,Y) )
     => sweetriesling(X) ) ).

fof(act2_formula556,axiom,
    ! [X] :
      ( ( q71(X)
        & wine(X) )
     => sweetwine(X) ) ).

fof(act2_formula557,axiom,
    ! [Y,X] :
      ( ( sweetwine(Y)
        & kaon2equal(X,Y) )
     => sweetwine(X) ) ).

fof(act2_formula558,axiom,
    ! [X] :
      ( whitetablewine(X)
     => tablewine(X) ) ).

fof(act2_formula559,axiom,
    ! [X] :
      ( redtablewine(X)
     => tablewine(X) ) ).

fof(act2_formula560,axiom,
    ! [X] :
      ( ( q46(X)
        & wine(X) )
     => tablewine(X) ) ).

fof(act2_formula561,axiom,
    ! [Y,X] :
      ( ( tablewine(Y)
        & kaon2equal(X,Y) )
     => tablewine(X) ) ).

fof(act2_formula562,axiom,
    ! [X] :
      ( ( q74(X)
        & wine(X) )
     => texaswine(X) ) ).

fof(act2_formula563,axiom,
    ! [Y,X] :
      ( ( texaswine(Y)
        & kaon2equal(X,Y) )
     => texaswine(X) ) ).

fof(act2_formula564,axiom,
    ! [X] :
      ( ( q10(X)
        & loire(X) )
     => tours(X) ) ).

fof(act2_formula565,axiom,
    ! [Y,X] :
      ( ( tours(Y)
        & kaon2equal(X,Y) )
     => tours(X) ) ).

fof(act2_formula566,axiom,
    ! [X,Y] :
      ( hasvintageyear(X,Y)
     => vintage(X) ) ).

fof(act2_formula567,axiom,
    ! [Y,X] :
      ( ( vintage(Y)
        & kaon2equal(X,Y) )
     => vintage(X) ) ).

fof(act2_formula568,axiom,
    ! [X,Y] :
      ( hasvintageyear(X,Y)
     => vintageyear(Y) ) ).

fof(act2_formula569,axiom,
    ! [Y,X] :
      ( ( vintageyear(Y)
        & kaon2equal(X,Y) )
     => vintageyear(X) ) ).

fof(act2_formula570,axiom,
    ! [X] :
      ( ( bordeaux(X)
        & whitewine(X) )
     => whitebordeaux(X) ) ).

fof(act2_formula571,axiom,
    ! [Y,X] :
      ( ( whitebordeaux(Y)
        & kaon2equal(X,Y) )
     => whitebordeaux(X) ) ).

fof(act2_formula572,axiom,
    ! [X] :
      ( meursault(X)
     => whiteburgundy(X) ) ).

fof(act2_formula573,axiom,
    ! [X] :
      ( ( burgundy(X)
        & whitewine(X) )
     => whiteburgundy(X) ) ).

fof(act2_formula574,axiom,
    ! [Y,X] :
      ( ( whiteburgundy(Y)
        & kaon2equal(X,Y) )
     => whiteburgundy(X) ) ).

fof(act2_formula575,axiom,
    ! [X] :
      ( ( loire(X)
        & whitewine(X) )
     => whiteloire(X) ) ).

fof(act2_formula576,axiom,
    ! [Y,X] :
      ( ( whiteloire(Y)
        & kaon2equal(X,Y) )
     => whiteloire(X) ) ).

fof(act2_formula577,axiom,
    ! [X] :
      ( ( whitewine(X)
        & kaon2namedobjects(X) )
     => whitenonsweetwine(X) ) ).

fof(act2_formula578,axiom,
    ! [X] :
      ( ( q36(X)
        & whitewine(X) )
     => whitenonsweetwine(X) ) ).

fof(act2_formula579,axiom,
    ! [Y,X] :
      ( ( whitenonsweetwine(Y)
        & kaon2equal(X,Y) )
     => whitenonsweetwine(X) ) ).

fof(act2_formula580,axiom,
    ! [X] :
      ( ( ot____nom7(X)
        & whitewine(X)
        & kaon2namedobjects(X) )
     => whitenonsweetwine(X) ) ).

fof(act2_formula581,axiom,
    ! [X] :
      ( ( q21(X)
        & tablewine(X) )
     => whitetablewine(X) ) ).

fof(act2_formula582,axiom,
    ! [Y,X] :
      ( ( whitetablewine(Y)
        & kaon2equal(X,Y) )
     => whitetablewine(X) ) ).

fof(act2_formula583,axiom,
    ! [X] :
      ( drywhitewine(X)
     => whitewine(X) ) ).

fof(act2_formula584,axiom,
    ! [X] :
      ( whiteburgundy(X)
     => whitewine(X) ) ).

fof(act2_formula585,axiom,
    ! [X] :
      ( whitebordeaux(X)
     => whitewine(X) ) ).

fof(act2_formula586,axiom,
    ! [X] :
      ( whiteloire(X)
     => whitewine(X) ) ).

fof(act2_formula587,axiom,
    ! [X] :
      ( whitenonsweetwine(X)
     => whitewine(X) ) ).

fof(act2_formula588,axiom,
    ! [X] :
      ( ( q21(X)
        & wine(X) )
     => whitewine(X) ) ).

fof(act2_formula589,axiom,
    ! [Y,X] :
      ( ( whitewine(Y)
        & kaon2equal(X,Y) )
     => whitewine(X) ) ).

fof(act2_formula590,axiom,
    ! [X] :
      ( q14(X)
     => wine(X) ) ).

fof(act2_formula591,axiom,
    ! [X] :
      ( texaswine(X)
     => wine(X) ) ).

fof(act2_formula592,axiom,
    ! [X] :
      ( q63(X)
     => wine(X) ) ).

fof(act2_formula593,axiom,
    ! [X] :
      ( q20(X)
     => wine(X) ) ).

fof(act2_formula594,axiom,
    ! [X] :
      ( tablewine(X)
     => wine(X) ) ).

fof(act2_formula595,axiom,
    ! [X,Y] :
      ( haswinedescriptor(X,Y)
     => wine(X) ) ).

fof(act2_formula596,axiom,
    ! [X] :
      ( q31(X)
     => wine(X) ) ).

fof(act2_formula597,axiom,
    ! [X] :
      ( q11(X)
     => wine(X) ) ).

fof(act2_formula598,axiom,
    ! [X] :
      ( q15(X)
     => wine(X) ) ).

fof(act2_formula599,axiom,
    ! [X] :
      ( earlyharvest(X)
     => wine(X) ) ).

fof(act2_formula600,axiom,
    ! [X] :
      ( sweetwine(X)
     => wine(X) ) ).

fof(act2_formula601,axiom,
    ! [X] :
      ( americanwine(X)
     => wine(X) ) ).

fof(act2_formula602,axiom,
    ! [X] :
      ( alsatianwine(X)
     => wine(X) ) ).

fof(act2_formula603,axiom,
    ! [X] :
      ( q0(X)
     => wine(X) ) ).

fof(act2_formula604,axiom,
    ! [X,Y] :
      ( madefromgrape(X,Y)
     => wine(X) ) ).

fof(act2_formula605,axiom,
    ! [X] :
      ( cabernetfranc(X)
     => wine(X) ) ).

fof(act2_formula606,axiom,
    ! [X] :
      ( semillonorsauvignonblanc(X)
     => wine(X) ) ).

fof(act2_formula607,axiom,
    ! [X] :
      ( beaujolais(X)
     => wine(X) ) ).

fof(act2_formula608,axiom,
    ! [X] :
      ( fullbodiedwine(X)
     => wine(X) ) ).

fof(act2_formula609,axiom,
    ! [X] :
      ( loire(X)
     => wine(X) ) ).

fof(act2_formula610,axiom,
    ! [X] :
      ( petitesyrah(X)
     => wine(X) ) ).

fof(act2_formula611,axiom,
    ! [X] :
      ( q12(X)
     => wine(X) ) ).

fof(act2_formula612,axiom,
    ! [X] :
      ( q45(X)
     => wine(X) ) ).

fof(act2_formula613,axiom,
    ! [X] :
      ( q7(X)
     => wine(X) ) ).

fof(act2_formula614,axiom,
    ! [X] :
      ( pinotnoir(X)
     => wine(X) ) ).

fof(act2_formula615,axiom,
    ! [X] :
      ( q35(X)
     => wine(X) ) ).

fof(act2_formula616,axiom,
    ! [X] :
      ( q24(X)
     => wine(X) ) ).

fof(act2_formula617,axiom,
    ! [X] :
      ( frenchwine(X)
     => wine(X) ) ).

fof(act2_formula618,axiom,
    ! [X] :
      ( meritage(X)
     => wine(X) ) ).

fof(act2_formula619,axiom,
    ! [X] :
      ( zinfandel(X)
     => wine(X) ) ).

fof(act2_formula620,axiom,
    ! [X] :
      ( californiawine(X)
     => wine(X) ) ).

fof(act2_formula621,axiom,
    ! [X] :
      ( pinotblanc(X)
     => wine(X) ) ).

fof(act2_formula622,axiom,
    ! [X] :
      ( q44(X)
     => wine(X) ) ).

fof(act2_formula623,axiom,
    ! [X] :
      ( bordeaux(X)
     => wine(X) ) ).

fof(act2_formula624,axiom,
    ! [X] :
      ( riesling(X)
     => wine(X) ) ).

fof(act2_formula625,axiom,
    ! [X,Y] :
      ( hascolor(X,Y)
     => wine(X) ) ).

fof(act2_formula626,axiom,
    ! [X] :
      ( redwine(X)
     => wine(X) ) ).

fof(act2_formula627,axiom,
    ! [X] :
      ( whitewine(X)
     => wine(X) ) ).

fof(act2_formula628,axiom,
    ! [X] :
      ( dessertwine(X)
     => wine(X) ) ).

fof(act2_formula629,axiom,
    ! [X] :
      ( q69(X)
     => wine(X) ) ).

fof(act2_formula630,axiom,
    ! [X] :
      ( q6(X)
     => wine(X) ) ).

fof(act2_formula631,axiom,
    ! [X] :
      ( drywine(X)
     => wine(X) ) ).

fof(act2_formula632,axiom,
    ! [X] :
      ( q13(X)
     => wine(X) ) ).

fof(act2_formula633,axiom,
    ! [X] :
      ( germanwine(X)
     => wine(X) ) ).

fof(act2_formula634,axiom,
    ! [X] :
      ( burgundy(X)
     => wine(X) ) ).

fof(act2_formula635,axiom,
    ! [X] :
      ( cabernetsauvignon(X)
     => wine(X) ) ).

fof(act2_formula636,axiom,
    ! [X] :
      ( q72(X)
     => wine(X) ) ).

fof(act2_formula637,axiom,
    ! [X] :
      ( q70(X)
     => wine(X) ) ).

fof(act2_formula638,axiom,
    ! [X] :
      ( q4(X)
     => wine(X) ) ).

fof(act2_formula639,axiom,
    ! [X] :
      ( italianwine(X)
     => wine(X) ) ).

fof(act2_formula640,axiom,
    ! [X] :
      ( chardonnay(X)
     => wine(X) ) ).

fof(act2_formula641,axiom,
    ! [X] :
      ( semillon(X)
     => wine(X) ) ).

fof(act2_formula642,axiom,
    ! [X] :
      ( q5(X)
     => wine(X) ) ).

fof(act2_formula643,axiom,
    ! [X] :
      ( rosewine(X)
     => wine(X) ) ).

fof(act2_formula644,axiom,
    ! [X] :
      ( q32(X)
     => wine(X) ) ).

fof(act2_formula645,axiom,
    ! [X] :
      ( lateharvest(X)
     => wine(X) ) ).

fof(act2_formula646,axiom,
    ! [X] :
      ( merlot(X)
     => wine(X) ) ).

fof(act2_formula647,axiom,
    ! [Y,X] :
      ( ( wine(Y)
        & kaon2equal(X,Y) )
     => wine(X) ) ).

fof(act2_formula648,axiom,
    ! [X] :
      ( ot____nom40(X)
     => winebody(X) ) ).

fof(act2_formula649,axiom,
    ! [X,Y] :
      ( hasbody(X,Y)
     => winebody(Y) ) ).

fof(act2_formula650,axiom,
    ! [Y,X] :
      ( ( winebody(Y)
        & kaon2equal(X,Y) )
     => winebody(X) ) ).

fof(act2_formula651,axiom,
    ! [X] :
      ( ot____nom9(X)
     => winecolor(X) ) ).

fof(act2_formula652,axiom,
    ! [X,Y] :
      ( hascolor(X,Y)
     => winecolor(Y) ) ).

fof(act2_formula653,axiom,
    ! [X] :
      ( winedescriptor(X)
     => winecolor(X) ) ).

fof(act2_formula654,axiom,
    ! [Y,X] :
      ( ( winecolor(Y)
        & kaon2equal(X,Y) )
     => winecolor(X) ) ).

fof(act2_formula655,axiom,
    ! [X] :
      ( winecolor(X)
     => winedescriptor(X) ) ).

fof(act2_formula656,axiom,
    ! [X] :
      ( winetaste(X)
     => winedescriptor(X) ) ).

fof(act2_formula657,axiom,
    ! [X,Y] :
      ( haswinedescriptor(X,Y)
     => winedescriptor(Y) ) ).

fof(act2_formula658,axiom,
    ! [Y,X] :
      ( ( winedescriptor(Y)
        & kaon2equal(X,Y) )
     => winedescriptor(X) ) ).

fof(act2_formula659,axiom,
    ! [X,Y] :
      ( hasflavor(X,Y)
     => wineflavor(Y) ) ).

fof(act2_formula660,axiom,
    ! [X] :
      ( ot____nom35(X)
     => wineflavor(X) ) ).

fof(act2_formula661,axiom,
    ! [Y,X] :
      ( ( wineflavor(Y)
        & kaon2equal(X,Y) )
     => wineflavor(X) ) ).

fof(act2_formula662,axiom,
    ! [X,Y] :
      ( madefromgrape(X,Y)
     => winegrape(Y) ) ).

fof(act2_formula663,axiom,
    ! [Y,X] :
      ( ( winegrape(Y)
        & kaon2equal(X,Y) )
     => winegrape(X) ) ).

fof(act2_formula664,axiom,
    ! [X] :
      ( ot____nom18(X)
     => winesugar(X) ) ).

fof(act2_formula665,axiom,
    ! [X,Y] :
      ( hassugar(X,Y)
     => winesugar(Y) ) ).

fof(act2_formula666,axiom,
    ! [Y,X] :
      ( ( winesugar(Y)
        & kaon2equal(X,Y) )
     => winesugar(X) ) ).

fof(act2_formula667,axiom,
    ! [X] :
      ( wineflavor(X)
     => winetaste(X) ) ).

fof(act2_formula668,axiom,
    ! [X] :
      ( winesugar(X)
     => winetaste(X) ) ).

fof(act2_formula669,axiom,
    ! [X] :
      ( winebody(X)
     => winetaste(X) ) ).

fof(act2_formula670,axiom,
    ! [X] :
      ( winedescriptor(X)
     => winetaste(X) ) ).

fof(act2_formula671,axiom,
    ! [Y,X] :
      ( ( winetaste(Y)
        & kaon2equal(X,Y) )
     => winetaste(X) ) ).

fof(act2_formula672,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & hasmaker(X,Y) )
     => winery(Y) ) ).

fof(act2_formula673,axiom,
    ! [Y,X] :
      ( ( winery(Y)
        & kaon2equal(X,Y) )
     => winery(X) ) ).

fof(act2_formula674,axiom,
    ! [Y,X] :
      ( ( zinfandel(Y)
        & kaon2equal(X,Y) )
     => zinfandel(X) ) ).

fof(act2_formula675,axiom,
    ! [X,Y] :
      ( ( wine(X)
        & madefromgrape(X,Y)
        & ot____nom20(Y) )
     => zinfandel(X) ) ).

fof(act2_formula676,axiom,
    ! [X] :
      ( ( q70(X)
        & kaon2namedobjects(X) )
     => ot____nom1(X) ) ).

fof(act2_formula677,axiom,
    ! [Y,X] :
      ( ( ot____nom1(Y)
        & kaon2equal(X,Y) )
     => ot____nom1(X) ) ).

fof(act2_formula678,axiom,
    ! [X] :
      ( ( q73(X)
        & kaon2namedobjects(X) )
     => ot____nom10(X) ) ).

fof(act2_formula679,axiom,
    ! [Y,X] :
      ( ( ot____nom10(Y)
        & kaon2equal(X,Y) )
     => ot____nom10(X) ) ).

fof(act2_formula680,axiom,
    ! [X] :
      ( ( q44(X)
        & kaon2namedobjects(X) )
     => ot____nom11(X) ) ).

fof(act2_formula681,axiom,
    ! [Y,X] :
      ( ( ot____nom11(Y)
        & kaon2equal(X,Y) )
     => ot____nom11(X) ) ).

fof(act2_formula682,axiom,
    ! [X] :
      ( ( q31(X)
        & kaon2namedobjects(X) )
     => ot____nom12(X) ) ).

fof(act2_formula683,axiom,
    ! [Y,X] :
      ( ( ot____nom12(Y)
        & kaon2equal(X,Y) )
     => ot____nom12(X) ) ).

fof(act2_formula684,axiom,
    ! [X] :
      ( ( q59(X)
        & kaon2namedobjects(X) )
     => ot____nom13(X) ) ).

fof(act2_formula685,axiom,
    ! [Y,X] :
      ( ( ot____nom13(Y)
        & kaon2equal(X,Y) )
     => ot____nom13(X) ) ).

fof(act2_formula686,axiom,
    ! [X] :
      ( ( q66(X)
        & kaon2namedobjects(X) )
     => ot____nom14(X) ) ).

fof(act2_formula687,axiom,
    ! [Y,X] :
      ( ( ot____nom14(Y)
        & kaon2equal(X,Y) )
     => ot____nom14(X) ) ).

fof(act2_formula688,axiom,
    ! [X] :
      ( ( q47(X)
        & kaon2namedobjects(X) )
     => ot____nom15(X) ) ).

fof(act2_formula689,axiom,
    ! [Y,X] :
      ( ( ot____nom15(Y)
        & kaon2equal(X,Y) )
     => ot____nom15(X) ) ).

fof(act2_formula690,axiom,
    ! [X] :
      ( ( q55(X)
        & kaon2namedobjects(X) )
     => ot____nom16(X) ) ).

fof(act2_formula691,axiom,
    ! [Y,X] :
      ( ( ot____nom16(Y)
        & kaon2equal(X,Y) )
     => ot____nom16(X) ) ).

fof(act2_formula692,axiom,
    ! [X] :
      ( ( q49(X)
        & kaon2namedobjects(X) )
     => ot____nom17(X) ) ).

fof(act2_formula693,axiom,
    ! [Y,X] :
      ( ( ot____nom17(Y)
        & kaon2equal(X,Y) )
     => ot____nom17(X) ) ).

fof(act2_formula694,axiom,
    ! [X] :
      ( winesugar(X)
     => ot____nom18(X) ) ).

fof(act2_formula695,axiom,
    ! [Y,X] :
      ( ( ot____nom18(Y)
        & kaon2equal(X,Y) )
     => ot____nom18(X) ) ).

fof(act2_formula696,axiom,
    ! [X] :
      ( ( q57(X)
        & kaon2namedobjects(X) )
     => ot____nom19(X) ) ).

fof(act2_formula697,axiom,
    ! [Y,X] :
      ( ( ot____nom19(Y)
        & kaon2equal(X,Y) )
     => ot____nom19(X) ) ).

fof(act2_formula698,axiom,
    ! [X] :
      ( ( q33(X)
        & kaon2namedobjects(X) )
     => ot____nom2(X) ) ).

fof(act2_formula699,axiom,
    ! [Y,X] :
      ( ( ot____nom2(Y)
        & kaon2equal(X,Y) )
     => ot____nom2(X) ) ).

fof(act2_formula700,axiom,
    ! [X] :
      ( ( zinfandel(X)
        & kaon2namedobjects(X) )
     => ot____nom20(X) ) ).

fof(act2_formula701,axiom,
    ! [Y,X] :
      ( ( ot____nom20(Y)
        & kaon2equal(X,Y) )
     => ot____nom20(X) ) ).

fof(act2_formula702,axiom,
    ! [X] :
      ( ( q24(X)
        & kaon2namedobjects(X) )
     => ot____nom21(X) ) ).

fof(act2_formula703,axiom,
    ! [Y,X] :
      ( ( ot____nom21(Y)
        & kaon2equal(X,Y) )
     => ot____nom21(X) ) ).

fof(act2_formula704,axiom,
    ! [X] :
      ( ( q18(X)
        & kaon2namedobjects(X) )
     => ot____nom22(X) ) ).

fof(act2_formula705,axiom,
    ! [Y,X] :
      ( ( ot____nom22(Y)
        & kaon2equal(X,Y) )
     => ot____nom22(X) ) ).

fof(act2_formula706,axiom,
    ! [X] :
      ( ( q1(X)
        & kaon2namedobjects(X) )
     => ot____nom23(X) ) ).

fof(act2_formula707,axiom,
    ! [Y,X] :
      ( ( ot____nom23(Y)
        & kaon2equal(X,Y) )
     => ot____nom23(X) ) ).

fof(act2_formula708,axiom,
    ! [X] :
      ( ( q63(X)
        & kaon2namedobjects(X) )
     => ot____nom24(X) ) ).

fof(act2_formula709,axiom,
    ! [Y,X] :
      ( ( ot____nom24(Y)
        & kaon2equal(X,Y) )
     => ot____nom24(X) ) ).

fof(act2_formula710,axiom,
    ! [X] :
      ( ( petitesyrah(X)
        & kaon2namedobjects(X) )
     => ot____nom25(X) ) ).

fof(act2_formula711,axiom,
    ! [Y,X] :
      ( ( ot____nom25(Y)
        & kaon2equal(X,Y) )
     => ot____nom25(X) ) ).

fof(act2_formula712,axiom,
    ! [X] :
      ( ( q22(X)
        & kaon2namedobjects(X) )
     => ot____nom26(X) ) ).

fof(act2_formula713,axiom,
    ! [Y,X] :
      ( ( ot____nom26(Y)
        & kaon2equal(X,Y) )
     => ot____nom26(X) ) ).

fof(act2_formula714,axiom,
    ! [X] :
      ( ( semillon(X)
        & kaon2namedobjects(X) )
     => ot____nom27(X) ) ).

fof(act2_formula715,axiom,
    ! [Y,X] :
      ( ( ot____nom27(Y)
        & kaon2equal(X,Y) )
     => ot____nom27(X) ) ).

fof(act2_formula716,axiom,
    ! [X] :
      ( ( q0(X)
        & kaon2namedobjects(X) )
     => ot____nom28(X) ) ).

fof(act2_formula717,axiom,
    ! [Y,X] :
      ( ( ot____nom28(Y)
        & kaon2equal(X,Y) )
     => ot____nom28(X) ) ).

fof(act2_formula718,axiom,
    ! [X] :
      ( ( q69(X)
        & kaon2namedobjects(X) )
     => ot____nom29(X) ) ).

fof(act2_formula719,axiom,
    ! [Y,X] :
      ( ( ot____nom29(Y)
        & kaon2equal(X,Y) )
     => ot____nom29(X) ) ).

fof(act2_formula720,axiom,
    ! [X] :
      ( ( cabernetfranc(X)
        & kaon2namedobjects(X) )
     => ot____nom3(X) ) ).

fof(act2_formula721,axiom,
    ! [Y,X] :
      ( ( ot____nom3(Y)
        & kaon2equal(X,Y) )
     => ot____nom3(X) ) ).

fof(act2_formula722,axiom,
    ! [X] :
      ( ( q39(X)
        & kaon2namedobjects(X) )
     => ot____nom30(X) ) ).

fof(act2_formula723,axiom,
    ! [Y,X] :
      ( ( ot____nom30(Y)
        & kaon2equal(X,Y) )
     => ot____nom30(X) ) ).

fof(act2_formula724,axiom,
    ! [X] :
      ( ( q16(X)
        & kaon2namedobjects(X) )
     => ot____nom31(X) ) ).

fof(act2_formula725,axiom,
    ! [Y,X] :
      ( ( ot____nom31(Y)
        & kaon2equal(X,Y) )
     => ot____nom31(X) ) ).

fof(act2_formula726,axiom,
    ! [X] :
      ( ( q15(X)
        & kaon2namedobjects(X) )
     => ot____nom32(X) ) ).

fof(act2_formula727,axiom,
    ! [Y,X] :
      ( ( ot____nom32(Y)
        & kaon2equal(X,Y) )
     => ot____nom32(X) ) ).

fof(act2_formula728,axiom,
    ! [X] :
      ( ( q14(X)
        & kaon2namedobjects(X) )
     => ot____nom33(X) ) ).

fof(act2_formula729,axiom,
    ! [Y,X] :
      ( ( ot____nom33(Y)
        & kaon2equal(X,Y) )
     => ot____nom33(X) ) ).

fof(act2_formula730,axiom,
    ! [X] :
      ( ( q6(X)
        & kaon2namedobjects(X) )
     => ot____nom34(X) ) ).

fof(act2_formula731,axiom,
    ! [Y,X] :
      ( ( ot____nom34(Y)
        & kaon2equal(X,Y) )
     => ot____nom34(X) ) ).

fof(act2_formula732,axiom,
    ! [X] :
      ( wineflavor(X)
     => ot____nom35(X) ) ).

fof(act2_formula733,axiom,
    ! [Y,X] :
      ( ( ot____nom35(Y)
        & kaon2equal(X,Y) )
     => ot____nom35(X) ) ).

fof(act2_formula734,axiom,
    ! [X] :
      ( ( q64(X)
        & kaon2namedobjects(X) )
     => ot____nom36(X) ) ).

fof(act2_formula735,axiom,
    ! [Y,X] :
      ( ( ot____nom36(Y)
        & kaon2equal(X,Y) )
     => ot____nom36(X) ) ).

fof(act2_formula736,axiom,
    ! [X] :
      ( ( riesling(X)
        & kaon2namedobjects(X) )
     => ot____nom37(X) ) ).

fof(act2_formula737,axiom,
    ! [Y,X] :
      ( ( ot____nom37(Y)
        & kaon2equal(X,Y) )
     => ot____nom37(X) ) ).

fof(act2_formula738,axiom,
    ! [X] :
      ( ( q26(X)
        & kaon2namedobjects(X) )
     => ot____nom38(X) ) ).

fof(act2_formula739,axiom,
    ! [Y,X] :
      ( ( ot____nom38(Y)
        & kaon2equal(X,Y) )
     => ot____nom38(X) ) ).

fof(act2_formula740,axiom,
    ! [X] :
      ( ( q72(X)
        & kaon2namedobjects(X) )
     => ot____nom39(X) ) ).

fof(act2_formula741,axiom,
    ! [Y,X] :
      ( ( ot____nom39(Y)
        & kaon2equal(X,Y) )
     => ot____nom39(X) ) ).

fof(act2_formula742,axiom,
    ! [X] :
      ( ( q9(X)
        & kaon2namedobjects(X) )
     => ot____nom4(X) ) ).

fof(act2_formula743,axiom,
    ! [Y,X] :
      ( ( ot____nom4(Y)
        & kaon2equal(X,Y) )
     => ot____nom4(X) ) ).

fof(act2_formula744,axiom,
    ! [X] :
      ( winebody(X)
     => ot____nom40(X) ) ).

fof(act2_formula745,axiom,
    ! [Y,X] :
      ( ( ot____nom40(Y)
        & kaon2equal(X,Y) )
     => ot____nom40(X) ) ).

fof(act2_formula746,axiom,
    ! [X] :
      ( ( q51(X)
        & kaon2namedobjects(X) )
     => ot____nom41(X) ) ).

fof(act2_formula747,axiom,
    ! [Y,X] :
      ( ( ot____nom41(Y)
        & kaon2equal(X,Y) )
     => ot____nom41(X) ) ).

fof(act2_formula748,axiom,
    ! [X] :
      ( ( q37(X)
        & kaon2namedobjects(X) )
     => ot____nom42(X) ) ).

fof(act2_formula749,axiom,
    ! [Y,X] :
      ( ( ot____nom42(Y)
        & kaon2equal(X,Y) )
     => ot____nom42(X) ) ).

fof(act2_formula750,axiom,
    ! [X] :
      ( ( q13(X)
        & kaon2namedobjects(X) )
     => ot____nom43(X) ) ).

fof(act2_formula751,axiom,
    ! [Y,X] :
      ( ( ot____nom43(Y)
        & kaon2equal(X,Y) )
     => ot____nom43(X) ) ).

fof(act2_formula752,axiom,
    ! [X] :
      ( ( q29(X)
        & kaon2namedobjects(X) )
     => ot____nom44(X) ) ).

fof(act2_formula753,axiom,
    ! [Y,X] :
      ( ( ot____nom44(Y)
        & kaon2equal(X,Y) )
     => ot____nom44(X) ) ).

fof(act2_formula754,axiom,
    ! [X] :
      ( ( q35(X)
        & kaon2namedobjects(X) )
     => ot____nom45(X) ) ).

fof(act2_formula755,axiom,
    ! [Y,X] :
      ( ( ot____nom45(Y)
        & kaon2equal(X,Y) )
     => ot____nom45(X) ) ).

fof(act2_formula756,axiom,
    ! [X] :
      ( ( q42(X)
        & kaon2namedobjects(X) )
     => ot____nom46(X) ) ).

fof(act2_formula757,axiom,
    ! [Y,X] :
      ( ( ot____nom46(Y)
        & kaon2equal(X,Y) )
     => ot____nom46(X) ) ).

fof(act2_formula758,axiom,
    ! [X] :
      ( ( q61(X)
        & kaon2namedobjects(X) )
     => ot____nom47(X) ) ).

fof(act2_formula759,axiom,
    ! [Y,X] :
      ( ( ot____nom47(Y)
        & kaon2equal(X,Y) )
     => ot____nom47(X) ) ).

fof(act2_formula760,axiom,
    ! [X] :
      ( ( q4(X)
        & kaon2namedobjects(X) )
     => ot____nom48(X) ) ).

fof(act2_formula761,axiom,
    ! [Y,X] :
      ( ( ot____nom48(Y)
        & kaon2equal(X,Y) )
     => ot____nom48(X) ) ).

fof(act2_formula762,axiom,
    ! [X] :
      ( ( q7(X)
        & kaon2namedobjects(X) )
     => ot____nom49(X) ) ).

fof(act2_formula763,axiom,
    ! [Y,X] :
      ( ( ot____nom49(Y)
        & kaon2equal(X,Y) )
     => ot____nom49(X) ) ).

fof(act2_formula764,axiom,
    ! [X] :
      ( ( q12(X)
        & kaon2namedobjects(X) )
     => ot____nom5(X) ) ).

fof(act2_formula765,axiom,
    ! [Y,X] :
      ( ( ot____nom5(Y)
        & kaon2equal(X,Y) )
     => ot____nom5(X) ) ).

fof(act2_formula766,axiom,
    ! [X,Y] :
      ( ( sweetriesling(X)
        & hasflavor(X,Y) )
     => ot____nom50(Y) ) ).

fof(act2_formula767,axiom,
    ! [X,Y] :
      ( ( lateharvest(X)
        & hasflavor(X,Y) )
     => ot____nom50(Y) ) ).

fof(act2_formula768,axiom,
    ! [X,Y] :
      ( ( chardonnay(X)
        & hasflavor(X,Y) )
     => ot____nom50(Y) ) ).

fof(act2_formula769,axiom,
    ! [X,Y] :
      ( ( zinfandel(X)
        & hasflavor(X,Y) )
     => ot____nom50(Y) ) ).

fof(act2_formula770,axiom,
    ! [X,Y] :
      ( ( icewine(X)
        & hasflavor(X,Y) )
     => ot____nom50(Y) ) ).

fof(act2_formula771,axiom,
    ! [X,Y] :
      ( ( cabernetsauvignon(X)
        & hasflavor(X,Y) )
     => ot____nom50(Y) ) ).

fof(act2_formula772,axiom,
    ! [X,Y] :
      ( ( petitesyrah(X)
        & hasflavor(X,Y) )
     => ot____nom50(Y) ) ).

fof(act2_formula773,axiom,
    ! [Y,X] :
      ( ( ot____nom50(Y)
        & kaon2equal(X,Y) )
     => ot____nom50(X) ) ).

fof(act2_formula774,axiom,
    ! [X,Y] :
      ( ( icewine(X)
        & hasbody(X,Y) )
     => ot____nom51(Y) ) ).

fof(act2_formula775,axiom,
    ! [X,Y] :
      ( ( cheninblanc(X)
        & hasbody(X,Y) )
     => ot____nom51(Y) ) ).

fof(act2_formula776,axiom,
    ! [X,Y] :
      ( ( chardonnay(X)
        & hasbody(X,Y) )
     => ot____nom51(Y) ) ).

fof(act2_formula777,axiom,
    ! [X,Y] :
      ( ( cabernetsauvignon(X)
        & hasbody(X,Y) )
     => ot____nom51(Y) ) ).

fof(act2_formula778,axiom,
    ! [X,Y] :
      ( ( semillonorsauvignonblanc(X)
        & hasbody(X,Y) )
     => ot____nom51(Y) ) ).

fof(act2_formula779,axiom,
    ! [X,Y] :
      ( ( petitesyrah(X)
        & hasbody(X,Y) )
     => ot____nom51(Y) ) ).

fof(act2_formula780,axiom,
    ! [X,Y] :
      ( ( zinfandel(X)
        & hasbody(X,Y) )
     => ot____nom51(Y) ) ).

fof(act2_formula781,axiom,
    ! [Y,X] :
      ( ( ot____nom51(Y)
        & kaon2equal(X,Y) )
     => ot____nom51(X) ) ).

fof(act2_formula782,axiom,
    ! [X] :
      ( ( sauternes(X)
        & kaon2namedobjects(X) )
     => ot____nom52(X) ) ).

fof(act2_formula783,axiom,
    ! [Y,X] :
      ( ( ot____nom52(Y)
        & kaon2equal(X,Y) )
     => ot____nom52(X) ) ).

fof(act2_formula784,axiom,
    ! [X,Y] :
      ( ( dessertwine(X)
        & hassugar(X,Y) )
     => ot____nom53(Y) ) ).

fof(act2_formula785,axiom,
    ! [Y,X] :
      ( ( ot____nom53(Y)
        & kaon2equal(X,Y) )
     => ot____nom53(X) ) ).

fof(act2_formula786,axiom,
    ! [X] :
      ( ( q32(X)
        & kaon2namedobjects(X) )
     => ot____nom54(X) ) ).

fof(act2_formula787,axiom,
    ! [Y,X] :
      ( ( ot____nom54(Y)
        & kaon2equal(X,Y) )
     => ot____nom54(X) ) ).

fof(act2_formula788,axiom,
    ! [X] :
      ( ( q20(X)
        & kaon2namedobjects(X) )
     => ot____nom55(X) ) ).

fof(act2_formula789,axiom,
    ! [Y,X] :
      ( ( ot____nom55(Y)
        & kaon2equal(X,Y) )
     => ot____nom55(X) ) ).

fof(act2_formula790,axiom,
    ! [X] :
      ( ( q45(X)
        & kaon2namedobjects(X) )
     => ot____nom56(X) ) ).

fof(act2_formula791,axiom,
    ! [Y,X] :
      ( ( ot____nom56(Y)
        & kaon2equal(X,Y) )
     => ot____nom56(X) ) ).

fof(act2_formula792,axiom,
    ! [X] :
      ( ( port(X)
        & kaon2namedobjects(X) )
     => ot____nom57(X) ) ).

fof(act2_formula793,axiom,
    ! [Y,X] :
      ( ( ot____nom57(Y)
        & kaon2equal(X,Y) )
     => ot____nom57(X) ) ).

fof(act2_formula794,axiom,
    ! [X] :
      ( ( q11(X)
        & kaon2namedobjects(X) )
     => ot____nom58(X) ) ).

fof(act2_formula795,axiom,
    ! [Y,X] :
      ( ( ot____nom58(Y)
        & kaon2equal(X,Y) )
     => ot____nom58(X) ) ).

fof(act2_formula796,axiom,
    ! [X,Y] :
      ( ( merlot(X)
        & hasbody(X,Y) )
     => ot____nom59(Y) ) ).

fof(act2_formula797,axiom,
    ! [X,Y] :
      ( ( dryriesling(X)
        & hasbody(X,Y) )
     => ot____nom59(Y) ) ).

fof(act2_formula798,axiom,
    ! [X,Y] :
      ( ( chianti(X)
        & hasbody(X,Y) )
     => ot____nom59(Y) ) ).

fof(act2_formula799,axiom,
    ! [Y,X] :
      ( ( ot____nom59(Y)
        & kaon2equal(X,Y) )
     => ot____nom59(X) ) ).

fof(act2_formula800,axiom,
    ! [X,Y] :
      ( ( q68(X)
        & madefromgrape(X,Y) )
     => ot____nom6(Y) ) ).

fof(act2_formula801,axiom,
    ! [Y,X] :
      ( ( ot____nom6(Y)
        & kaon2equal(X,Y) )
     => ot____nom6(X) ) ).

fof(act2_formula802,axiom,
    ! [X] :
      ( ( chianti(X)
        & kaon2namedobjects(X) )
     => ot____nom60(X) ) ).

fof(act2_formula803,axiom,
    ! [Y,X] :
      ( ( ot____nom60(Y)
        & kaon2equal(X,Y) )
     => ot____nom60(X) ) ).

fof(act2_formula804,axiom,
    ! [X] :
      ( ( chianti(X)
        & kaon2namedobjects(X) )
     => ot____nom61(X) ) ).

fof(act2_formula805,axiom,
    ! [Y,X] :
      ( ( ot____nom61(Y)
        & kaon2equal(X,Y) )
     => ot____nom61(X) ) ).

fof(act2_formula806,axiom,
    ! [X,Y] :
      ( ( redbordeaux(X)
        & madefromgrape(X,Y) )
     => ot____nom62(Y) ) ).

fof(act2_formula807,axiom,
    ! [Y,X] :
      ( ( ot____nom62(Y)
        & kaon2equal(X,Y) )
     => ot____nom62(X) ) ).

fof(act2_formula808,axiom,
    ! [X,Y] :
      ( ( whiteloire(X)
        & madefromgrape(X,Y) )
     => ot____nom63(Y) ) ).

fof(act2_formula809,axiom,
    ! [Y,X] :
      ( ( ot____nom63(Y)
        & kaon2equal(X,Y) )
     => ot____nom63(X) ) ).

fof(act2_formula810,axiom,
    ! [X,Y] :
      ( ( merlot(X)
        & hasflavor(X,Y) )
     => ot____nom64(Y) ) ).

fof(act2_formula811,axiom,
    ! [Y,X] :
      ( ( ot____nom64(Y)
        & kaon2equal(X,Y) )
     => ot____nom64(X) ) ).

fof(act2_formula812,axiom,
    ! [X,Y] :
      ( ( q36(X)
        & hassugar(X,Y) )
     => ot____nom7(Y) ) ).

fof(act2_formula813,axiom,
    ! [Y,X] :
      ( ( ot____nom7(Y)
        & kaon2equal(X,Y) )
     => ot____nom7(X) ) ).

fof(act2_formula814,axiom,
    ! [X,Y] :
      ( ( meritage(X)
        & madefromgrape(X,Y) )
     => ot____nom8(Y) ) ).

fof(act2_formula815,axiom,
    ! [Y,X] :
      ( ( ot____nom8(Y)
        & kaon2equal(X,Y) )
     => ot____nom8(X) ) ).

fof(act2_formula816,axiom,
    ! [X] :
      ( winecolor(X)
     => ot____nom9(X) ) ).

fof(act2_formula817,axiom,
    ! [Y,X] :
      ( ( ot____nom9(Y)
        & kaon2equal(X,Y) )
     => ot____nom9(X) ) ).

fof(act2_formula818,axiom,
    ! [X,Y] :
      ( adjacentregion(X,Y)
     => adjacentregion(Y,X) ) ).

fof(act2_formula819,axiom,
    ! [Y,X_1,X] :
      ( ( adjacentregion(Y,X_1)
        & kaon2equal(X,Y) )
     => adjacentregion(X,X_1) ) ).

fof(act2_formula820,axiom,
    ! [X_0,Y,X] :
      ( ( adjacentregion(X_0,Y)
        & kaon2equal(X,Y) )
     => adjacentregion(X_0,X) ) ).

fof(act2_formula821,axiom,
    ! [X] :
      ( ( q45(X)
        & kaon2namedobjects(X) )
     => hasbody(X,X) ) ).

fof(act2_formula822,axiom,
    ! [X] :
      ( ( wine(X)
        & kaon2namedobjects(X) )
     => hasbody(X,X) ) ).

fof(act2_formula823,axiom,
    ! [X] :
      ( ( q35(X)
        & kaon2namedobjects(X) )
     => hasbody(X,X) ) ).

fof(act2_formula824,axiom,
    ! [X] :
      ( ( q7(X)
        & kaon2namedobjects(X) )
     => hasbody(X,X) ) ).

fof(act2_formula825,axiom,
    ! [Y,X_1,X] :
      ( ( hasbody(Y,X_1)
        & kaon2equal(X,Y) )
     => hasbody(X,X_1) ) ).

fof(act2_formula826,axiom,
    ! [X_0,Y,X] :
      ( ( hasbody(X_0,Y)
        & kaon2equal(X,Y) )
     => hasbody(X_0,X) ) ).

fof(act2_formula827,axiom,
    ! [X] :
      ( ( q0(X)
        & kaon2namedobjects(X) )
     => hascolor(X,X) ) ).

fof(act2_formula828,axiom,
    ! [X] :
      ( ( q15(X)
        & kaon2namedobjects(X) )
     => hascolor(X,X) ) ).

fof(act2_formula829,axiom,
    ! [X] :
      ( ( wine(X)
        & kaon2namedobjects(X) )
     => hascolor(X,X) ) ).

fof(act2_formula830,axiom,
    ! [X] :
      ( ( q12(X)
        & kaon2namedobjects(X) )
     => hascolor(X,X) ) ).

fof(act2_formula831,axiom,
    ! [Y,X_1,X] :
      ( ( hascolor(Y,X_1)
        & kaon2equal(X,Y) )
     => hascolor(X,X_1) ) ).

fof(act2_formula832,axiom,
    ! [X_0,Y,X] :
      ( ( hascolor(X_0,Y)
        & kaon2equal(X,Y) )
     => hascolor(X_0,X) ) ).

fof(act2_formula833,axiom,
    ! [X] :
      ( ( q4(X)
        & kaon2namedobjects(X) )
     => hasflavor(X,X) ) ).

fof(act2_formula834,axiom,
    ! [X] :
      ( ( q11(X)
        & kaon2namedobjects(X) )
     => hasflavor(X,X) ) ).

fof(act2_formula835,axiom,
    ! [X] :
      ( ( q20(X)
        & kaon2namedobjects(X) )
     => hasflavor(X,X) ) ).

fof(act2_formula836,axiom,
    ! [X] :
      ( ( wine(X)
        & kaon2namedobjects(X) )
     => hasflavor(X,X) ) ).

fof(act2_formula837,axiom,
    ! [Y,X_1,X] :
      ( ( hasflavor(Y,X_1)
        & kaon2equal(X,Y) )
     => hasflavor(X,X_1) ) ).

fof(act2_formula838,axiom,
    ! [X_0,Y,X] :
      ( ( hasflavor(X_0,Y)
        & kaon2equal(X,Y) )
     => hasflavor(X_0,X) ) ).

fof(act2_formula839,axiom,
    ! [X,Y] :
      ( produceswine(X,Y)
     => hasmaker(Y,X) ) ).

fof(act2_formula840,axiom,
    ! [X] :
      ( ( wine(X)
        & kaon2namedobjects(X) )
     => hasmaker(X,X) ) ).

fof(act2_formula841,axiom,
    ! [Y,X_1,X] :
      ( ( hasmaker(Y,X_1)
        & kaon2equal(X,Y) )
     => hasmaker(X,X_1) ) ).

fof(act2_formula842,axiom,
    ! [X_0,Y,X] :
      ( ( hasmaker(X_0,Y)
        & kaon2equal(X,Y) )
     => hasmaker(X_0,X) ) ).

fof(act2_formula843,axiom,
    ! [X] :
      ( ( wine(X)
        & kaon2namedobjects(X) )
     => hassugar(X,X) ) ).

fof(act2_formula844,axiom,
    ! [X] :
      ( ( q31(X)
        & kaon2namedobjects(X) )
     => hassugar(X,X) ) ).

fof(act2_formula845,axiom,
    ! [X] :
      ( ( whitewine(X)
        & kaon2namedobjects(X) )
     => hassugar(X,X) ) ).

fof(act2_formula846,axiom,
    ! [X] :
      ( ( q70(X)
        & kaon2namedobjects(X) )
     => hassugar(X,X) ) ).

fof(act2_formula847,axiom,
    ! [X] :
      ( ( q32(X)
        & kaon2namedobjects(X) )
     => hassugar(X,X) ) ).

fof(act2_formula848,axiom,
    ! [Y,X_1,X] :
      ( ( hassugar(Y,X_1)
        & kaon2equal(X,Y) )
     => hassugar(X,X_1) ) ).

fof(act2_formula849,axiom,
    ! [X_0,Y,X] :
      ( ( hassugar(X_0,Y)
        & kaon2equal(X,Y) )
     => hassugar(X_0,X) ) ).

fof(act2_formula850,axiom,
    ! [X] :
      ( ( vintage(X)
        & kaon2namedobjects(X) )
     => hasvintageyear(X,X) ) ).

fof(act2_formula851,axiom,
    ! [Y,X_1,X] :
      ( ( hasvintageyear(Y,X_1)
        & kaon2equal(X,Y) )
     => hasvintageyear(X,X_1) ) ).

fof(act2_formula852,axiom,
    ! [X_0,Y,X] :
      ( ( hasvintageyear(X_0,Y)
        & kaon2equal(X,Y) )
     => hasvintageyear(X_0,X) ) ).

fof(act2_formula853,axiom,
    ! [X,Y] :
      ( hasbody(X,Y)
     => haswinedescriptor(X,Y) ) ).

fof(act2_formula854,axiom,
    ! [X,Y] :
      ( hascolor(X,Y)
     => haswinedescriptor(X,Y) ) ).

fof(act2_formula855,axiom,
    ! [X,Y] :
      ( hasflavor(X,Y)
     => haswinedescriptor(X,Y) ) ).

fof(act2_formula856,axiom,
    ! [X,Y] :
      ( hassugar(X,Y)
     => haswinedescriptor(X,Y) ) ).

fof(act2_formula857,axiom,
    ! [Y,X_1,X] :
      ( ( haswinedescriptor(Y,X_1)
        & kaon2equal(X,Y) )
     => haswinedescriptor(X,X_1) ) ).

fof(act2_formula858,axiom,
    ! [X_0,Y,X] :
      ( ( haswinedescriptor(X_0,Y)
        & kaon2equal(X,Y) )
     => haswinedescriptor(X_0,X) ) ).

fof(act2_formula859,axiom,
    ! [X] :
      ( ( q57(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula860,axiom,
    ! [X] :
      ( ( q37(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula861,axiom,
    ! [X] :
      ( ( q61(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula862,axiom,
    ! [X] :
      ( ( q59(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula863,axiom,
    ! [X] :
      ( ( q33(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula864,axiom,
    ! [X] :
      ( ( wine(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula865,axiom,
    ! [X] :
      ( ( q18(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula866,axiom,
    ! [X] :
      ( ( q49(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula867,axiom,
    ! [X] :
      ( ( q42(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula868,axiom,
    ! [X] :
      ( ( q9(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula869,axiom,
    ! [X] :
      ( ( q22(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula870,axiom,
    ! [X] :
      ( ( chianti(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula871,axiom,
    ! [X] :
      ( ( port(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula872,axiom,
    ! [X] :
      ( ( q26(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula873,axiom,
    ! [X] :
      ( ( q51(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula874,axiom,
    ! [X] :
      ( ( q55(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula875,axiom,
    ! [X] :
      ( ( q16(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula876,axiom,
    ! [X] :
      ( ( q73(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula877,axiom,
    ! [X] :
      ( ( q29(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula878,axiom,
    ! [X] :
      ( ( q1(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula879,axiom,
    ! [X] :
      ( ( q47(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula880,axiom,
    ! [X] :
      ( ( q39(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula881,axiom,
    ! [X] :
      ( ( q64(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula882,axiom,
    ! [X] :
      ( ( sauternes(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula883,axiom,
    ! [X] :
      ( ( q66(X)
        & kaon2namedobjects(X) )
     => locatedin(X,X) ) ).

fof(act2_formula884,axiom,
    ! [Y,X_1,X] :
      ( ( locatedin(Y,X_1)
        & kaon2equal(X,Y) )
     => locatedin(X,X_1) ) ).

fof(act2_formula885,axiom,
    ! [X_0,Y,X] :
      ( ( locatedin(X_0,Y)
        & kaon2equal(X,Y) )
     => locatedin(X_0,X) ) ).

fof(act2_formula886,axiom,
    ! [X,Y,Z] :
      ( ( locatedin(X,Y)
        & locatedin(Y,Z) )
     => locatedin(X,Z) ) ).

fof(act2_formula887,axiom,
    ! [X,Y,Z] :
      ( ( locatedin(X,Y)
        & locatedin(Y,Z)
        & kaon2namedobjects(Z)
        & kaon2namedobjects(Y)
        & kaon2namedobjects(X) )
     => locatedin(X,Z) ) ).

fof(act2_formula888,axiom,
    ! [X,Y] :
      ( madefromgrape(X,Y)
     => madefromfruit(X,Y) ) ).

fof(act2_formula889,axiom,
    ! [Y,X_1,X] :
      ( ( madefromfruit(Y,X_1)
        & kaon2equal(X,Y) )
     => madefromfruit(X,X_1) ) ).

fof(act2_formula890,axiom,
    ! [X_0,Y,X] :
      ( ( madefromfruit(X_0,Y)
        & kaon2equal(X,Y) )
     => madefromfruit(X_0,X) ) ).

fof(act2_formula891,axiom,
    ! [X,Y] :
      ( madeintowine(X,Y)
     => madefromgrape(Y,X) ) ).

fof(act2_formula892,axiom,
    ! [X] :
      ( ( riesling(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula893,axiom,
    ! [X] :
      ( ( wine(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula894,axiom,
    ! [X] :
      ( ( q72(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula895,axiom,
    ! [X] :
      ( ( q5(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula896,axiom,
    ! [X] :
      ( ( semillon(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula897,axiom,
    ! [X] :
      ( ( q14(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula898,axiom,
    ! [X] :
      ( ( q24(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula899,axiom,
    ! [X] :
      ( ( q5(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula900,axiom,
    ! [X] :
      ( ( zinfandel(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula901,axiom,
    ! [X] :
      ( ( q6(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula902,axiom,
    ! [X] :
      ( ( petitesyrah(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula903,axiom,
    ! [X] :
      ( ( q13(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula904,axiom,
    ! [X] :
      ( ( chianti(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula905,axiom,
    ! [X] :
      ( ( cabernetfranc(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula906,axiom,
    ! [X] :
      ( ( q69(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula907,axiom,
    ! [X] :
      ( ( q44(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula908,axiom,
    ! [X] :
      ( ( q63(X)
        & kaon2namedobjects(X) )
     => madefromgrape(X,X) ) ).

fof(act2_formula909,axiom,
    ! [Y,X_1,X] :
      ( ( madefromgrape(Y,X_1)
        & kaon2equal(X,Y) )
     => madefromgrape(X,X_1) ) ).

fof(act2_formula910,axiom,
    ! [X_0,Y,X] :
      ( ( madefromgrape(X_0,Y)
        & kaon2equal(X,Y) )
     => madefromgrape(X_0,X) ) ).

fof(act2_formula911,axiom,
    ! [X,Y] :
      ( madefromgrape(X,Y)
     => madeintowine(Y,X) ) ).

fof(act2_formula912,axiom,
    ! [Y,X_1,X] :
      ( ( madeintowine(Y,X_1)
        & kaon2equal(X,Y) )
     => madeintowine(X,X_1) ) ).

fof(act2_formula913,axiom,
    ! [X_0,Y,X] :
      ( ( madeintowine(X_0,Y)
        & kaon2equal(X,Y) )
     => madeintowine(X_0,X) ) ).

fof(act2_formula914,axiom,
    ! [X,Y] :
      ( hasmaker(X,Y)
     => produceswine(Y,X) ) ).

fof(act2_formula915,axiom,
    ! [Y,X_1,X] :
      ( ( produceswine(Y,X_1)
        & kaon2equal(X,Y) )
     => produceswine(X,X_1) ) ).

fof(act2_formula916,axiom,
    ! [X_0,Y,X] :
      ( ( produceswine(X_0,Y)
        & kaon2equal(X,Y) )
     => produceswine(X_0,X) ) ).

fof(act2_formula917,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula918,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula919,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula920,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula921,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula922,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula923,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula924,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula925,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula926,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula927,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula928,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula929,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula930,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula931,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula932,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula933,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula934,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula935,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula936,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula937,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula938,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula939,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula940,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula941,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula942,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula943,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula944,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula945,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula946,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula947,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula948,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula949,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula950,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula951,axiom,
    ! [X] :
      ( kaon2namedobjects(X)
     => kaon2hu(X) ) ).

fof(act2_formula952,axiom,
    ! [X] :
      ( kaon2hu(X)
     => kaon2equal(X,X) ) ).

fof(act2_formula953,axiom,
    ! [X,Y1,Y2] :
      ( ( hasflavor(X,Y1)
        & hasflavor(X,Y2) )
     => kaon2equal(Y1,Y2) ) ).

fof(act2_formula954,axiom,
    ! [X,Y1,Y2] :
      ( ( hassugar(X,Y1)
        & hassugar(X,Y2) )
     => kaon2equal(Y1,Y2) ) ).

fof(act2_formula955,axiom,
    ! [X,Y1,Y2] :
      ( ( hasvintageyear(X,Y1)
        & hasvintageyear(X,Y2) )
     => kaon2equal(Y1,Y2) ) ).

fof(act2_formula956,axiom,
    ! [X,Y1,Y2] :
      ( ( hascolor(X,Y1)
        & hascolor(X,Y2) )
     => kaon2equal(Y1,Y2) ) ).

fof(act2_formula957,axiom,
    ! [X,Y1,Y2] :
      ( ( hasmaker(X,Y1)
        & hasmaker(X,Y2) )
     => kaon2equal(Y1,Y2) ) ).

fof(act2_formula958,axiom,
    ! [X,Y1,Y2] :
      ( ( hasbody(X,Y1)
        & hasbody(X,Y2) )
     => kaon2equal(Y1,Y2) ) ).

fof(act2_formula959,axiom,
    ! [X,Y1,Y2] :
      ( ( q3(X)
        & madefromgrape(X,Y1)
        & madefromgrape(X,Y2) )
     => kaon2equal(Y1,Y2) ) ).

fof(act2_formula960,axiom,
    ! [X,Y] :
      ( ( kaon2hu(X)
        & kaon2hu(Y)
        & kaon2equal(Y,X) )
     => kaon2equal(X,Y) ) ).

fof(act2_formula961,axiom,
    ! [X,Y,Z] :
      ( ( kaon2equal(X,Y)
        & kaon2equal(Y,Z)
        & kaon2hu(X)
        & kaon2hu(Y)
        & kaon2hu(Z) )
     => kaon2equal(X,Z) ) ).

%------------------------------------------------------------------------------