TSTP Solution File: PRD002+1 by SnakeForV-SAT---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SnakeForV-SAT---1.0
% Problem : PRD002+1 : TPTP v8.1.0. Released v6.2.0.
% Transfm : none
% Format : tptp:raw
% Command : vampire --input_syntax tptp --proof tptp --output_axiom_names on --mode portfolio --schedule snake_tptp_sat --cores 0 -t %d %s
% Computer : n012.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Wed Aug 31 18:10:01 EDT 2022
% Result : CounterSatisfiable 1.99s 0.63s
% Output : FiniteModel 1.99s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : PRD002+1 : TPTP v8.1.0. Released v6.2.0.
% 0.03/0.12 % Command : vampire --input_syntax tptp --proof tptp --output_axiom_names on --mode portfolio --schedule snake_tptp_sat --cores 0 -t %d %s
% 0.12/0.33 % Computer : n012.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Tue Aug 30 10:20:20 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.19/0.47 % (24648)fmb+10_1:1_bce=on:fmbsr=1.5:nm=4:skr=on:i=191324:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/191324Mi)
% 0.19/0.49 % (24676)ott+11_2:3_av=off:fde=unused:nwc=5.0:tgt=ground:i=177:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/177Mi)
% 0.19/0.49 % (24667)ott+4_1:1_av=off:bd=off:nwc=5.0:rp=on:s2a=on:s2at=2.0:slsq=on:slsqc=2:slsql=off:slsqr=1,2:sp=frequency:i=100:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/100Mi)
% 0.19/0.51 % (24656)dis+2_1:64_add=large:bce=on:bd=off:i=2:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/2Mi)
% 0.19/0.51 % (24672)ott+11_1:1_drc=off:nwc=5.0:slsq=on:slsqc=1:spb=goal_then_units:to=lpo:i=467:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/467Mi)
% 0.19/0.51 % (24663)ott+11_2:3_av=off:fde=unused:nwc=5.0:tgt=ground:i=75:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/75Mi)
% 0.19/0.51 % (24655)dis+10_1:1_fsd=on:sp=occurrence:i=7:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/7Mi)
% 0.19/0.52 % (24656)Instruction limit reached!
% 0.19/0.52 % (24656)------------------------------
% 0.19/0.52 % (24656)Version: Vampire 4.7 (commit 807e37dd9 on 2022-08-23 09:55:27 +0200)
% 0.19/0.52 % (24656)Linked with Z3 4.8.13.0 f03d756e086f81f2596157241e0decfb1c982299 z3-4.8.4-5390-gf03d756e0
% 0.19/0.52 % (24656)Termination reason: Unknown
% 0.19/0.52 % (24656)Termination phase: shuffling
% 0.19/0.52
% 0.19/0.52 % (24656)Memory used [KB]: 1918
% 0.19/0.52 % (24656)Time elapsed: 0.003 s
% 0.19/0.52 % (24656)Instructions burned: 2 (million)
% 0.19/0.52 % (24656)------------------------------
% 0.19/0.52 % (24656)------------------------------
% 0.19/0.52 % (24649)ott+10_1:32_abs=on:br=off:urr=ec_only:i=50:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/50Mi)
% 0.19/0.52 % (24655)Instruction limit reached!
% 0.19/0.52 % (24655)------------------------------
% 0.19/0.52 % (24655)Version: Vampire 4.7 (commit 807e37dd9 on 2022-08-23 09:55:27 +0200)
% 0.19/0.52 % (24655)Linked with Z3 4.8.13.0 f03d756e086f81f2596157241e0decfb1c982299 z3-4.8.4-5390-gf03d756e0
% 0.19/0.52 % (24655)Termination reason: Unknown
% 0.19/0.52 % (24655)Termination phase: shuffling
% 0.19/0.52
% 0.19/0.52 % (24655)Memory used [KB]: 2174
% 0.19/0.52 % (24655)Time elapsed: 0.004 s
% 0.19/0.52 % (24655)Instructions burned: 7 (million)
% 0.19/0.52 % (24655)------------------------------
% 0.19/0.52 % (24655)------------------------------
% 0.19/0.52 % (24653)dis+34_1:32_abs=on:add=off:bsr=on:gsp=on:sp=weighted_frequency:i=48:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/48Mi)
% 0.19/0.53 % (24657)ott-1_1:6_av=off:cond=on:fsr=off:nwc=3.0:i=51:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/51Mi)
% 0.19/0.53 % (24662)ins+10_1:1_awrs=decay:awrsf=30:bsr=unit_only:foolp=on:igrr=8/457:igs=10:igwr=on:nwc=1.5:sp=weighted_frequency:to=lpo:uhcvi=on:i=68:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/68Mi)
% 0.19/0.53 % (24669)ott+10_1:8_bsd=on:fsd=on:lcm=predicate:nwc=5.0:s2a=on:s2at=1.5:spb=goal_then_units:i=176:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/176Mi)
% 0.19/0.53 % (24671)dis+21_1:1_av=off:er=filter:slsq=on:slsqc=0:slsqr=1,1:sp=frequency:to=lpo:i=498:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/498Mi)
% 0.19/0.55 % (24665)fmb+10_1:1_bce=on:i=59:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/59Mi)
% 0.19/0.55 % (24675)ins+10_1:1_awrs=decay:awrsf=30:bsr=unit_only:foolp=on:igrr=8/457:igs=10:igwr=on:nwc=1.5:sp=weighted_frequency:to=lpo:uhcvi=on:i=68:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/68Mi)
% 0.19/0.55 % (24651)ott+10_1:32_bd=off:fsr=off:newcnf=on:tgt=full:i=51:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/51Mi)
% 0.19/0.55 % (24652)ott+33_1:4_s2a=on:tgt=ground:i=51:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/51Mi)
% 0.19/0.55 % (24659)ott+10_1:32_bd=off:fsr=off:newcnf=on:tgt=full:i=100:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/100Mi)
% 1.46/0.55 % (24666)ott+10_1:1_tgt=ground:i=100:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/100Mi)
% 1.46/0.55 % (24660)ott+10_1:28_bd=off:bs=on:tgt=ground:i=101:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/101Mi)
% 1.46/0.55 % (24650)ott+4_1:1_av=off:bd=off:nwc=5.0:s2a=on:s2at=2.0:slsq=on:slsqc=2:slsql=off:slsqr=1,2:sp=frequency:i=37:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/37Mi)
% 1.46/0.55 % (24654)fmb+10_1:1_fmbsr=2.0:nm=4:skr=on:i=51:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/51Mi)
% 1.46/0.56 % (24677)ott+33_1:4_s2a=on:tgt=ground:i=439:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/439Mi)
% 1.46/0.56 % (24670)ott+3_1:1_gsp=on:lcm=predicate:i=138:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/138Mi)
% 1.46/0.56 % (24661)ott+10_1:5_bd=off:tgt=full:i=99:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/99Mi)
% 1.46/0.56 % (24664)dis+34_1:32_abs=on:add=off:bsr=on:gsp=on:sp=weighted_frequency:i=99:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/99Mi)
% 1.57/0.57 % (24678)ott+10_7:2_awrs=decay:awrsf=8:bd=preordered:drc=off:fd=preordered:fde=unused:fsr=off:slsq=on:slsqc=2:slsqr=5,8:sp=const_min:spb=units:to=lpo:i=355:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/355Mi)
% 1.57/0.57 % (24658)ott+2_1:1_fsr=off:gsp=on:i=50:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/50Mi)
% 1.57/0.57 % (24674)ott+10_1:5_bd=off:tgt=full:i=500:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/500Mi)
% 1.57/0.58 % (24673)ott+10_1:1_kws=precedence:tgt=ground:i=482:si=on:rawr=on:rtra=on_0 on theBenchmark for (2999ds/482Mi)
% 1.57/0.59 Detected maximum model sizes of [161]
% 1.57/0.59 TRYING [1]
% 1.57/0.59 % (24649)Instruction limit reached!
% 1.57/0.59 % (24649)------------------------------
% 1.57/0.59 % (24649)Version: Vampire 4.7 (commit 807e37dd9 on 2022-08-23 09:55:27 +0200)
% 1.57/0.59 TRYING [2]
% 1.57/0.59 % (24649)Linked with Z3 4.8.13.0 f03d756e086f81f2596157241e0decfb1c982299 z3-4.8.4-5390-gf03d756e0
% 1.57/0.59 % (24649)Termination reason: Unknown
% 1.57/0.59 % (24649)Termination phase: Saturation
% 1.57/0.59
% 1.57/0.59 % (24649)Memory used [KB]: 8059
% 1.57/0.59 % (24649)Time elapsed: 0.027 s
% 1.57/0.59 % (24649)Instructions burned: 51 (million)
% 1.57/0.59 % (24649)------------------------------
% 1.57/0.59 % (24649)------------------------------
% 1.57/0.60 % (24657)Instruction limit reached!
% 1.57/0.60 % (24657)------------------------------
% 1.57/0.60 % (24657)Version: Vampire 4.7 (commit 807e37dd9 on 2022-08-23 09:55:27 +0200)
% 1.57/0.60 % (24657)Linked with Z3 4.8.13.0 f03d756e086f81f2596157241e0decfb1c982299 z3-4.8.4-5390-gf03d756e0
% 1.57/0.60 % (24657)Termination reason: Unknown
% 1.57/0.60 % (24657)Termination phase: Saturation
% 1.57/0.60
% 1.57/0.60 % (24657)Memory used [KB]: 3709
% 1.57/0.60 % (24657)Time elapsed: 0.189 s
% 1.57/0.60 % (24657)Instructions burned: 51 (million)
% 1.57/0.60 % (24657)------------------------------
% 1.57/0.60 % (24657)------------------------------
% 1.57/0.60 % (24653)Instruction limit reached!
% 1.57/0.60 % (24653)------------------------------
% 1.57/0.60 % (24653)Version: Vampire 4.7 (commit 807e37dd9 on 2022-08-23 09:55:27 +0200)
% 1.57/0.60 % (24653)Linked with Z3 4.8.13.0 f03d756e086f81f2596157241e0decfb1c982299 z3-4.8.4-5390-gf03d756e0
% 1.57/0.60 % (24653)Termination reason: Unknown
% 1.57/0.60 % (24653)Termination phase: Saturation
% 1.57/0.60
% 1.57/0.60 % (24653)Memory used [KB]: 8315
% 1.57/0.60 % (24653)Time elapsed: 0.192 s
% 1.57/0.60 % (24653)Instructions burned: 48 (million)
% 1.57/0.60 % (24653)------------------------------
% 1.57/0.60 % (24653)------------------------------
% 1.57/0.61 % (24651)Instruction limit reached!
% 1.57/0.61 % (24651)------------------------------
% 1.57/0.61 % (24651)Version: Vampire 4.7 (commit 807e37dd9 on 2022-08-23 09:55:27 +0200)
% 1.57/0.62 Finite Model Found!
% 1.99/0.63 % SZS status CounterSatisfiable for theBenchmark
% 1.99/0.63 % (24648)First to succeed.
% 1.99/0.63 % (24663)Instruction limit reached!
% 1.99/0.63 % (24663)------------------------------
% 1.99/0.63 % (24663)Version: Vampire 4.7 (commit 807e37dd9 on 2022-08-23 09:55:27 +0200)
% 1.99/0.63 % SZS output start FiniteModel for theBenchmark
% 1.99/0.63 tff(declare_$i,type,$i:$tType).
% 1.99/0.63 tff(declare_$i1,type,pulignymontrachetwhiteburgundy:$i).
% 1.99/0.63 tff(declare_$i2,type,sancerreregion:$i).
% 1.99/0.63 tff(finite_domain,axiom,
% 1.99/0.63 ! [X:$i] : (
% 1.99/0.63 X = pulignymontrachetwhiteburgundy | X = sancerreregion
% 1.99/0.63 ) ).
% 1.99/0.63
% 1.99/0.63 tff(distinct_domain,axiom,
% 1.99/0.63 pulignymontrachetwhiteburgundy != sancerreregion
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_bool,type,$o:$tType).
% 1.99/0.63 tff(declare_bool1,type,fmb_bool_1:$o).
% 1.99/0.63 tff(finite_domain,axiom,
% 1.99/0.63 ! [X:$o] : (
% 1.99/0.63 X = fmb_bool_1
% 1.99/0.63 ) ).
% 1.99/0.63
% 1.99/0.63 tff(declare_medium,type,medium:$i).
% 1.99/0.63 tff(medium_definition,axiom,medium = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_formanchardonnay,type,formanchardonnay:$i).
% 1.99/0.63 tff(formanchardonnay_definition,axiom,formanchardonnay = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_full,type,full:$i).
% 1.99/0.63 tff(full_definition,axiom,full = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_foxencheninblanc,type,foxencheninblanc:$i).
% 1.99/0.63 tff(foxencheninblanc_definition,axiom,foxencheninblanc = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chianticlassico,type,chianticlassico:$i).
% 1.99/0.63 tff(chianticlassico_definition,axiom,chianticlassico = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_cortonmontrachetwhiteburgundy,type,cortonmontrachetwhiteburgundy:$i).
% 1.99/0.63 tff(cortonmontrachetwhiteburgundy_definition,axiom,cortonmontrachetwhiteburgundy = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_corbansprivatebinsauvignonblanc,type,corbansprivatebinsauvignonblanc:$i).
% 1.99/0.63 tff(corbansprivatebinsauvignonblanc_definition,axiom,corbansprivatebinsauvignonblanc = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_congressspringssemillon,type,congressspringssemillon:$i).
% 1.99/0.63 tff(congressspringssemillon_definition,axiom,congressspringssemillon = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_mariettapetitesyrah,type,mariettapetitesyrah:$i).
% 1.99/0.63 tff(mariettapetitesyrah_definition,axiom,mariettapetitesyrah = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_corbanssauvignonblanc,type,corbanssauvignonblanc:$i).
% 1.99/0.63 tff(corbanssauvignonblanc_definition,axiom,corbanssauvignonblanc = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_petermccoychardonnay,type,petermccoychardonnay:$i).
% 1.99/0.63 tff(petermccoychardonnay_definition,axiom,petermccoychardonnay = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_selaksicewine,type,selaksicewine:$i).
% 1.99/0.63 tff(selaksicewine_definition,axiom,selaksicewine = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_bancroftchardonnay,type,bancroftchardonnay:$i).
% 1.99/0.63 tff(bancroftchardonnay_definition,axiom,bancroftchardonnay = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_elysezinfandel,type,elysezinfandel:$i).
% 1.99/0.63 tff(elysezinfandel_definition,axiom,elysezinfandel = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_mountadampinotnoir,type,mountadampinotnoir:$i).
% 1.99/0.63 tff(mountadampinotnoir_definition,axiom,mountadampinotnoir = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_mariettacabernetsauvignon,type,mariettacabernetsauvignon:$i).
% 1.99/0.63 tff(mariettacabernetsauvignon_definition,axiom,mariettacabernetsauvignon = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_schlossrothermeltrochenbierenausleseriesling,type,schlossrothermeltrochenbierenausleseriesling:$i).
% 1.99/0.63 tff(schlossrothermeltrochenbierenausleseriesling_definition,axiom,schlossrothermeltrochenbierenausleseriesling = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_garyfarrellmerlot,type,garyfarrellmerlot:$i).
% 1.99/0.63 tff(garyfarrellmerlot_definition,axiom,garyfarrellmerlot = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_cotturizinfandel,type,cotturizinfandel:$i).
% 1.99/0.63 tff(cotturizinfandel_definition,axiom,cotturizinfandel = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_mariettaoldvinesred,type,mariettaoldvinesred:$i).
% 1.99/0.63 tff(mariettaoldvinesred_definition,axiom,mariettaoldvinesred = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_longridgemerlot,type,longridgemerlot:$i).
% 1.99/0.63 tff(longridgemerlot_definition,axiom,longridgemerlot = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_light,type,light:$i).
% 1.99/0.63 tff(light_definition,axiom,light = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_kalincellarssemillon,type,kalincellarssemillon:$i).
% 1.99/0.63 tff(kalincellarssemillon_definition,axiom,kalincellarssemillon = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_pagemillwinerycabernetsauvignon,type,pagemillwinerycabernetsauvignon:$i).
% 1.99/0.63 tff(pagemillwinerycabernetsauvignon_definition,axiom,pagemillwinerycabernetsauvignon = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_seanthackreysiriuspetitesyrah,type,seanthackreysiriuspetitesyrah:$i).
% 1.99/0.63 tff(seanthackreysiriuspetitesyrah_definition,axiom,seanthackreysiriuspetitesyrah = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_saucelitocanyonzinfandel1998,type,saucelitocanyonzinfandel1998:$i).
% 1.99/0.63 tff(saucelitocanyonzinfandel1998_definition,axiom,saucelitocanyonzinfandel1998 = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_whitehalllaneprimavera,type,whitehalllaneprimavera:$i).
% 1.99/0.63 tff(whitehalllaneprimavera_definition,axiom,whitehalllaneprimavera = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_santacruzmountainvineyardcabernetsauvignon,type,santacruzmountainvineyardcabernetsauvignon:$i).
% 1.99/0.63 tff(santacruzmountainvineyardcabernetsauvignon_definition,axiom,santacruzmountainvineyardcabernetsauvignon = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_lanetannerpinotnoir,type,lanetannerpinotnoir:$i).
% 1.99/0.63 tff(lanetannerpinotnoir_definition,axiom,lanetannerpinotnoir = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_corbansdrywhiteriesling,type,corbansdrywhiteriesling:$i).
% 1.99/0.63 tff(corbansdrywhiteriesling_definition,axiom,corbansdrywhiteriesling = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_mountadamchardonnay,type,mountadamchardonnay:$i).
% 1.99/0.63 tff(mountadamchardonnay_definition,axiom,mountadamchardonnay = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_mountadamriesling,type,mountadamriesling:$i).
% 1.99/0.63 tff(mountadamriesling_definition,axiom,mountadamriesling = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_mariettazinfandel,type,mariettazinfandel:$i).
% 1.99/0.63 tff(mariettazinfandel_definition,axiom,mariettazinfandel = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_kathrynkennedylateral,type,kathrynkennedylateral:$i).
% 1.99/0.63 tff(kathrynkennedylateral_definition,axiom,kathrynkennedylateral = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_mountedenvineyardestatepinotnoir,type,mountedenvineyardestatepinotnoir:$i).
% 1.99/0.63 tff(mountedenvineyardestatepinotnoir_definition,axiom,mountedenvineyardestatepinotnoir = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_whitehalllanecabernetfranc,type,whitehalllanecabernetfranc:$i).
% 1.99/0.63 tff(whitehalllanecabernetfranc_definition,axiom,whitehalllanecabernetfranc = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_ventanacheninblanc,type,ventanacheninblanc:$i).
% 1.99/0.63 tff(ventanacheninblanc_definition,axiom,ventanacheninblanc = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_saucelitocanyonzinfandel,type,saucelitocanyonzinfandel:$i).
% 1.99/0.63 tff(saucelitocanyonzinfandel_definition,axiom,saucelitocanyonzinfandel = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_formancabernetsauvignon,type,formancabernetsauvignon:$i).
% 1.99/0.63 tff(formancabernetsauvignon_definition,axiom,formancabernetsauvignon = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_schlossvolradtrochenbierenausleseriesling,type,schlossvolradtrochenbierenausleseriesling:$i).
% 1.99/0.63 tff(schlossvolradtrochenbierenausleseriesling_definition,axiom,schlossvolradtrochenbierenausleseriesling = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_mountedenvineyardednavalleychardonnay,type,mountedenvineyardednavalleychardonnay:$i).
% 1.99/0.63 tff(mountedenvineyardednavalleychardonnay_definition,axiom,mountedenvineyardednavalleychardonnay = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_stonleighsauvignonblanc,type,stonleighsauvignonblanc:$i).
% 1.99/0.63 tff(stonleighsauvignonblanc_definition,axiom,stonleighsauvignonblanc = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_selakssauvignonblanc,type,selakssauvignonblanc:$i).
% 1.99/0.63 tff(selakssauvignonblanc_definition,axiom,selakssauvignonblanc = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_white,type,white:$i).
% 1.99/0.63 tff(white_definition,axiom,white = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_moderate,type,moderate:$i).
% 1.99/0.63 tff(moderate_definition,axiom,moderate = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_stgenevievetexaswhite,type,stgenevievetexaswhite:$i).
% 1.99/0.63 tff(stgenevievetexaswhite_definition,axiom,stgenevievetexaswhite = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_strong,type,strong:$i).
% 1.99/0.63 tff(strong_definition,axiom,strong = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chateaudychemsauterne,type,chateaudychemsauterne:$i).
% 1.99/0.63 tff(chateaudychemsauterne_definition,axiom,chateaudychemsauterne = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chateaudemeursaultmeursault,type,chateaudemeursaultmeursault:$i).
% 1.99/0.63 tff(chateaudemeursaultmeursault_definition,axiom,chateaudemeursaultmeursault = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_delicate,type,delicate:$i).
% 1.99/0.63 tff(delicate_definition,axiom,delicate = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_pulignymontrachet,type,pulignymontrachet:$i).
% 1.99/0.63 tff(pulignymontrachet_definition,axiom,pulignymontrachet = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chateaulafiterothschildpauillac,type,chateaulafiterothschildpauillac:$i).
% 1.99/0.63 tff(chateaulafiterothschildpauillac_definition,axiom,chateaulafiterothschildpauillac = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chateaulafiterothschild,type,chateaulafiterothschild:$i).
% 1.99/0.63 tff(chateaulafiterothschild_definition,axiom,chateaulafiterothschild = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_forman,type,forman:$i).
% 1.99/0.63 tff(forman_definition,axiom,forman = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_stgenevieve,type,stgenevieve:$i).
% 1.99/0.63 tff(stgenevieve_definition,axiom,stgenevieve = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_foxen,type,foxen:$i).
% 1.99/0.63 tff(foxen_definition,axiom,foxen = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_mcguinnesso,type,mcguinnesso:$i).
% 1.99/0.63 tff(mcguinnesso_definition,axiom,mcguinnesso = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_cortonmontrachet,type,cortonmontrachet:$i).
% 1.99/0.63 tff(cortonmontrachet_definition,axiom,cortonmontrachet = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_corbans,type,corbans:$i).
% 1.99/0.63 tff(corbans_definition,axiom,corbans = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_congresssprings,type,congresssprings:$i).
% 1.99/0.63 tff(congresssprings_definition,axiom,congresssprings = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_marietta,type,marietta:$i).
% 1.99/0.63 tff(marietta_definition,axiom,marietta = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_petermccoy,type,petermccoy:$i).
% 1.99/0.63 tff(petermccoy_definition,axiom,petermccoy = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_selaks,type,selaks:$i).
% 1.99/0.63 tff(selaks_definition,axiom,selaks = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_bancroft,type,bancroft:$i).
% 1.99/0.63 tff(bancroft_definition,axiom,bancroft = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chateauchevalblancstemilion,type,chateauchevalblancstemilion:$i).
% 1.99/0.63 tff(chateauchevalblancstemilion_definition,axiom,chateauchevalblancstemilion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chateauchevalblanc,type,chateauchevalblanc:$i).
% 1.99/0.63 tff(chateauchevalblanc_definition,axiom,chateauchevalblanc = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chateaumorgonbeaujolais,type,chateaumorgonbeaujolais:$i).
% 1.99/0.63 tff(chateaumorgonbeaujolais_definition,axiom,chateaumorgonbeaujolais = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chateaumorgon,type,chateaumorgon:$i).
% 1.99/0.63 tff(chateaumorgon_definition,axiom,chateaumorgon = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_elyse,type,elyse:$i).
% 1.99/0.63 tff(elyse_definition,axiom,elyse = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_mountadam,type,mountadam:$i).
% 1.99/0.63 tff(mountadam_definition,axiom,mountadam = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_taylorport,type,taylorport:$i).
% 1.99/0.63 tff(taylorport_definition,axiom,taylorport = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_taylor,type,taylor:$i).
% 1.99/0.63 tff(taylor_definition,axiom,taylor = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chateaudychem,type,chateaudychem:$i).
% 1.99/0.63 tff(chateaudychem_definition,axiom,chateaudychem = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_schlossrothermel,type,schlossrothermel:$i).
% 1.99/0.63 tff(schlossrothermel_definition,axiom,schlossrothermel = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_garyfarrell,type,garyfarrell:$i).
% 1.99/0.63 tff(garyfarrell_definition,axiom,garyfarrell = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_closdevougeotcotesdor,type,closdevougeotcotesdor:$i).
% 1.99/0.63 tff(closdevougeotcotesdor_definition,axiom,closdevougeotcotesdor = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_closdevougeot,type,closdevougeot:$i).
% 1.99/0.63 tff(closdevougeot_definition,axiom,closdevougeot = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_cotturi,type,cotturi:$i).
% 1.99/0.63 tff(cotturi_definition,axiom,cotturi = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_closdelapoussiesancerre,type,closdelapoussiesancerre:$i).
% 1.99/0.63 tff(closdelapoussiesancerre_definition,axiom,closdelapoussiesancerre = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_closdelapoussie,type,closdelapoussie:$i).
% 1.99/0.63 tff(closdelapoussie_definition,axiom,closdelapoussie = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_longridge,type,longridge:$i).
% 1.99/0.63 tff(longridge_definition,axiom,longridge = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_kalincellars,type,kalincellars:$i).
% 1.99/0.63 tff(kalincellars_definition,axiom,kalincellars = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_pagemillwinery,type,pagemillwinery:$i).
% 1.99/0.63 tff(pagemillwinery_definition,axiom,pagemillwinery = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_seanthackrey,type,seanthackrey:$i).
% 1.99/0.63 tff(seanthackrey_definition,axiom,seanthackrey = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_saucelitocanyon,type,saucelitocanyon:$i).
% 1.99/0.63 tff(saucelitocanyon_definition,axiom,saucelitocanyon = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chateaudemeursault,type,chateaudemeursault:$i).
% 1.99/0.63 tff(chateaudemeursault_definition,axiom,chateaudemeursault = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_santacruzmountainvineyard,type,santacruzmountainvineyard:$i).
% 1.99/0.63 tff(santacruzmountainvineyard_definition,axiom,santacruzmountainvineyard = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_lanetanner,type,lanetanner:$i).
% 1.99/0.63 tff(lanetanner_definition,axiom,lanetanner = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_rosedanjou,type,rosedanjou:$i).
% 1.99/0.63 tff(rosedanjou_definition,axiom,rosedanjou = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_danjou,type,danjou:$i).
% 1.99/0.63 tff(danjou_definition,axiom,danjou = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chateaumargaux,type,chateaumargaux:$i).
% 1.99/0.63 tff(chateaumargaux_definition,axiom,chateaumargaux = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chateaumargauxwinery,type,chateaumargauxwinery:$i).
% 1.99/0.63 tff(chateaumargauxwinery_definition,axiom,chateaumargauxwinery = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_kathrynkennedy,type,kathrynkennedy:$i).
% 1.99/0.63 tff(kathrynkennedy_definition,axiom,kathrynkennedy = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_mountedenvineyard,type,mountedenvineyard:$i).
% 1.99/0.63 tff(mountedenvineyard_definition,axiom,mountedenvineyard = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_whitehalllane,type,whitehalllane:$i).
% 1.99/0.63 tff(whitehalllane_definition,axiom,whitehalllane = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_ventana,type,ventana:$i).
% 1.99/0.63 tff(ventana_definition,axiom,ventana = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_schlossvolrad,type,schlossvolrad:$i).
% 1.99/0.63 tff(schlossvolrad_definition,axiom,schlossvolrad = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_stonleigh,type,stonleigh:$i).
% 1.99/0.63 tff(stonleigh_definition,axiom,stonleigh = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_sevreetmainemuscadet,type,sevreetmainemuscadet:$i).
% 1.99/0.63 tff(sevreetmainemuscadet_definition,axiom,sevreetmainemuscadet = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_sevreetmaine,type,sevreetmaine:$i).
% 1.99/0.63 tff(sevreetmaine_definition,axiom,sevreetmaine = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_dry,type,dry:$i).
% 1.99/0.63 tff(dry_definition,axiom,dry = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_sweet,type,sweet:$i).
% 1.99/0.63 tff(sweet_definition,axiom,sweet = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_offdry,type,offdry:$i).
% 1.99/0.63 tff(offdry_definition,axiom,offdry = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_californiaregion,type,californiaregion:$i).
% 1.99/0.63 tff(californiaregion_definition,axiom,californiaregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_usregion,type,usregion:$i).
% 1.99/0.63 tff(usregion_definition,axiom,usregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_loireregion,type,loireregion:$i).
% 1.99/0.63 tff(loireregion_definition,axiom,loireregion = sancerreregion).
% 1.99/0.63 tff(declare_naparegion,type,naparegion:$i).
% 1.99/0.63 tff(naparegion_definition,axiom,naparegion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_centraltexasregion,type,centraltexasregion:$i).
% 1.99/0.63 tff(centraltexasregion_definition,axiom,centraltexasregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_santabarbararegion,type,santabarbararegion:$i).
% 1.99/0.63 tff(santabarbararegion_definition,axiom,santabarbararegion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_frenchregion,type,frenchregion:$i).
% 1.99/0.63 tff(frenchregion_definition,axiom,frenchregion = sancerreregion).
% 1.99/0.63 tff(declare_newzealandregion,type,newzealandregion:$i).
% 1.99/0.63 tff(newzealandregion_definition,axiom,newzealandregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_sonomaregion,type,sonomaregion:$i).
% 1.99/0.63 tff(sonomaregion_definition,axiom,sonomaregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_southaustraliaregion,type,southaustraliaregion:$i).
% 1.99/0.63 tff(southaustraliaregion_definition,axiom,southaustraliaregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chiantiregion,type,chiantiregion:$i).
% 1.99/0.63 tff(chiantiregion_definition,axiom,chiantiregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_italianregion,type,italianregion:$i).
% 1.99/0.63 tff(italianregion_definition,axiom,italianregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_sauterneregion,type,sauterneregion:$i).
% 1.99/0.63 tff(sauterneregion_definition,axiom,sauterneregion = sancerreregion).
% 1.99/0.63 tff(declare_bordeauxregion,type,bordeauxregion:$i).
% 1.99/0.63 tff(bordeauxregion_definition,axiom,bordeauxregion = sancerreregion).
% 1.99/0.63 tff(declare_pauillacregion,type,pauillacregion:$i).
% 1.99/0.63 tff(pauillacregion_definition,axiom,pauillacregion = sancerreregion).
% 1.99/0.63 tff(declare_medocregion,type,medocregion:$i).
% 1.99/0.63 tff(medocregion_definition,axiom,medocregion = sancerreregion).
% 1.99/0.63 tff(declare_texasregion,type,texasregion:$i).
% 1.99/0.63 tff(texasregion_definition,axiom,texasregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_germanyregion,type,germanyregion:$i).
% 1.99/0.63 tff(germanyregion_definition,axiom,germanyregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_anjouregion,type,anjouregion:$i).
% 1.99/0.63 tff(anjouregion_definition,axiom,anjouregion = sancerreregion).
% 1.99/0.63 tff(declare_centralcoastregion,type,centralcoastregion:$i).
% 1.99/0.63 tff(centralcoastregion_definition,axiom,centralcoastregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_arroyogranderegion,type,arroyogranderegion:$i).
% 1.99/0.63 tff(arroyogranderegion_definition,axiom,arroyogranderegion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_australianregion,type,australianregion:$i).
% 1.99/0.63 tff(australianregion_definition,axiom,australianregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_santacruzmountainsregion,type,santacruzmountainsregion:$i).
% 1.99/0.63 tff(santacruzmountainsregion_definition,axiom,santacruzmountainsregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_mendocinoregion,type,mendocinoregion:$i).
% 1.99/0.63 tff(mendocinoregion_definition,axiom,mendocinoregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_margauxregion,type,margauxregion:$i).
% 1.99/0.63 tff(margauxregion_definition,axiom,margauxregion = sancerreregion).
% 1.99/0.63 tff(declare_muscadetregion,type,muscadetregion:$i).
% 1.99/0.63 tff(muscadetregion_definition,axiom,muscadetregion = sancerreregion).
% 1.99/0.63 tff(declare_alsaceregion,type,alsaceregion:$i).
% 1.99/0.63 tff(alsaceregion_definition,axiom,alsaceregion = sancerreregion).
% 1.99/0.63 tff(declare_stemilionregion,type,stemilionregion:$i).
% 1.99/0.63 tff(stemilionregion_definition,axiom,stemilionregion = sancerreregion).
% 1.99/0.63 tff(declare_bourgogneregion,type,bourgogneregion:$i).
% 1.99/0.63 tff(bourgogneregion_definition,axiom,bourgogneregion = sancerreregion).
% 1.99/0.63 tff(declare_toursregion,type,toursregion:$i).
% 1.99/0.63 tff(toursregion_definition,axiom,toursregion = sancerreregion).
% 1.99/0.63 tff(declare_cotesdorregion,type,cotesdorregion:$i).
% 1.99/0.63 tff(cotesdorregion_definition,axiom,cotesdorregion = sancerreregion).
% 1.99/0.63 tff(declare_ednavalleyregion,type,ednavalleyregion:$i).
% 1.99/0.63 tff(ednavalleyregion_definition,axiom,ednavalleyregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_beaujolaisregion,type,beaujolaisregion:$i).
% 1.99/0.63 tff(beaujolaisregion_definition,axiom,beaujolaisregion = sancerreregion).
% 1.99/0.63 tff(declare_meursaultregion,type,meursaultregion:$i).
% 1.99/0.63 tff(meursaultregion_definition,axiom,meursaultregion = sancerreregion).
% 1.99/0.63 tff(declare_semillongrape,type,semillongrape:$i).
% 1.99/0.63 tff(semillongrape_definition,axiom,semillongrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_sauvignonblancgrape,type,sauvignonblancgrape:$i).
% 1.99/0.63 tff(sauvignonblancgrape_definition,axiom,sauvignonblancgrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_zinfandelgrape,type,zinfandelgrape:$i).
% 1.99/0.63 tff(zinfandelgrape_definition,axiom,zinfandelgrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_pinotblancgrape,type,pinotblancgrape:$i).
% 1.99/0.63 tff(pinotblancgrape_definition,axiom,pinotblancgrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_chardonnaygrape,type,chardonnaygrape:$i).
% 1.99/0.63 tff(chardonnaygrape_definition,axiom,chardonnaygrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_petitesyrahgrape,type,petitesyrahgrape:$i).
% 1.99/0.63 tff(petitesyrahgrape_definition,axiom,petitesyrahgrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_red,type,red:$i).
% 1.99/0.63 tff(red_definition,axiom,red = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_cabernetsauvignongrape,type,cabernetsauvignongrape:$i).
% 1.99/0.63 tff(cabernetsauvignongrape_definition,axiom,cabernetsauvignongrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_cabernetfrancgrape,type,cabernetfrancgrape:$i).
% 1.99/0.63 tff(cabernetfrancgrape_definition,axiom,cabernetfrancgrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_rose,type,rose:$i).
% 1.99/0.63 tff(rose_definition,axiom,rose = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_gamaygrape,type,gamaygrape:$i).
% 1.99/0.63 tff(gamaygrape_definition,axiom,gamaygrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_cheninblancgrape,type,cheninblancgrape:$i).
% 1.99/0.63 tff(cheninblancgrape_definition,axiom,cheninblancgrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_rieslinggrape,type,rieslinggrape:$i).
% 1.99/0.63 tff(rieslinggrape_definition,axiom,rieslinggrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_pinotnoirgrape,type,pinotnoirgrape:$i).
% 1.99/0.63 tff(pinotnoirgrape_definition,axiom,pinotnoirgrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_merlotgrape,type,merlotgrape:$i).
% 1.99/0.63 tff(merlotgrape_definition,axiom,merlotgrape = sancerreregion).
% 1.99/0.63 tff(declare_portugalregion,type,portugalregion:$i).
% 1.99/0.63 tff(portugalregion_definition,axiom,portugalregion = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_sangiovesegrape,type,sangiovesegrape:$i).
% 1.99/0.63 tff(sangiovesegrape_definition,axiom,sangiovesegrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_petiteverdotgrape,type,petiteverdotgrape:$i).
% 1.99/0.63 tff(petiteverdotgrape_definition,axiom,petiteverdotgrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_malbecgrape,type,malbecgrape:$i).
% 1.99/0.63 tff(malbecgrape_definition,axiom,malbecgrape = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_beringer,type,beringer:$i).
% 1.99/0.63 tff(beringer_definition,axiom,beringer = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_handley,type,handley:$i).
% 1.99/0.63 tff(handley_definition,axiom,handley = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_year1998,type,year1998:$i).
% 1.99/0.63 tff(year1998_definition,axiom,year1998 = pulignymontrachetwhiteburgundy).
% 1.99/0.63 tff(declare_hasbody_aux,type,hasbody_aux: $i * $i > $o ).
% 1.99/0.63 tff(predicate_hasbody_aux,axiom,
% 1.99/0.63 hasbody_aux(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasbody_aux(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~hasbody_aux(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasbody_aux(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_hascolor_aux,type,hascolor_aux: $i * $i > $o ).
% 1.99/0.63 tff(predicate_hascolor_aux,axiom,
% 1.99/0.63 hascolor_aux(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hascolor_aux(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~hascolor_aux(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hascolor_aux(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_hasflavor_aux,type,hasflavor_aux: $i * $i > $o ).
% 1.99/0.63 tff(predicate_hasflavor_aux,axiom,
% 1.99/0.63 hasflavor_aux(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasflavor_aux(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~hasflavor_aux(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasflavor_aux(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_hasmaker_aux,type,hasmaker_aux: $i * $i > $o ).
% 1.99/0.63 tff(predicate_hasmaker_aux,axiom,
% 1.99/0.63 hasmaker_aux(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasmaker_aux(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~hasmaker_aux(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & hasmaker_aux(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_hassugar_aux,type,hassugar_aux: $i * $i > $o ).
% 1.99/0.63 tff(predicate_hassugar_aux,axiom,
% 1.99/0.63 hassugar_aux(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hassugar_aux(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~hassugar_aux(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hassugar_aux(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_locatedin_aux,type,locatedin_aux: $i * $i > $o ).
% 1.99/0.63 tff(predicate_locatedin_aux,axiom,
% 1.99/0.63 locatedin_aux(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~locatedin_aux(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~locatedin_aux(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & locatedin_aux(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_madefromgrape_aux,type,madefromgrape_aux: $i * $i > $o ).
% 1.99/0.63 tff(predicate_madefromgrape_aux,axiom,
% 1.99/0.63 madefromgrape_aux(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~madefromgrape_aux(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~madefromgrape_aux(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~madefromgrape_aux(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom1_aux,type,ot____nom1_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom1_aux,axiom,
% 1.99/0.63 ot____nom1_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom1_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom10_aux,type,ot____nom10_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom10_aux,axiom,
% 1.99/0.63 ot____nom10_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom10_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom11_aux,type,ot____nom11_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom11_aux,axiom,
% 1.99/0.63 ot____nom11_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom11_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom12_aux,type,ot____nom12_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom12_aux,axiom,
% 1.99/0.63 ot____nom12_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom12_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom13_aux,type,ot____nom13_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom13_aux,axiom,
% 1.99/0.63 ~ot____nom13_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom13_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom14_aux,type,ot____nom14_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom14_aux,axiom,
% 1.99/0.63 ~ot____nom14_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom14_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom15_aux,type,ot____nom15_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom15_aux,axiom,
% 1.99/0.63 ot____nom15_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom15_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom16_aux,type,ot____nom16_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom16_aux,axiom,
% 1.99/0.63 ~ot____nom16_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom16_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom17_aux,type,ot____nom17_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom17_aux,axiom,
% 1.99/0.63 ot____nom17_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom17_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom18_aux,type,ot____nom18_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom18_aux,axiom,
% 1.99/0.63 ot____nom18_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom18_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom19_aux,type,ot____nom19_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom19_aux,axiom,
% 1.99/0.63 ~ot____nom19_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom19_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom2_aux,type,ot____nom2_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom2_aux,axiom,
% 1.99/0.63 ~ot____nom2_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom2_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom20_aux,type,ot____nom20_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom20_aux,axiom,
% 1.99/0.63 ot____nom20_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom20_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom21_aux,type,ot____nom21_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom21_aux,axiom,
% 1.99/0.63 ot____nom21_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom21_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom22_aux,type,ot____nom22_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom22_aux,axiom,
% 1.99/0.63 ~ot____nom22_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom22_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom23_aux,type,ot____nom23_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom23_aux,axiom,
% 1.99/0.63 ~ot____nom23_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom23_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom24_aux,type,ot____nom24_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom24_aux,axiom,
% 1.99/0.63 ot____nom24_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom24_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom25_aux,type,ot____nom25_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom25_aux,axiom,
% 1.99/0.63 ot____nom25_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom25_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom26_aux,type,ot____nom26_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom26_aux,axiom,
% 1.99/0.63 ~ot____nom26_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom26_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom27_aux,type,ot____nom27_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom27_aux,axiom,
% 1.99/0.63 ot____nom27_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom27_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom28_aux,type,ot____nom28_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom28_aux,axiom,
% 1.99/0.63 ot____nom28_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom28_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom29_aux,type,ot____nom29_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom29_aux,axiom,
% 1.99/0.63 ot____nom29_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom29_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom3_aux,type,ot____nom3_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom3_aux,axiom,
% 1.99/0.63 ot____nom3_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom3_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom30_aux,type,ot____nom30_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom30_aux,axiom,
% 1.99/0.63 ~ot____nom30_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom30_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom31_aux,type,ot____nom31_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom31_aux,axiom,
% 1.99/0.63 ~ot____nom31_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom31_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom32_aux,type,ot____nom32_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom32_aux,axiom,
% 1.99/0.63 ot____nom32_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom32_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom33_aux,type,ot____nom33_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom33_aux,axiom,
% 1.99/0.63 ot____nom33_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom33_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom34_aux,type,ot____nom34_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom34_aux,axiom,
% 1.99/0.63 ot____nom34_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom34_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom35_aux,type,ot____nom35_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom35_aux,axiom,
% 1.99/0.63 ot____nom35_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom35_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom36_aux,type,ot____nom36_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom36_aux,axiom,
% 1.99/0.63 ~ot____nom36_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom36_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom37_aux,type,ot____nom37_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom37_aux,axiom,
% 1.99/0.63 ot____nom37_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom37_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom38_aux,type,ot____nom38_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom38_aux,axiom,
% 1.99/0.63 ot____nom38_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom38_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom39_aux,type,ot____nom39_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom39_aux,axiom,
% 1.99/0.63 ot____nom39_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom39_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom4_aux,type,ot____nom4_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom4_aux,axiom,
% 1.99/0.63 ~ot____nom4_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom4_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom40_aux,type,ot____nom40_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom40_aux,axiom,
% 1.99/0.63 ot____nom40_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom40_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom41_aux,type,ot____nom41_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom41_aux,axiom,
% 1.99/0.63 ~ot____nom41_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom41_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom42_aux,type,ot____nom42_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom42_aux,axiom,
% 1.99/0.63 ~ot____nom42_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom42_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom43_aux,type,ot____nom43_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom43_aux,axiom,
% 1.99/0.63 ~ot____nom43_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom43_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom44_aux,type,ot____nom44_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom44_aux,axiom,
% 1.99/0.63 ot____nom44_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom44_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom45_aux,type,ot____nom45_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom45_aux,axiom,
% 1.99/0.63 ot____nom45_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom45_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom46_aux,type,ot____nom46_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom46_aux,axiom,
% 1.99/0.63 ~ot____nom46_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom46_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom47_aux,type,ot____nom47_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom47_aux,axiom,
% 1.99/0.63 ot____nom47_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom47_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom48_aux,type,ot____nom48_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom48_aux,axiom,
% 1.99/0.63 ~ot____nom48_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom48_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom49_aux,type,ot____nom49_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom49_aux,axiom,
% 1.99/0.63 ~ot____nom49_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom49_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom5_aux,type,ot____nom5_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom5_aux,axiom,
% 1.99/0.63 ot____nom5_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom5_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom50_aux,type,ot____nom50_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom50_aux,axiom,
% 1.99/0.63 ~ot____nom50_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom50_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom51_aux,type,ot____nom51_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom51_aux,axiom,
% 1.99/0.63 ~ot____nom51_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom51_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom52_aux,type,ot____nom52_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom52_aux,axiom,
% 1.99/0.63 ~ot____nom52_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom52_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom53_aux,type,ot____nom53_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom53_aux,axiom,
% 1.99/0.63 ~ot____nom53_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom53_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom54_aux,type,ot____nom54_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom54_aux,axiom,
% 1.99/0.63 ~ot____nom54_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom54_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom55_aux,type,ot____nom55_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom55_aux,axiom,
% 1.99/0.63 ~ot____nom55_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom55_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom56_aux,type,ot____nom56_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom56_aux,axiom,
% 1.99/0.63 ~ot____nom56_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom56_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom57_aux,type,ot____nom57_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom57_aux,axiom,
% 1.99/0.63 ~ot____nom57_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom57_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom58_aux,type,ot____nom58_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom58_aux,axiom,
% 1.99/0.63 ~ot____nom58_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom58_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom59_aux,type,ot____nom59_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom59_aux,axiom,
% 1.99/0.63 ~ot____nom59_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom59_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom6_aux,type,ot____nom6_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom6_aux,axiom,
% 1.99/0.63 ot____nom6_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom6_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom60_aux,type,ot____nom60_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom60_aux,axiom,
% 1.99/0.63 ~ot____nom60_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom60_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom61_aux,type,ot____nom61_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom61_aux,axiom,
% 1.99/0.63 ~ot____nom61_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom61_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom62_aux,type,ot____nom62_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom62_aux,axiom,
% 1.99/0.63 ~ot____nom62_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom62_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom63_aux,type,ot____nom63_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom63_aux,axiom,
% 1.99/0.63 ~ot____nom63_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom63_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom64_aux,type,ot____nom64_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom64_aux,axiom,
% 1.99/0.63 ~ot____nom64_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom64_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom7_aux,type,ot____nom7_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom7_aux,axiom,
% 1.99/0.63 ot____nom7_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom7_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom8_aux,type,ot____nom8_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom8_aux,axiom,
% 1.99/0.63 ot____nom8_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom8_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom9_aux,type,ot____nom9_aux: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom9_aux,axiom,
% 1.99/0.63 ot____nom9_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom9_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_wineflavor_aux,type,wineflavor_aux: $i > $o ).
% 1.99/0.63 tff(predicate_wineflavor_aux,axiom,
% 1.99/0.63 wineflavor_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & wineflavor_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_winegrape_aux,type,winegrape_aux: $i > $o ).
% 1.99/0.63 tff(predicate_winegrape_aux,axiom,
% 1.99/0.63 ~winegrape_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % winegrape_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_winesugar_aux,type,winesugar_aux: $i > $o ).
% 1.99/0.63 tff(predicate_winesugar_aux,axiom,
% 1.99/0.63 winesugar_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & winesugar_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_winery_aux,type,winery_aux: $i > $o ).
% 1.99/0.63 tff(predicate_winery_aux,axiom,
% 1.99/0.63 ~winery_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % winery_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_zinfandel_aux,type,zinfandel_aux: $i > $o ).
% 1.99/0.63 tff(predicate_zinfandel_aux,axiom,
% 1.99/0.63 zinfandel_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~zinfandel_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_winebody_aux,type,winebody_aux: $i > $o ).
% 1.99/0.63 tff(predicate_winebody_aux,axiom,
% 1.99/0.63 winebody_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & winebody_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_winecolor_aux,type,winecolor_aux: $i > $o ).
% 1.99/0.63 tff(predicate_winecolor_aux,axiom,
% 1.99/0.63 winecolor_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & winecolor_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_whiteburgundy_aux,type,whiteburgundy_aux: $i > $o ).
% 1.99/0.63 tff(predicate_whiteburgundy_aux,axiom,
% 1.99/0.63 whiteburgundy_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~whiteburgundy_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_whitewine_aux,type,whitewine_aux: $i > $o ).
% 1.99/0.63 tff(predicate_whitewine_aux,axiom,
% 1.99/0.63 whitewine_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~whitewine_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_muscadet_aux,type,muscadet_aux: $i > $o ).
% 1.99/0.63 tff(predicate_muscadet_aux,axiom,
% 1.99/0.63 muscadet_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~muscadet_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_meursault_aux,type,meursault_aux: $i > $o ).
% 1.99/0.63 tff(predicate_meursault_aux,axiom,
% 1.99/0.63 meursault_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~meursault_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_meritage_aux,type,meritage_aux: $i > $o ).
% 1.99/0.63 tff(predicate_meritage_aux,axiom,
% 1.99/0.63 meritage_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~meritage_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_margaux_aux,type,margaux_aux: $i > $o ).
% 1.99/0.63 tff(predicate_margaux_aux,axiom,
% 1.99/0.63 margaux_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~margaux_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_icewine_aux,type,icewine_aux: $i > $o ).
% 1.99/0.63 tff(predicate_icewine_aux,axiom,
% 1.99/0.63 icewine_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~icewine_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_dryriesling_aux,type,dryriesling_aux: $i > $o ).
% 1.99/0.63 tff(predicate_dryriesling_aux,axiom,
% 1.99/0.63 dryriesling_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~dryriesling_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_dessertwine_aux,type,dessertwine_aux: $i > $o ).
% 1.99/0.63 tff(predicate_dessertwine_aux,axiom,
% 1.99/0.63 dessertwine_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~dessertwine_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_cabernetsauvignon_aux,type,cabernetsauvignon_aux: $i > $o ).
% 1.99/0.63 tff(predicate_cabernetsauvignon_aux,axiom,
% 1.99/0.63 cabernetsauvignon_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~cabernetsauvignon_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_cabernetfranc_aux,type,cabernetfranc_aux: $i > $o ).
% 1.99/0.63 tff(predicate_cabernetfranc_aux,axiom,
% 1.99/0.63 cabernetfranc_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~cabernetfranc_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_beaujolais_aux,type,beaujolais_aux: $i > $o ).
% 1.99/0.63 tff(predicate_beaujolais_aux,axiom,
% 1.99/0.63 beaujolais_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~beaujolais_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_anjou_aux,type,anjou_aux: $i > $o ).
% 1.99/0.63 tff(predicate_anjou_aux,axiom,
% 1.99/0.63 anjou_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~anjou_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_chardonnay_aux,type,chardonnay_aux: $i > $o ).
% 1.99/0.63 tff(predicate_chardonnay_aux,axiom,
% 1.99/0.63 chardonnay_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~chardonnay_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_cheninblanc_aux,type,cheninblanc_aux: $i > $o ).
% 1.99/0.63 tff(predicate_cheninblanc_aux,axiom,
% 1.99/0.63 cheninblanc_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~cheninblanc_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_chianti_aux,type,chianti_aux: $i > $o ).
% 1.99/0.63 tff(predicate_chianti_aux,axiom,
% 1.99/0.63 chianti_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~chianti_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_cotesdor_aux,type,cotesdor_aux: $i > $o ).
% 1.99/0.63 tff(predicate_cotesdor_aux,axiom,
% 1.99/0.63 cotesdor_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~cotesdor_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_merlot_aux,type,merlot_aux: $i > $o ).
% 1.99/0.63 tff(predicate_merlot_aux,axiom,
% 1.99/0.63 merlot_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~merlot_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_pauillac_aux,type,pauillac_aux: $i > $o ).
% 1.99/0.63 tff(predicate_pauillac_aux,axiom,
% 1.99/0.63 pauillac_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~pauillac_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_petitesyrah_aux,type,petitesyrah_aux: $i > $o ).
% 1.99/0.63 tff(predicate_petitesyrah_aux,axiom,
% 1.99/0.63 petitesyrah_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~petitesyrah_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_pinotnoir_aux,type,pinotnoir_aux: $i > $o ).
% 1.99/0.63 tff(predicate_pinotnoir_aux,axiom,
% 1.99/0.63 pinotnoir_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~pinotnoir_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_port_aux,type,port_aux: $i > $o ).
% 1.99/0.63 tff(predicate_port_aux,axiom,
% 1.99/0.63 port_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~port_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_redtablewine_aux,type,redtablewine_aux: $i > $o ).
% 1.99/0.63 tff(predicate_redtablewine_aux,axiom,
% 1.99/0.63 redtablewine_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~redtablewine_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_region_aux,type,region_aux: $i > $o ).
% 1.99/0.63 tff(predicate_region_aux,axiom,
% 1.99/0.63 ~region_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % region_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_riesling_aux,type,riesling_aux: $i > $o ).
% 1.99/0.63 tff(predicate_riesling_aux,axiom,
% 1.99/0.63 riesling_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~riesling_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_sancerre_aux,type,sancerre_aux: $i > $o ).
% 1.99/0.63 tff(predicate_sancerre_aux,axiom,
% 1.99/0.63 sancerre_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~sancerre_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_sauternes_aux,type,sauternes_aux: $i > $o ).
% 1.99/0.63 tff(predicate_sauternes_aux,axiom,
% 1.99/0.63 sauternes_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~sauternes_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_sauvignonblanc_aux,type,sauvignonblanc_aux: $i > $o ).
% 1.99/0.63 tff(predicate_sauvignonblanc_aux,axiom,
% 1.99/0.63 sauvignonblanc_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~sauvignonblanc_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_semillon_aux,type,semillon_aux: $i > $o ).
% 1.99/0.63 tff(predicate_semillon_aux,axiom,
% 1.99/0.63 semillon_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~semillon_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_stemilion_aux,type,stemilion_aux: $i > $o ).
% 1.99/0.63 tff(predicate_stemilion_aux,axiom,
% 1.99/0.63 stemilion_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~stemilion_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_sweetriesling_aux,type,sweetriesling_aux: $i > $o ).
% 1.99/0.63 tff(predicate_sweetriesling_aux,axiom,
% 1.99/0.63 sweetriesling_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~sweetriesling_aux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_kaon2namedobjects,type,kaon2namedobjects: $i > $o ).
% 1.99/0.63 tff(predicate_kaon2namedobjects,axiom,
% 1.99/0.63 kaon2namedobjects(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & kaon2namedobjects(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_vintageyear_aux,type,vintageyear_aux: $i > $o ).
% 1.99/0.63 tff(predicate_vintageyear_aux,axiom,
% 1.99/0.63 ~vintageyear_aux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % vintageyear_aux(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_hasvintageyear_aux,type,hasvintageyear_aux: $i * $i > $o ).
% 1.99/0.63 tff(predicate_hasvintageyear_aux,axiom,
% 1.99/0.63 hasvintageyear_aux(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasvintageyear_aux(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~hasvintageyear_aux(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasvintageyear_aux(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_madefromgrape,type,madefromgrape: $i * $i > $o ).
% 1.99/0.63 tff(predicate_madefromgrape,axiom,
% 1.99/0.63 madefromgrape(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~madefromgrape(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~madefromgrape(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~madefromgrape(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_locatedin,type,locatedin: $i * $i > $o ).
% 1.99/0.63 tff(predicate_locatedin,axiom,
% 1.99/0.63 locatedin(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~locatedin(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~locatedin(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & locatedin(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_hassugar,type,hassugar: $i * $i > $o ).
% 1.99/0.63 tff(predicate_hassugar,axiom,
% 1.99/0.63 hassugar(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hassugar(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~hassugar(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hassugar(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_hasmaker,type,hasmaker: $i * $i > $o ).
% 1.99/0.63 tff(predicate_hasmaker,axiom,
% 1.99/0.63 hasmaker(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasmaker(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~hasmaker(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & hasmaker(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_hasflavor,type,hasflavor: $i * $i > $o ).
% 1.99/0.63 tff(predicate_hasflavor,axiom,
% 1.99/0.63 hasflavor(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasflavor(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~hasflavor(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasflavor(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_hascolor,type,hascolor: $i * $i > $o ).
% 1.99/0.63 tff(predicate_hascolor,axiom,
% 1.99/0.63 hascolor(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hascolor(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~hascolor(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hascolor(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_hasbody,type,hasbody: $i * $i > $o ).
% 1.99/0.63 tff(predicate_hasbody,axiom,
% 1.99/0.63 hasbody(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasbody(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~hasbody(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasbody(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_adjacentregion_aux,type,adjacentregion_aux: $i * $i > $o ).
% 1.99/0.63 tff(predicate_adjacentregion_aux,axiom,
% 1.99/0.63 % adjacentregion_aux(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy) undefined in model
% 1.99/0.63 % adjacentregion_aux(pulignymontrachetwhiteburgundy,sancerreregion) undefined in model
% 1.99/0.63 % adjacentregion_aux(sancerreregion,pulignymontrachetwhiteburgundy) undefined in model
% 1.99/0.63 % adjacentregion_aux(sancerreregion,sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_adjacentregion,type,adjacentregion: $i * $i > $o ).
% 1.99/0.63 tff(predicate_adjacentregion,axiom,
% 1.99/0.63 ~adjacentregion(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~adjacentregion(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~adjacentregion(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~adjacentregion(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_hasvintageyear,type,hasvintageyear: $i * $i > $o ).
% 1.99/0.63 tff(predicate_hasvintageyear,axiom,
% 1.99/0.63 hasvintageyear(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasvintageyear(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~hasvintageyear(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~hasvintageyear(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom1,type,ot____nom1: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom1,axiom,
% 1.99/0.63 ot____nom1(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom1(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom10,type,ot____nom10: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom10,axiom,
% 1.99/0.63 ot____nom10(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom10(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom11,type,ot____nom11: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom11,axiom,
% 1.99/0.63 ot____nom11(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom11(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom12,type,ot____nom12: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom12,axiom,
% 1.99/0.63 ot____nom12(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom12(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom13,type,ot____nom13: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom13,axiom,
% 1.99/0.63 ot____nom13(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom13(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom14,type,ot____nom14: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom14,axiom,
% 1.99/0.63 ot____nom14(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom14(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom15,type,ot____nom15: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom15,axiom,
% 1.99/0.63 ot____nom15(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom15(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom16,type,ot____nom16: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom16,axiom,
% 1.99/0.63 ot____nom16(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom16(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom17,type,ot____nom17: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom17,axiom,
% 1.99/0.63 ot____nom17(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom17(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom18,type,ot____nom18: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom18,axiom,
% 1.99/0.63 ot____nom18(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom18(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom19,type,ot____nom19: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom19,axiom,
% 1.99/0.63 ot____nom19(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom19(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom2,type,ot____nom2: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom2,axiom,
% 1.99/0.63 ot____nom2(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom2(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom20,type,ot____nom20: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom20,axiom,
% 1.99/0.63 ot____nom20(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom20(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom21,type,ot____nom21: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom21,axiom,
% 1.99/0.63 ot____nom21(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom21(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom22,type,ot____nom22: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom22,axiom,
% 1.99/0.63 ot____nom22(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom22(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom23,type,ot____nom23: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom23,axiom,
% 1.99/0.63 ot____nom23(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom23(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom24,type,ot____nom24: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom24,axiom,
% 1.99/0.63 ot____nom24(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom24(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom25,type,ot____nom25: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom25,axiom,
% 1.99/0.63 ot____nom25(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom25(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom26,type,ot____nom26: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom26,axiom,
% 1.99/0.63 ot____nom26(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom26(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom27,type,ot____nom27: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom27,axiom,
% 1.99/0.63 ot____nom27(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom27(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom28,type,ot____nom28: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom28,axiom,
% 1.99/0.63 ot____nom28(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom28(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom29,type,ot____nom29: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom29,axiom,
% 1.99/0.63 ot____nom29(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom29(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom3,type,ot____nom3: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom3,axiom,
% 1.99/0.63 ot____nom3(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom3(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom30,type,ot____nom30: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom30,axiom,
% 1.99/0.63 ot____nom30(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom30(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom31,type,ot____nom31: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom31,axiom,
% 1.99/0.63 ot____nom31(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom31(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom32,type,ot____nom32: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom32,axiom,
% 1.99/0.63 ot____nom32(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom32(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom33,type,ot____nom33: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom33,axiom,
% 1.99/0.63 ot____nom33(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom33(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom34,type,ot____nom34: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom34,axiom,
% 1.99/0.63 ot____nom34(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom34(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom35,type,ot____nom35: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom35,axiom,
% 1.99/0.63 ot____nom35(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom35(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom36,type,ot____nom36: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom36,axiom,
% 1.99/0.63 ot____nom36(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom36(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom37,type,ot____nom37: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom37,axiom,
% 1.99/0.63 ot____nom37(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom37(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom38,type,ot____nom38: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom38,axiom,
% 1.99/0.63 ot____nom38(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom38(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom39,type,ot____nom39: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom39,axiom,
% 1.99/0.63 ot____nom39(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom39(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom4,type,ot____nom4: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom4,axiom,
% 1.99/0.63 ot____nom4(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom4(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom40,type,ot____nom40: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom40,axiom,
% 1.99/0.63 ot____nom40(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom40(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom41,type,ot____nom41: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom41,axiom,
% 1.99/0.63 ~ot____nom41(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom41(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom42,type,ot____nom42: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom42,axiom,
% 1.99/0.63 ot____nom42(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom42(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom43,type,ot____nom43: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom43,axiom,
% 1.99/0.63 ot____nom43(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom43(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom44,type,ot____nom44: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom44,axiom,
% 1.99/0.63 ot____nom44(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom44(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom45,type,ot____nom45: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom45,axiom,
% 1.99/0.63 ot____nom45(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom45(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom46,type,ot____nom46: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom46,axiom,
% 1.99/0.63 ot____nom46(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom46(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom47,type,ot____nom47: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom47,axiom,
% 1.99/0.63 ot____nom47(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom47(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom48,type,ot____nom48: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom48,axiom,
% 1.99/0.63 ~ot____nom48(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom48(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom49,type,ot____nom49: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom49,axiom,
% 1.99/0.63 ~ot____nom49(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom49(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom5,type,ot____nom5: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom5,axiom,
% 1.99/0.63 ot____nom5(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom5(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom50,type,ot____nom50: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom50,axiom,
% 1.99/0.63 ~ot____nom50(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom50(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom51,type,ot____nom51: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom51,axiom,
% 1.99/0.63 ~ot____nom51(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom51(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom52,type,ot____nom52: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom52,axiom,
% 1.99/0.63 ~ot____nom52(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom52(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom53,type,ot____nom53: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom53,axiom,
% 1.99/0.63 ~ot____nom53(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom53(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom54,type,ot____nom54: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom54,axiom,
% 1.99/0.63 ~ot____nom54(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom54(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom55,type,ot____nom55: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom55,axiom,
% 1.99/0.63 ~ot____nom55(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom55(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom56,type,ot____nom56: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom56,axiom,
% 1.99/0.63 ~ot____nom56(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom56(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom57,type,ot____nom57: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom57,axiom,
% 1.99/0.63 ~ot____nom57(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom57(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom58,type,ot____nom58: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom58,axiom,
% 1.99/0.63 ~ot____nom58(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom58(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom59,type,ot____nom59: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom59,axiom,
% 1.99/0.63 ~ot____nom59(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom59(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom6,type,ot____nom6: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom6,axiom,
% 1.99/0.63 ot____nom6(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~ot____nom6(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom60,type,ot____nom60: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom60,axiom,
% 1.99/0.63 ~ot____nom60(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom60(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom61,type,ot____nom61: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom61,axiom,
% 1.99/0.63 ~ot____nom61(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom61(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom62,type,ot____nom62: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom62,axiom,
% 1.99/0.63 ~ot____nom62(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom62(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom63,type,ot____nom63: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom63,axiom,
% 1.99/0.63 ~ot____nom63(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom63(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom64,type,ot____nom64: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom64,axiom,
% 1.99/0.63 ~ot____nom64(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % ot____nom64(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom7,type,ot____nom7: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom7,axiom,
% 1.99/0.63 ot____nom7(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom7(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom8,type,ot____nom8: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom8,axiom,
% 1.99/0.63 ot____nom8(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom8(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_ot____nom9,type,ot____nom9: $i > $o ).
% 1.99/0.63 tff(predicate_ot____nom9,axiom,
% 1.99/0.63 ot____nom9(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ot____nom9(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_zinfandel,type,zinfandel: $i > $o ).
% 1.99/0.63 tff(predicate_zinfandel,axiom,
% 1.99/0.63 zinfandel(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~zinfandel(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_winery,type,winery: $i > $o ).
% 1.99/0.63 tff(predicate_winery,axiom,
% 1.99/0.63 ~winery(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % winery(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_winegrape,type,winegrape: $i > $o ).
% 1.99/0.63 tff(predicate_winegrape,axiom,
% 1.99/0.63 ~winegrape(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % winegrape(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_winesugar,type,winesugar: $i > $o ).
% 1.99/0.63 tff(predicate_winesugar,axiom,
% 1.99/0.63 winesugar(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & winesugar(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_wineflavor,type,wineflavor: $i > $o ).
% 1.99/0.63 tff(predicate_wineflavor,axiom,
% 1.99/0.63 wineflavor(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & wineflavor(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_anjou,type,anjou: $i > $o ).
% 1.99/0.63 tff(predicate_anjou,axiom,
% 1.99/0.63 anjou(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~anjou(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_beaujolais,type,beaujolais: $i > $o ).
% 1.99/0.63 tff(predicate_beaujolais,axiom,
% 1.99/0.63 beaujolais(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~beaujolais(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_cabernetfranc,type,cabernetfranc: $i > $o ).
% 1.99/0.63 tff(predicate_cabernetfranc,axiom,
% 1.99/0.63 cabernetfranc(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~cabernetfranc(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_cabernetsauvignon,type,cabernetsauvignon: $i > $o ).
% 1.99/0.63 tff(predicate_cabernetsauvignon,axiom,
% 1.99/0.63 cabernetsauvignon(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~cabernetsauvignon(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_chardonnay,type,chardonnay: $i > $o ).
% 1.99/0.63 tff(predicate_chardonnay,axiom,
% 1.99/0.63 chardonnay(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~chardonnay(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_cheninblanc,type,cheninblanc: $i > $o ).
% 1.99/0.63 tff(predicate_cheninblanc,axiom,
% 1.99/0.63 cheninblanc(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~cheninblanc(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_chianti,type,chianti: $i > $o ).
% 1.99/0.63 tff(predicate_chianti,axiom,
% 1.99/0.63 chianti(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~chianti(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_cotesdor,type,cotesdor: $i > $o ).
% 1.99/0.63 tff(predicate_cotesdor,axiom,
% 1.99/0.63 cotesdor(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~cotesdor(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_dessertwine,type,dessertwine: $i > $o ).
% 1.99/0.63 tff(predicate_dessertwine,axiom,
% 1.99/0.63 dessertwine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~dessertwine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_dryriesling,type,dryriesling: $i > $o ).
% 1.99/0.63 tff(predicate_dryriesling,axiom,
% 1.99/0.63 dryriesling(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~dryriesling(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_icewine,type,icewine: $i > $o ).
% 1.99/0.63 tff(predicate_icewine,axiom,
% 1.99/0.63 icewine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~icewine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_margaux,type,margaux: $i > $o ).
% 1.99/0.63 tff(predicate_margaux,axiom,
% 1.99/0.63 margaux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~margaux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_meritage,type,meritage: $i > $o ).
% 1.99/0.63 tff(predicate_meritage,axiom,
% 1.99/0.63 meritage(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~meritage(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_merlot,type,merlot: $i > $o ).
% 1.99/0.63 tff(predicate_merlot,axiom,
% 1.99/0.63 merlot(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~merlot(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_meursault,type,meursault: $i > $o ).
% 1.99/0.63 tff(predicate_meursault,axiom,
% 1.99/0.63 meursault(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~meursault(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_muscadet,type,muscadet: $i > $o ).
% 1.99/0.63 tff(predicate_muscadet,axiom,
% 1.99/0.63 muscadet(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~muscadet(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_pauillac,type,pauillac: $i > $o ).
% 1.99/0.63 tff(predicate_pauillac,axiom,
% 1.99/0.63 pauillac(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~pauillac(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_petitesyrah,type,petitesyrah: $i > $o ).
% 1.99/0.63 tff(predicate_petitesyrah,axiom,
% 1.99/0.63 petitesyrah(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~petitesyrah(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_pinotnoir,type,pinotnoir: $i > $o ).
% 1.99/0.63 tff(predicate_pinotnoir,axiom,
% 1.99/0.63 pinotnoir(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~pinotnoir(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_port,type,port: $i > $o ).
% 1.99/0.63 tff(predicate_port,axiom,
% 1.99/0.63 port(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~port(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_redtablewine,type,redtablewine: $i > $o ).
% 1.99/0.63 tff(predicate_redtablewine,axiom,
% 1.99/0.63 redtablewine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~redtablewine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_region,type,region: $i > $o ).
% 1.99/0.63 tff(predicate_region,axiom,
% 1.99/0.63 ~region(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % region(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_riesling,type,riesling: $i > $o ).
% 1.99/0.63 tff(predicate_riesling,axiom,
% 1.99/0.63 riesling(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~riesling(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_sancerre,type,sancerre: $i > $o ).
% 1.99/0.63 tff(predicate_sancerre,axiom,
% 1.99/0.63 sancerre(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~sancerre(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_sauternes,type,sauternes: $i > $o ).
% 1.99/0.63 tff(predicate_sauternes,axiom,
% 1.99/0.63 sauternes(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~sauternes(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_sauvignonblanc,type,sauvignonblanc: $i > $o ).
% 1.99/0.63 tff(predicate_sauvignonblanc,axiom,
% 1.99/0.63 sauvignonblanc(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~sauvignonblanc(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_semillon,type,semillon: $i > $o ).
% 1.99/0.63 tff(predicate_semillon,axiom,
% 1.99/0.63 semillon(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~semillon(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_stemilion,type,stemilion: $i > $o ).
% 1.99/0.63 tff(predicate_stemilion,axiom,
% 1.99/0.63 stemilion(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~stemilion(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_sweetriesling,type,sweetriesling: $i > $o ).
% 1.99/0.63 tff(predicate_sweetriesling,axiom,
% 1.99/0.63 sweetriesling(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~sweetriesling(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_vintageyear,type,vintageyear: $i > $o ).
% 1.99/0.63 tff(predicate_vintageyear,axiom,
% 1.99/0.63 ~vintageyear(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % vintageyear(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_whiteburgundy,type,whiteburgundy: $i > $o ).
% 1.99/0.63 tff(predicate_whiteburgundy,axiom,
% 1.99/0.63 whiteburgundy(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~whiteburgundy(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_whitewine,type,whitewine: $i > $o ).
% 1.99/0.63 tff(predicate_whitewine,axiom,
% 1.99/0.63 whitewine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~whitewine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_winebody,type,winebody: $i > $o ).
% 1.99/0.63 tff(predicate_winebody,axiom,
% 1.99/0.63 winebody(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & winebody(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_winecolor,type,winecolor: $i > $o ).
% 1.99/0.63 tff(predicate_winecolor,axiom,
% 1.99/0.63 winecolor(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & winecolor(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q0,type,q0: $i > $o ).
% 1.99/0.63 tff(predicate_q0,axiom,
% 1.99/0.63 q0(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q0(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_medoc,type,medoc: $i > $o ).
% 1.99/0.63 tff(predicate_medoc,axiom,
% 1.99/0.63 medoc(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~medoc(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_redwine,type,redwine: $i > $o ).
% 1.99/0.63 tff(predicate_redwine,axiom,
% 1.99/0.63 redwine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~redwine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_kaon2equal,type,kaon2equal: $i * $i > $o ).
% 1.99/0.63 tff(predicate_kaon2equal,axiom,
% 1.99/0.63 kaon2equal(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~kaon2equal(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~kaon2equal(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & kaon2equal(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_bordeaux,type,bordeaux: $i > $o ).
% 1.99/0.63 tff(predicate_bordeaux,axiom,
% 1.99/0.63 bordeaux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~bordeaux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q1,type,q1: $i > $o ).
% 1.99/0.63 tff(predicate_q1,axiom,
% 1.99/0.63 q1(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q1(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q2,type,q2: $i > $o ).
% 1.99/0.63 tff(predicate_q2,axiom,
% 1.99/0.63 q2(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q2(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q9,type,q9: $i > $o ).
% 1.99/0.63 tff(predicate_q9,axiom,
% 1.99/0.63 q9(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q9(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q10,type,q10: $i > $o ).
% 1.99/0.63 tff(predicate_q10,axiom,
% 1.99/0.63 q10(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q10(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q11,type,q11: $i > $o ).
% 1.99/0.63 tff(predicate_q11,axiom,
% 1.99/0.63 q11(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q11(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q12,type,q12: $i > $o ).
% 1.99/0.63 tff(predicate_q12,axiom,
% 1.99/0.63 q12(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q12(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_whitetablewine,type,whitetablewine: $i > $o ).
% 1.99/0.63 tff(predicate_whitetablewine,axiom,
% 1.99/0.63 whitetablewine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~whitetablewine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_pinotblanc,type,pinotblanc: $i > $o ).
% 1.99/0.63 tff(predicate_pinotblanc,axiom,
% 1.99/0.63 pinotblanc(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~pinotblanc(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_semillonorsauvignonblanc,type,semillonorsauvignonblanc: $i > $o ).
% 1.99/0.63 tff(predicate_semillonorsauvignonblanc,axiom,
% 1.99/0.63 semillonorsauvignonblanc(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~semillonorsauvignonblanc(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q13,type,q13: $i > $o ).
% 1.99/0.63 tff(predicate_q13,axiom,
% 1.99/0.63 q13(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q13(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_gamay,type,gamay: $i > $o ).
% 1.99/0.63 tff(predicate_gamay,axiom,
% 1.99/0.63 gamay(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~gamay(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q14,type,q14: $i > $o ).
% 1.99/0.63 tff(predicate_q14,axiom,
% 1.99/0.63 q14(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q14(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q15,type,q15: $i > $o ).
% 1.99/0.63 tff(predicate_q15,axiom,
% 1.99/0.63 q15(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q15(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_rosewine,type,rosewine: $i > $o ).
% 1.99/0.63 tff(predicate_rosewine,axiom,
% 1.99/0.63 rosewine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~rosewine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q16,type,q16: $i > $o ).
% 1.99/0.63 tff(predicate_q16,axiom,
% 1.99/0.63 q16(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q16(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q17,type,q17: $i > $o ).
% 1.99/0.63 tff(predicate_q17,axiom,
% 1.99/0.63 q17(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q17(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q18,type,q18: $i > $o ).
% 1.99/0.63 tff(predicate_q18,axiom,
% 1.99/0.63 q18(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q18(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q19,type,q19: $i > $o ).
% 1.99/0.63 tff(predicate_q19,axiom,
% 1.99/0.63 q19(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q19(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q20,type,q20: $i > $o ).
% 1.99/0.63 tff(predicate_q20,axiom,
% 1.99/0.63 q20(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q20(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q21,type,q21: $i > $o ).
% 1.99/0.63 tff(predicate_q21,axiom,
% 1.99/0.63 q21(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q21(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q22,type,q22: $i > $o ).
% 1.99/0.63 tff(predicate_q22,axiom,
% 1.99/0.63 q22(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q22(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q23,type,q23: $i > $o ).
% 1.99/0.63 tff(predicate_q23,axiom,
% 1.99/0.63 q23(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q23(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q24,type,q24: $i > $o ).
% 1.99/0.63 tff(predicate_q24,axiom,
% 1.99/0.63 q24(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q24(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_americanwine,type,americanwine: $i > $o ).
% 1.99/0.63 tff(predicate_americanwine,axiom,
% 1.99/0.63 americanwine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~americanwine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q26,type,q26: $i > $o ).
% 1.99/0.63 tff(predicate_q26,axiom,
% 1.99/0.63 q26(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q26(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q27,type,q27: $i > $o ).
% 1.99/0.63 tff(predicate_q27,axiom,
% 1.99/0.63 q27(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q27(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_burgundy,type,burgundy: $i > $o ).
% 1.99/0.63 tff(predicate_burgundy,axiom,
% 1.99/0.63 burgundy(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~burgundy(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q29,type,q29: $i > $o ).
% 1.99/0.63 tff(predicate_q29,axiom,
% 1.99/0.63 q29(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q29(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q30,type,q30: $i > $o ).
% 1.99/0.63 tff(predicate_q30,axiom,
% 1.99/0.63 q30(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q30(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q3,type,q3: $i > $o ).
% 1.99/0.63 tff(predicate_q3,axiom,
% 1.99/0.63 q3(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q3(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_tours,type,tours: $i > $o ).
% 1.99/0.63 tff(predicate_tours,axiom,
% 1.99/0.63 tours(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~tours(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_redburgundy,type,redburgundy: $i > $o ).
% 1.99/0.63 tff(predicate_redburgundy,axiom,
% 1.99/0.63 redburgundy(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~redburgundy(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_wine,type,wine: $i > $o ).
% 1.99/0.63 tff(predicate_wine,axiom,
% 1.99/0.63 wine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~wine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q31,type,q31: $i > $o ).
% 1.99/0.63 tff(predicate_q31,axiom,
% 1.99/0.63 q31(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q31(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_tablewine,type,tablewine: $i > $o ).
% 1.99/0.63 tff(predicate_tablewine,axiom,
% 1.99/0.63 tablewine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~tablewine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_drywine,type,drywine: $i > $o ).
% 1.99/0.63 tff(predicate_drywine,axiom,
% 1.99/0.63 drywine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~drywine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q32,type,q32: $i > $o ).
% 1.99/0.63 tff(predicate_q32,axiom,
% 1.99/0.63 q32(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q32(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q33,type,q33: $i > $o ).
% 1.99/0.63 tff(predicate_q33,axiom,
% 1.99/0.63 q33(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q33(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q34,type,q34: $i > $o ).
% 1.99/0.63 tff(predicate_q34,axiom,
% 1.99/0.63 q34(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q34(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q35,type,q35: $i > $o ).
% 1.99/0.63 tff(predicate_q35,axiom,
% 1.99/0.63 q35(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q35(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_fullbodiedwine,type,fullbodiedwine: $i > $o ).
% 1.99/0.63 tff(predicate_fullbodiedwine,axiom,
% 1.99/0.63 fullbodiedwine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~fullbodiedwine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_whitenonsweetwine,type,whitenonsweetwine: $i > $o ).
% 1.99/0.63 tff(predicate_whitenonsweetwine,axiom,
% 1.99/0.63 whitenonsweetwine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~whitenonsweetwine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q36,type,q36: $i > $o ).
% 1.99/0.63 tff(predicate_q36,axiom,
% 1.99/0.63 q36(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q36(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_earlyharvest,type,earlyharvest: $i > $o ).
% 1.99/0.63 tff(predicate_earlyharvest,axiom,
% 1.99/0.63 ~earlyharvest(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % earlyharvest(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q37,type,q37: $i > $o ).
% 1.99/0.63 tff(predicate_q37,axiom,
% 1.99/0.63 q37(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q37(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q38,type,q38: $i > $o ).
% 1.99/0.63 tff(predicate_q38,axiom,
% 1.99/0.63 q38(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q38(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q39,type,q39: $i > $o ).
% 1.99/0.63 tff(predicate_q39,axiom,
% 1.99/0.63 q39(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q39(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q40,type,q40: $i > $o ).
% 1.99/0.63 tff(predicate_q40,axiom,
% 1.99/0.63 q40(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q40(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q4,type,q4: $i > $o ).
% 1.99/0.63 tff(predicate_q4,axiom,
% 1.99/0.63 q4(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q4(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q41,type,q41: $i > $o ).
% 1.99/0.63 tff(predicate_q41,axiom,
% 1.99/0.63 q41(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q41(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q42,type,q42: $i > $o ).
% 1.99/0.63 tff(predicate_q42,axiom,
% 1.99/0.63 q42(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q42(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q43,type,q43: $i > $o ).
% 1.99/0.63 tff(predicate_q43,axiom,
% 1.99/0.63 q43(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q43(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q44,type,q44: $i > $o ).
% 1.99/0.63 tff(predicate_q44,axiom,
% 1.99/0.63 q44(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q44(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q45,type,q45: $i > $o ).
% 1.99/0.63 tff(predicate_q45,axiom,
% 1.99/0.63 q45(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q45(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q46,type,q46: $i > $o ).
% 1.99/0.63 tff(predicate_q46,axiom,
% 1.99/0.63 q46(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q46(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_californiawine,type,californiawine: $i > $o ).
% 1.99/0.63 tff(predicate_californiawine,axiom,
% 1.99/0.63 californiawine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~californiawine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q47,type,q47: $i > $o ).
% 1.99/0.63 tff(predicate_q47,axiom,
% 1.99/0.63 q47(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q47(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q48,type,q48: $i > $o ).
% 1.99/0.63 tff(predicate_q48,axiom,
% 1.99/0.63 q48(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q48(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_germanwine,type,germanwine: $i > $o ).
% 1.99/0.63 tff(predicate_germanwine,axiom,
% 1.99/0.63 germanwine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~germanwine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q49,type,q49: $i > $o ).
% 1.99/0.63 tff(predicate_q49,axiom,
% 1.99/0.63 q49(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q49(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q50,type,q50: $i > $o ).
% 1.99/0.63 tff(predicate_q50,axiom,
% 1.99/0.63 q50(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q50(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q5,type,q5: $i > $o ).
% 1.99/0.63 tff(predicate_q5,axiom,
% 1.99/0.63 q5(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q5(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q6,type,q6: $i > $o ).
% 1.99/0.63 tff(predicate_q6,axiom,
% 1.99/0.63 q6(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q6(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q72,type,q72: $i > $o ).
% 1.99/0.63 tff(predicate_q72,axiom,
% 1.99/0.63 q72(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q72(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q69,type,q69: $i > $o ).
% 1.99/0.63 tff(predicate_q69,axiom,
% 1.99/0.63 q69(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q69(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q63,type,q63: $i > $o ).
% 1.99/0.63 tff(predicate_q63,axiom,
% 1.99/0.63 q63(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q63(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_frenchwine,type,frenchwine: $i > $o ).
% 1.99/0.63 tff(predicate_frenchwine,axiom,
% 1.99/0.63 ~frenchwine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~frenchwine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q51,type,q51: $i > $o ).
% 1.99/0.63 tff(predicate_q51,axiom,
% 1.99/0.63 ~q51(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q51(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q52,type,q52: $i > $o ).
% 1.99/0.63 tff(predicate_q52,axiom,
% 1.99/0.63 ~q52(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q52(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q55,type,q55: $i > $o ).
% 1.99/0.63 tff(predicate_q55,axiom,
% 1.99/0.63 q55(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q55(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q56,type,q56: $i > $o ).
% 1.99/0.63 tff(predicate_q56,axiom,
% 1.99/0.63 q56(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q56(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_loire,type,loire: $i > $o ).
% 1.99/0.63 tff(predicate_loire,axiom,
% 1.99/0.63 loire(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~loire(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q57,type,q57: $i > $o ).
% 1.99/0.63 tff(predicate_q57,axiom,
% 1.99/0.63 q57(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q57(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q58,type,q58: $i > $o ).
% 1.99/0.63 tff(predicate_q58,axiom,
% 1.99/0.63 q58(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q58(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_alsatianwine,type,alsatianwine: $i > $o ).
% 1.99/0.63 tff(predicate_alsatianwine,axiom,
% 1.99/0.63 alsatianwine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~alsatianwine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q59,type,q59: $i > $o ).
% 1.99/0.63 tff(predicate_q59,axiom,
% 1.99/0.63 q59(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q59(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q60,type,q60: $i > $o ).
% 1.99/0.63 tff(predicate_q60,axiom,
% 1.99/0.63 q60(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q60(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_italianwine,type,italianwine: $i > $o ).
% 1.99/0.63 tff(predicate_italianwine,axiom,
% 1.99/0.63 italianwine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~italianwine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q61,type,q61: $i > $o ).
% 1.99/0.63 tff(predicate_q61,axiom,
% 1.99/0.63 q61(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q61(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q62,type,q62: $i > $o ).
% 1.99/0.63 tff(predicate_q62,axiom,
% 1.99/0.63 q62(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q62(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q64,type,q64: $i > $o ).
% 1.99/0.63 tff(predicate_q64,axiom,
% 1.99/0.63 q64(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q64(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q65,type,q65: $i > $o ).
% 1.99/0.63 tff(predicate_q65,axiom,
% 1.99/0.63 q65(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q65(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q66,type,q66: $i > $o ).
% 1.99/0.63 tff(predicate_q66,axiom,
% 1.99/0.63 q66(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q66(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q67,type,q67: $i > $o ).
% 1.99/0.63 tff(predicate_q67,axiom,
% 1.99/0.63 q67(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q67(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_whitebordeaux,type,whitebordeaux: $i > $o ).
% 1.99/0.63 tff(predicate_whitebordeaux,axiom,
% 1.99/0.63 whitebordeaux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~whitebordeaux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q68,type,q68: $i > $o ).
% 1.99/0.63 tff(predicate_q68,axiom,
% 1.99/0.63 q68(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q68(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q7,type,q7: $i > $o ).
% 1.99/0.63 tff(predicate_q7,axiom,
% 1.99/0.63 q7(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q7(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q70,type,q70: $i > $o ).
% 1.99/0.63 tff(predicate_q70,axiom,
% 1.99/0.63 q70(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q70(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_sweetwine,type,sweetwine: $i > $o ).
% 1.99/0.63 tff(predicate_sweetwine,axiom,
% 1.99/0.63 sweetwine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~sweetwine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_lateharvest,type,lateharvest: $i > $o ).
% 1.99/0.63 tff(predicate_lateharvest,axiom,
% 1.99/0.63 lateharvest(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~lateharvest(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q71,type,q71: $i > $o ).
% 1.99/0.63 tff(predicate_q71,axiom,
% 1.99/0.63 q71(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & q71(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_texaswine,type,texaswine: $i > $o ).
% 1.99/0.63 tff(predicate_texaswine,axiom,
% 1.99/0.63 texaswine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~texaswine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q73,type,q73: $i > $o ).
% 1.99/0.63 tff(predicate_q73,axiom,
% 1.99/0.63 q73(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q73(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_q74,type,q74: $i > $o ).
% 1.99/0.63 tff(predicate_q74,axiom,
% 1.99/0.63 q74(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~q74(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_redbordeaux,type,redbordeaux: $i > $o ).
% 1.99/0.63 tff(predicate_redbordeaux,axiom,
% 1.99/0.63 redbordeaux(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~redbordeaux(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_dryredwine,type,dryredwine: $i > $o ).
% 1.99/0.63 tff(predicate_dryredwine,axiom,
% 1.99/0.63 dryredwine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~dryredwine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_drywhitewine,type,drywhitewine: $i > $o ).
% 1.99/0.63 tff(predicate_drywhitewine,axiom,
% 1.99/0.63 drywhitewine(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~drywhitewine(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_grape,type,grape: $i > $o ).
% 1.99/0.63 tff(predicate_grape,axiom,
% 1.99/0.63 ~grape(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % grape(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_whiteloire,type,whiteloire: $i > $o ).
% 1.99/0.63 tff(predicate_whiteloire,axiom,
% 1.99/0.63 whiteloire(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~whiteloire(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_potableliquid,type,potableliquid: $i > $o ).
% 1.99/0.63 tff(predicate_potableliquid,axiom,
% 1.99/0.63 ~potableliquid(pulignymontrachetwhiteburgundy)
% 1.99/0.63 % potableliquid(sancerreregion) undefined in model
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_vintage,type,vintage: $i > $o ).
% 1.99/0.63 tff(predicate_vintage,axiom,
% 1.99/0.63 vintage(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~vintage(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_haswinedescriptor,type,haswinedescriptor: $i * $i > $o ).
% 1.99/0.63 tff(predicate_haswinedescriptor,axiom,
% 1.99/0.63 haswinedescriptor(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & haswinedescriptor(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~haswinedescriptor(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~haswinedescriptor(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_winedescriptor,type,winedescriptor: $i > $o ).
% 1.99/0.63 tff(predicate_winedescriptor,axiom,
% 1.99/0.63 winedescriptor(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & winedescriptor(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_winetaste,type,winetaste: $i > $o ).
% 1.99/0.63 tff(predicate_winetaste,axiom,
% 1.99/0.63 winetaste(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & winetaste(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_produceswine,type,produceswine: $i * $i > $o ).
% 1.99/0.63 tff(predicate_produceswine,axiom,
% 1.99/0.63 produceswine(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~produceswine(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~produceswine(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & produceswine(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_madefromfruit,type,madefromfruit: $i * $i > $o ).
% 1.99/0.63 tff(predicate_madefromfruit,axiom,
% 1.99/0.63 madefromfruit(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & madefromfruit(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & madefromfruit(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & madefromfruit(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_madeintowine,type,madeintowine: $i * $i > $o ).
% 1.99/0.63 tff(predicate_madeintowine,axiom,
% 1.99/0.63 madeintowine(pulignymontrachetwhiteburgundy,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~madeintowine(pulignymontrachetwhiteburgundy,sancerreregion)
% 1.99/0.63 & ~madeintowine(sancerreregion,pulignymontrachetwhiteburgundy)
% 1.99/0.63 & ~madeintowine(sancerreregion,sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 tff(declare_kaon2hu,type,kaon2hu: $i > $o ).
% 1.99/0.63 tff(predicate_kaon2hu,axiom,
% 1.99/0.63 kaon2hu(pulignymontrachetwhiteburgundy)
% 1.99/0.63 & kaon2hu(sancerreregion)
% 1.99/0.63
% 1.99/0.63 ).
% 1.99/0.63
% 1.99/0.63 % SZS output end FiniteModel for theBenchmark
% 1.99/0.63 % (24648)------------------------------
% 1.99/0.63 % (24648)Version: Vampire 4.7 (commit 807e37dd9 on 2022-08-23 09:55:27 +0200)
% 1.99/0.63 % (24648)Linked with Z3 4.8.13.0 f03d756e086f81f2596157241e0decfb1c982299 z3-4.8.4-5390-gf03d756e0
% 1.99/0.63 % (24648)Termination reason: Satisfiable
% 1.99/0.63
% 1.99/0.63 % (24648)Memory used [KB]: 10234
% 1.99/0.63 % (24648)Time elapsed: 0.202 s
% 1.99/0.63 % (24648)Instructions burned: 109 (million)
% 1.99/0.63 % (24648)------------------------------
% 1.99/0.63 % (24648)------------------------------
% 1.99/0.63 % (24647)Success in time 0.285 s
%------------------------------------------------------------------------------