<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>On 26 Mar 2012, at 21:13, Norbert E. Fuchs wrote:<br><br><blockquote type="cite"><br></blockquote><blockquote type="cite">The anaphor "its hands" is resolved to "hands of the car" which is not meant. Use instead<br></blockquote><blockquote type="cite"><br></blockquote><blockquote type="cite">If a person drives a car then the person must have his/her own hands on the car's n:steering-wheel.<br></blockquote><blockquote type="cite"><br></blockquote><br>Thanks a lot Norbert. I'm starting to get more of a feel for attempto's language now.<br><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><br>( I asked a question before, and asked it off-list by accident, but that previous question had incorrect input, as I missed the "mary drives a car" statement. I fixed the input a bit. Hopefully there's no more glaring errors.)<br><br>Thanks all.<br></div></blockquote><br></div><div>Theodore</div><div><br></div><div>I rephrased your first axiom to </div><div><br></div><div> If somebody X is a person and drives a car then X must have its own hands on the car's n:steering-wheel. </div><div><br></div><div>and then got the following proof</div><div><br></div><div><img height="280" width="1077" apple-width="yes" apple-height="yes" id="a48bf9cc-2748-4629-9859-9055f35e2840" src="cid:AA3481A0-1B0B-449F-857F-08217D476935@uzh.ch"></div><div><br></div><div>Your original formulation of the first axiom </div><div><br></div><div> If a person drives a car then the person must have his/her own hands on the car's n:steering-wheel.</div><div><br></div><div>doesn't work currently since one of RACE's internal auxiliary axioms has a bug that I need to investigate.</div><div><br></div><div>Regards.</div><div><br></div><div> --- nef</div></body></html>