%------------------------------------------------------------------------------ % 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) ) )). %------------------------------------------------------------------------------