<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On 27 Mar 2012, at 1:08 , Theodore H. Smith wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>...<br>I tried a basic "query", and I didn't get the answer I expected. Using <a href="http://attempto.ifi.uzh.ch/race/">http://attempto.ifi.uzh.ch/race/</a><br><br>If a person drives a car then the person must have his/her own hands on the car's n:steering-wheel.<br><span class="Apple-tab-span" style="white-space:pre"> </span>p:Fred is a person.<br><span class="Apple-tab-span" style="white-space:pre"> </span>p:Mary is a person.<br><span class="Apple-tab-span" style="white-space:pre"> </span>Mary drives a car.<br><br>And this theorem:<br><br><span class="Apple-tab-span" style="white-space:pre"> </span>Mary has her own hands on a steering-wheel.<br><br>I get this "Theorems do not follow from axioms."<br>…</div></blockquote><br></div><div>Theodore</div><div><br></div><div>In the meantime I found and corrected the error in RACE's auxiliary axioms. Now we get the expected result as the following screen-shot shows.</div><div><br></div><div><img height="319" width="1077" apple-width="yes" apple-height="yes" id="8752dc62-1453-48c9-8a32-3164e33368fc" src="cid:31FC8795-9B14-40BC-94E6-AF8501460631@uzh.ch"></div><div><br></div><div>Notice that the parameter "raw" is set to show the effect of the auxiliary axioms.</div><div><br></div><div>Regards.</div><div><br></div><div> --- nef </div><div><br></div><div><br></div><div><br></div><div><br></div><br></body></html>