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

[Theodore H. Smith]

On 26 Mar 2012, at 21:13, Norbert E. Fuchs wrote:

> 
> The anaphor "its hands" is resolved to "hands of the car" which is not meant. Use instead
> 
> If a person drives a car then the person must have his/her own hands on the car's n:steering-wheel.
> 

Thanks a lot Norbert. I'm starting to get more of a feel for attempto's language now.

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."

( 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.)

Thanks all.