[Attempto] (How?) Can attempto describe these concepts?

[Norbert E. Fuchs]

On 27 Mar 2012, at 1:08 , Theodore H. Smith wrote:

> ...
> I tried a basic "query", and I didn't get the answer I expected. Using http://attempto.ifi.uzh.ch/race/
> 
> If a person drives a car then the person must have his/her own hands on the car's n:steering-wheel.
> 	p:Fred is a person.
> 	p:Mary is a person.
> 	Mary drives a car.
> 
> And this theorem:
> 
> 	Mary has her own hands on a steering-wheel.
> 
> I get this "Theorems do not follow from axioms."
> …

Theodore

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.



Notice that the parameter "raw" is set to show the effect of the auxiliary axioms.

Regards.

   --- nef 





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20120330/bb2d8ab3/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2012-03-30 at 21.04.07 .png
Type: image/png
Size: 73337 bytes
Desc: not available
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20120330/bb2d8ab3/attachment-0001.png>