TPTP Axioms File: PRD001+0.ax
%------------------------------------------------------------------------------
% File : PRD001+0 : TPTP v9.0.0. Released v6.2.0.
% Domain : Products
% Axioms : Wine facts
% Version : [Lua15] axioms.
% English :
% Refs : [Lua15] Meng (2015), Email to G. Sutcliffe
% Source : [Lua15]
% Names :
% Status : Satisfiable
% Syntax : Number of formulae : 1614 ( 653 unt; 0 def)
% Number of atoms : 3121 ( 0 equ)
% Maximal formula atoms : 6 ( 1 avg)
% Number of connectives : 1507 ( 0 ~; 0 |; 546 &)
% ( 0 <=>; 961 =>; 0 <=; 0 <~>)
% Maximal formula depth : 9 ( 3 avg)
% Maximal term depth : 1 ( 1 avg)
% Number of predicates : 338 ( 338 usr; 0 prp; 1-2 aty)
% Number of functors : 161 ( 161 usr; 161 con; 0-0 aty)
% Number of variables : 1376 (1376 !; 0 ?)
% SPC :
% Comments : See http://projects.semwebcentral.org/scm/viewvc.php/
% openrulebench/recursion/data/wine_data.tgz?root=rulebench&
% view=log (wine_data.tgz)
%------------------------------------------------------------------------------
fof(act1_formula1,axiom,
hasbody_aux(pulignymontrachetwhiteburgundy,medium) ).
fof(act1_formula2,axiom,
hasbody_aux(formanchardonnay,full) ).
fof(act1_formula3,axiom,
hasbody_aux(foxencheninblanc,full) ).
fof(act1_formula4,axiom,
hasbody_aux(chianticlassico,medium) ).
fof(act1_formula5,axiom,
hasbody_aux(cortonmontrachetwhiteburgundy,full) ).
fof(act1_formula6,axiom,
hasbody_aux(corbansprivatebinsauvignonblanc,full) ).
fof(act1_formula7,axiom,
hasbody_aux(congressspringssemillon,medium) ).
fof(act1_formula8,axiom,
hasbody_aux(mariettapetitesyrah,medium) ).
fof(act1_formula9,axiom,
hasbody_aux(corbanssauvignonblanc,medium) ).
fof(act1_formula10,axiom,
hasbody_aux(petermccoychardonnay,medium) ).
fof(act1_formula11,axiom,
hasbody_aux(selaksicewine,medium) ).
fof(act1_formula12,axiom,
hasbody_aux(bancroftchardonnay,medium) ).
fof(act1_formula13,axiom,
hasbody_aux(elysezinfandel,full) ).
fof(act1_formula14,axiom,
hasbody_aux(mountadampinotnoir,medium) ).
fof(act1_formula15,axiom,
hasbody_aux(mariettacabernetsauvignon,medium) ).
fof(act1_formula16,axiom,
hasbody_aux(schlossrothermeltrochenbierenausleseriesling,full) ).
fof(act1_formula17,axiom,
hasbody_aux(garyfarrellmerlot,medium) ).
fof(act1_formula18,axiom,
hasbody_aux(cotturizinfandel,full) ).
fof(act1_formula19,axiom,
hasbody_aux(mariettaoldvinesred,medium) ).
fof(act1_formula20,axiom,
hasbody_aux(longridgemerlot,light) ).
fof(act1_formula21,axiom,
hasbody_aux(kalincellarssemillon,full) ).
fof(act1_formula22,axiom,
hasbody_aux(pagemillwinerycabernetsauvignon,medium) ).
fof(act1_formula23,axiom,
hasbody_aux(seanthackreysiriuspetitesyrah,full) ).
fof(act1_formula24,axiom,
hasbody_aux(saucelitocanyonzinfandel1998,medium) ).
fof(act1_formula25,axiom,
hasbody_aux(whitehalllaneprimavera,light) ).
fof(act1_formula26,axiom,
hasbody_aux(santacruzmountainvineyardcabernetsauvignon,full) ).
fof(act1_formula27,axiom,
hasbody_aux(lanetannerpinotnoir,light) ).
fof(act1_formula28,axiom,
hasbody_aux(corbansdrywhiteriesling,medium) ).
fof(act1_formula29,axiom,
hasbody_aux(mountadamchardonnay,full) ).
fof(act1_formula30,axiom,
hasbody_aux(mountadamriesling,medium) ).
fof(act1_formula31,axiom,
hasbody_aux(mariettazinfandel,medium) ).
fof(act1_formula32,axiom,
hasbody_aux(kathrynkennedylateral,medium) ).
fof(act1_formula33,axiom,
hasbody_aux(mountedenvineyardestatepinotnoir,full) ).
fof(act1_formula34,axiom,
hasbody_aux(whitehalllanecabernetfranc,medium) ).
fof(act1_formula35,axiom,
hasbody_aux(ventanacheninblanc,medium) ).
fof(act1_formula36,axiom,
hasbody_aux(saucelitocanyonzinfandel,medium) ).
fof(act1_formula37,axiom,
hasbody_aux(formancabernetsauvignon,medium) ).
fof(act1_formula38,axiom,
hasbody_aux(schlossvolradtrochenbierenausleseriesling,full) ).
fof(act1_formula39,axiom,
hasbody_aux(mountedenvineyardednavalleychardonnay,medium) ).
fof(act1_formula40,axiom,
hasbody_aux(stonleighsauvignonblanc,medium) ).
fof(act1_formula41,axiom,
hasbody_aux(selakssauvignonblanc,medium) ).
fof(act1_formula42,axiom,
hascolor_aux(selaksicewine,white) ).
fof(act1_formula43,axiom,
hasflavor_aux(pulignymontrachetwhiteburgundy,moderate) ).
fof(act1_formula44,axiom,
hasflavor_aux(formanchardonnay,moderate) ).
fof(act1_formula45,axiom,
hasflavor_aux(stgenevievetexaswhite,moderate) ).
fof(act1_formula46,axiom,
hasflavor_aux(foxencheninblanc,moderate) ).
fof(act1_formula47,axiom,
hasflavor_aux(cortonmontrachetwhiteburgundy,strong) ).
fof(act1_formula48,axiom,
hasflavor_aux(corbansprivatebinsauvignonblanc,strong) ).
fof(act1_formula49,axiom,
hasflavor_aux(congressspringssemillon,moderate) ).
fof(act1_formula50,axiom,
hasflavor_aux(mariettapetitesyrah,moderate) ).
fof(act1_formula51,axiom,
hasflavor_aux(corbanssauvignonblanc,strong) ).
fof(act1_formula52,axiom,
hasflavor_aux(petermccoychardonnay,moderate) ).
fof(act1_formula53,axiom,
hasflavor_aux(selaksicewine,moderate) ).
fof(act1_formula54,axiom,
hasflavor_aux(bancroftchardonnay,moderate) ).
fof(act1_formula55,axiom,
hasflavor_aux(elysezinfandel,moderate) ).
fof(act1_formula56,axiom,
hasflavor_aux(mountadampinotnoir,moderate) ).
fof(act1_formula57,axiom,
hasflavor_aux(chateaudychemsauterne,strong) ).
fof(act1_formula58,axiom,
hasflavor_aux(mariettacabernetsauvignon,moderate) ).
fof(act1_formula59,axiom,
hasflavor_aux(schlossrothermeltrochenbierenausleseriesling,strong) ).
fof(act1_formula60,axiom,
hasflavor_aux(garyfarrellmerlot,moderate) ).
fof(act1_formula61,axiom,
hasflavor_aux(cotturizinfandel,strong) ).
fof(act1_formula62,axiom,
hasflavor_aux(mariettaoldvinesred,moderate) ).
fof(act1_formula63,axiom,
hasflavor_aux(longridgemerlot,moderate) ).
fof(act1_formula64,axiom,
hasflavor_aux(kalincellarssemillon,strong) ).
fof(act1_formula65,axiom,
hasflavor_aux(pagemillwinerycabernetsauvignon,moderate) ).
fof(act1_formula66,axiom,
hasflavor_aux(seanthackreysiriuspetitesyrah,strong) ).
fof(act1_formula67,axiom,
hasflavor_aux(saucelitocanyonzinfandel1998,moderate) ).
fof(act1_formula68,axiom,
hasflavor_aux(chateaudemeursaultmeursault,moderate) ).
fof(act1_formula69,axiom,
hasflavor_aux(whitehalllaneprimavera,delicate) ).
fof(act1_formula70,axiom,
hasflavor_aux(santacruzmountainvineyardcabernetsauvignon,strong) ).
fof(act1_formula71,axiom,
hasflavor_aux(lanetannerpinotnoir,delicate) ).
fof(act1_formula72,axiom,
hasflavor_aux(corbansdrywhiteriesling,moderate) ).
fof(act1_formula73,axiom,
hasflavor_aux(mountadamchardonnay,strong) ).
fof(act1_formula74,axiom,
hasflavor_aux(mountadamriesling,delicate) ).
fof(act1_formula75,axiom,
hasflavor_aux(mariettazinfandel,moderate) ).
fof(act1_formula76,axiom,
hasflavor_aux(kathrynkennedylateral,delicate) ).
fof(act1_formula77,axiom,
hasflavor_aux(mountedenvineyardestatepinotnoir,strong) ).
fof(act1_formula78,axiom,
hasflavor_aux(whitehalllanecabernetfranc,moderate) ).
fof(act1_formula79,axiom,
hasflavor_aux(ventanacheninblanc,moderate) ).
fof(act1_formula80,axiom,
hasflavor_aux(saucelitocanyonzinfandel,moderate) ).
fof(act1_formula81,axiom,
hasflavor_aux(formancabernetsauvignon,strong) ).
fof(act1_formula82,axiom,
hasflavor_aux(schlossvolradtrochenbierenausleseriesling,moderate) ).
fof(act1_formula83,axiom,
hasflavor_aux(mountedenvineyardednavalleychardonnay,moderate) ).
fof(act1_formula84,axiom,
hasflavor_aux(stonleighsauvignonblanc,delicate) ).
fof(act1_formula85,axiom,
hasflavor_aux(selakssauvignonblanc,moderate) ).
fof(act1_formula86,axiom,
hasmaker_aux(pulignymontrachetwhiteburgundy,pulignymontrachet) ).
fof(act1_formula87,axiom,
hasmaker_aux(chateaulafiterothschildpauillac,chateaulafiterothschild) ).
fof(act1_formula88,axiom,
hasmaker_aux(formanchardonnay,forman) ).
fof(act1_formula89,axiom,
hasmaker_aux(stgenevievetexaswhite,stgenevieve) ).
fof(act1_formula90,axiom,
hasmaker_aux(foxencheninblanc,foxen) ).
fof(act1_formula91,axiom,
hasmaker_aux(chianticlassico,mcguinnesso) ).
fof(act1_formula92,axiom,
hasmaker_aux(cortonmontrachetwhiteburgundy,cortonmontrachet) ).
fof(act1_formula93,axiom,
hasmaker_aux(corbansprivatebinsauvignonblanc,corbans) ).
fof(act1_formula94,axiom,
hasmaker_aux(congressspringssemillon,congresssprings) ).
fof(act1_formula95,axiom,
hasmaker_aux(mariettapetitesyrah,marietta) ).
fof(act1_formula96,axiom,
hasmaker_aux(corbanssauvignonblanc,corbans) ).
fof(act1_formula97,axiom,
hasmaker_aux(petermccoychardonnay,petermccoy) ).
fof(act1_formula98,axiom,
hasmaker_aux(selaksicewine,selaks) ).
fof(act1_formula99,axiom,
hasmaker_aux(bancroftchardonnay,bancroft) ).
fof(act1_formula100,axiom,
hasmaker_aux(chateauchevalblancstemilion,chateauchevalblanc) ).
fof(act1_formula101,axiom,
hasmaker_aux(chateaumorgonbeaujolais,chateaumorgon) ).
fof(act1_formula102,axiom,
hasmaker_aux(elysezinfandel,elyse) ).
fof(act1_formula103,axiom,
hasmaker_aux(mountadampinotnoir,mountadam) ).
fof(act1_formula104,axiom,
hasmaker_aux(taylorport,taylor) ).
fof(act1_formula105,axiom,
hasmaker_aux(chateaudychemsauterne,chateaudychem) ).
fof(act1_formula106,axiom,
hasmaker_aux(mariettacabernetsauvignon,marietta) ).
fof(act1_formula107,axiom,
hasmaker_aux(schlossrothermeltrochenbierenausleseriesling,schlossrothermel) ).
fof(act1_formula108,axiom,
hasmaker_aux(garyfarrellmerlot,garyfarrell) ).
fof(act1_formula109,axiom,
hasmaker_aux(closdevougeotcotesdor,closdevougeot) ).
fof(act1_formula110,axiom,
hasmaker_aux(cotturizinfandel,cotturi) ).
fof(act1_formula111,axiom,
hasmaker_aux(closdelapoussiesancerre,closdelapoussie) ).
fof(act1_formula112,axiom,
hasmaker_aux(mariettaoldvinesred,marietta) ).
fof(act1_formula113,axiom,
hasmaker_aux(longridgemerlot,longridge) ).
fof(act1_formula114,axiom,
hasmaker_aux(kalincellarssemillon,kalincellars) ).
fof(act1_formula115,axiom,
hasmaker_aux(pagemillwinerycabernetsauvignon,pagemillwinery) ).
fof(act1_formula116,axiom,
hasmaker_aux(seanthackreysiriuspetitesyrah,seanthackrey) ).
fof(act1_formula117,axiom,
hasmaker_aux(saucelitocanyonzinfandel1998,saucelitocanyon) ).
fof(act1_formula118,axiom,
hasmaker_aux(chateaudemeursaultmeursault,chateaudemeursault) ).
fof(act1_formula119,axiom,
hasmaker_aux(santacruzmountainvineyardcabernetsauvignon,santacruzmountainvineyard) ).
fof(act1_formula120,axiom,
hasmaker_aux(lanetannerpinotnoir,lanetanner) ).
fof(act1_formula121,axiom,
hasmaker_aux(corbansdrywhiteriesling,corbans) ).
fof(act1_formula122,axiom,
hasmaker_aux(rosedanjou,danjou) ).
fof(act1_formula123,axiom,
hasmaker_aux(mountadamchardonnay,mountadam) ).
fof(act1_formula124,axiom,
hasmaker_aux(mountadamriesling,mountadam) ).
fof(act1_formula125,axiom,
hasmaker_aux(mariettazinfandel,marietta) ).
fof(act1_formula126,axiom,
hasmaker_aux(chateaumargaux,chateaumargauxwinery) ).
fof(act1_formula127,axiom,
hasmaker_aux(kathrynkennedylateral,kathrynkennedy) ).
fof(act1_formula128,axiom,
hasmaker_aux(mountedenvineyardestatepinotnoir,mountedenvineyard) ).
fof(act1_formula129,axiom,
hasmaker_aux(whitehalllanecabernetfranc,whitehalllane) ).
fof(act1_formula130,axiom,
hasmaker_aux(ventanacheninblanc,ventana) ).
fof(act1_formula131,axiom,
hasmaker_aux(saucelitocanyonzinfandel,saucelitocanyon) ).
fof(act1_formula132,axiom,
hasmaker_aux(formancabernetsauvignon,forman) ).
fof(act1_formula133,axiom,
hasmaker_aux(schlossvolradtrochenbierenausleseriesling,schlossvolrad) ).
fof(act1_formula134,axiom,
hasmaker_aux(mountedenvineyardednavalleychardonnay,mountedenvineyard) ).
fof(act1_formula135,axiom,
hasmaker_aux(stonleighsauvignonblanc,stonleigh) ).
fof(act1_formula136,axiom,
hasmaker_aux(selakssauvignonblanc,selaks) ).
fof(act1_formula137,axiom,
hasmaker_aux(sevreetmainemuscadet,sevreetmaine) ).
fof(act1_formula138,axiom,
hassugar_aux(pulignymontrachetwhiteburgundy,dry) ).
fof(act1_formula139,axiom,
hassugar_aux(formanchardonnay,dry) ).
fof(act1_formula140,axiom,
hassugar_aux(stgenevievetexaswhite,dry) ).
fof(act1_formula141,axiom,
hassugar_aux(foxencheninblanc,dry) ).
fof(act1_formula142,axiom,
hassugar_aux(cortonmontrachetwhiteburgundy,dry) ).
fof(act1_formula143,axiom,
hassugar_aux(corbansprivatebinsauvignonblanc,dry) ).
fof(act1_formula144,axiom,
hassugar_aux(congressspringssemillon,dry) ).
fof(act1_formula145,axiom,
hassugar_aux(mariettapetitesyrah,dry) ).
fof(act1_formula146,axiom,
hassugar_aux(corbanssauvignonblanc,dry) ).
fof(act1_formula147,axiom,
hassugar_aux(petermccoychardonnay,dry) ).
fof(act1_formula148,axiom,
hassugar_aux(bancroftchardonnay,dry) ).
fof(act1_formula149,axiom,
hassugar_aux(elysezinfandel,dry) ).
fof(act1_formula150,axiom,
hassugar_aux(mountadampinotnoir,dry) ).
fof(act1_formula151,axiom,
hassugar_aux(mariettacabernetsauvignon,dry) ).
fof(act1_formula152,axiom,
hassugar_aux(schlossrothermeltrochenbierenausleseriesling,sweet) ).
fof(act1_formula153,axiom,
hassugar_aux(garyfarrellmerlot,dry) ).
fof(act1_formula154,axiom,
hassugar_aux(cotturizinfandel,dry) ).
fof(act1_formula155,axiom,
hassugar_aux(mariettaoldvinesred,dry) ).
fof(act1_formula156,axiom,
hassugar_aux(longridgemerlot,dry) ).
fof(act1_formula157,axiom,
hassugar_aux(kalincellarssemillon,dry) ).
fof(act1_formula158,axiom,
hassugar_aux(pagemillwinerycabernetsauvignon,dry) ).
fof(act1_formula159,axiom,
hassugar_aux(seanthackreysiriuspetitesyrah,dry) ).
fof(act1_formula160,axiom,
hassugar_aux(saucelitocanyonzinfandel1998,dry) ).
fof(act1_formula161,axiom,
hassugar_aux(whitehalllaneprimavera,sweet) ).
fof(act1_formula162,axiom,
hassugar_aux(santacruzmountainvineyardcabernetsauvignon,dry) ).
fof(act1_formula163,axiom,
hassugar_aux(lanetannerpinotnoir,dry) ).
fof(act1_formula164,axiom,
hassugar_aux(corbansdrywhiteriesling,offdry) ).
fof(act1_formula165,axiom,
hassugar_aux(mountadamchardonnay,dry) ).
fof(act1_formula166,axiom,
hassugar_aux(mountadamriesling,dry) ).
fof(act1_formula167,axiom,
hassugar_aux(mariettazinfandel,dry) ).
fof(act1_formula168,axiom,
hassugar_aux(kathrynkennedylateral,dry) ).
fof(act1_formula169,axiom,
hassugar_aux(mountedenvineyardestatepinotnoir,dry) ).
fof(act1_formula170,axiom,
hassugar_aux(whitehalllanecabernetfranc,dry) ).
fof(act1_formula171,axiom,
hassugar_aux(ventanacheninblanc,offdry) ).
fof(act1_formula172,axiom,
hassugar_aux(saucelitocanyonzinfandel,dry) ).
fof(act1_formula173,axiom,
hassugar_aux(formancabernetsauvignon,dry) ).
fof(act1_formula174,axiom,
hassugar_aux(schlossvolradtrochenbierenausleseriesling,sweet) ).
fof(act1_formula175,axiom,
hassugar_aux(mountedenvineyardednavalleychardonnay,dry) ).
fof(act1_formula176,axiom,
hassugar_aux(stonleighsauvignonblanc,dry) ).
fof(act1_formula177,axiom,
hassugar_aux(selakssauvignonblanc,dry) ).
fof(act1_formula178,axiom,
locatedin_aux(californiaregion,usregion) ).
fof(act1_formula179,axiom,
locatedin_aux(sancerreregion,loireregion) ).
fof(act1_formula180,axiom,
locatedin_aux(formanchardonnay,naparegion) ).
fof(act1_formula181,axiom,
locatedin_aux(stgenevievetexaswhite,centraltexasregion) ).
fof(act1_formula182,axiom,
locatedin_aux(foxencheninblanc,santabarbararegion) ).
fof(act1_formula183,axiom,
locatedin_aux(loireregion,frenchregion) ).
fof(act1_formula184,axiom,
locatedin_aux(corbansprivatebinsauvignonblanc,newzealandregion) ).
fof(act1_formula185,axiom,
locatedin_aux(mariettapetitesyrah,sonomaregion) ).
fof(act1_formula186,axiom,
locatedin_aux(corbanssauvignonblanc,newzealandregion) ).
fof(act1_formula187,axiom,
locatedin_aux(petermccoychardonnay,sonomaregion) ).
fof(act1_formula188,axiom,
locatedin_aux(selaksicewine,newzealandregion) ).
fof(act1_formula189,axiom,
locatedin_aux(bancroftchardonnay,naparegion) ).
fof(act1_formula190,axiom,
locatedin_aux(elysezinfandel,naparegion) ).
fof(act1_formula191,axiom,
locatedin_aux(naparegion,californiaregion) ).
fof(act1_formula192,axiom,
locatedin_aux(mountadampinotnoir,southaustraliaregion) ).
fof(act1_formula193,axiom,
locatedin_aux(chiantiregion,italianregion) ).
fof(act1_formula194,axiom,
locatedin_aux(mariettacabernetsauvignon,sonomaregion) ).
fof(act1_formula195,axiom,
locatedin_aux(sauterneregion,bordeauxregion) ).
fof(act1_formula196,axiom,
locatedin_aux(pauillacregion,medocregion) ).
fof(act1_formula197,axiom,
locatedin_aux(centraltexasregion,texasregion) ).
fof(act1_formula198,axiom,
locatedin_aux(schlossrothermeltrochenbierenausleseriesling,germanyregion) ).
fof(act1_formula199,axiom,
locatedin_aux(garyfarrellmerlot,sonomaregion) ).
fof(act1_formula200,axiom,
locatedin_aux(bordeauxregion,frenchregion) ).
fof(act1_formula201,axiom,
locatedin_aux(cotturizinfandel,sonomaregion) ).
fof(act1_formula202,axiom,
locatedin_aux(anjouregion,loireregion) ).
fof(act1_formula203,axiom,
locatedin_aux(centralcoastregion,californiaregion) ).
fof(act1_formula204,axiom,
locatedin_aux(mariettaoldvinesred,sonomaregion) ).
fof(act1_formula205,axiom,
locatedin_aux(longridgemerlot,newzealandregion) ).
fof(act1_formula206,axiom,
locatedin_aux(sonomaregion,californiaregion) ).
fof(act1_formula207,axiom,
locatedin_aux(santabarbararegion,californiaregion) ).
fof(act1_formula208,axiom,
locatedin_aux(pagemillwinerycabernetsauvignon,naparegion) ).
fof(act1_formula209,axiom,
locatedin_aux(seanthackreysiriuspetitesyrah,naparegion) ).
fof(act1_formula210,axiom,
locatedin_aux(saucelitocanyonzinfandel1998,arroyogranderegion) ).
fof(act1_formula211,axiom,
locatedin_aux(medocregion,bordeauxregion) ).
fof(act1_formula212,axiom,
locatedin_aux(southaustraliaregion,australianregion) ).
fof(act1_formula213,axiom,
locatedin_aux(whitehalllaneprimavera,naparegion) ).
fof(act1_formula214,axiom,
locatedin_aux(santacruzmountainvineyardcabernetsauvignon,santacruzmountainsregion) ).
fof(act1_formula215,axiom,
locatedin_aux(lanetannerpinotnoir,santabarbararegion) ).
fof(act1_formula216,axiom,
locatedin_aux(mendocinoregion,californiaregion) ).
fof(act1_formula217,axiom,
locatedin_aux(santacruzmountainsregion,californiaregion) ).
fof(act1_formula218,axiom,
locatedin_aux(corbansdrywhiteriesling,newzealandregion) ).
fof(act1_formula219,axiom,
locatedin_aux(margauxregion,medocregion) ).
fof(act1_formula220,axiom,
locatedin_aux(texasregion,usregion) ).
fof(act1_formula221,axiom,
locatedin_aux(muscadetregion,loireregion) ).
fof(act1_formula222,axiom,
locatedin_aux(mountadamchardonnay,southaustraliaregion) ).
fof(act1_formula223,axiom,
locatedin_aux(alsaceregion,frenchregion) ).
fof(act1_formula224,axiom,
locatedin_aux(mountadamriesling,southaustraliaregion) ).
fof(act1_formula225,axiom,
locatedin_aux(stemilionregion,bordeauxregion) ).
fof(act1_formula226,axiom,
locatedin_aux(bourgogneregion,frenchregion) ).
fof(act1_formula227,axiom,
locatedin_aux(mariettazinfandel,sonomaregion) ).
fof(act1_formula228,axiom,
locatedin_aux(toursregion,loireregion) ).
fof(act1_formula229,axiom,
locatedin_aux(cotesdorregion,bourgogneregion) ).
fof(act1_formula230,axiom,
locatedin_aux(mountedenvineyardestatepinotnoir,ednavalleyregion) ).
fof(act1_formula231,axiom,
locatedin_aux(whitehalllanecabernetfranc,naparegion) ).
fof(act1_formula232,axiom,
locatedin_aux(ventanacheninblanc,centralcoastregion) ).
fof(act1_formula233,axiom,
locatedin_aux(saucelitocanyonzinfandel,arroyogranderegion) ).
fof(act1_formula234,axiom,
locatedin_aux(formancabernetsauvignon,naparegion) ).
fof(act1_formula235,axiom,
locatedin_aux(schlossvolradtrochenbierenausleseriesling,germanyregion) ).
fof(act1_formula236,axiom,
locatedin_aux(beaujolaisregion,frenchregion) ).
fof(act1_formula237,axiom,
locatedin_aux(mountedenvineyardednavalleychardonnay,ednavalleyregion) ).
fof(act1_formula238,axiom,
locatedin_aux(meursaultregion,bourgogneregion) ).
fof(act1_formula239,axiom,
locatedin_aux(ednavalleyregion,californiaregion) ).
fof(act1_formula240,axiom,
locatedin_aux(stonleighsauvignonblanc,newzealandregion) ).
fof(act1_formula241,axiom,
locatedin_aux(arroyogranderegion,californiaregion) ).
fof(act1_formula242,axiom,
locatedin_aux(selakssauvignonblanc,newzealandregion) ).
fof(act1_formula243,axiom,
madefromgrape_aux(chateaudychemsauterne,semillongrape) ).
fof(act1_formula244,axiom,
madefromgrape_aux(chateaudychemsauterne,sauvignonblancgrape) ).
fof(act1_formula245,axiom,
ot____nom1_aux(sweet) ).
fof(act1_formula246,axiom,
ot____nom10_aux(texasregion) ).
fof(act1_formula247,axiom,
ot____nom11_aux(sauvignonblancgrape) ).
fof(act1_formula248,axiom,
ot____nom12_aux(dry) ).
fof(act1_formula249,axiom,
ot____nom13_aux(alsaceregion) ).
fof(act1_formula250,axiom,
ot____nom14_aux(anjouregion) ).
fof(act1_formula251,axiom,
ot____nom15_aux(californiaregion) ).
fof(act1_formula252,axiom,
ot____nom16_aux(muscadetregion) ).
fof(act1_formula253,axiom,
ot____nom17_aux(germanyregion) ).
fof(act1_formula254,axiom,
ot____nom18_aux(sweet) ).
fof(act1_formula255,axiom,
ot____nom18_aux(dry) ).
fof(act1_formula256,axiom,
ot____nom18_aux(offdry) ).
fof(act1_formula257,axiom,
ot____nom19_aux(loireregion) ).
fof(act1_formula258,axiom,
ot____nom2_aux(medocregion) ).
fof(act1_formula259,axiom,
ot____nom20_aux(zinfandelgrape) ).
fof(act1_formula260,axiom,
ot____nom21_aux(pinotblancgrape) ).
fof(act1_formula261,axiom,
ot____nom22_aux(margauxregion) ).
fof(act1_formula262,axiom,
ot____nom23_aux(bordeauxregion) ).
fof(act1_formula263,axiom,
ot____nom24_aux(chardonnaygrape) ).
fof(act1_formula264,axiom,
ot____nom25_aux(petitesyrahgrape) ).
fof(act1_formula265,axiom,
ot____nom26_aux(beaujolaisregion) ).
fof(act1_formula266,axiom,
ot____nom27_aux(semillongrape) ).
fof(act1_formula267,axiom,
ot____nom28_aux(red) ).
fof(act1_formula268,axiom,
ot____nom29_aux(cabernetsauvignongrape) ).
fof(act1_formula269,axiom,
ot____nom3_aux(cabernetfrancgrape) ).
fof(act1_formula270,axiom,
ot____nom30_aux(sancerreregion) ).
fof(act1_formula271,axiom,
ot____nom31_aux(meursaultregion) ).
fof(act1_formula272,axiom,
ot____nom32_aux(rose) ).
fof(act1_formula273,axiom,
ot____nom33_aux(gamaygrape) ).
fof(act1_formula274,axiom,
ot____nom34_aux(cheninblancgrape) ).
fof(act1_formula275,axiom,
ot____nom35_aux(delicate) ).
fof(act1_formula276,axiom,
ot____nom35_aux(strong) ).
fof(act1_formula277,axiom,
ot____nom35_aux(moderate) ).
fof(act1_formula278,axiom,
ot____nom36_aux(stemilionregion) ).
fof(act1_formula279,axiom,
ot____nom37_aux(rieslinggrape) ).
fof(act1_formula280,axiom,
ot____nom38_aux(usregion) ).
fof(act1_formula281,axiom,
ot____nom39_aux(pinotnoirgrape) ).
fof(act1_formula282,axiom,
ot____nom4_aux(toursregion) ).
fof(act1_formula283,axiom,
ot____nom40_aux(light) ).
fof(act1_formula284,axiom,
ot____nom40_aux(full) ).
fof(act1_formula285,axiom,
ot____nom40_aux(medium) ).
fof(act1_formula286,axiom,
ot____nom41_aux(frenchregion) ).
fof(act1_formula287,axiom,
ot____nom42_aux(cotesdorregion) ).
fof(act1_formula288,axiom,
ot____nom43_aux(merlotgrape) ).
fof(act1_formula289,axiom,
ot____nom44_aux(bourgogneregion) ).
fof(act1_formula290,axiom,
ot____nom45_aux(full) ).
fof(act1_formula291,axiom,
ot____nom46_aux(pauillacregion) ).
fof(act1_formula292,axiom,
ot____nom47_aux(italianregion) ).
fof(act1_formula293,axiom,
ot____nom48_aux(moderate) ).
fof(act1_formula294,axiom,
ot____nom49_aux(medium) ).
fof(act1_formula295,axiom,
ot____nom5_aux(white) ).
fof(act1_formula296,axiom,
ot____nom50_aux(strong) ).
fof(act1_formula297,axiom,
ot____nom50_aux(moderate) ).
fof(act1_formula298,axiom,
ot____nom51_aux(full) ).
fof(act1_formula299,axiom,
ot____nom51_aux(medium) ).
fof(act1_formula300,axiom,
ot____nom52_aux(sauterneregion) ).
fof(act1_formula301,axiom,
ot____nom53_aux(sweet) ).
fof(act1_formula302,axiom,
ot____nom53_aux(offdry) ).
fof(act1_formula303,axiom,
ot____nom54_aux(offdry) ).
fof(act1_formula304,axiom,
ot____nom55_aux(delicate) ).
fof(act1_formula305,axiom,
ot____nom56_aux(light) ).
fof(act1_formula306,axiom,
ot____nom57_aux(portugalregion) ).
fof(act1_formula307,axiom,
ot____nom58_aux(strong) ).
fof(act1_formula308,axiom,
ot____nom59_aux(light) ).
fof(act1_formula309,axiom,
ot____nom59_aux(medium) ).
fof(act1_formula310,axiom,
ot____nom6_aux(semillongrape) ).
fof(act1_formula311,axiom,
ot____nom6_aux(sauvignonblancgrape) ).
fof(act1_formula312,axiom,
ot____nom60_aux(sangiovesegrape) ).
fof(act1_formula313,axiom,
ot____nom61_aux(chiantiregion) ).
fof(act1_formula314,axiom,
ot____nom62_aux(cabernetsauvignongrape) ).
fof(act1_formula315,axiom,
ot____nom62_aux(merlotgrape) ).
fof(act1_formula316,axiom,
ot____nom63_aux(pinotblancgrape) ).
fof(act1_formula317,axiom,
ot____nom63_aux(sauvignonblancgrape) ).
fof(act1_formula318,axiom,
ot____nom63_aux(cheninblancgrape) ).
fof(act1_formula319,axiom,
ot____nom64_aux(delicate) ).
fof(act1_formula320,axiom,
ot____nom64_aux(moderate) ).
fof(act1_formula321,axiom,
ot____nom7_aux(dry) ).
fof(act1_formula322,axiom,
ot____nom7_aux(offdry) ).
fof(act1_formula323,axiom,
ot____nom8_aux(cabernetfrancgrape) ).
fof(act1_formula324,axiom,
ot____nom8_aux(petiteverdotgrape) ).
fof(act1_formula325,axiom,
ot____nom8_aux(cabernetsauvignongrape) ).
fof(act1_formula326,axiom,
ot____nom8_aux(malbecgrape) ).
fof(act1_formula327,axiom,
ot____nom8_aux(merlotgrape) ).
fof(act1_formula328,axiom,
ot____nom9_aux(white) ).
fof(act1_formula329,axiom,
ot____nom9_aux(rose) ).
fof(act1_formula330,axiom,
ot____nom9_aux(red) ).
fof(act1_formula331,axiom,
wineflavor_aux(delicate) ).
fof(act1_formula332,axiom,
wineflavor_aux(strong) ).
fof(act1_formula333,axiom,
wineflavor_aux(moderate) ).
fof(act1_formula334,axiom,
winegrape_aux(petitesyrahgrape) ).
fof(act1_formula335,axiom,
winegrape_aux(zinfandelgrape) ).
fof(act1_formula336,axiom,
winegrape_aux(sangiovesegrape) ).
fof(act1_formula337,axiom,
winegrape_aux(cabernetfrancgrape) ).
fof(act1_formula338,axiom,
winegrape_aux(semillongrape) ).
fof(act1_formula339,axiom,
winegrape_aux(rieslinggrape) ).
fof(act1_formula340,axiom,
winegrape_aux(pinotblancgrape) ).
fof(act1_formula341,axiom,
winegrape_aux(gamaygrape) ).
fof(act1_formula342,axiom,
winegrape_aux(petiteverdotgrape) ).
fof(act1_formula343,axiom,
winegrape_aux(chardonnaygrape) ).
fof(act1_formula344,axiom,
winegrape_aux(pinotnoirgrape) ).
fof(act1_formula345,axiom,
winegrape_aux(cabernetsauvignongrape) ).
fof(act1_formula346,axiom,
winegrape_aux(sauvignonblancgrape) ).
fof(act1_formula347,axiom,
winegrape_aux(cheninblancgrape) ).
fof(act1_formula348,axiom,
winegrape_aux(malbecgrape) ).
fof(act1_formula349,axiom,
winegrape_aux(merlotgrape) ).
fof(act1_formula350,axiom,
winesugar_aux(sweet) ).
fof(act1_formula351,axiom,
winesugar_aux(dry) ).
fof(act1_formula352,axiom,
winesugar_aux(offdry) ).
fof(act1_formula353,axiom,
winery_aux(seanthackrey) ).
fof(act1_formula354,axiom,
winery_aux(marietta) ).
fof(act1_formula355,axiom,
winery_aux(petermccoy) ).
fof(act1_formula356,axiom,
winery_aux(danjou) ).
fof(act1_formula357,axiom,
winery_aux(stonleigh) ).
fof(act1_formula358,axiom,
winery_aux(schlossvolrad) ).
fof(act1_formula359,axiom,
winery_aux(selaks) ).
fof(act1_formula360,axiom,
winery_aux(cortonmontrachet) ).
fof(act1_formula361,axiom,
winery_aux(forman) ).
fof(act1_formula362,axiom,
winery_aux(chateaulafiterothschild) ).
fof(act1_formula363,axiom,
winery_aux(elyse) ).
fof(act1_formula364,axiom,
winery_aux(garyfarrell) ).
fof(act1_formula365,axiom,
winery_aux(closdelapoussie) ).
fof(act1_formula366,axiom,
winery_aux(santacruzmountainvineyard) ).
fof(act1_formula367,axiom,
winery_aux(closdevougeot) ).
fof(act1_formula368,axiom,
winery_aux(ventana) ).
fof(act1_formula369,axiom,
winery_aux(schlossrothermel) ).
fof(act1_formula370,axiom,
winery_aux(longridge) ).
fof(act1_formula371,axiom,
winery_aux(mcguinnesso) ).
fof(act1_formula372,axiom,
winery_aux(beringer) ).
fof(act1_formula373,axiom,
winery_aux(sevreetmaine) ).
fof(act1_formula374,axiom,
winery_aux(bancroft) ).
fof(act1_formula375,axiom,
winery_aux(whitehalllane) ).
fof(act1_formula376,axiom,
winery_aux(lanetanner) ).
fof(act1_formula377,axiom,
winery_aux(saucelitocanyon) ).
fof(act1_formula378,axiom,
winery_aux(mountedenvineyard) ).
fof(act1_formula379,axiom,
winery_aux(taylor) ).
fof(act1_formula380,axiom,
winery_aux(stgenevieve) ).
fof(act1_formula381,axiom,
winery_aux(corbans) ).
fof(act1_formula382,axiom,
winery_aux(kalincellars) ).
fof(act1_formula383,axiom,
winery_aux(chateaudychem) ).
fof(act1_formula384,axiom,
winery_aux(kathrynkennedy) ).
fof(act1_formula385,axiom,
winery_aux(cotturi) ).
fof(act1_formula386,axiom,
winery_aux(chateaumargauxwinery) ).
fof(act1_formula387,axiom,
winery_aux(congresssprings) ).
fof(act1_formula388,axiom,
winery_aux(chateaudemeursault) ).
fof(act1_formula389,axiom,
winery_aux(chateauchevalblanc) ).
fof(act1_formula390,axiom,
winery_aux(mountadam) ).
fof(act1_formula391,axiom,
winery_aux(chateaumorgon) ).
fof(act1_formula392,axiom,
winery_aux(pagemillwinery) ).
fof(act1_formula393,axiom,
winery_aux(handley) ).
fof(act1_formula394,axiom,
winery_aux(pulignymontrachet) ).
fof(act1_formula395,axiom,
winery_aux(foxen) ).
fof(act1_formula396,axiom,
zinfandel_aux(elysezinfandel) ).
fof(act1_formula397,axiom,
zinfandel_aux(cotturizinfandel) ).
fof(act1_formula398,axiom,
zinfandel_aux(saucelitocanyonzinfandel1998) ).
fof(act1_formula399,axiom,
zinfandel_aux(mariettazinfandel) ).
fof(act1_formula400,axiom,
zinfandel_aux(saucelitocanyonzinfandel) ).
fof(act1_formula401,axiom,
winebody_aux(light) ).
fof(act1_formula402,axiom,
winebody_aux(full) ).
fof(act1_formula403,axiom,
winebody_aux(medium) ).
fof(act1_formula404,axiom,
winecolor_aux(white) ).
fof(act1_formula405,axiom,
winecolor_aux(rose) ).
fof(act1_formula406,axiom,
winecolor_aux(red) ).
fof(act1_formula407,axiom,
whiteburgundy_aux(pulignymontrachetwhiteburgundy) ).
fof(act1_formula408,axiom,
whiteburgundy_aux(cortonmontrachetwhiteburgundy) ).
fof(act1_formula409,axiom,
whitewine_aux(stgenevievetexaswhite) ).
fof(act1_formula410,axiom,
muscadet_aux(sevreetmainemuscadet) ).
fof(act1_formula411,axiom,
meursault_aux(chateaudemeursaultmeursault) ).
fof(act1_formula412,axiom,
meritage_aux(kathrynkennedylateral) ).
fof(act1_formula413,axiom,
margaux_aux(chateaumargaux) ).
fof(act1_formula414,axiom,
icewine_aux(selaksicewine) ).
fof(act1_formula415,axiom,
dryriesling_aux(mountadamriesling) ).
fof(act1_formula416,axiom,
dessertwine_aux(whitehalllaneprimavera) ).
fof(act1_formula417,axiom,
cabernetsauvignon_aux(mariettacabernetsauvignon) ).
fof(act1_formula418,axiom,
cabernetsauvignon_aux(pagemillwinerycabernetsauvignon) ).
fof(act1_formula419,axiom,
cabernetsauvignon_aux(santacruzmountainvineyardcabernetsauvignon) ).
fof(act1_formula420,axiom,
cabernetsauvignon_aux(formancabernetsauvignon) ).
fof(act1_formula421,axiom,
cabernetfranc_aux(whitehalllanecabernetfranc) ).
fof(act1_formula422,axiom,
beaujolais_aux(chateaumorgonbeaujolais) ).
fof(act1_formula423,axiom,
anjou_aux(rosedanjou) ).
fof(act1_formula424,axiom,
chardonnay_aux(formanchardonnay) ).
fof(act1_formula425,axiom,
chardonnay_aux(petermccoychardonnay) ).
fof(act1_formula426,axiom,
chardonnay_aux(bancroftchardonnay) ).
fof(act1_formula427,axiom,
chardonnay_aux(mountadamchardonnay) ).
fof(act1_formula428,axiom,
chardonnay_aux(mountedenvineyardednavalleychardonnay) ).
fof(act1_formula429,axiom,
cheninblanc_aux(foxencheninblanc) ).
fof(act1_formula430,axiom,
cheninblanc_aux(ventanacheninblanc) ).
fof(act1_formula431,axiom,
chianti_aux(chianticlassico) ).
fof(act1_formula432,axiom,
cotesdor_aux(closdevougeotcotesdor) ).
fof(act1_formula433,axiom,
merlot_aux(garyfarrellmerlot) ).
fof(act1_formula434,axiom,
merlot_aux(longridgemerlot) ).
fof(act1_formula435,axiom,
pauillac_aux(chateaulafiterothschildpauillac) ).
fof(act1_formula436,axiom,
petitesyrah_aux(mariettapetitesyrah) ).
fof(act1_formula437,axiom,
petitesyrah_aux(seanthackreysiriuspetitesyrah) ).
fof(act1_formula438,axiom,
pinotnoir_aux(mountadampinotnoir) ).
fof(act1_formula439,axiom,
pinotnoir_aux(lanetannerpinotnoir) ).
fof(act1_formula440,axiom,
pinotnoir_aux(mountedenvineyardestatepinotnoir) ).
fof(act1_formula441,axiom,
port_aux(taylorport) ).
fof(act1_formula442,axiom,
redtablewine_aux(mariettaoldvinesred) ).
fof(act1_formula443,axiom,
region_aux(californiaregion) ).
fof(act1_formula444,axiom,
region_aux(sancerreregion) ).
fof(act1_formula445,axiom,
region_aux(loireregion) ).
fof(act1_formula446,axiom,
region_aux(usregion) ).
fof(act1_formula447,axiom,
region_aux(naparegion) ).
fof(act1_formula448,axiom,
region_aux(newzealandregion) ).
fof(act1_formula449,axiom,
region_aux(chiantiregion) ).
fof(act1_formula450,axiom,
region_aux(sauterneregion) ).
fof(act1_formula451,axiom,
region_aux(germanyregion) ).
fof(act1_formula452,axiom,
region_aux(pauillacregion) ).
fof(act1_formula453,axiom,
region_aux(centraltexasregion) ).
fof(act1_formula454,axiom,
region_aux(bordeauxregion) ).
fof(act1_formula455,axiom,
region_aux(portugalregion) ).
fof(act1_formula456,axiom,
region_aux(anjouregion) ).
fof(act1_formula457,axiom,
region_aux(centralcoastregion) ).
fof(act1_formula458,axiom,
region_aux(sonomaregion) ).
fof(act1_formula459,axiom,
region_aux(santabarbararegion) ).
fof(act1_formula460,axiom,
region_aux(medocregion) ).
fof(act1_formula461,axiom,
region_aux(australianregion) ).
fof(act1_formula462,axiom,
region_aux(southaustraliaregion) ).
fof(act1_formula463,axiom,
region_aux(mendocinoregion) ).
fof(act1_formula464,axiom,
region_aux(santacruzmountainsregion) ).
fof(act1_formula465,axiom,
region_aux(italianregion) ).
fof(act1_formula466,axiom,
region_aux(margauxregion) ).
fof(act1_formula467,axiom,
region_aux(texasregion) ).
fof(act1_formula468,axiom,
region_aux(muscadetregion) ).
fof(act1_formula469,axiom,
region_aux(alsaceregion) ).
fof(act1_formula470,axiom,
region_aux(stemilionregion) ).
fof(act1_formula471,axiom,
region_aux(bourgogneregion) ).
fof(act1_formula472,axiom,
region_aux(toursregion) ).
fof(act1_formula473,axiom,
region_aux(frenchregion) ).
fof(act1_formula474,axiom,
region_aux(cotesdorregion) ).
fof(act1_formula475,axiom,
region_aux(beaujolaisregion) ).
fof(act1_formula476,axiom,
region_aux(meursaultregion) ).
fof(act1_formula477,axiom,
region_aux(ednavalleyregion) ).
fof(act1_formula478,axiom,
region_aux(arroyogranderegion) ).
fof(act1_formula479,axiom,
riesling_aux(corbansdrywhiteriesling) ).
fof(act1_formula480,axiom,
sancerre_aux(closdelapoussiesancerre) ).
fof(act1_formula481,axiom,
sauternes_aux(chateaudychemsauterne) ).
fof(act1_formula482,axiom,
sauvignonblanc_aux(corbansprivatebinsauvignonblanc) ).
fof(act1_formula483,axiom,
sauvignonblanc_aux(corbanssauvignonblanc) ).
fof(act1_formula484,axiom,
sauvignonblanc_aux(stonleighsauvignonblanc) ).
fof(act1_formula485,axiom,
sauvignonblanc_aux(selakssauvignonblanc) ).
fof(act1_formula486,axiom,
semillon_aux(congressspringssemillon) ).
fof(act1_formula487,axiom,
semillon_aux(kalincellarssemillon) ).
fof(act1_formula488,axiom,
stemilion_aux(chateauchevalblancstemilion) ).
fof(act1_formula489,axiom,
sweetriesling_aux(schlossrothermeltrochenbierenausleseriesling) ).
fof(act1_formula490,axiom,
sweetriesling_aux(schlossvolradtrochenbierenausleseriesling) ).
fof(act1_formula491,axiom,
kaon2namedobjects(chateaudemeursault) ).
fof(act1_formula492,axiom,
kaon2namedobjects(seanthackrey) ).
fof(act1_formula493,axiom,
kaon2namedobjects(formancabernetsauvignon) ).
fof(act1_formula494,axiom,
kaon2namedobjects(texasregion) ).
fof(act1_formula495,axiom,
kaon2namedobjects(sonomaregion) ).
fof(act1_formula496,axiom,
kaon2namedobjects(corbansdrywhiteriesling) ).
fof(act1_formula497,axiom,
kaon2namedobjects(cheninblancgrape) ).
fof(act1_formula498,axiom,
kaon2namedobjects(delicate) ).
fof(act1_formula499,axiom,
kaon2namedobjects(petermccoy) ).
fof(act1_formula500,axiom,
kaon2namedobjects(forman) ).
fof(act1_formula501,axiom,
kaon2namedobjects(taylorport) ).
fof(act1_formula502,axiom,
kaon2namedobjects(pagemillwinerycabernetsauvignon) ).
fof(act1_formula503,axiom,
kaon2namedobjects(chateauchevalblancstemilion) ).
fof(act1_formula504,axiom,
kaon2namedobjects(foxencheninblanc) ).
fof(act1_formula505,axiom,
kaon2namedobjects(santacruzmountainvineyardcabernetsauvignon) ).
fof(act1_formula506,axiom,
kaon2namedobjects(selaksicewine) ).
fof(act1_formula507,axiom,
kaon2namedobjects(chardonnaygrape) ).
fof(act1_formula508,axiom,
kaon2namedobjects(sauvignonblancgrape) ).
fof(act1_formula509,axiom,
kaon2namedobjects(cabernetsauvignongrape) ).
fof(act1_formula510,axiom,
kaon2namedobjects(mountadampinotnoir) ).
fof(act1_formula511,axiom,
kaon2namedobjects(pinotblancgrape) ).
fof(act1_formula512,axiom,
kaon2namedobjects(year1998) ).
fof(act1_formula513,axiom,
kaon2namedobjects(cotturizinfandel) ).
fof(act1_formula514,axiom,
kaon2namedobjects(whitehalllaneprimavera) ).
fof(act1_formula515,axiom,
kaon2namedobjects(longridge) ).
fof(act1_formula516,axiom,
kaon2namedobjects(bancroft) ).
fof(act1_formula517,axiom,
kaon2namedobjects(mountedenvineyardednavalleychardonnay) ).
fof(act1_formula518,axiom,
kaon2namedobjects(moderate) ).
fof(act1_formula519,axiom,
kaon2namedobjects(alsaceregion) ).
fof(act1_formula520,axiom,
kaon2namedobjects(saucelitocanyonzinfandel1998) ).
fof(act1_formula521,axiom,
kaon2namedobjects(corbanssauvignonblanc) ).
fof(act1_formula522,axiom,
kaon2namedobjects(full) ).
fof(act1_formula523,axiom,
kaon2namedobjects(taylor) ).
fof(act1_formula524,axiom,
kaon2namedobjects(malbecgrape) ).
fof(act1_formula525,axiom,
kaon2namedobjects(closdevougeot) ).
fof(act1_formula526,axiom,
kaon2namedobjects(corbans) ).
fof(act1_formula527,axiom,
kaon2namedobjects(stonleighsauvignonblanc) ).
fof(act1_formula528,axiom,
kaon2namedobjects(loireregion) ).
fof(act1_formula529,axiom,
kaon2namedobjects(corbansprivatebinsauvignonblanc) ).
fof(act1_formula530,axiom,
kaon2namedobjects(cortonmontrachet) ).
fof(act1_formula531,axiom,
kaon2namedobjects(chateaudychem) ).
fof(act1_formula532,axiom,
kaon2namedobjects(australianregion) ).
fof(act1_formula533,axiom,
kaon2namedobjects(beringer) ).
fof(act1_formula534,axiom,
kaon2namedobjects(formanchardonnay) ).
fof(act1_formula535,axiom,
kaon2namedobjects(chateaudemeursaultmeursault) ).
fof(act1_formula536,axiom,
kaon2namedobjects(merlotgrape) ).
fof(act1_formula537,axiom,
kaon2namedobjects(garyfarrellmerlot) ).
fof(act1_formula538,axiom,
kaon2namedobjects(santacruzmountainvineyard) ).
fof(act1_formula539,axiom,
kaon2namedobjects(portugalregion) ).
fof(act1_formula540,axiom,
kaon2namedobjects(margauxregion) ).
fof(act1_formula541,axiom,
kaon2namedobjects(frenchregion) ).
fof(act1_formula542,axiom,
kaon2namedobjects(strong) ).
fof(act1_formula543,axiom,
kaon2namedobjects(schlossvolradtrochenbierenausleseriesling) ).
fof(act1_formula544,axiom,
kaon2namedobjects(cabernetfrancgrape) ).
fof(act1_formula545,axiom,
kaon2namedobjects(medium) ).
fof(act1_formula546,axiom,
kaon2namedobjects(medocregion) ).
fof(act1_formula547,axiom,
kaon2namedobjects(sangiovesegrape) ).
fof(act1_formula548,axiom,
kaon2namedobjects(toursregion) ).
fof(act1_formula549,axiom,
kaon2namedobjects(chateaumargauxwinery) ).
fof(act1_formula550,axiom,
kaon2namedobjects(closdelapoussiesancerre) ).
fof(act1_formula551,axiom,
kaon2namedobjects(ednavalleyregion) ).
fof(act1_formula552,axiom,
kaon2namedobjects(schlossvolrad) ).
fof(act1_formula553,axiom,
kaon2namedobjects(marietta) ).
fof(act1_formula554,axiom,
kaon2namedobjects(sweet) ).
fof(act1_formula555,axiom,
kaon2namedobjects(arroyogranderegion) ).
fof(act1_formula556,axiom,
kaon2namedobjects(elyse) ).
fof(act1_formula557,axiom,
kaon2namedobjects(whitehalllanecabernetfranc) ).
fof(act1_formula558,axiom,
kaon2namedobjects(anjouregion) ).
fof(act1_formula559,axiom,
kaon2namedobjects(beaujolaisregion) ).
fof(act1_formula560,axiom,
kaon2namedobjects(petermccoychardonnay) ).
fof(act1_formula561,axiom,
kaon2namedobjects(pagemillwinery) ).
fof(act1_formula562,axiom,
kaon2namedobjects(stgenevievetexaswhite) ).
fof(act1_formula563,axiom,
kaon2namedobjects(congresssprings) ).
fof(act1_formula564,axiom,
kaon2namedobjects(germanyregion) ).
fof(act1_formula565,axiom,
kaon2namedobjects(muscadetregion) ).
fof(act1_formula566,axiom,
kaon2namedobjects(garyfarrell) ).
fof(act1_formula567,axiom,
kaon2namedobjects(light) ).
fof(act1_formula568,axiom,
kaon2namedobjects(rieslinggrape) ).
fof(act1_formula569,axiom,
kaon2namedobjects(pauillacregion) ).
fof(act1_formula570,axiom,
kaon2namedobjects(santabarbararegion) ).
fof(act1_formula571,axiom,
kaon2namedobjects(lanetanner) ).
fof(act1_formula572,axiom,
kaon2namedobjects(mcguinnesso) ).
fof(act1_formula573,axiom,
kaon2namedobjects(mendocinoregion) ).
fof(act1_formula574,axiom,
kaon2namedobjects(chateaumorgonbeaujolais) ).
fof(act1_formula575,axiom,
kaon2namedobjects(santacruzmountainsregion) ).
fof(act1_formula576,axiom,
kaon2namedobjects(californiaregion) ).
fof(act1_formula577,axiom,
kaon2namedobjects(sancerreregion) ).
fof(act1_formula578,axiom,
kaon2namedobjects(selakssauvignonblanc) ).
fof(act1_formula579,axiom,
kaon2namedobjects(chateaulafiterothschildpauillac) ).
fof(act1_formula580,axiom,
kaon2namedobjects(cortonmontrachetwhiteburgundy) ).
fof(act1_formula581,axiom,
kaon2namedobjects(lanetannerpinotnoir) ).
fof(act1_formula582,axiom,
kaon2namedobjects(ventana) ).
fof(act1_formula583,axiom,
kaon2namedobjects(cotturi) ).
fof(act1_formula584,axiom,
kaon2namedobjects(mariettaoldvinesred) ).
fof(act1_formula585,axiom,
kaon2namedobjects(rosedanjou) ).
fof(act1_formula586,axiom,
kaon2namedobjects(chateaulafiterothschild) ).
fof(act1_formula587,axiom,
kaon2namedobjects(chateaumorgon) ).
fof(act1_formula588,axiom,
kaon2namedobjects(saucelitocanyon) ).
fof(act1_formula589,axiom,
kaon2namedobjects(ventanacheninblanc) ).
fof(act1_formula590,axiom,
kaon2namedobjects(chateauchevalblanc) ).
fof(act1_formula591,axiom,
kaon2namedobjects(mountadamriesling) ).
fof(act1_formula592,axiom,
kaon2namedobjects(mariettacabernetsauvignon) ).
fof(act1_formula593,axiom,
kaon2namedobjects(sevreetmaine) ).
fof(act1_formula594,axiom,
kaon2namedobjects(saucelitocanyonzinfandel) ).
fof(act1_formula595,axiom,
kaon2namedobjects(seanthackreysiriuspetitesyrah) ).
fof(act1_formula596,axiom,
kaon2namedobjects(stonleigh) ).
fof(act1_formula597,axiom,
kaon2namedobjects(schlossrothermeltrochenbierenausleseriesling) ).
fof(act1_formula598,axiom,
kaon2namedobjects(mariettazinfandel) ).
fof(act1_formula599,axiom,
kaon2namedobjects(kathrynkennedylateral) ).
fof(act1_formula600,axiom,
kaon2namedobjects(mountadamchardonnay) ).
fof(act1_formula601,axiom,
kaon2namedobjects(foxen) ).
fof(act1_formula602,axiom,
kaon2namedobjects(stgenevieve) ).
fof(act1_formula603,axiom,
kaon2namedobjects(offdry) ).
fof(act1_formula604,axiom,
kaon2namedobjects(whitehalllane) ).
fof(act1_formula605,axiom,
kaon2namedobjects(chianticlassico) ).
fof(act1_formula606,axiom,
kaon2namedobjects(pulignymontrachet) ).
fof(act1_formula607,axiom,
kaon2namedobjects(meursaultregion) ).
fof(act1_formula608,axiom,
kaon2namedobjects(mountedenvineyardestatepinotnoir) ).
fof(act1_formula609,axiom,
kaon2namedobjects(kalincellars) ).
fof(act1_formula610,axiom,
kaon2namedobjects(petiteverdotgrape) ).
fof(act1_formula611,axiom,
kaon2namedobjects(chateaumargaux) ).
fof(act1_formula612,axiom,
kaon2namedobjects(kathrynkennedy) ).
fof(act1_formula613,axiom,
kaon2namedobjects(sauterneregion) ).
fof(act1_formula614,axiom,
kaon2namedobjects(bordeauxregion) ).
fof(act1_formula615,axiom,
kaon2namedobjects(white) ).
fof(act1_formula616,axiom,
kaon2namedobjects(mariettapetitesyrah) ).
fof(act1_formula617,axiom,
kaon2namedobjects(handley) ).
fof(act1_formula618,axiom,
kaon2namedobjects(naparegion) ).
fof(act1_formula619,axiom,
kaon2namedobjects(chiantiregion) ).
fof(act1_formula620,axiom,
kaon2namedobjects(chateaudychemsauterne) ).
fof(act1_formula621,axiom,
kaon2namedobjects(elysezinfandel) ).
fof(act1_formula622,axiom,
kaon2namedobjects(pulignymontrachetwhiteburgundy) ).
fof(act1_formula623,axiom,
kaon2namedobjects(kalincellarssemillon) ).
fof(act1_formula624,axiom,
kaon2namedobjects(closdevougeotcotesdor) ).
fof(act1_formula625,axiom,
kaon2namedobjects(schlossrothermel) ).
fof(act1_formula626,axiom,
kaon2namedobjects(bancroftchardonnay) ).
fof(act1_formula627,axiom,
kaon2namedobjects(southaustraliaregion) ).
fof(act1_formula628,axiom,
kaon2namedobjects(semillongrape) ).
fof(act1_formula629,axiom,
kaon2namedobjects(danjou) ).
fof(act1_formula630,axiom,
kaon2namedobjects(gamaygrape) ).
fof(act1_formula631,axiom,
kaon2namedobjects(zinfandelgrape) ).
fof(act1_formula632,axiom,
kaon2namedobjects(longridgemerlot) ).
fof(act1_formula633,axiom,
kaon2namedobjects(mountedenvineyard) ).
fof(act1_formula634,axiom,
kaon2namedobjects(bourgogneregion) ).
fof(act1_formula635,axiom,
kaon2namedobjects(usregion) ).
fof(act1_formula636,axiom,
kaon2namedobjects(centraltexasregion) ).
fof(act1_formula637,axiom,
kaon2namedobjects(congressspringssemillon) ).
fof(act1_formula638,axiom,
kaon2namedobjects(selaks) ).
fof(act1_formula639,axiom,
kaon2namedobjects(dry) ).
fof(act1_formula640,axiom,
kaon2namedobjects(newzealandregion) ).
fof(act1_formula641,axiom,
kaon2namedobjects(red) ).
fof(act1_formula642,axiom,
kaon2namedobjects(closdelapoussie) ).
fof(act1_formula643,axiom,
kaon2namedobjects(cotesdorregion) ).
fof(act1_formula644,axiom,
kaon2namedobjects(rose) ).
fof(act1_formula645,axiom,
kaon2namedobjects(mountadam) ).
fof(act1_formula646,axiom,
kaon2namedobjects(sevreetmainemuscadet) ).
fof(act1_formula647,axiom,
kaon2namedobjects(pinotnoirgrape) ).
fof(act1_formula648,axiom,
kaon2namedobjects(stemilionregion) ).
fof(act1_formula649,axiom,
kaon2namedobjects(italianregion) ).
fof(act1_formula650,axiom,
kaon2namedobjects(centralcoastregion) ).
fof(act1_formula651,axiom,
kaon2namedobjects(petitesyrahgrape) ).
fof(act1_formula652,axiom,
vintageyear_aux(year1998) ).
fof(act1_formula653,axiom,
hasvintageyear_aux(saucelitocanyonzinfandel1998,year1998) ).
% wine ontology. based on: http://projects.semwebcentral.org/scm/viewvc.php/openrulebench/recursion/xsb/wine.P?root=rulebench&view=markup
fof(act2_formula1,axiom,
! [X,Y] :
( madefromgrape_aux(X,Y)
=> madefromgrape(X,Y) ) ).
fof(act2_formula2,axiom,
! [X,Y] :
( locatedin_aux(X,Y)
=> locatedin(X,Y) ) ).
fof(act2_formula3,axiom,
! [X,Y] :
( hassugar_aux(X,Y)
=> hassugar(X,Y) ) ).
fof(act2_formula4,axiom,
! [X,Y] :
( hasmaker_aux(X,Y)
=> hasmaker(X,Y) ) ).
fof(act2_formula5,axiom,
! [X,Y] :
( hasflavor_aux(X,Y)
=> hasflavor(X,Y) ) ).
fof(act2_formula6,axiom,
! [X,Y] :
( hascolor_aux(X,Y)
=> hascolor(X,Y) ) ).
fof(act2_formula7,axiom,
! [X,Y] :
( hasbody_aux(X,Y)
=> hasbody(X,Y) ) ).
fof(act2_formula8,axiom,
! [Y,X] :
( adjacentregion_aux(Y,X)
=> adjacentregion(Y,X) ) ).
fof(act2_formula9,axiom,
! [Y,X] :
( hasvintageyear_aux(Y,X)
=> hasvintageyear(Y,X) ) ).
fof(act2_formula10,axiom,
! [X] :
( ot____nom1_aux(X)
=> ot____nom1(X) ) ).
fof(act2_formula11,axiom,
! [X] :
( ot____nom10_aux(X)
=> ot____nom10(X) ) ).
fof(act2_formula12,axiom,
! [X] :
( ot____nom11_aux(X)
=> ot____nom11(X) ) ).
fof(act2_formula13,axiom,
! [X] :
( ot____nom12_aux(X)
=> ot____nom12(X) ) ).
fof(act2_formula14,axiom,
! [X] :
( ot____nom13_aux(X)
=> ot____nom13(X) ) ).
fof(act2_formula15,axiom,
! [X] :
( ot____nom14_aux(X)
=> ot____nom14(X) ) ).
fof(act2_formula16,axiom,
! [X] :
( ot____nom15_aux(X)
=> ot____nom15(X) ) ).
fof(act2_formula17,axiom,
! [X] :
( ot____nom16_aux(X)
=> ot____nom16(X) ) ).
fof(act2_formula18,axiom,
! [X] :
( ot____nom17_aux(X)
=> ot____nom17(X) ) ).
fof(act2_formula19,axiom,
! [X] :
( ot____nom18_aux(X)
=> ot____nom18(X) ) ).
fof(act2_formula20,axiom,
! [X] :
( ot____nom19_aux(X)
=> ot____nom19(X) ) ).
fof(act2_formula21,axiom,
! [X] :
( ot____nom2_aux(X)
=> ot____nom2(X) ) ).
fof(act2_formula22,axiom,
! [X] :
( ot____nom20_aux(X)
=> ot____nom20(X) ) ).
fof(act2_formula23,axiom,
! [X] :
( ot____nom21_aux(X)
=> ot____nom21(X) ) ).
fof(act2_formula24,axiom,
! [X] :
( ot____nom22_aux(X)
=> ot____nom22(X) ) ).
fof(act2_formula25,axiom,
! [X] :
( ot____nom23_aux(X)
=> ot____nom23(X) ) ).
fof(act2_formula26,axiom,
! [X] :
( ot____nom24_aux(X)
=> ot____nom24(X) ) ).
fof(act2_formula27,axiom,
! [X] :
( ot____nom25_aux(X)
=> ot____nom25(X) ) ).
fof(act2_formula28,axiom,
! [X] :
( ot____nom26_aux(X)
=> ot____nom26(X) ) ).
fof(act2_formula29,axiom,
! [X] :
( ot____nom27_aux(X)
=> ot____nom27(X) ) ).
fof(act2_formula30,axiom,
! [X] :
( ot____nom28_aux(X)
=> ot____nom28(X) ) ).
fof(act2_formula31,axiom,
! [X] :
( ot____nom29_aux(X)
=> ot____nom29(X) ) ).
fof(act2_formula32,axiom,
! [X] :
( ot____nom3_aux(X)
=> ot____nom3(X) ) ).
fof(act2_formula33,axiom,
! [X] :
( ot____nom30_aux(X)
=> ot____nom30(X) ) ).
fof(act2_formula34,axiom,
! [X] :
( ot____nom31_aux(X)
=> ot____nom31(X) ) ).
fof(act2_formula35,axiom,
! [X] :
( ot____nom32_aux(X)
=> ot____nom32(X) ) ).
fof(act2_formula36,axiom,
! [X] :
( ot____nom33_aux(X)
=> ot____nom33(X) ) ).
fof(act2_formula37,axiom,
! [X] :
( ot____nom34_aux(X)
=> ot____nom34(X) ) ).
fof(act2_formula38,axiom,
! [X] :
( ot____nom35_aux(X)
=> ot____nom35(X) ) ).
fof(act2_formula39,axiom,
! [X] :
( ot____nom36_aux(X)
=> ot____nom36(X) ) ).
fof(act2_formula40,axiom,
! [X] :
( ot____nom37_aux(X)
=> ot____nom37(X) ) ).
fof(act2_formula41,axiom,
! [X] :
( ot____nom38_aux(X)
=> ot____nom38(X) ) ).
fof(act2_formula42,axiom,
! [X] :
( ot____nom39_aux(X)
=> ot____nom39(X) ) ).
fof(act2_formula43,axiom,
! [X] :
( ot____nom4_aux(X)
=> ot____nom4(X) ) ).
fof(act2_formula44,axiom,
! [X] :
( ot____nom40_aux(X)
=> ot____nom40(X) ) ).
fof(act2_formula45,axiom,
! [X] :
( ot____nom41_aux(X)
=> ot____nom41(X) ) ).
fof(act2_formula46,axiom,
! [X] :
( ot____nom42_aux(X)
=> ot____nom42(X) ) ).
fof(act2_formula47,axiom,
! [X] :
( ot____nom43_aux(X)
=> ot____nom43(X) ) ).
fof(act2_formula48,axiom,
! [X] :
( ot____nom44_aux(X)
=> ot____nom44(X) ) ).
fof(act2_formula49,axiom,
! [X] :
( ot____nom45_aux(X)
=> ot____nom45(X) ) ).
fof(act2_formula50,axiom,
! [X] :
( ot____nom46_aux(X)
=> ot____nom46(X) ) ).
fof(act2_formula51,axiom,
! [X] :
( ot____nom47_aux(X)
=> ot____nom47(X) ) ).
fof(act2_formula52,axiom,
! [X] :
( ot____nom48_aux(X)
=> ot____nom48(X) ) ).
fof(act2_formula53,axiom,
! [X] :
( ot____nom49_aux(X)
=> ot____nom49(X) ) ).
fof(act2_formula54,axiom,
! [X] :
( ot____nom5_aux(X)
=> ot____nom5(X) ) ).
fof(act2_formula55,axiom,
! [X] :
( ot____nom50_aux(X)
=> ot____nom50(X) ) ).
fof(act2_formula56,axiom,
! [X] :
( ot____nom51_aux(X)
=> ot____nom51(X) ) ).
fof(act2_formula57,axiom,
! [X] :
( ot____nom52_aux(X)
=> ot____nom52(X) ) ).
fof(act2_formula58,axiom,
! [X] :
( ot____nom53_aux(X)
=> ot____nom53(X) ) ).
fof(act2_formula59,axiom,
! [X] :
( ot____nom54_aux(X)
=> ot____nom54(X) ) ).
fof(act2_formula60,axiom,
! [X] :
( ot____nom55_aux(X)
=> ot____nom55(X) ) ).
fof(act2_formula61,axiom,
! [X] :
( ot____nom56_aux(X)
=> ot____nom56(X) ) ).
fof(act2_formula62,axiom,
! [X] :
( ot____nom57_aux(X)
=> ot____nom57(X) ) ).
fof(act2_formula63,axiom,
! [X] :
( ot____nom58_aux(X)
=> ot____nom58(X) ) ).
fof(act2_formula64,axiom,
! [X] :
( ot____nom59_aux(X)
=> ot____nom59(X) ) ).
fof(act2_formula65,axiom,
! [X] :
( ot____nom6_aux(X)
=> ot____nom6(X) ) ).
fof(act2_formula66,axiom,
! [X] :
( ot____nom60_aux(X)
=> ot____nom60(X) ) ).
fof(act2_formula67,axiom,
! [X] :
( ot____nom61_aux(X)
=> ot____nom61(X) ) ).
fof(act2_formula68,axiom,
! [X] :
( ot____nom62_aux(X)
=> ot____nom62(X) ) ).
fof(act2_formula69,axiom,
! [X] :
( ot____nom63_aux(X)
=> ot____nom63(X) ) ).
fof(act2_formula70,axiom,
! [X] :
( ot____nom64_aux(X)
=> ot____nom64(X) ) ).
fof(act2_formula71,axiom,
! [X] :
( ot____nom7_aux(X)
=> ot____nom7(X) ) ).
fof(act2_formula72,axiom,
! [X] :
( ot____nom8_aux(X)
=> ot____nom8(X) ) ).
fof(act2_formula73,axiom,
! [X] :
( ot____nom9_aux(X)
=> ot____nom9(X) ) ).
fof(act2_formula74,axiom,
! [X] :
( zinfandel_aux(X)
=> zinfandel(X) ) ).
fof(act2_formula75,axiom,
! [X] :
( winery_aux(X)
=> winery(X) ) ).
fof(act2_formula76,axiom,
! [X] :
( winegrape_aux(X)
=> winegrape(X) ) ).
fof(act2_formula77,axiom,
! [X] :
( winesugar_aux(X)
=> winesugar(X) ) ).
fof(act2_formula78,axiom,
! [X] :
( wineflavor_aux(X)
=> wineflavor(X) ) ).
fof(act2_formula79,axiom,
! [X] :
( anjou_aux(X)
=> anjou(X) ) ).
fof(act2_formula80,axiom,
! [X] :
( beaujolais_aux(X)
=> beaujolais(X) ) ).
fof(act2_formula81,axiom,
! [X] :
( cabernetfranc_aux(X)
=> cabernetfranc(X) ) ).
fof(act2_formula82,axiom,
! [X] :
( cabernetsauvignon_aux(X)
=> cabernetsauvignon(X) ) ).
fof(act2_formula83,axiom,
! [X] :
( chardonnay_aux(X)
=> chardonnay(X) ) ).
fof(act2_formula84,axiom,
! [X] :
( cheninblanc_aux(X)
=> cheninblanc(X) ) ).
fof(act2_formula85,axiom,
! [X] :
( chianti_aux(X)
=> chianti(X) ) ).
fof(act2_formula86,axiom,
! [X] :
( cotesdor_aux(X)
=> cotesdor(X) ) ).
fof(act2_formula87,axiom,
! [X] :
( dessertwine_aux(X)
=> dessertwine(X) ) ).
fof(act2_formula88,axiom,
! [X] :
( dryriesling_aux(X)
=> dryriesling(X) ) ).
fof(act2_formula89,axiom,
! [X] :
( icewine_aux(X)
=> icewine(X) ) ).
fof(act2_formula90,axiom,
! [X] :
( margaux_aux(X)
=> margaux(X) ) ).
fof(act2_formula91,axiom,
! [X] :
( meritage_aux(X)
=> meritage(X) ) ).
fof(act2_formula92,axiom,
! [X] :
( merlot_aux(X)
=> merlot(X) ) ).
fof(act2_formula93,axiom,
! [X] :
( meursault_aux(X)
=> meursault(X) ) ).
fof(act2_formula94,axiom,
! [X] :
( muscadet_aux(X)
=> muscadet(X) ) ).
fof(act2_formula95,axiom,
! [X] :
( pauillac_aux(X)
=> pauillac(X) ) ).
fof(act2_formula96,axiom,
! [X] :
( petitesyrah_aux(X)
=> petitesyrah(X) ) ).
fof(act2_formula97,axiom,
! [X] :
( pinotnoir_aux(X)
=> pinotnoir(X) ) ).
fof(act2_formula98,axiom,
! [X] :
( port_aux(X)
=> port(X) ) ).
fof(act2_formula99,axiom,
! [X] :
( redtablewine_aux(X)
=> redtablewine(X) ) ).
fof(act2_formula100,axiom,
! [X] :
( region_aux(X)
=> region(X) ) ).
fof(act2_formula101,axiom,
! [X] :
( riesling_aux(X)
=> riesling(X) ) ).
fof(act2_formula102,axiom,
! [X] :
( sancerre_aux(X)
=> sancerre(X) ) ).
fof(act2_formula103,axiom,
! [X] :
( sauternes_aux(X)
=> sauternes(X) ) ).
fof(act2_formula104,axiom,
! [X] :
( sauvignonblanc_aux(X)
=> sauvignonblanc(X) ) ).
fof(act2_formula105,axiom,
! [X] :
( semillon_aux(X)
=> semillon(X) ) ).
fof(act2_formula106,axiom,
! [X] :
( stemilion_aux(X)
=> stemilion(X) ) ).
fof(act2_formula107,axiom,
! [X] :
( sweetriesling_aux(X)
=> sweetriesling(X) ) ).
fof(act2_formula108,axiom,
! [X] :
( vintageyear_aux(X)
=> vintageyear(X) ) ).
fof(act2_formula109,axiom,
! [X] :
( whiteburgundy_aux(X)
=> whiteburgundy(X) ) ).
fof(act2_formula110,axiom,
! [X] :
( whitewine_aux(X)
=> whitewine(X) ) ).
fof(act2_formula111,axiom,
! [X] :
( winebody_aux(X)
=> winebody(X) ) ).
fof(act2_formula112,axiom,
! [X] :
( winecolor_aux(X)
=> winecolor(X) ) ).
fof(act2_formula113,axiom,
! [X] :
( meritage(X)
=> q0(X) ) ).
fof(act2_formula114,axiom,
! [X] :
( merlot(X)
=> q0(X) ) ).
fof(act2_formula115,axiom,
! [X] :
( pinotnoir(X)
=> q0(X) ) ).
fof(act2_formula116,axiom,
! [X] :
( beaujolais(X)
=> q0(X) ) ).
fof(act2_formula117,axiom,
! [X] :
( cabernetfranc(X)
=> q0(X) ) ).
fof(act2_formula118,axiom,
! [X] :
( zinfandel(X)
=> q0(X) ) ).
fof(act2_formula119,axiom,
! [X] :
( medoc(X)
=> q0(X) ) ).
fof(act2_formula120,axiom,
! [X] :
( cabernetsauvignon(X)
=> q0(X) ) ).
fof(act2_formula121,axiom,
! [X] :
( redtablewine(X)
=> q0(X) ) ).
fof(act2_formula122,axiom,
! [X] :
( petitesyrah(X)
=> q0(X) ) ).
fof(act2_formula123,axiom,
! [X] :
( redwine(X)
=> q0(X) ) ).
fof(act2_formula124,axiom,
! [X] :
( chianti(X)
=> q0(X) ) ).
fof(act2_formula125,axiom,
! [X] :
( stemilion(X)
=> q0(X) ) ).
fof(act2_formula126,axiom,
! [Y,X] :
( ( q0(Y)
& kaon2equal(X,Y) )
=> q0(X) ) ).
fof(act2_formula127,axiom,
! [X] :
( bordeaux(X)
=> q1(X) ) ).
fof(act2_formula128,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q2(Y) )
=> q1(X) ) ).
fof(act2_formula129,axiom,
! [Y,X] :
( ( q1(Y)
& kaon2equal(X,Y) )
=> q1(X) ) ).
fof(act2_formula130,axiom,
! [X] :
( q9(X)
=> q10(X) ) ).
fof(act2_formula131,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom4(Y) )
=> q10(X) ) ).
fof(act2_formula132,axiom,
! [Y,X] :
( ( q10(Y)
& kaon2equal(X,Y) )
=> q10(X) ) ).
fof(act2_formula133,axiom,
! [X] :
( pauillac(X)
=> q11(X) ) ).
fof(act2_formula134,axiom,
! [X] :
( port(X)
=> q11(X) ) ).
fof(act2_formula135,axiom,
! [X] :
( stemilion(X)
=> q11(X) ) ).
fof(act2_formula136,axiom,
! [Y,X] :
( ( q11(Y)
& kaon2equal(X,Y) )
=> q11(X) ) ).
fof(act2_formula137,axiom,
! [X] :
( icewine(X)
=> q12(X) ) ).
fof(act2_formula138,axiom,
! [X] :
( whitetablewine(X)
=> q12(X) ) ).
fof(act2_formula139,axiom,
! [X] :
( cheninblanc(X)
=> q12(X) ) ).
fof(act2_formula140,axiom,
! [X] :
( chardonnay(X)
=> q12(X) ) ).
fof(act2_formula141,axiom,
! [X] :
( pinotblanc(X)
=> q12(X) ) ).
fof(act2_formula142,axiom,
! [X] :
( whitewine(X)
=> q12(X) ) ).
fof(act2_formula143,axiom,
! [X] :
( dryriesling(X)
=> q12(X) ) ).
fof(act2_formula144,axiom,
! [X] :
( sauternes(X)
=> q12(X) ) ).
fof(act2_formula145,axiom,
! [X] :
( semillonorsauvignonblanc(X)
=> q12(X) ) ).
fof(act2_formula146,axiom,
! [X] :
( riesling(X)
=> q12(X) ) ).
fof(act2_formula147,axiom,
! [Y,X] :
( ( q12(Y)
& kaon2equal(X,Y) )
=> q12(X) ) ).
fof(act2_formula148,axiom,
! [X] :
( margaux(X)
=> q13(X) ) ).
fof(act2_formula149,axiom,
! [X] :
( merlot(X)
=> q13(X) ) ).
fof(act2_formula150,axiom,
! [Y,X] :
( ( q13(Y)
& kaon2equal(X,Y) )
=> q13(X) ) ).
fof(act2_formula151,axiom,
! [X] :
( gamay(X)
=> q14(X) ) ).
fof(act2_formula152,axiom,
! [X] :
( beaujolais(X)
=> q14(X) ) ).
fof(act2_formula153,axiom,
! [Y,X] :
( ( q14(Y)
& kaon2equal(X,Y) )
=> q14(X) ) ).
fof(act2_formula154,axiom,
! [X] :
( anjou(X)
=> q15(X) ) ).
fof(act2_formula155,axiom,
! [X] :
( rosewine(X)
=> q15(X) ) ).
fof(act2_formula156,axiom,
! [Y,X] :
( ( q15(Y)
& kaon2equal(X,Y) )
=> q15(X) ) ).
fof(act2_formula157,axiom,
! [X] :
( meursault(X)
=> q16(X) ) ).
fof(act2_formula158,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q17(Y) )
=> q16(X) ) ).
fof(act2_formula159,axiom,
! [Y,X] :
( ( q16(Y)
& kaon2equal(X,Y) )
=> q16(X) ) ).
fof(act2_formula160,axiom,
! [X] :
( q16(X)
=> q17(X) ) ).
fof(act2_formula161,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom31(Y) )
=> q17(X) ) ).
fof(act2_formula162,axiom,
! [Y,X] :
( ( q17(Y)
& kaon2equal(X,Y) )
=> q17(X) ) ).
fof(act2_formula163,axiom,
! [X] :
( margaux(X)
=> q18(X) ) ).
fof(act2_formula164,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q19(Y) )
=> q18(X) ) ).
fof(act2_formula165,axiom,
! [Y,X] :
( ( q18(Y)
& kaon2equal(X,Y) )
=> q18(X) ) ).
fof(act2_formula166,axiom,
! [X] :
( q18(X)
=> q19(X) ) ).
fof(act2_formula167,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom22(Y) )
=> q19(X) ) ).
fof(act2_formula168,axiom,
! [Y,X] :
( ( q19(Y)
& kaon2equal(X,Y) )
=> q19(X) ) ).
fof(act2_formula169,axiom,
! [X] :
( q1(X)
=> q2(X) ) ).
fof(act2_formula170,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom23(Y) )
=> q2(X) ) ).
fof(act2_formula171,axiom,
! [Y,X] :
( ( q2(Y)
& kaon2equal(X,Y) )
=> q2(X) ) ).
fof(act2_formula172,axiom,
! [X] :
( sancerre(X)
=> q20(X) ) ).
fof(act2_formula173,axiom,
! [X] :
( muscadet(X)
=> q20(X) ) ).
fof(act2_formula174,axiom,
! [X] :
( beaujolais(X)
=> q20(X) ) ).
fof(act2_formula175,axiom,
! [X] :
( dryriesling(X)
=> q20(X) ) ).
fof(act2_formula176,axiom,
! [X] :
( anjou(X)
=> q20(X) ) ).
fof(act2_formula177,axiom,
! [X] :
( margaux(X)
=> q20(X) ) ).
fof(act2_formula178,axiom,
! [Y,X] :
( ( q20(Y)
& kaon2equal(X,Y) )
=> q20(X) ) ).
fof(act2_formula179,axiom,
! [X] :
( q12(X)
=> q21(X) ) ).
fof(act2_formula180,axiom,
! [X,Y] :
( ( hascolor(X,Y)
& ot____nom5(Y) )
=> q21(X) ) ).
fof(act2_formula181,axiom,
! [Y,X] :
( ( q21(Y)
& kaon2equal(X,Y) )
=> q21(X) ) ).
fof(act2_formula182,axiom,
! [X] :
( beaujolais(X)
=> q22(X) ) ).
fof(act2_formula183,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q23(Y) )
=> q22(X) ) ).
fof(act2_formula184,axiom,
! [Y,X] :
( ( q22(Y)
& kaon2equal(X,Y) )
=> q22(X) ) ).
fof(act2_formula185,axiom,
! [X] :
( q22(X)
=> q23(X) ) ).
fof(act2_formula186,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom26(Y) )
=> q23(X) ) ).
fof(act2_formula187,axiom,
! [Y,X] :
( ( q23(Y)
& kaon2equal(X,Y) )
=> q23(X) ) ).
fof(act2_formula188,axiom,
! [X] :
( pinotblanc(X)
=> q24(X) ) ).
fof(act2_formula189,axiom,
! [X] :
( muscadet(X)
=> q24(X) ) ).
fof(act2_formula190,axiom,
! [Y,X] :
( ( q24(Y)
& kaon2equal(X,Y) )
=> q24(X) ) ).
fof(act2_formula191,axiom,
! [X] :
( americanwine(X)
=> q26(X) ) ).
fof(act2_formula192,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q27(Y) )
=> q26(X) ) ).
fof(act2_formula193,axiom,
! [Y,X] :
( ( q26(Y)
& kaon2equal(X,Y) )
=> q26(X) ) ).
fof(act2_formula194,axiom,
! [X] :
( q26(X)
=> q27(X) ) ).
fof(act2_formula195,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom38(Y) )
=> q27(X) ) ).
fof(act2_formula196,axiom,
! [Y,X] :
( ( q27(Y)
& kaon2equal(X,Y) )
=> q27(X) ) ).
fof(act2_formula197,axiom,
! [X] :
( burgundy(X)
=> q29(X) ) ).
fof(act2_formula198,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q30(Y) )
=> q29(X) ) ).
fof(act2_formula199,axiom,
! [Y,X] :
( ( q29(Y)
& kaon2equal(X,Y) )
=> q29(X) ) ).
fof(act2_formula200,axiom,
! [X] :
( margaux(X)
=> q3(X) ) ).
fof(act2_formula201,axiom,
! [X] :
( pauillac(X)
=> q3(X) ) ).
fof(act2_formula202,axiom,
! [X] :
( zinfandel(X)
=> q3(X) ) ).
fof(act2_formula203,axiom,
! [X] :
( chardonnay(X)
=> q3(X) ) ).
fof(act2_formula204,axiom,
! [X] :
( tours(X)
=> q3(X) ) ).
fof(act2_formula205,axiom,
! [X] :
( riesling(X)
=> q3(X) ) ).
fof(act2_formula206,axiom,
! [X] :
( semillon(X)
=> q3(X) ) ).
fof(act2_formula207,axiom,
! [X] :
( petitesyrah(X)
=> q3(X) ) ).
fof(act2_formula208,axiom,
! [X] :
( whiteburgundy(X)
=> q3(X) ) ).
fof(act2_formula209,axiom,
! [X] :
( cabernetsauvignon(X)
=> q3(X) ) ).
fof(act2_formula210,axiom,
! [X] :
( cheninblanc(X)
=> q3(X) ) ).
fof(act2_formula211,axiom,
! [X] :
( sauvignonblanc(X)
=> q3(X) ) ).
fof(act2_formula212,axiom,
! [X] :
( cabernetfranc(X)
=> q3(X) ) ).
fof(act2_formula213,axiom,
! [X] :
( beaujolais(X)
=> q3(X) ) ).
fof(act2_formula214,axiom,
! [X] :
( stemilion(X)
=> q3(X) ) ).
fof(act2_formula215,axiom,
! [X] :
( pinotnoir(X)
=> q3(X) ) ).
fof(act2_formula216,axiom,
! [X] :
( sancerre(X)
=> q3(X) ) ).
fof(act2_formula217,axiom,
! [X] :
( redburgundy(X)
=> q3(X) ) ).
fof(act2_formula218,axiom,
! [X] :
( muscadet(X)
=> q3(X) ) ).
fof(act2_formula219,axiom,
! [X] :
( merlot(X)
=> q3(X) ) ).
fof(act2_formula220,axiom,
! [X] :
( pinotblanc(X)
=> q3(X) ) ).
fof(act2_formula221,axiom,
! [X] :
( gamay(X)
=> q3(X) ) ).
fof(act2_formula222,axiom,
! [Y,X] :
( ( q3(Y)
& kaon2equal(X,Y) )
=> q3(X) ) ).
fof(act2_formula223,axiom,
! [X] :
( ( ot____nom8(X)
& wine(X)
& kaon2namedobjects(X) )
=> q3(X) ) ).
fof(act2_formula224,axiom,
! [X] :
( q29(X)
=> q30(X) ) ).
fof(act2_formula225,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom44(Y) )
=> q30(X) ) ).
fof(act2_formula226,axiom,
! [Y,X] :
( ( q30(Y)
& kaon2equal(X,Y) )
=> q30(X) ) ).
fof(act2_formula227,axiom,
! [X] :
( chianti(X)
=> q31(X) ) ).
fof(act2_formula228,axiom,
! [X] :
( cabernetsauvignon(X)
=> q31(X) ) ).
fof(act2_formula229,axiom,
! [X] :
( medoc(X)
=> q31(X) ) ).
fof(act2_formula230,axiom,
! [X] :
( merlot(X)
=> q31(X) ) ).
fof(act2_formula231,axiom,
! [X] :
( muscadet(X)
=> q31(X) ) ).
fof(act2_formula232,axiom,
! [X] :
( tablewine(X)
=> q31(X) ) ).
fof(act2_formula233,axiom,
! [X] :
( drywine(X)
=> q31(X) ) ).
fof(act2_formula234,axiom,
! [X] :
( beaujolais(X)
=> q31(X) ) ).
fof(act2_formula235,axiom,
! [X] :
( zinfandel(X)
=> q31(X) ) ).
fof(act2_formula236,axiom,
! [X] :
( cabernetfranc(X)
=> q31(X) ) ).
fof(act2_formula237,axiom,
! [X] :
( burgundy(X)
=> q31(X) ) ).
fof(act2_formula238,axiom,
! [X] :
( dryriesling(X)
=> q31(X) ) ).
fof(act2_formula239,axiom,
! [X] :
( petitesyrah(X)
=> q31(X) ) ).
fof(act2_formula240,axiom,
! [Y,X] :
( ( q31(Y)
& kaon2equal(X,Y) )
=> q31(X) ) ).
fof(act2_formula241,axiom,
! [X] :
( sancerre(X)
=> q32(X) ) ).
fof(act2_formula242,axiom,
! [X] :
( anjou(X)
=> q32(X) ) ).
fof(act2_formula243,axiom,
! [Y,X] :
( ( q32(Y)
& kaon2equal(X,Y) )
=> q32(X) ) ).
fof(act2_formula244,axiom,
! [X] :
( medoc(X)
=> q33(X) ) ).
fof(act2_formula245,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q34(Y) )
=> q33(X) ) ).
fof(act2_formula246,axiom,
! [Y,X] :
( ( q33(Y)
& kaon2equal(X,Y) )
=> q33(X) ) ).
fof(act2_formula247,axiom,
! [X] :
( q33(X)
=> q34(X) ) ).
fof(act2_formula248,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom2(Y) )
=> q34(X) ) ).
fof(act2_formula249,axiom,
! [Y,X] :
( ( q34(Y)
& kaon2equal(X,Y) )
=> q34(X) ) ).
fof(act2_formula250,axiom,
! [X] :
( pauillac(X)
=> q35(X) ) ).
fof(act2_formula251,axiom,
! [X] :
( port(X)
=> q35(X) ) ).
fof(act2_formula252,axiom,
! [X] :
( sweetriesling(X)
=> q35(X) ) ).
fof(act2_formula253,axiom,
! [X] :
( meursault(X)
=> q35(X) ) ).
fof(act2_formula254,axiom,
! [X] :
( fullbodiedwine(X)
=> q35(X) ) ).
fof(act2_formula255,axiom,
! [Y,X] :
( ( q35(Y)
& kaon2equal(X,Y) )
=> q35(X) ) ).
fof(act2_formula256,axiom,
! [X] :
( whitenonsweetwine(X)
=> q36(X) ) ).
fof(act2_formula257,axiom,
! [X] :
( earlyharvest(X)
=> q36(X) ) ).
fof(act2_formula258,axiom,
! [X] :
( cheninblanc(X)
=> q36(X) ) ).
fof(act2_formula259,axiom,
! [Y,X] :
( ( q36(Y)
& kaon2equal(X,Y) )
=> q36(X) ) ).
fof(act2_formula260,axiom,
! [X] :
( cotesdor(X)
=> q37(X) ) ).
fof(act2_formula261,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q38(Y) )
=> q37(X) ) ).
fof(act2_formula262,axiom,
! [Y,X] :
( ( q37(Y)
& kaon2equal(X,Y) )
=> q37(X) ) ).
fof(act2_formula263,axiom,
! [X] :
( q37(X)
=> q38(X) ) ).
fof(act2_formula264,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom42(Y) )
=> q38(X) ) ).
fof(act2_formula265,axiom,
! [Y,X] :
( ( q38(Y)
& kaon2equal(X,Y) )
=> q38(X) ) ).
fof(act2_formula266,axiom,
! [X] :
( sancerre(X)
=> q39(X) ) ).
fof(act2_formula267,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q40(Y) )
=> q39(X) ) ).
fof(act2_formula268,axiom,
! [Y,X] :
( ( q39(Y)
& kaon2equal(X,Y) )
=> q39(X) ) ).
fof(act2_formula269,axiom,
! [X] :
( cheninblanc(X)
=> q4(X) ) ).
fof(act2_formula270,axiom,
! [X] :
( chianti(X)
=> q4(X) ) ).
fof(act2_formula271,axiom,
! [X] :
( cabernetfranc(X)
=> q4(X) ) ).
fof(act2_formula272,axiom,
! [X] :
( cotesdor(X)
=> q4(X) ) ).
fof(act2_formula273,axiom,
! [Y,X] :
( ( q4(Y)
& kaon2equal(X,Y) )
=> q4(X) ) ).
fof(act2_formula274,axiom,
! [X] :
( q39(X)
=> q40(X) ) ).
fof(act2_formula275,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom30(Y) )
=> q40(X) ) ).
fof(act2_formula276,axiom,
! [Y,X] :
( ( q40(Y)
& kaon2equal(X,Y) )
=> q40(X) ) ).
fof(act2_formula277,axiom,
! [X] :
( q0(X)
=> q41(X) ) ).
fof(act2_formula278,axiom,
! [X,Y] :
( ( hascolor(X,Y)
& ot____nom28(Y) )
=> q41(X) ) ).
fof(act2_formula279,axiom,
! [Y,X] :
( ( q41(Y)
& kaon2equal(X,Y) )
=> q41(X) ) ).
fof(act2_formula280,axiom,
! [X] :
( pauillac(X)
=> q42(X) ) ).
fof(act2_formula281,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q43(Y) )
=> q42(X) ) ).
fof(act2_formula282,axiom,
! [Y,X] :
( ( q42(Y)
& kaon2equal(X,Y) )
=> q42(X) ) ).
fof(act2_formula283,axiom,
! [X] :
( q42(X)
=> q43(X) ) ).
fof(act2_formula284,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom46(Y) )
=> q43(X) ) ).
fof(act2_formula285,axiom,
! [Y,X] :
( ( q43(Y)
& kaon2equal(X,Y) )
=> q43(X) ) ).
fof(act2_formula286,axiom,
! [X] :
( sancerre(X)
=> q44(X) ) ).
fof(act2_formula287,axiom,
! [X] :
( sauvignonblanc(X)
=> q44(X) ) ).
fof(act2_formula288,axiom,
! [Y,X] :
( ( q44(Y)
& kaon2equal(X,Y) )
=> q44(X) ) ).
fof(act2_formula289,axiom,
! [X] :
( beaujolais(X)
=> q45(X) ) ).
fof(act2_formula290,axiom,
! [X] :
( muscadet(X)
=> q45(X) ) ).
fof(act2_formula291,axiom,
! [X] :
( anjou(X)
=> q45(X) ) ).
fof(act2_formula292,axiom,
! [Y,X] :
( ( q45(Y)
& kaon2equal(X,Y) )
=> q45(X) ) ).
fof(act2_formula293,axiom,
! [X] :
( q31(X)
=> q46(X) ) ).
fof(act2_formula294,axiom,
! [X,Y] :
( ( hassugar(X,Y)
& ot____nom12(Y) )
=> q46(X) ) ).
fof(act2_formula295,axiom,
! [Y,X] :
( ( q46(Y)
& kaon2equal(X,Y) )
=> q46(X) ) ).
fof(act2_formula296,axiom,
! [X] :
( californiawine(X)
=> q47(X) ) ).
fof(act2_formula297,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q48(Y) )
=> q47(X) ) ).
fof(act2_formula298,axiom,
! [Y,X] :
( ( q47(Y)
& kaon2equal(X,Y) )
=> q47(X) ) ).
fof(act2_formula299,axiom,
! [X] :
( q47(X)
=> q48(X) ) ).
fof(act2_formula300,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom15(Y) )
=> q48(X) ) ).
fof(act2_formula301,axiom,
! [Y,X] :
( ( q48(Y)
& kaon2equal(X,Y) )
=> q48(X) ) ).
fof(act2_formula302,axiom,
! [X] :
( germanwine(X)
=> q49(X) ) ).
fof(act2_formula303,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q50(Y) )
=> q49(X) ) ).
fof(act2_formula304,axiom,
! [Y,X] :
( ( q49(Y)
& kaon2equal(X,Y) )
=> q49(X) ) ).
fof(act2_formula305,axiom,
! [X] :
( meritage(X)
=> q5(X) ) ).
fof(act2_formula306,axiom,
! [X] :
( q24(X)
=> q5(X) ) ).
fof(act2_formula307,axiom,
! [X] :
( q6(X)
=> q5(X) ) ).
fof(act2_formula308,axiom,
! [X] :
( q13(X)
=> q5(X) ) ).
fof(act2_formula309,axiom,
! [X] :
( q72(X)
=> q5(X) ) ).
fof(act2_formula310,axiom,
! [X] :
( q14(X)
=> q5(X) ) ).
fof(act2_formula311,axiom,
! [X] :
( q69(X)
=> q5(X) ) ).
fof(act2_formula312,axiom,
! [X] :
( q63(X)
=> q5(X) ) ).
fof(act2_formula313,axiom,
! [X] :
( ( q44(X)
& semillonorsauvignonblanc(X) )
=> q5(X) ) ).
fof(act2_formula314,axiom,
! [Y,X] :
( ( q5(Y)
& kaon2equal(X,Y) )
=> q5(X) ) ).
fof(act2_formula315,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom3(Y) )
=> q5(X) ) ).
fof(act2_formula316,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom43(Y) )
=> q5(X) ) ).
fof(act2_formula317,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom24(Y) )
=> q5(X) ) ).
fof(act2_formula318,axiom,
! [X,Y] :
( ( semillonorsauvignonblanc(X)
& madefromgrape(X,Y)
& ot____nom11(Y) )
=> q5(X) ) ).
fof(act2_formula319,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom34(Y) )
=> q5(X) ) ).
fof(act2_formula320,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom37(Y) )
=> q5(X) ) ).
fof(act2_formula321,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom20(Y) )
=> q5(X) ) ).
fof(act2_formula322,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom33(Y) )
=> q5(X) ) ).
fof(act2_formula323,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom39(Y) )
=> q5(X) ) ).
fof(act2_formula324,axiom,
! [X,Y] :
( ( semillonorsauvignonblanc(X)
& madefromgrape(X,Y)
& ot____nom27(Y) )
=> q5(X) ) ).
fof(act2_formula325,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom25(Y) )
=> q5(X) ) ).
fof(act2_formula326,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom21(Y) )
=> q5(X) ) ).
fof(act2_formula327,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom29(Y) )
=> q5(X) ) ).
fof(act2_formula328,axiom,
! [X] :
( q49(X)
=> q50(X) ) ).
fof(act2_formula329,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom17(Y) )
=> q50(X) ) ).
fof(act2_formula330,axiom,
! [Y,X] :
( ( q50(Y)
& kaon2equal(X,Y) )
=> q50(X) ) ).
fof(act2_formula331,axiom,
! [X] :
( frenchwine(X)
=> q51(X) ) ).
fof(act2_formula332,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q52(Y) )
=> q51(X) ) ).
fof(act2_formula333,axiom,
! [Y,X] :
( ( q51(Y)
& kaon2equal(X,Y) )
=> q51(X) ) ).
fof(act2_formula334,axiom,
! [X] :
( q51(X)
=> q52(X) ) ).
fof(act2_formula335,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom41(Y) )
=> q52(X) ) ).
fof(act2_formula336,axiom,
! [Y,X] :
( ( q52(Y)
& kaon2equal(X,Y) )
=> q52(X) ) ).
fof(act2_formula337,axiom,
! [X] :
( muscadet(X)
=> q55(X) ) ).
fof(act2_formula338,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q56(Y) )
=> q55(X) ) ).
fof(act2_formula339,axiom,
! [Y,X] :
( ( q55(Y)
& kaon2equal(X,Y) )
=> q55(X) ) ).
fof(act2_formula340,axiom,
! [X] :
( q55(X)
=> q56(X) ) ).
fof(act2_formula341,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom16(Y) )
=> q56(X) ) ).
fof(act2_formula342,axiom,
! [Y,X] :
( ( q56(Y)
& kaon2equal(X,Y) )
=> q56(X) ) ).
fof(act2_formula343,axiom,
! [X] :
( loire(X)
=> q57(X) ) ).
fof(act2_formula344,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q58(Y) )
=> q57(X) ) ).
fof(act2_formula345,axiom,
! [Y,X] :
( ( q57(Y)
& kaon2equal(X,Y) )
=> q57(X) ) ).
fof(act2_formula346,axiom,
! [X] :
( q57(X)
=> q58(X) ) ).
fof(act2_formula347,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom19(Y) )
=> q58(X) ) ).
fof(act2_formula348,axiom,
! [Y,X] :
( ( q58(Y)
& kaon2equal(X,Y) )
=> q58(X) ) ).
fof(act2_formula349,axiom,
! [X] :
( alsatianwine(X)
=> q59(X) ) ).
fof(act2_formula350,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q60(Y) )
=> q59(X) ) ).
fof(act2_formula351,axiom,
! [Y,X] :
( ( q59(Y)
& kaon2equal(X,Y) )
=> q59(X) ) ).
fof(act2_formula352,axiom,
! [X] :
( cheninblanc(X)
=> q6(X) ) ).
fof(act2_formula353,axiom,
! [X] :
( tours(X)
=> q6(X) ) ).
fof(act2_formula354,axiom,
! [Y,X] :
( ( q6(Y)
& kaon2equal(X,Y) )
=> q6(X) ) ).
fof(act2_formula355,axiom,
! [X] :
( q59(X)
=> q60(X) ) ).
fof(act2_formula356,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom13(Y) )
=> q60(X) ) ).
fof(act2_formula357,axiom,
! [Y,X] :
( ( q60(Y)
& kaon2equal(X,Y) )
=> q60(X) ) ).
fof(act2_formula358,axiom,
! [X] :
( italianwine(X)
=> q61(X) ) ).
fof(act2_formula359,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q62(Y) )
=> q61(X) ) ).
fof(act2_formula360,axiom,
! [Y,X] :
( ( q61(Y)
& kaon2equal(X,Y) )
=> q61(X) ) ).
fof(act2_formula361,axiom,
! [X] :
( q61(X)
=> q62(X) ) ).
fof(act2_formula362,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom47(Y) )
=> q62(X) ) ).
fof(act2_formula363,axiom,
! [Y,X] :
( ( q62(Y)
& kaon2equal(X,Y) )
=> q62(X) ) ).
fof(act2_formula364,axiom,
! [X] :
( chardonnay(X)
=> q63(X) ) ).
fof(act2_formula365,axiom,
! [X] :
( whiteburgundy(X)
=> q63(X) ) ).
fof(act2_formula366,axiom,
! [Y,X] :
( ( q63(Y)
& kaon2equal(X,Y) )
=> q63(X) ) ).
fof(act2_formula367,axiom,
! [X] :
( stemilion(X)
=> q64(X) ) ).
fof(act2_formula368,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q65(Y) )
=> q64(X) ) ).
fof(act2_formula369,axiom,
! [Y,X] :
( ( q64(Y)
& kaon2equal(X,Y) )
=> q64(X) ) ).
fof(act2_formula370,axiom,
! [X] :
( q64(X)
=> q65(X) ) ).
fof(act2_formula371,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom36(Y) )
=> q65(X) ) ).
fof(act2_formula372,axiom,
! [Y,X] :
( ( q65(Y)
& kaon2equal(X,Y) )
=> q65(X) ) ).
fof(act2_formula373,axiom,
! [X] :
( anjou(X)
=> q66(X) ) ).
fof(act2_formula374,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q67(Y) )
=> q66(X) ) ).
fof(act2_formula375,axiom,
! [Y,X] :
( ( q66(Y)
& kaon2equal(X,Y) )
=> q66(X) ) ).
fof(act2_formula376,axiom,
! [X] :
( q66(X)
=> q67(X) ) ).
fof(act2_formula377,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom14(Y) )
=> q67(X) ) ).
fof(act2_formula378,axiom,
! [Y,X] :
( ( q67(Y)
& kaon2equal(X,Y) )
=> q67(X) ) ).
fof(act2_formula379,axiom,
! [X] :
( whitebordeaux(X)
=> q68(X) ) ).
fof(act2_formula380,axiom,
! [X] :
( semillonorsauvignonblanc(X)
=> q68(X) ) ).
fof(act2_formula381,axiom,
! [Y,X] :
( ( q68(Y)
& kaon2equal(X,Y) )
=> q68(X) ) ).
fof(act2_formula382,axiom,
! [X] :
( pauillac(X)
=> q69(X) ) ).
fof(act2_formula383,axiom,
! [X] :
( cabernetsauvignon(X)
=> q69(X) ) ).
fof(act2_formula384,axiom,
! [X] :
( stemilion(X)
=> q69(X) ) ).
fof(act2_formula385,axiom,
! [Y,X] :
( ( q69(Y)
& kaon2equal(X,Y) )
=> q69(X) ) ).
fof(act2_formula386,axiom,
! [X] :
( cabernetfranc(X)
=> q7(X) ) ).
fof(act2_formula387,axiom,
! [X] :
( sauternes(X)
=> q7(X) ) ).
fof(act2_formula388,axiom,
! [X] :
( sancerre(X)
=> q7(X) ) ).
fof(act2_formula389,axiom,
! [Y,X] :
( ( q7(Y)
& kaon2equal(X,Y) )
=> q7(X) ) ).
fof(act2_formula390,axiom,
! [X] :
( sweetriesling(X)
=> q70(X) ) ).
fof(act2_formula391,axiom,
! [X] :
( port(X)
=> q70(X) ) ).
fof(act2_formula392,axiom,
! [X] :
( sweetwine(X)
=> q70(X) ) ).
fof(act2_formula393,axiom,
! [X] :
( lateharvest(X)
=> q70(X) ) ).
fof(act2_formula394,axiom,
! [Y,X] :
( ( q70(Y)
& kaon2equal(X,Y) )
=> q70(X) ) ).
fof(act2_formula395,axiom,
! [X] :
( q70(X)
=> q71(X) ) ).
fof(act2_formula396,axiom,
! [X,Y] :
( ( hassugar(X,Y)
& ot____nom1(Y) )
=> q71(X) ) ).
fof(act2_formula397,axiom,
! [Y,X] :
( ( q71(Y)
& kaon2equal(X,Y) )
=> q71(X) ) ).
fof(act2_formula398,axiom,
! [X] :
( pinotnoir(X)
=> q72(X) ) ).
fof(act2_formula399,axiom,
! [X] :
( redburgundy(X)
=> q72(X) ) ).
fof(act2_formula400,axiom,
! [Y,X] :
( ( q72(Y)
& kaon2equal(X,Y) )
=> q72(X) ) ).
fof(act2_formula401,axiom,
! [X] :
( texaswine(X)
=> q73(X) ) ).
fof(act2_formula402,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q74(Y) )
=> q73(X) ) ).
fof(act2_formula403,axiom,
! [Y,X] :
( ( q73(Y)
& kaon2equal(X,Y) )
=> q73(X) ) ).
fof(act2_formula404,axiom,
! [X] :
( q73(X)
=> q74(X) ) ).
fof(act2_formula405,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& ot____nom10(Y) )
=> q74(X) ) ).
fof(act2_formula406,axiom,
! [Y,X] :
( ( q74(Y)
& kaon2equal(X,Y) )
=> q74(X) ) ).
fof(act2_formula407,axiom,
! [X] :
( tours(X)
=> q9(X) ) ).
fof(act2_formula408,axiom,
! [X,Y] :
( ( locatedin(X,Y)
& q10(Y) )
=> q9(X) ) ).
fof(act2_formula409,axiom,
! [Y,X] :
( ( q9(Y)
& kaon2equal(X,Y) )
=> q9(X) ) ).
fof(act2_formula410,axiom,
! [X] :
( ( q60(X)
& wine(X) )
=> alsatianwine(X) ) ).
fof(act2_formula411,axiom,
! [Y,X] :
( ( alsatianwine(Y)
& kaon2equal(X,Y) )
=> alsatianwine(X) ) ).
fof(act2_formula412,axiom,
! [X] :
( ( q27(X)
& wine(X) )
=> americanwine(X) ) ).
fof(act2_formula413,axiom,
! [Y,X] :
( ( americanwine(Y)
& kaon2equal(X,Y) )
=> americanwine(X) ) ).
fof(act2_formula414,axiom,
! [X] :
( ( q67(X)
& loire(X) )
=> anjou(X) ) ).
fof(act2_formula415,axiom,
! [Y,X] :
( ( anjou(Y)
& kaon2equal(X,Y) )
=> anjou(X) ) ).
fof(act2_formula416,axiom,
! [X] :
( ( q23(X)
& wine(X) )
=> beaujolais(X) ) ).
fof(act2_formula417,axiom,
! [Y,X] :
( ( beaujolais(Y)
& kaon2equal(X,Y) )
=> beaujolais(X) ) ).
fof(act2_formula418,axiom,
! [X] :
( sauternes(X)
=> bordeaux(X) ) ).
fof(act2_formula419,axiom,
! [X] :
( medoc(X)
=> bordeaux(X) ) ).
fof(act2_formula420,axiom,
! [X] :
( redbordeaux(X)
=> bordeaux(X) ) ).
fof(act2_formula421,axiom,
! [X] :
( stemilion(X)
=> bordeaux(X) ) ).
fof(act2_formula422,axiom,
! [X] :
( whitebordeaux(X)
=> bordeaux(X) ) ).
fof(act2_formula423,axiom,
! [X] :
( ( q2(X)
& wine(X) )
=> bordeaux(X) ) ).
fof(act2_formula424,axiom,
! [Y,X] :
( ( bordeaux(Y)
& kaon2equal(X,Y) )
=> bordeaux(X) ) ).
fof(act2_formula425,axiom,
! [X] :
( whiteburgundy(X)
=> burgundy(X) ) ).
fof(act2_formula426,axiom,
! [X] :
( redburgundy(X)
=> burgundy(X) ) ).
fof(act2_formula427,axiom,
! [X] :
( ( q30(X)
& wine(X) )
=> burgundy(X) ) ).
fof(act2_formula428,axiom,
! [Y,X] :
( ( burgundy(Y)
& kaon2equal(X,Y) )
=> burgundy(X) ) ).
fof(act2_formula429,axiom,
! [Y,X] :
( ( cabernetfranc(Y)
& kaon2equal(X,Y) )
=> cabernetfranc(X) ) ).
fof(act2_formula430,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom3(Y) )
=> cabernetfranc(X) ) ).
fof(act2_formula431,axiom,
! [X] :
( q69(X)
=> cabernetsauvignon(X) ) ).
fof(act2_formula432,axiom,
! [Y,X] :
( ( cabernetsauvignon(Y)
& kaon2equal(X,Y) )
=> cabernetsauvignon(X) ) ).
fof(act2_formula433,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom29(Y) )
=> cabernetsauvignon(X) ) ).
fof(act2_formula434,axiom,
! [X] :
( ( q48(X)
& wine(X) )
=> californiawine(X) ) ).
fof(act2_formula435,axiom,
! [Y,X] :
( ( californiawine(Y)
& kaon2equal(X,Y) )
=> californiawine(X) ) ).
fof(act2_formula436,axiom,
! [X] :
( q63(X)
=> chardonnay(X) ) ).
fof(act2_formula437,axiom,
! [Y,X] :
( ( chardonnay(Y)
& kaon2equal(X,Y) )
=> chardonnay(X) ) ).
fof(act2_formula438,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom24(Y) )
=> chardonnay(X) ) ).
fof(act2_formula439,axiom,
! [X] :
( q6(X)
=> cheninblanc(X) ) ).
fof(act2_formula440,axiom,
! [Y,X] :
( ( cheninblanc(Y)
& kaon2equal(X,Y) )
=> cheninblanc(X) ) ).
fof(act2_formula441,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom34(Y) )
=> cheninblanc(X) ) ).
fof(act2_formula442,axiom,
! [Y,X] :
( ( chianti(Y)
& kaon2equal(X,Y) )
=> chianti(X) ) ).
fof(act2_formula443,axiom,
! [X] :
( ( q38(X)
& redburgundy(X) )
=> cotesdor(X) ) ).
fof(act2_formula444,axiom,
! [Y,X] :
( ( cotesdor(Y)
& kaon2equal(X,Y) )
=> cotesdor(X) ) ).
fof(act2_formula445,axiom,
! [X] :
( sweetriesling(X)
=> dessertwine(X) ) ).
fof(act2_formula446,axiom,
! [X] :
( icewine(X)
=> dessertwine(X) ) ).
fof(act2_formula447,axiom,
! [Y,X] :
( ( dessertwine(Y)
& kaon2equal(X,Y) )
=> dessertwine(X) ) ).
fof(act2_formula448,axiom,
! [X] :
( ( drywine(X)
& redwine(X) )
=> dryredwine(X) ) ).
fof(act2_formula449,axiom,
! [Y,X] :
( ( dryredwine(Y)
& kaon2equal(X,Y) )
=> dryredwine(X) ) ).
fof(act2_formula450,axiom,
! [X] :
( ( q46(X)
& riesling(X) )
=> dryriesling(X) ) ).
fof(act2_formula451,axiom,
! [Y,X] :
( ( dryriesling(Y)
& kaon2equal(X,Y) )
=> dryriesling(X) ) ).
fof(act2_formula452,axiom,
! [X] :
( ( drywine(X)
& whitewine(X) )
=> drywhitewine(X) ) ).
fof(act2_formula453,axiom,
! [Y,X] :
( ( drywhitewine(Y)
& kaon2equal(X,Y) )
=> drywhitewine(X) ) ).
fof(act2_formula454,axiom,
! [X] :
( drywhitewine(X)
=> drywine(X) ) ).
fof(act2_formula455,axiom,
! [X] :
( dryredwine(X)
=> drywine(X) ) ).
fof(act2_formula456,axiom,
! [X] :
( ( q46(X)
& wine(X) )
=> drywine(X) ) ).
fof(act2_formula457,axiom,
! [Y,X] :
( ( drywine(Y)
& kaon2equal(X,Y) )
=> drywine(X) ) ).
fof(act2_formula458,axiom,
! [Y,X] :
( ( earlyharvest(Y)
& kaon2equal(X,Y) )
=> earlyharvest(X) ) ).
fof(act2_formula459,axiom,
! [X] :
( ( q52(X)
& wine(X) )
=> frenchwine(X) ) ).
fof(act2_formula460,axiom,
! [Y,X] :
( ( frenchwine(Y)
& kaon2equal(X,Y) )
=> frenchwine(X) ) ).
fof(act2_formula461,axiom,
! [X] :
( q35(X)
=> fullbodiedwine(X) ) ).
fof(act2_formula462,axiom,
! [Y,X] :
( ( fullbodiedwine(Y)
& kaon2equal(X,Y) )
=> fullbodiedwine(X) ) ).
fof(act2_formula463,axiom,
! [X,Y] :
( ( wine(X)
& hasbody(X,Y)
& ot____nom45(Y) )
=> fullbodiedwine(X) ) ).
fof(act2_formula464,axiom,
! [X] :
( q14(X)
=> gamay(X) ) ).
fof(act2_formula465,axiom,
! [Y,X] :
( ( gamay(Y)
& kaon2equal(X,Y) )
=> gamay(X) ) ).
fof(act2_formula466,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom33(Y) )
=> gamay(X) ) ).
fof(act2_formula467,axiom,
! [X] :
( ( q50(X)
& wine(X) )
=> germanwine(X) ) ).
fof(act2_formula468,axiom,
! [Y,X] :
( ( germanwine(Y)
& kaon2equal(X,Y) )
=> germanwine(X) ) ).
fof(act2_formula469,axiom,
! [X] :
( winegrape(X)
=> grape(X) ) ).
fof(act2_formula470,axiom,
! [Y,X] :
( ( grape(Y)
& kaon2equal(X,Y) )
=> grape(X) ) ).
fof(act2_formula471,axiom,
! [Y,X] :
( ( icewine(Y)
& kaon2equal(X,Y) )
=> icewine(X) ) ).
fof(act2_formula472,axiom,
! [X] :
( ( q21(X)
& dessertwine(X)
& lateharvest(X) )
=> icewine(X) ) ).
fof(act2_formula473,axiom,
! [X] :
( chianti(X)
=> italianwine(X) ) ).
fof(act2_formula474,axiom,
! [X] :
( ( q62(X)
& wine(X) )
=> italianwine(X) ) ).
fof(act2_formula475,axiom,
! [Y,X] :
( ( italianwine(Y)
& kaon2equal(X,Y) )
=> italianwine(X) ) ).
fof(act2_formula476,axiom,
! [X] :
( icewine(X)
=> lateharvest(X) ) ).
fof(act2_formula477,axiom,
! [X] :
( sauternes(X)
=> lateharvest(X) ) ).
fof(act2_formula478,axiom,
! [Y,X] :
( ( lateharvest(Y)
& kaon2equal(X,Y) )
=> lateharvest(X) ) ).
fof(act2_formula479,axiom,
! [X] :
( sancerre(X)
=> loire(X) ) ).
fof(act2_formula480,axiom,
! [X] :
( tours(X)
=> loire(X) ) ).
fof(act2_formula481,axiom,
! [X] :
( whiteloire(X)
=> loire(X) ) ).
fof(act2_formula482,axiom,
! [X] :
( anjou(X)
=> loire(X) ) ).
fof(act2_formula483,axiom,
! [X] :
( muscadet(X)
=> loire(X) ) ).
fof(act2_formula484,axiom,
! [X] :
( ( q58(X)
& wine(X) )
=> loire(X) ) ).
fof(act2_formula485,axiom,
! [Y,X] :
( ( loire(Y)
& kaon2equal(X,Y) )
=> loire(X) ) ).
fof(act2_formula486,axiom,
! [X] :
( ( q19(X)
& medoc(X) )
=> margaux(X) ) ).
fof(act2_formula487,axiom,
! [Y,X] :
( ( margaux(Y)
& kaon2equal(X,Y) )
=> margaux(X) ) ).
fof(act2_formula488,axiom,
! [X] :
( pauillac(X)
=> medoc(X) ) ).
fof(act2_formula489,axiom,
! [X] :
( margaux(X)
=> medoc(X) ) ).
fof(act2_formula490,axiom,
! [X] :
( ( q34(X)
& bordeaux(X) )
=> medoc(X) ) ).
fof(act2_formula491,axiom,
! [Y,X] :
( ( medoc(Y)
& kaon2equal(X,Y) )
=> medoc(X) ) ).
fof(act2_formula492,axiom,
! [Y,X] :
( ( meritage(Y)
& kaon2equal(X,Y) )
=> meritage(X) ) ).
fof(act2_formula493,axiom,
! [X] :
( ( ot____nom8(X)
& wine(X)
& kaon2namedobjects(X) )
=> meritage(X) ) ).
fof(act2_formula494,axiom,
! [X] :
( q13(X)
=> merlot(X) ) ).
fof(act2_formula495,axiom,
! [Y,X] :
( ( merlot(Y)
& kaon2equal(X,Y) )
=> merlot(X) ) ).
fof(act2_formula496,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom43(Y) )
=> merlot(X) ) ).
fof(act2_formula497,axiom,
! [X] :
( ( q17(X)
& whiteburgundy(X) )
=> meursault(X) ) ).
fof(act2_formula498,axiom,
! [Y,X] :
( ( meursault(Y)
& kaon2equal(X,Y) )
=> meursault(X) ) ).
fof(act2_formula499,axiom,
! [X] :
( ( q56(X)
& loire(X) )
=> muscadet(X) ) ).
fof(act2_formula500,axiom,
! [Y,X] :
( ( muscadet(Y)
& kaon2equal(X,Y) )
=> muscadet(X) ) ).
fof(act2_formula501,axiom,
! [X] :
( ( q43(X)
& medoc(X) )
=> pauillac(X) ) ).
fof(act2_formula502,axiom,
! [Y,X] :
( ( pauillac(Y)
& kaon2equal(X,Y) )
=> pauillac(X) ) ).
fof(act2_formula503,axiom,
! [Y,X] :
( ( petitesyrah(Y)
& kaon2equal(X,Y) )
=> petitesyrah(X) ) ).
fof(act2_formula504,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom25(Y) )
=> petitesyrah(X) ) ).
fof(act2_formula505,axiom,
! [X] :
( q24(X)
=> pinotblanc(X) ) ).
fof(act2_formula506,axiom,
! [Y,X] :
( ( pinotblanc(Y)
& kaon2equal(X,Y) )
=> pinotblanc(X) ) ).
fof(act2_formula507,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom21(Y) )
=> pinotblanc(X) ) ).
fof(act2_formula508,axiom,
! [X] :
( q72(X)
=> pinotnoir(X) ) ).
fof(act2_formula509,axiom,
! [Y,X] :
( ( pinotnoir(Y)
& kaon2equal(X,Y) )
=> pinotnoir(X) ) ).
fof(act2_formula510,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom39(Y) )
=> pinotnoir(X) ) ).
fof(act2_formula511,axiom,
! [Y,X] :
( ( port(Y)
& kaon2equal(X,Y) )
=> port(X) ) ).
fof(act2_formula512,axiom,
! [X] :
( wine(X)
=> potableliquid(X) ) ).
fof(act2_formula513,axiom,
! [Y,X] :
( ( potableliquid(Y)
& kaon2equal(X,Y) )
=> potableliquid(X) ) ).
fof(act2_formula514,axiom,
! [X] :
( ( redwine(X)
& bordeaux(X) )
=> redbordeaux(X) ) ).
fof(act2_formula515,axiom,
! [Y,X] :
( ( redbordeaux(Y)
& kaon2equal(X,Y) )
=> redbordeaux(X) ) ).
fof(act2_formula516,axiom,
! [X] :
( cotesdor(X)
=> redburgundy(X) ) ).
fof(act2_formula517,axiom,
! [X] :
( ( burgundy(X)
& redwine(X) )
=> redburgundy(X) ) ).
fof(act2_formula518,axiom,
! [Y,X] :
( ( redburgundy(Y)
& kaon2equal(X,Y) )
=> redburgundy(X) ) ).
fof(act2_formula519,axiom,
! [X] :
( ( q41(X)
& tablewine(X) )
=> redtablewine(X) ) ).
fof(act2_formula520,axiom,
! [Y,X] :
( ( redtablewine(Y)
& kaon2equal(X,Y) )
=> redtablewine(X) ) ).
fof(act2_formula521,axiom,
! [X] :
( redburgundy(X)
=> redwine(X) ) ).
fof(act2_formula522,axiom,
! [X] :
( redbordeaux(X)
=> redwine(X) ) ).
fof(act2_formula523,axiom,
! [X] :
( dryredwine(X)
=> redwine(X) ) ).
fof(act2_formula524,axiom,
! [X] :
( port(X)
=> redwine(X) ) ).
fof(act2_formula525,axiom,
! [X] :
( ( q41(X)
& wine(X) )
=> redwine(X) ) ).
fof(act2_formula526,axiom,
! [Y,X] :
( ( redwine(Y)
& kaon2equal(X,Y) )
=> redwine(X) ) ).
fof(act2_formula527,axiom,
! [X,Y] :
( adjacentregion(X,Y)
=> region(Y) ) ).
fof(act2_formula528,axiom,
! [X,Y] :
( locatedin(X,Y)
=> region(Y) ) ).
fof(act2_formula529,axiom,
! [X,Y] :
( adjacentregion(X,Y)
=> region(X) ) ).
fof(act2_formula530,axiom,
! [X] :
( ( wine(X)
& kaon2namedobjects(X) )
=> region(X) ) ).
fof(act2_formula531,axiom,
! [Y,X] :
( ( region(Y)
& kaon2equal(X,Y) )
=> region(X) ) ).
fof(act2_formula532,axiom,
! [X] :
( dryriesling(X)
=> riesling(X) ) ).
fof(act2_formula533,axiom,
! [X] :
( sweetriesling(X)
=> riesling(X) ) ).
fof(act2_formula534,axiom,
! [Y,X] :
( ( riesling(Y)
& kaon2equal(X,Y) )
=> riesling(X) ) ).
fof(act2_formula535,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom37(Y) )
=> riesling(X) ) ).
fof(act2_formula536,axiom,
! [X] :
( q15(X)
=> rosewine(X) ) ).
fof(act2_formula537,axiom,
! [Y,X] :
( ( rosewine(Y)
& kaon2equal(X,Y) )
=> rosewine(X) ) ).
fof(act2_formula538,axiom,
! [X,Y] :
( ( wine(X)
& hascolor(X,Y)
& ot____nom32(Y) )
=> rosewine(X) ) ).
fof(act2_formula539,axiom,
! [X] :
( ( q40(X)
& loire(X) )
=> sancerre(X) ) ).
fof(act2_formula540,axiom,
! [Y,X] :
( ( sancerre(Y)
& kaon2equal(X,Y) )
=> sancerre(X) ) ).
fof(act2_formula541,axiom,
! [Y,X] :
( ( sauternes(Y)
& kaon2equal(X,Y) )
=> sauternes(X) ) ).
fof(act2_formula542,axiom,
! [X] :
( ( q44(X)
& semillonorsauvignonblanc(X) )
=> sauvignonblanc(X) ) ).
fof(act2_formula543,axiom,
! [Y,X] :
( ( sauvignonblanc(Y)
& kaon2equal(X,Y) )
=> sauvignonblanc(X) ) ).
fof(act2_formula544,axiom,
! [X,Y] :
( ( semillonorsauvignonblanc(X)
& madefromgrape(X,Y)
& ot____nom11(Y) )
=> sauvignonblanc(X) ) ).
fof(act2_formula545,axiom,
! [Y,X] :
( ( semillon(Y)
& kaon2equal(X,Y) )
=> semillon(X) ) ).
fof(act2_formula546,axiom,
! [X,Y] :
( ( semillonorsauvignonblanc(X)
& madefromgrape(X,Y)
& ot____nom27(Y) )
=> semillon(X) ) ).
fof(act2_formula547,axiom,
! [X] :
( semillon(X)
=> semillonorsauvignonblanc(X) ) ).
fof(act2_formula548,axiom,
! [X] :
( sauvignonblanc(X)
=> semillonorsauvignonblanc(X) ) ).
fof(act2_formula549,axiom,
! [X] :
( ( q68(X)
& wine(X) )
=> semillonorsauvignonblanc(X) ) ).
fof(act2_formula550,axiom,
! [Y,X] :
( ( semillonorsauvignonblanc(Y)
& kaon2equal(X,Y) )
=> semillonorsauvignonblanc(X) ) ).
fof(act2_formula551,axiom,
! [X] :
( ( ot____nom6(X)
& wine(X)
& kaon2namedobjects(X) )
=> semillonorsauvignonblanc(X) ) ).
fof(act2_formula552,axiom,
! [X] :
( ( q65(X)
& bordeaux(X) )
=> stemilion(X) ) ).
fof(act2_formula553,axiom,
! [Y,X] :
( ( stemilion(Y)
& kaon2equal(X,Y) )
=> stemilion(X) ) ).
fof(act2_formula554,axiom,
! [X] :
( ( q71(X)
& riesling(X) )
=> sweetriesling(X) ) ).
fof(act2_formula555,axiom,
! [Y,X] :
( ( sweetriesling(Y)
& kaon2equal(X,Y) )
=> sweetriesling(X) ) ).
fof(act2_formula556,axiom,
! [X] :
( ( q71(X)
& wine(X) )
=> sweetwine(X) ) ).
fof(act2_formula557,axiom,
! [Y,X] :
( ( sweetwine(Y)
& kaon2equal(X,Y) )
=> sweetwine(X) ) ).
fof(act2_formula558,axiom,
! [X] :
( whitetablewine(X)
=> tablewine(X) ) ).
fof(act2_formula559,axiom,
! [X] :
( redtablewine(X)
=> tablewine(X) ) ).
fof(act2_formula560,axiom,
! [X] :
( ( q46(X)
& wine(X) )
=> tablewine(X) ) ).
fof(act2_formula561,axiom,
! [Y,X] :
( ( tablewine(Y)
& kaon2equal(X,Y) )
=> tablewine(X) ) ).
fof(act2_formula562,axiom,
! [X] :
( ( q74(X)
& wine(X) )
=> texaswine(X) ) ).
fof(act2_formula563,axiom,
! [Y,X] :
( ( texaswine(Y)
& kaon2equal(X,Y) )
=> texaswine(X) ) ).
fof(act2_formula564,axiom,
! [X] :
( ( q10(X)
& loire(X) )
=> tours(X) ) ).
fof(act2_formula565,axiom,
! [Y,X] :
( ( tours(Y)
& kaon2equal(X,Y) )
=> tours(X) ) ).
fof(act2_formula566,axiom,
! [X,Y] :
( hasvintageyear(X,Y)
=> vintage(X) ) ).
fof(act2_formula567,axiom,
! [Y,X] :
( ( vintage(Y)
& kaon2equal(X,Y) )
=> vintage(X) ) ).
fof(act2_formula568,axiom,
! [X,Y] :
( hasvintageyear(X,Y)
=> vintageyear(Y) ) ).
fof(act2_formula569,axiom,
! [Y,X] :
( ( vintageyear(Y)
& kaon2equal(X,Y) )
=> vintageyear(X) ) ).
fof(act2_formula570,axiom,
! [X] :
( ( bordeaux(X)
& whitewine(X) )
=> whitebordeaux(X) ) ).
fof(act2_formula571,axiom,
! [Y,X] :
( ( whitebordeaux(Y)
& kaon2equal(X,Y) )
=> whitebordeaux(X) ) ).
fof(act2_formula572,axiom,
! [X] :
( meursault(X)
=> whiteburgundy(X) ) ).
fof(act2_formula573,axiom,
! [X] :
( ( burgundy(X)
& whitewine(X) )
=> whiteburgundy(X) ) ).
fof(act2_formula574,axiom,
! [Y,X] :
( ( whiteburgundy(Y)
& kaon2equal(X,Y) )
=> whiteburgundy(X) ) ).
fof(act2_formula575,axiom,
! [X] :
( ( loire(X)
& whitewine(X) )
=> whiteloire(X) ) ).
fof(act2_formula576,axiom,
! [Y,X] :
( ( whiteloire(Y)
& kaon2equal(X,Y) )
=> whiteloire(X) ) ).
fof(act2_formula577,axiom,
! [X] :
( ( whitewine(X)
& kaon2namedobjects(X) )
=> whitenonsweetwine(X) ) ).
fof(act2_formula578,axiom,
! [X] :
( ( q36(X)
& whitewine(X) )
=> whitenonsweetwine(X) ) ).
fof(act2_formula579,axiom,
! [Y,X] :
( ( whitenonsweetwine(Y)
& kaon2equal(X,Y) )
=> whitenonsweetwine(X) ) ).
fof(act2_formula580,axiom,
! [X] :
( ( ot____nom7(X)
& whitewine(X)
& kaon2namedobjects(X) )
=> whitenonsweetwine(X) ) ).
fof(act2_formula581,axiom,
! [X] :
( ( q21(X)
& tablewine(X) )
=> whitetablewine(X) ) ).
fof(act2_formula582,axiom,
! [Y,X] :
( ( whitetablewine(Y)
& kaon2equal(X,Y) )
=> whitetablewine(X) ) ).
fof(act2_formula583,axiom,
! [X] :
( drywhitewine(X)
=> whitewine(X) ) ).
fof(act2_formula584,axiom,
! [X] :
( whiteburgundy(X)
=> whitewine(X) ) ).
fof(act2_formula585,axiom,
! [X] :
( whitebordeaux(X)
=> whitewine(X) ) ).
fof(act2_formula586,axiom,
! [X] :
( whiteloire(X)
=> whitewine(X) ) ).
fof(act2_formula587,axiom,
! [X] :
( whitenonsweetwine(X)
=> whitewine(X) ) ).
fof(act2_formula588,axiom,
! [X] :
( ( q21(X)
& wine(X) )
=> whitewine(X) ) ).
fof(act2_formula589,axiom,
! [Y,X] :
( ( whitewine(Y)
& kaon2equal(X,Y) )
=> whitewine(X) ) ).
fof(act2_formula590,axiom,
! [X] :
( q14(X)
=> wine(X) ) ).
fof(act2_formula591,axiom,
! [X] :
( texaswine(X)
=> wine(X) ) ).
fof(act2_formula592,axiom,
! [X] :
( q63(X)
=> wine(X) ) ).
fof(act2_formula593,axiom,
! [X] :
( q20(X)
=> wine(X) ) ).
fof(act2_formula594,axiom,
! [X] :
( tablewine(X)
=> wine(X) ) ).
fof(act2_formula595,axiom,
! [X,Y] :
( haswinedescriptor(X,Y)
=> wine(X) ) ).
fof(act2_formula596,axiom,
! [X] :
( q31(X)
=> wine(X) ) ).
fof(act2_formula597,axiom,
! [X] :
( q11(X)
=> wine(X) ) ).
fof(act2_formula598,axiom,
! [X] :
( q15(X)
=> wine(X) ) ).
fof(act2_formula599,axiom,
! [X] :
( earlyharvest(X)
=> wine(X) ) ).
fof(act2_formula600,axiom,
! [X] :
( sweetwine(X)
=> wine(X) ) ).
fof(act2_formula601,axiom,
! [X] :
( americanwine(X)
=> wine(X) ) ).
fof(act2_formula602,axiom,
! [X] :
( alsatianwine(X)
=> wine(X) ) ).
fof(act2_formula603,axiom,
! [X] :
( q0(X)
=> wine(X) ) ).
fof(act2_formula604,axiom,
! [X,Y] :
( madefromgrape(X,Y)
=> wine(X) ) ).
fof(act2_formula605,axiom,
! [X] :
( cabernetfranc(X)
=> wine(X) ) ).
fof(act2_formula606,axiom,
! [X] :
( semillonorsauvignonblanc(X)
=> wine(X) ) ).
fof(act2_formula607,axiom,
! [X] :
( beaujolais(X)
=> wine(X) ) ).
fof(act2_formula608,axiom,
! [X] :
( fullbodiedwine(X)
=> wine(X) ) ).
fof(act2_formula609,axiom,
! [X] :
( loire(X)
=> wine(X) ) ).
fof(act2_formula610,axiom,
! [X] :
( petitesyrah(X)
=> wine(X) ) ).
fof(act2_formula611,axiom,
! [X] :
( q12(X)
=> wine(X) ) ).
fof(act2_formula612,axiom,
! [X] :
( q45(X)
=> wine(X) ) ).
fof(act2_formula613,axiom,
! [X] :
( q7(X)
=> wine(X) ) ).
fof(act2_formula614,axiom,
! [X] :
( pinotnoir(X)
=> wine(X) ) ).
fof(act2_formula615,axiom,
! [X] :
( q35(X)
=> wine(X) ) ).
fof(act2_formula616,axiom,
! [X] :
( q24(X)
=> wine(X) ) ).
fof(act2_formula617,axiom,
! [X] :
( frenchwine(X)
=> wine(X) ) ).
fof(act2_formula618,axiom,
! [X] :
( meritage(X)
=> wine(X) ) ).
fof(act2_formula619,axiom,
! [X] :
( zinfandel(X)
=> wine(X) ) ).
fof(act2_formula620,axiom,
! [X] :
( californiawine(X)
=> wine(X) ) ).
fof(act2_formula621,axiom,
! [X] :
( pinotblanc(X)
=> wine(X) ) ).
fof(act2_formula622,axiom,
! [X] :
( q44(X)
=> wine(X) ) ).
fof(act2_formula623,axiom,
! [X] :
( bordeaux(X)
=> wine(X) ) ).
fof(act2_formula624,axiom,
! [X] :
( riesling(X)
=> wine(X) ) ).
fof(act2_formula625,axiom,
! [X,Y] :
( hascolor(X,Y)
=> wine(X) ) ).
fof(act2_formula626,axiom,
! [X] :
( redwine(X)
=> wine(X) ) ).
fof(act2_formula627,axiom,
! [X] :
( whitewine(X)
=> wine(X) ) ).
fof(act2_formula628,axiom,
! [X] :
( dessertwine(X)
=> wine(X) ) ).
fof(act2_formula629,axiom,
! [X] :
( q69(X)
=> wine(X) ) ).
fof(act2_formula630,axiom,
! [X] :
( q6(X)
=> wine(X) ) ).
fof(act2_formula631,axiom,
! [X] :
( drywine(X)
=> wine(X) ) ).
fof(act2_formula632,axiom,
! [X] :
( q13(X)
=> wine(X) ) ).
fof(act2_formula633,axiom,
! [X] :
( germanwine(X)
=> wine(X) ) ).
fof(act2_formula634,axiom,
! [X] :
( burgundy(X)
=> wine(X) ) ).
fof(act2_formula635,axiom,
! [X] :
( cabernetsauvignon(X)
=> wine(X) ) ).
fof(act2_formula636,axiom,
! [X] :
( q72(X)
=> wine(X) ) ).
fof(act2_formula637,axiom,
! [X] :
( q70(X)
=> wine(X) ) ).
fof(act2_formula638,axiom,
! [X] :
( q4(X)
=> wine(X) ) ).
fof(act2_formula639,axiom,
! [X] :
( italianwine(X)
=> wine(X) ) ).
fof(act2_formula640,axiom,
! [X] :
( chardonnay(X)
=> wine(X) ) ).
fof(act2_formula641,axiom,
! [X] :
( semillon(X)
=> wine(X) ) ).
fof(act2_formula642,axiom,
! [X] :
( q5(X)
=> wine(X) ) ).
fof(act2_formula643,axiom,
! [X] :
( rosewine(X)
=> wine(X) ) ).
fof(act2_formula644,axiom,
! [X] :
( q32(X)
=> wine(X) ) ).
fof(act2_formula645,axiom,
! [X] :
( lateharvest(X)
=> wine(X) ) ).
fof(act2_formula646,axiom,
! [X] :
( merlot(X)
=> wine(X) ) ).
fof(act2_formula647,axiom,
! [Y,X] :
( ( wine(Y)
& kaon2equal(X,Y) )
=> wine(X) ) ).
fof(act2_formula648,axiom,
! [X] :
( ot____nom40(X)
=> winebody(X) ) ).
fof(act2_formula649,axiom,
! [X,Y] :
( hasbody(X,Y)
=> winebody(Y) ) ).
fof(act2_formula650,axiom,
! [Y,X] :
( ( winebody(Y)
& kaon2equal(X,Y) )
=> winebody(X) ) ).
fof(act2_formula651,axiom,
! [X] :
( ot____nom9(X)
=> winecolor(X) ) ).
fof(act2_formula652,axiom,
! [X,Y] :
( hascolor(X,Y)
=> winecolor(Y) ) ).
fof(act2_formula653,axiom,
! [X] :
( winedescriptor(X)
=> winecolor(X) ) ).
fof(act2_formula654,axiom,
! [Y,X] :
( ( winecolor(Y)
& kaon2equal(X,Y) )
=> winecolor(X) ) ).
fof(act2_formula655,axiom,
! [X] :
( winecolor(X)
=> winedescriptor(X) ) ).
fof(act2_formula656,axiom,
! [X] :
( winetaste(X)
=> winedescriptor(X) ) ).
fof(act2_formula657,axiom,
! [X,Y] :
( haswinedescriptor(X,Y)
=> winedescriptor(Y) ) ).
fof(act2_formula658,axiom,
! [Y,X] :
( ( winedescriptor(Y)
& kaon2equal(X,Y) )
=> winedescriptor(X) ) ).
fof(act2_formula659,axiom,
! [X,Y] :
( hasflavor(X,Y)
=> wineflavor(Y) ) ).
fof(act2_formula660,axiom,
! [X] :
( ot____nom35(X)
=> wineflavor(X) ) ).
fof(act2_formula661,axiom,
! [Y,X] :
( ( wineflavor(Y)
& kaon2equal(X,Y) )
=> wineflavor(X) ) ).
fof(act2_formula662,axiom,
! [X,Y] :
( madefromgrape(X,Y)
=> winegrape(Y) ) ).
fof(act2_formula663,axiom,
! [Y,X] :
( ( winegrape(Y)
& kaon2equal(X,Y) )
=> winegrape(X) ) ).
fof(act2_formula664,axiom,
! [X] :
( ot____nom18(X)
=> winesugar(X) ) ).
fof(act2_formula665,axiom,
! [X,Y] :
( hassugar(X,Y)
=> winesugar(Y) ) ).
fof(act2_formula666,axiom,
! [Y,X] :
( ( winesugar(Y)
& kaon2equal(X,Y) )
=> winesugar(X) ) ).
fof(act2_formula667,axiom,
! [X] :
( wineflavor(X)
=> winetaste(X) ) ).
fof(act2_formula668,axiom,
! [X] :
( winesugar(X)
=> winetaste(X) ) ).
fof(act2_formula669,axiom,
! [X] :
( winebody(X)
=> winetaste(X) ) ).
fof(act2_formula670,axiom,
! [X] :
( winedescriptor(X)
=> winetaste(X) ) ).
fof(act2_formula671,axiom,
! [Y,X] :
( ( winetaste(Y)
& kaon2equal(X,Y) )
=> winetaste(X) ) ).
fof(act2_formula672,axiom,
! [X,Y] :
( ( wine(X)
& hasmaker(X,Y) )
=> winery(Y) ) ).
fof(act2_formula673,axiom,
! [Y,X] :
( ( winery(Y)
& kaon2equal(X,Y) )
=> winery(X) ) ).
fof(act2_formula674,axiom,
! [Y,X] :
( ( zinfandel(Y)
& kaon2equal(X,Y) )
=> zinfandel(X) ) ).
fof(act2_formula675,axiom,
! [X,Y] :
( ( wine(X)
& madefromgrape(X,Y)
& ot____nom20(Y) )
=> zinfandel(X) ) ).
fof(act2_formula676,axiom,
! [X] :
( ( q70(X)
& kaon2namedobjects(X) )
=> ot____nom1(X) ) ).
fof(act2_formula677,axiom,
! [Y,X] :
( ( ot____nom1(Y)
& kaon2equal(X,Y) )
=> ot____nom1(X) ) ).
fof(act2_formula678,axiom,
! [X] :
( ( q73(X)
& kaon2namedobjects(X) )
=> ot____nom10(X) ) ).
fof(act2_formula679,axiom,
! [Y,X] :
( ( ot____nom10(Y)
& kaon2equal(X,Y) )
=> ot____nom10(X) ) ).
fof(act2_formula680,axiom,
! [X] :
( ( q44(X)
& kaon2namedobjects(X) )
=> ot____nom11(X) ) ).
fof(act2_formula681,axiom,
! [Y,X] :
( ( ot____nom11(Y)
& kaon2equal(X,Y) )
=> ot____nom11(X) ) ).
fof(act2_formula682,axiom,
! [X] :
( ( q31(X)
& kaon2namedobjects(X) )
=> ot____nom12(X) ) ).
fof(act2_formula683,axiom,
! [Y,X] :
( ( ot____nom12(Y)
& kaon2equal(X,Y) )
=> ot____nom12(X) ) ).
fof(act2_formula684,axiom,
! [X] :
( ( q59(X)
& kaon2namedobjects(X) )
=> ot____nom13(X) ) ).
fof(act2_formula685,axiom,
! [Y,X] :
( ( ot____nom13(Y)
& kaon2equal(X,Y) )
=> ot____nom13(X) ) ).
fof(act2_formula686,axiom,
! [X] :
( ( q66(X)
& kaon2namedobjects(X) )
=> ot____nom14(X) ) ).
fof(act2_formula687,axiom,
! [Y,X] :
( ( ot____nom14(Y)
& kaon2equal(X,Y) )
=> ot____nom14(X) ) ).
fof(act2_formula688,axiom,
! [X] :
( ( q47(X)
& kaon2namedobjects(X) )
=> ot____nom15(X) ) ).
fof(act2_formula689,axiom,
! [Y,X] :
( ( ot____nom15(Y)
& kaon2equal(X,Y) )
=> ot____nom15(X) ) ).
fof(act2_formula690,axiom,
! [X] :
( ( q55(X)
& kaon2namedobjects(X) )
=> ot____nom16(X) ) ).
fof(act2_formula691,axiom,
! [Y,X] :
( ( ot____nom16(Y)
& kaon2equal(X,Y) )
=> ot____nom16(X) ) ).
fof(act2_formula692,axiom,
! [X] :
( ( q49(X)
& kaon2namedobjects(X) )
=> ot____nom17(X) ) ).
fof(act2_formula693,axiom,
! [Y,X] :
( ( ot____nom17(Y)
& kaon2equal(X,Y) )
=> ot____nom17(X) ) ).
fof(act2_formula694,axiom,
! [X] :
( winesugar(X)
=> ot____nom18(X) ) ).
fof(act2_formula695,axiom,
! [Y,X] :
( ( ot____nom18(Y)
& kaon2equal(X,Y) )
=> ot____nom18(X) ) ).
fof(act2_formula696,axiom,
! [X] :
( ( q57(X)
& kaon2namedobjects(X) )
=> ot____nom19(X) ) ).
fof(act2_formula697,axiom,
! [Y,X] :
( ( ot____nom19(Y)
& kaon2equal(X,Y) )
=> ot____nom19(X) ) ).
fof(act2_formula698,axiom,
! [X] :
( ( q33(X)
& kaon2namedobjects(X) )
=> ot____nom2(X) ) ).
fof(act2_formula699,axiom,
! [Y,X] :
( ( ot____nom2(Y)
& kaon2equal(X,Y) )
=> ot____nom2(X) ) ).
fof(act2_formula700,axiom,
! [X] :
( ( zinfandel(X)
& kaon2namedobjects(X) )
=> ot____nom20(X) ) ).
fof(act2_formula701,axiom,
! [Y,X] :
( ( ot____nom20(Y)
& kaon2equal(X,Y) )
=> ot____nom20(X) ) ).
fof(act2_formula702,axiom,
! [X] :
( ( q24(X)
& kaon2namedobjects(X) )
=> ot____nom21(X) ) ).
fof(act2_formula703,axiom,
! [Y,X] :
( ( ot____nom21(Y)
& kaon2equal(X,Y) )
=> ot____nom21(X) ) ).
fof(act2_formula704,axiom,
! [X] :
( ( q18(X)
& kaon2namedobjects(X) )
=> ot____nom22(X) ) ).
fof(act2_formula705,axiom,
! [Y,X] :
( ( ot____nom22(Y)
& kaon2equal(X,Y) )
=> ot____nom22(X) ) ).
fof(act2_formula706,axiom,
! [X] :
( ( q1(X)
& kaon2namedobjects(X) )
=> ot____nom23(X) ) ).
fof(act2_formula707,axiom,
! [Y,X] :
( ( ot____nom23(Y)
& kaon2equal(X,Y) )
=> ot____nom23(X) ) ).
fof(act2_formula708,axiom,
! [X] :
( ( q63(X)
& kaon2namedobjects(X) )
=> ot____nom24(X) ) ).
fof(act2_formula709,axiom,
! [Y,X] :
( ( ot____nom24(Y)
& kaon2equal(X,Y) )
=> ot____nom24(X) ) ).
fof(act2_formula710,axiom,
! [X] :
( ( petitesyrah(X)
& kaon2namedobjects(X) )
=> ot____nom25(X) ) ).
fof(act2_formula711,axiom,
! [Y,X] :
( ( ot____nom25(Y)
& kaon2equal(X,Y) )
=> ot____nom25(X) ) ).
fof(act2_formula712,axiom,
! [X] :
( ( q22(X)
& kaon2namedobjects(X) )
=> ot____nom26(X) ) ).
fof(act2_formula713,axiom,
! [Y,X] :
( ( ot____nom26(Y)
& kaon2equal(X,Y) )
=> ot____nom26(X) ) ).
fof(act2_formula714,axiom,
! [X] :
( ( semillon(X)
& kaon2namedobjects(X) )
=> ot____nom27(X) ) ).
fof(act2_formula715,axiom,
! [Y,X] :
( ( ot____nom27(Y)
& kaon2equal(X,Y) )
=> ot____nom27(X) ) ).
fof(act2_formula716,axiom,
! [X] :
( ( q0(X)
& kaon2namedobjects(X) )
=> ot____nom28(X) ) ).
fof(act2_formula717,axiom,
! [Y,X] :
( ( ot____nom28(Y)
& kaon2equal(X,Y) )
=> ot____nom28(X) ) ).
fof(act2_formula718,axiom,
! [X] :
( ( q69(X)
& kaon2namedobjects(X) )
=> ot____nom29(X) ) ).
fof(act2_formula719,axiom,
! [Y,X] :
( ( ot____nom29(Y)
& kaon2equal(X,Y) )
=> ot____nom29(X) ) ).
fof(act2_formula720,axiom,
! [X] :
( ( cabernetfranc(X)
& kaon2namedobjects(X) )
=> ot____nom3(X) ) ).
fof(act2_formula721,axiom,
! [Y,X] :
( ( ot____nom3(Y)
& kaon2equal(X,Y) )
=> ot____nom3(X) ) ).
fof(act2_formula722,axiom,
! [X] :
( ( q39(X)
& kaon2namedobjects(X) )
=> ot____nom30(X) ) ).
fof(act2_formula723,axiom,
! [Y,X] :
( ( ot____nom30(Y)
& kaon2equal(X,Y) )
=> ot____nom30(X) ) ).
fof(act2_formula724,axiom,
! [X] :
( ( q16(X)
& kaon2namedobjects(X) )
=> ot____nom31(X) ) ).
fof(act2_formula725,axiom,
! [Y,X] :
( ( ot____nom31(Y)
& kaon2equal(X,Y) )
=> ot____nom31(X) ) ).
fof(act2_formula726,axiom,
! [X] :
( ( q15(X)
& kaon2namedobjects(X) )
=> ot____nom32(X) ) ).
fof(act2_formula727,axiom,
! [Y,X] :
( ( ot____nom32(Y)
& kaon2equal(X,Y) )
=> ot____nom32(X) ) ).
fof(act2_formula728,axiom,
! [X] :
( ( q14(X)
& kaon2namedobjects(X) )
=> ot____nom33(X) ) ).
fof(act2_formula729,axiom,
! [Y,X] :
( ( ot____nom33(Y)
& kaon2equal(X,Y) )
=> ot____nom33(X) ) ).
fof(act2_formula730,axiom,
! [X] :
( ( q6(X)
& kaon2namedobjects(X) )
=> ot____nom34(X) ) ).
fof(act2_formula731,axiom,
! [Y,X] :
( ( ot____nom34(Y)
& kaon2equal(X,Y) )
=> ot____nom34(X) ) ).
fof(act2_formula732,axiom,
! [X] :
( wineflavor(X)
=> ot____nom35(X) ) ).
fof(act2_formula733,axiom,
! [Y,X] :
( ( ot____nom35(Y)
& kaon2equal(X,Y) )
=> ot____nom35(X) ) ).
fof(act2_formula734,axiom,
! [X] :
( ( q64(X)
& kaon2namedobjects(X) )
=> ot____nom36(X) ) ).
fof(act2_formula735,axiom,
! [Y,X] :
( ( ot____nom36(Y)
& kaon2equal(X,Y) )
=> ot____nom36(X) ) ).
fof(act2_formula736,axiom,
! [X] :
( ( riesling(X)
& kaon2namedobjects(X) )
=> ot____nom37(X) ) ).
fof(act2_formula737,axiom,
! [Y,X] :
( ( ot____nom37(Y)
& kaon2equal(X,Y) )
=> ot____nom37(X) ) ).
fof(act2_formula738,axiom,
! [X] :
( ( q26(X)
& kaon2namedobjects(X) )
=> ot____nom38(X) ) ).
fof(act2_formula739,axiom,
! [Y,X] :
( ( ot____nom38(Y)
& kaon2equal(X,Y) )
=> ot____nom38(X) ) ).
fof(act2_formula740,axiom,
! [X] :
( ( q72(X)
& kaon2namedobjects(X) )
=> ot____nom39(X) ) ).
fof(act2_formula741,axiom,
! [Y,X] :
( ( ot____nom39(Y)
& kaon2equal(X,Y) )
=> ot____nom39(X) ) ).
fof(act2_formula742,axiom,
! [X] :
( ( q9(X)
& kaon2namedobjects(X) )
=> ot____nom4(X) ) ).
fof(act2_formula743,axiom,
! [Y,X] :
( ( ot____nom4(Y)
& kaon2equal(X,Y) )
=> ot____nom4(X) ) ).
fof(act2_formula744,axiom,
! [X] :
( winebody(X)
=> ot____nom40(X) ) ).
fof(act2_formula745,axiom,
! [Y,X] :
( ( ot____nom40(Y)
& kaon2equal(X,Y) )
=> ot____nom40(X) ) ).
fof(act2_formula746,axiom,
! [X] :
( ( q51(X)
& kaon2namedobjects(X) )
=> ot____nom41(X) ) ).
fof(act2_formula747,axiom,
! [Y,X] :
( ( ot____nom41(Y)
& kaon2equal(X,Y) )
=> ot____nom41(X) ) ).
fof(act2_formula748,axiom,
! [X] :
( ( q37(X)
& kaon2namedobjects(X) )
=> ot____nom42(X) ) ).
fof(act2_formula749,axiom,
! [Y,X] :
( ( ot____nom42(Y)
& kaon2equal(X,Y) )
=> ot____nom42(X) ) ).
fof(act2_formula750,axiom,
! [X] :
( ( q13(X)
& kaon2namedobjects(X) )
=> ot____nom43(X) ) ).
fof(act2_formula751,axiom,
! [Y,X] :
( ( ot____nom43(Y)
& kaon2equal(X,Y) )
=> ot____nom43(X) ) ).
fof(act2_formula752,axiom,
! [X] :
( ( q29(X)
& kaon2namedobjects(X) )
=> ot____nom44(X) ) ).
fof(act2_formula753,axiom,
! [Y,X] :
( ( ot____nom44(Y)
& kaon2equal(X,Y) )
=> ot____nom44(X) ) ).
fof(act2_formula754,axiom,
! [X] :
( ( q35(X)
& kaon2namedobjects(X) )
=> ot____nom45(X) ) ).
fof(act2_formula755,axiom,
! [Y,X] :
( ( ot____nom45(Y)
& kaon2equal(X,Y) )
=> ot____nom45(X) ) ).
fof(act2_formula756,axiom,
! [X] :
( ( q42(X)
& kaon2namedobjects(X) )
=> ot____nom46(X) ) ).
fof(act2_formula757,axiom,
! [Y,X] :
( ( ot____nom46(Y)
& kaon2equal(X,Y) )
=> ot____nom46(X) ) ).
fof(act2_formula758,axiom,
! [X] :
( ( q61(X)
& kaon2namedobjects(X) )
=> ot____nom47(X) ) ).
fof(act2_formula759,axiom,
! [Y,X] :
( ( ot____nom47(Y)
& kaon2equal(X,Y) )
=> ot____nom47(X) ) ).
fof(act2_formula760,axiom,
! [X] :
( ( q4(X)
& kaon2namedobjects(X) )
=> ot____nom48(X) ) ).
fof(act2_formula761,axiom,
! [Y,X] :
( ( ot____nom48(Y)
& kaon2equal(X,Y) )
=> ot____nom48(X) ) ).
fof(act2_formula762,axiom,
! [X] :
( ( q7(X)
& kaon2namedobjects(X) )
=> ot____nom49(X) ) ).
fof(act2_formula763,axiom,
! [Y,X] :
( ( ot____nom49(Y)
& kaon2equal(X,Y) )
=> ot____nom49(X) ) ).
fof(act2_formula764,axiom,
! [X] :
( ( q12(X)
& kaon2namedobjects(X) )
=> ot____nom5(X) ) ).
fof(act2_formula765,axiom,
! [Y,X] :
( ( ot____nom5(Y)
& kaon2equal(X,Y) )
=> ot____nom5(X) ) ).
fof(act2_formula766,axiom,
! [X,Y] :
( ( sweetriesling(X)
& hasflavor(X,Y) )
=> ot____nom50(Y) ) ).
fof(act2_formula767,axiom,
! [X,Y] :
( ( lateharvest(X)
& hasflavor(X,Y) )
=> ot____nom50(Y) ) ).
fof(act2_formula768,axiom,
! [X,Y] :
( ( chardonnay(X)
& hasflavor(X,Y) )
=> ot____nom50(Y) ) ).
fof(act2_formula769,axiom,
! [X,Y] :
( ( zinfandel(X)
& hasflavor(X,Y) )
=> ot____nom50(Y) ) ).
fof(act2_formula770,axiom,
! [X,Y] :
( ( icewine(X)
& hasflavor(X,Y) )
=> ot____nom50(Y) ) ).
fof(act2_formula771,axiom,
! [X,Y] :
( ( cabernetsauvignon(X)
& hasflavor(X,Y) )
=> ot____nom50(Y) ) ).
fof(act2_formula772,axiom,
! [X,Y] :
( ( petitesyrah(X)
& hasflavor(X,Y) )
=> ot____nom50(Y) ) ).
fof(act2_formula773,axiom,
! [Y,X] :
( ( ot____nom50(Y)
& kaon2equal(X,Y) )
=> ot____nom50(X) ) ).
fof(act2_formula774,axiom,
! [X,Y] :
( ( icewine(X)
& hasbody(X,Y) )
=> ot____nom51(Y) ) ).
fof(act2_formula775,axiom,
! [X,Y] :
( ( cheninblanc(X)
& hasbody(X,Y) )
=> ot____nom51(Y) ) ).
fof(act2_formula776,axiom,
! [X,Y] :
( ( chardonnay(X)
& hasbody(X,Y) )
=> ot____nom51(Y) ) ).
fof(act2_formula777,axiom,
! [X,Y] :
( ( cabernetsauvignon(X)
& hasbody(X,Y) )
=> ot____nom51(Y) ) ).
fof(act2_formula778,axiom,
! [X,Y] :
( ( semillonorsauvignonblanc(X)
& hasbody(X,Y) )
=> ot____nom51(Y) ) ).
fof(act2_formula779,axiom,
! [X,Y] :
( ( petitesyrah(X)
& hasbody(X,Y) )
=> ot____nom51(Y) ) ).
fof(act2_formula780,axiom,
! [X,Y] :
( ( zinfandel(X)
& hasbody(X,Y) )
=> ot____nom51(Y) ) ).
fof(act2_formula781,axiom,
! [Y,X] :
( ( ot____nom51(Y)
& kaon2equal(X,Y) )
=> ot____nom51(X) ) ).
fof(act2_formula782,axiom,
! [X] :
( ( sauternes(X)
& kaon2namedobjects(X) )
=> ot____nom52(X) ) ).
fof(act2_formula783,axiom,
! [Y,X] :
( ( ot____nom52(Y)
& kaon2equal(X,Y) )
=> ot____nom52(X) ) ).
fof(act2_formula784,axiom,
! [X,Y] :
( ( dessertwine(X)
& hassugar(X,Y) )
=> ot____nom53(Y) ) ).
fof(act2_formula785,axiom,
! [Y,X] :
( ( ot____nom53(Y)
& kaon2equal(X,Y) )
=> ot____nom53(X) ) ).
fof(act2_formula786,axiom,
! [X] :
( ( q32(X)
& kaon2namedobjects(X) )
=> ot____nom54(X) ) ).
fof(act2_formula787,axiom,
! [Y,X] :
( ( ot____nom54(Y)
& kaon2equal(X,Y) )
=> ot____nom54(X) ) ).
fof(act2_formula788,axiom,
! [X] :
( ( q20(X)
& kaon2namedobjects(X) )
=> ot____nom55(X) ) ).
fof(act2_formula789,axiom,
! [Y,X] :
( ( ot____nom55(Y)
& kaon2equal(X,Y) )
=> ot____nom55(X) ) ).
fof(act2_formula790,axiom,
! [X] :
( ( q45(X)
& kaon2namedobjects(X) )
=> ot____nom56(X) ) ).
fof(act2_formula791,axiom,
! [Y,X] :
( ( ot____nom56(Y)
& kaon2equal(X,Y) )
=> ot____nom56(X) ) ).
fof(act2_formula792,axiom,
! [X] :
( ( port(X)
& kaon2namedobjects(X) )
=> ot____nom57(X) ) ).
fof(act2_formula793,axiom,
! [Y,X] :
( ( ot____nom57(Y)
& kaon2equal(X,Y) )
=> ot____nom57(X) ) ).
fof(act2_formula794,axiom,
! [X] :
( ( q11(X)
& kaon2namedobjects(X) )
=> ot____nom58(X) ) ).
fof(act2_formula795,axiom,
! [Y,X] :
( ( ot____nom58(Y)
& kaon2equal(X,Y) )
=> ot____nom58(X) ) ).
fof(act2_formula796,axiom,
! [X,Y] :
( ( merlot(X)
& hasbody(X,Y) )
=> ot____nom59(Y) ) ).
fof(act2_formula797,axiom,
! [X,Y] :
( ( dryriesling(X)
& hasbody(X,Y) )
=> ot____nom59(Y) ) ).
fof(act2_formula798,axiom,
! [X,Y] :
( ( chianti(X)
& hasbody(X,Y) )
=> ot____nom59(Y) ) ).
fof(act2_formula799,axiom,
! [Y,X] :
( ( ot____nom59(Y)
& kaon2equal(X,Y) )
=> ot____nom59(X) ) ).
fof(act2_formula800,axiom,
! [X,Y] :
( ( q68(X)
& madefromgrape(X,Y) )
=> ot____nom6(Y) ) ).
fof(act2_formula801,axiom,
! [Y,X] :
( ( ot____nom6(Y)
& kaon2equal(X,Y) )
=> ot____nom6(X) ) ).
fof(act2_formula802,axiom,
! [X] :
( ( chianti(X)
& kaon2namedobjects(X) )
=> ot____nom60(X) ) ).
fof(act2_formula803,axiom,
! [Y,X] :
( ( ot____nom60(Y)
& kaon2equal(X,Y) )
=> ot____nom60(X) ) ).
fof(act2_formula804,axiom,
! [X] :
( ( chianti(X)
& kaon2namedobjects(X) )
=> ot____nom61(X) ) ).
fof(act2_formula805,axiom,
! [Y,X] :
( ( ot____nom61(Y)
& kaon2equal(X,Y) )
=> ot____nom61(X) ) ).
fof(act2_formula806,axiom,
! [X,Y] :
( ( redbordeaux(X)
& madefromgrape(X,Y) )
=> ot____nom62(Y) ) ).
fof(act2_formula807,axiom,
! [Y,X] :
( ( ot____nom62(Y)
& kaon2equal(X,Y) )
=> ot____nom62(X) ) ).
fof(act2_formula808,axiom,
! [X,Y] :
( ( whiteloire(X)
& madefromgrape(X,Y) )
=> ot____nom63(Y) ) ).
fof(act2_formula809,axiom,
! [Y,X] :
( ( ot____nom63(Y)
& kaon2equal(X,Y) )
=> ot____nom63(X) ) ).
fof(act2_formula810,axiom,
! [X,Y] :
( ( merlot(X)
& hasflavor(X,Y) )
=> ot____nom64(Y) ) ).
fof(act2_formula811,axiom,
! [Y,X] :
( ( ot____nom64(Y)
& kaon2equal(X,Y) )
=> ot____nom64(X) ) ).
fof(act2_formula812,axiom,
! [X,Y] :
( ( q36(X)
& hassugar(X,Y) )
=> ot____nom7(Y) ) ).
fof(act2_formula813,axiom,
! [Y,X] :
( ( ot____nom7(Y)
& kaon2equal(X,Y) )
=> ot____nom7(X) ) ).
fof(act2_formula814,axiom,
! [X,Y] :
( ( meritage(X)
& madefromgrape(X,Y) )
=> ot____nom8(Y) ) ).
fof(act2_formula815,axiom,
! [Y,X] :
( ( ot____nom8(Y)
& kaon2equal(X,Y) )
=> ot____nom8(X) ) ).
fof(act2_formula816,axiom,
! [X] :
( winecolor(X)
=> ot____nom9(X) ) ).
fof(act2_formula817,axiom,
! [Y,X] :
( ( ot____nom9(Y)
& kaon2equal(X,Y) )
=> ot____nom9(X) ) ).
fof(act2_formula818,axiom,
! [X,Y] :
( adjacentregion(X,Y)
=> adjacentregion(Y,X) ) ).
fof(act2_formula819,axiom,
! [Y,X_1,X] :
( ( adjacentregion(Y,X_1)
& kaon2equal(X,Y) )
=> adjacentregion(X,X_1) ) ).
fof(act2_formula820,axiom,
! [X_0,Y,X] :
( ( adjacentregion(X_0,Y)
& kaon2equal(X,Y) )
=> adjacentregion(X_0,X) ) ).
fof(act2_formula821,axiom,
! [X] :
( ( q45(X)
& kaon2namedobjects(X) )
=> hasbody(X,X) ) ).
fof(act2_formula822,axiom,
! [X] :
( ( wine(X)
& kaon2namedobjects(X) )
=> hasbody(X,X) ) ).
fof(act2_formula823,axiom,
! [X] :
( ( q35(X)
& kaon2namedobjects(X) )
=> hasbody(X,X) ) ).
fof(act2_formula824,axiom,
! [X] :
( ( q7(X)
& kaon2namedobjects(X) )
=> hasbody(X,X) ) ).
fof(act2_formula825,axiom,
! [Y,X_1,X] :
( ( hasbody(Y,X_1)
& kaon2equal(X,Y) )
=> hasbody(X,X_1) ) ).
fof(act2_formula826,axiom,
! [X_0,Y,X] :
( ( hasbody(X_0,Y)
& kaon2equal(X,Y) )
=> hasbody(X_0,X) ) ).
fof(act2_formula827,axiom,
! [X] :
( ( q0(X)
& kaon2namedobjects(X) )
=> hascolor(X,X) ) ).
fof(act2_formula828,axiom,
! [X] :
( ( q15(X)
& kaon2namedobjects(X) )
=> hascolor(X,X) ) ).
fof(act2_formula829,axiom,
! [X] :
( ( wine(X)
& kaon2namedobjects(X) )
=> hascolor(X,X) ) ).
fof(act2_formula830,axiom,
! [X] :
( ( q12(X)
& kaon2namedobjects(X) )
=> hascolor(X,X) ) ).
fof(act2_formula831,axiom,
! [Y,X_1,X] :
( ( hascolor(Y,X_1)
& kaon2equal(X,Y) )
=> hascolor(X,X_1) ) ).
fof(act2_formula832,axiom,
! [X_0,Y,X] :
( ( hascolor(X_0,Y)
& kaon2equal(X,Y) )
=> hascolor(X_0,X) ) ).
fof(act2_formula833,axiom,
! [X] :
( ( q4(X)
& kaon2namedobjects(X) )
=> hasflavor(X,X) ) ).
fof(act2_formula834,axiom,
! [X] :
( ( q11(X)
& kaon2namedobjects(X) )
=> hasflavor(X,X) ) ).
fof(act2_formula835,axiom,
! [X] :
( ( q20(X)
& kaon2namedobjects(X) )
=> hasflavor(X,X) ) ).
fof(act2_formula836,axiom,
! [X] :
( ( wine(X)
& kaon2namedobjects(X) )
=> hasflavor(X,X) ) ).
fof(act2_formula837,axiom,
! [Y,X_1,X] :
( ( hasflavor(Y,X_1)
& kaon2equal(X,Y) )
=> hasflavor(X,X_1) ) ).
fof(act2_formula838,axiom,
! [X_0,Y,X] :
( ( hasflavor(X_0,Y)
& kaon2equal(X,Y) )
=> hasflavor(X_0,X) ) ).
fof(act2_formula839,axiom,
! [X,Y] :
( produceswine(X,Y)
=> hasmaker(Y,X) ) ).
fof(act2_formula840,axiom,
! [X] :
( ( wine(X)
& kaon2namedobjects(X) )
=> hasmaker(X,X) ) ).
fof(act2_formula841,axiom,
! [Y,X_1,X] :
( ( hasmaker(Y,X_1)
& kaon2equal(X,Y) )
=> hasmaker(X,X_1) ) ).
fof(act2_formula842,axiom,
! [X_0,Y,X] :
( ( hasmaker(X_0,Y)
& kaon2equal(X,Y) )
=> hasmaker(X_0,X) ) ).
fof(act2_formula843,axiom,
! [X] :
( ( wine(X)
& kaon2namedobjects(X) )
=> hassugar(X,X) ) ).
fof(act2_formula844,axiom,
! [X] :
( ( q31(X)
& kaon2namedobjects(X) )
=> hassugar(X,X) ) ).
fof(act2_formula845,axiom,
! [X] :
( ( whitewine(X)
& kaon2namedobjects(X) )
=> hassugar(X,X) ) ).
fof(act2_formula846,axiom,
! [X] :
( ( q70(X)
& kaon2namedobjects(X) )
=> hassugar(X,X) ) ).
fof(act2_formula847,axiom,
! [X] :
( ( q32(X)
& kaon2namedobjects(X) )
=> hassugar(X,X) ) ).
fof(act2_formula848,axiom,
! [Y,X_1,X] :
( ( hassugar(Y,X_1)
& kaon2equal(X,Y) )
=> hassugar(X,X_1) ) ).
fof(act2_formula849,axiom,
! [X_0,Y,X] :
( ( hassugar(X_0,Y)
& kaon2equal(X,Y) )
=> hassugar(X_0,X) ) ).
fof(act2_formula850,axiom,
! [X] :
( ( vintage(X)
& kaon2namedobjects(X) )
=> hasvintageyear(X,X) ) ).
fof(act2_formula851,axiom,
! [Y,X_1,X] :
( ( hasvintageyear(Y,X_1)
& kaon2equal(X,Y) )
=> hasvintageyear(X,X_1) ) ).
fof(act2_formula852,axiom,
! [X_0,Y,X] :
( ( hasvintageyear(X_0,Y)
& kaon2equal(X,Y) )
=> hasvintageyear(X_0,X) ) ).
fof(act2_formula853,axiom,
! [X,Y] :
( hasbody(X,Y)
=> haswinedescriptor(X,Y) ) ).
fof(act2_formula854,axiom,
! [X,Y] :
( hascolor(X,Y)
=> haswinedescriptor(X,Y) ) ).
fof(act2_formula855,axiom,
! [X,Y] :
( hasflavor(X,Y)
=> haswinedescriptor(X,Y) ) ).
fof(act2_formula856,axiom,
! [X,Y] :
( hassugar(X,Y)
=> haswinedescriptor(X,Y) ) ).
fof(act2_formula857,axiom,
! [Y,X_1,X] :
( ( haswinedescriptor(Y,X_1)
& kaon2equal(X,Y) )
=> haswinedescriptor(X,X_1) ) ).
fof(act2_formula858,axiom,
! [X_0,Y,X] :
( ( haswinedescriptor(X_0,Y)
& kaon2equal(X,Y) )
=> haswinedescriptor(X_0,X) ) ).
fof(act2_formula859,axiom,
! [X] :
( ( q57(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula860,axiom,
! [X] :
( ( q37(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula861,axiom,
! [X] :
( ( q61(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula862,axiom,
! [X] :
( ( q59(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula863,axiom,
! [X] :
( ( q33(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula864,axiom,
! [X] :
( ( wine(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula865,axiom,
! [X] :
( ( q18(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula866,axiom,
! [X] :
( ( q49(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula867,axiom,
! [X] :
( ( q42(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula868,axiom,
! [X] :
( ( q9(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula869,axiom,
! [X] :
( ( q22(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula870,axiom,
! [X] :
( ( chianti(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula871,axiom,
! [X] :
( ( port(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula872,axiom,
! [X] :
( ( q26(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula873,axiom,
! [X] :
( ( q51(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula874,axiom,
! [X] :
( ( q55(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula875,axiom,
! [X] :
( ( q16(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula876,axiom,
! [X] :
( ( q73(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula877,axiom,
! [X] :
( ( q29(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula878,axiom,
! [X] :
( ( q1(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula879,axiom,
! [X] :
( ( q47(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula880,axiom,
! [X] :
( ( q39(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula881,axiom,
! [X] :
( ( q64(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula882,axiom,
! [X] :
( ( sauternes(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula883,axiom,
! [X] :
( ( q66(X)
& kaon2namedobjects(X) )
=> locatedin(X,X) ) ).
fof(act2_formula884,axiom,
! [Y,X_1,X] :
( ( locatedin(Y,X_1)
& kaon2equal(X,Y) )
=> locatedin(X,X_1) ) ).
fof(act2_formula885,axiom,
! [X_0,Y,X] :
( ( locatedin(X_0,Y)
& kaon2equal(X,Y) )
=> locatedin(X_0,X) ) ).
fof(act2_formula886,axiom,
! [X,Y,Z] :
( ( locatedin(X,Y)
& locatedin(Y,Z) )
=> locatedin(X,Z) ) ).
fof(act2_formula887,axiom,
! [X,Y,Z] :
( ( locatedin(X,Y)
& locatedin(Y,Z)
& kaon2namedobjects(Z)
& kaon2namedobjects(Y)
& kaon2namedobjects(X) )
=> locatedin(X,Z) ) ).
fof(act2_formula888,axiom,
! [X,Y] :
( madefromgrape(X,Y)
=> madefromfruit(X,Y) ) ).
fof(act2_formula889,axiom,
! [Y,X_1,X] :
( ( madefromfruit(Y,X_1)
& kaon2equal(X,Y) )
=> madefromfruit(X,X_1) ) ).
fof(act2_formula890,axiom,
! [X_0,Y,X] :
( ( madefromfruit(X_0,Y)
& kaon2equal(X,Y) )
=> madefromfruit(X_0,X) ) ).
fof(act2_formula891,axiom,
! [X,Y] :
( madeintowine(X,Y)
=> madefromgrape(Y,X) ) ).
fof(act2_formula892,axiom,
! [X] :
( ( riesling(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula893,axiom,
! [X] :
( ( wine(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula894,axiom,
! [X] :
( ( q72(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula895,axiom,
! [X] :
( ( q5(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula896,axiom,
! [X] :
( ( semillon(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula897,axiom,
! [X] :
( ( q14(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula898,axiom,
! [X] :
( ( q24(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula899,axiom,
! [X] :
( ( q5(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula900,axiom,
! [X] :
( ( zinfandel(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula901,axiom,
! [X] :
( ( q6(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula902,axiom,
! [X] :
( ( petitesyrah(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula903,axiom,
! [X] :
( ( q13(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula904,axiom,
! [X] :
( ( chianti(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula905,axiom,
! [X] :
( ( cabernetfranc(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula906,axiom,
! [X] :
( ( q69(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula907,axiom,
! [X] :
( ( q44(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula908,axiom,
! [X] :
( ( q63(X)
& kaon2namedobjects(X) )
=> madefromgrape(X,X) ) ).
fof(act2_formula909,axiom,
! [Y,X_1,X] :
( ( madefromgrape(Y,X_1)
& kaon2equal(X,Y) )
=> madefromgrape(X,X_1) ) ).
fof(act2_formula910,axiom,
! [X_0,Y,X] :
( ( madefromgrape(X_0,Y)
& kaon2equal(X,Y) )
=> madefromgrape(X_0,X) ) ).
fof(act2_formula911,axiom,
! [X,Y] :
( madefromgrape(X,Y)
=> madeintowine(Y,X) ) ).
fof(act2_formula912,axiom,
! [Y,X_1,X] :
( ( madeintowine(Y,X_1)
& kaon2equal(X,Y) )
=> madeintowine(X,X_1) ) ).
fof(act2_formula913,axiom,
! [X_0,Y,X] :
( ( madeintowine(X_0,Y)
& kaon2equal(X,Y) )
=> madeintowine(X_0,X) ) ).
fof(act2_formula914,axiom,
! [X,Y] :
( hasmaker(X,Y)
=> produceswine(Y,X) ) ).
fof(act2_formula915,axiom,
! [Y,X_1,X] :
( ( produceswine(Y,X_1)
& kaon2equal(X,Y) )
=> produceswine(X,X_1) ) ).
fof(act2_formula916,axiom,
! [X_0,Y,X] :
( ( produceswine(X_0,Y)
& kaon2equal(X,Y) )
=> produceswine(X_0,X) ) ).
fof(act2_formula917,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula918,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula919,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula920,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula921,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula922,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula923,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula924,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula925,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula926,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula927,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula928,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula929,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula930,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula931,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula932,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula933,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula934,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula935,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula936,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula937,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula938,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula939,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula940,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula941,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula942,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula943,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula944,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula945,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula946,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula947,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula948,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula949,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula950,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula951,axiom,
! [X] :
( kaon2namedobjects(X)
=> kaon2hu(X) ) ).
fof(act2_formula952,axiom,
! [X] :
( kaon2hu(X)
=> kaon2equal(X,X) ) ).
fof(act2_formula953,axiom,
! [X,Y1,Y2] :
( ( hasflavor(X,Y1)
& hasflavor(X,Y2) )
=> kaon2equal(Y1,Y2) ) ).
fof(act2_formula954,axiom,
! [X,Y1,Y2] :
( ( hassugar(X,Y1)
& hassugar(X,Y2) )
=> kaon2equal(Y1,Y2) ) ).
fof(act2_formula955,axiom,
! [X,Y1,Y2] :
( ( hasvintageyear(X,Y1)
& hasvintageyear(X,Y2) )
=> kaon2equal(Y1,Y2) ) ).
fof(act2_formula956,axiom,
! [X,Y1,Y2] :
( ( hascolor(X,Y1)
& hascolor(X,Y2) )
=> kaon2equal(Y1,Y2) ) ).
fof(act2_formula957,axiom,
! [X,Y1,Y2] :
( ( hasmaker(X,Y1)
& hasmaker(X,Y2) )
=> kaon2equal(Y1,Y2) ) ).
fof(act2_formula958,axiom,
! [X,Y1,Y2] :
( ( hasbody(X,Y1)
& hasbody(X,Y2) )
=> kaon2equal(Y1,Y2) ) ).
fof(act2_formula959,axiom,
! [X,Y1,Y2] :
( ( q3(X)
& madefromgrape(X,Y1)
& madefromgrape(X,Y2) )
=> kaon2equal(Y1,Y2) ) ).
fof(act2_formula960,axiom,
! [X,Y] :
( ( kaon2hu(X)
& kaon2hu(Y)
& kaon2equal(Y,X) )
=> kaon2equal(X,Y) ) ).
fof(act2_formula961,axiom,
! [X,Y,Z] :
( ( kaon2equal(X,Y)
& kaon2equal(Y,Z)
& kaon2hu(X)
& kaon2hu(Y)
& kaon2hu(Z) )
=> kaon2equal(X,Z) ) ).
%------------------------------------------------------------------------------