tptp-0.1.0.0: test-data/tptp/fof/PRD001+0.ax

%------------------------------------------------------------------------------
% File     : PRD001+0 : TPTP v7.2.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 unit)
%            Number of atoms       : 3121 (   0 equality)
%            Maximal formula depth :    9 (   3 average)
%            Number of connectives : 1507 (   0   ~;   0   |; 546   &)
%                                         (   0 <=>; 961  =>;   0  <=;   0 <~>)
%                                         (   0  ~|;   0  ~&)
%            Number of predicates  :  338 (   0 propositional; 1-2 arity)
%            Number of functors    :  161 ( 161 constant; 0-0 arity)
%            Number of variables   : 1376 (   0 sgn;1376   !;   0   ?)
%            Maximal term depth    :    1 (   1 average)
% 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) ) )).

%------------------------------------------------------------------------------