Hello.  I am hoping someone can help me figure out how to properly write axioms and queries involving &#39;not&#39; and &#39;less than&#39; in RACE.  I am using the web interface at <a href="http://attempto.ifi.uzh.ch/site/tools/">http://attempto.ifi.uzh.ch/site/tools/</a>.  I am trying different combinations but &#39;not&#39; and &#39;less than&#39; never seem to do what I expect.  Perhaps there are other words I can use.  Is there a way to state that all wines are either inexpensive or expensive?  This is what I have entered and the response (I cannot understand why it will not say that BlendY is inexpensive):<div>
<br></div><div>[Axioms]</div><div><span class="Apple-style-span" style="font-family: -webkit-sans-serif; font-size: 14px; white-space: pre-wrap;"><br></span></div><div><span class="Apple-style-span" style="font-family: -webkit-sans-serif; font-size: 14px; white-space: pre-wrap; ">Every wine that costs at least 50 dollars is expensive.
Every wine that costs less than 50 dollars is inexpensive.
Every wine that costs less than 50 dollars is not expensive.
There is no wine that is not expensive and that is not inexpensive.
Every wine that is not expensive is inexpensive.
BlendX is a wine that costs 50 dollars.
BlendY is a wine that costs 20 dollars.</span></div><div><span class="Apple-style-span" style="font-family: -webkit-sans-serif; font-size: 14px; white-space: pre-wrap;"><br></span></div><div><span class="Apple-style-span" style="font-family: -webkit-sans-serif; font-size: 14px; white-space: pre-wrap; ">[Query]</span></div>
<div><span class="Apple-style-span" style="font-family: -webkit-sans-serif; font-size: 14px; white-space: pre-wrap; ">
</span><div><span class="Apple-style-span" style="border-collapse: collapse; font-family: -webkit-sans-serif; font-size: 14px; white-space: pre-wrap; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px; ">Which wine is inexpensive?  (If I ask which is expensive, it gives the result I expect, BlendX.)</span><br>
</div><div><span class="Apple-style-span" style="border-collapse: collapse; font-family: -webkit-sans-serif; font-size: 14px; white-space: pre-wrap; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px;"><br>
</span></div><div><span class="Apple-style-span" style="border-collapse: collapse; font-family: -webkit-sans-serif; font-size: 14px; white-space: pre-wrap; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px;">[Response]</span></div>
<div><span class="Apple-style-span" style="border-collapse: collapse; font-family: -webkit-sans-serif; font-size: 14px; white-space: pre-wrap; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px;"><br>
</span></div><div><span class="Apple-style-span" style="border-collapse: collapse; font-family: -webkit-sans-serif; font-size: 14px; white-space: pre-wrap; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px;"><span class="Apple-style-span" style="border-collapse: separate; font-size: 16px; white-space: normal; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; "><div class="infoBox" style="background-color: rgb(170, 204, 221); padding-left: 0.4em; font-family: monospace; ">
overall time: 1.302 sec; RACE time: 0.08 sec</div><div class="in" style="background-color: rgb(234, 251, 197); border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; border-top-style: solid; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-top-color: silver; border-right-color: silver; border-bottom-color: silver; border-left-color: silver; margin-top: 1em; margin-right: 1em; margin-bottom: 1em; margin-left: 1em; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<p style="margin-top: 1em; margin-right: 1em; margin-bottom: 1em; margin-left: 1em; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><b>Axioms</b>: Every wine that costs at least 50 dollars is expensive. Every wine that costs less than 50 dollars is inexpensive. Every wine that costs less than 50 dollars is not expensive. There is no wine that is not expensive and that is not inexpensive. Every wine that is not expensive is inexpensive. BlendX is a wine that costs 50 dollars. BlendY is a wine that costs 20 dollars.</p>
<p style="margin-top: 1em; margin-right: 1em; margin-bottom: 1em; margin-left: 1em; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; "><b>Query</b>: Which wine is inexpensive?</p><p style="margin-top: 1em; margin-right: 1em; margin-bottom: 1em; margin-left: 1em; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
<b>Parameters</b>: <em title="subject of intransitive verb">si</em> <em title="object of transitive verb">ot</em> <em title="direct object of ditransitive verb">dodt</em> <em title="there is/are construct">sti</em></p></div>
<p style="margin-top: 1em; margin-right: 1em; margin-bottom: 1em; margin-left: 1em; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">Query cannot be answered.</p><p style="margin-top: 1em; margin-right: 1em; margin-bottom: 1em; margin-left: 1em; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; ">
The following parts of the theorems/query could not be proved:</p><ul><li>is/are</li><li>inexpensive</li></ul></span></span></div><div>Thanks very much for any help you can provide.</div><div><br></div></div>