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

[Norbert E. Fuchs]

On 26 Mar 2012, at 21:19 , Joshua TAYLOR wrote:

> On Mon, Mar 26, 2012 at 2:56 PM, Theodore H. Smith <delete at elfdata.com> wrote:
>> Here are some concepts that I'm not sure how attempto can describe.
>> "In order to drive a car, you must have your hands on the steering wheel"
>> This "Concept", is that in order to do something (a verb, like drive/fly/draw/etc), you must be a certain "state" to do this.
>> "in order to kick a ball, you must balance your body"
>> "in order to run a marathon, you must drink a lot of water"
>> This "concept", is that in order to do something, you must also do something else. So it's not a "State" like in the previous concept, but an "action".
>> Can these concepts be described in attempto? Sorry, if my question is ignorant of attempto.
>> If not, then... can these be described in... "discourse representation structures", or "first order logic" or whatever you are using to describe stuff.
> 
> The following three sentences are all valid ACE.  Are these along the
> lines of what you were thinking?
> 
> If a person drives a car then the person must have its hands on the
> car's n:steering-wheel.
> Every person who kicks a ball must balance its body.
> If a person runs a marathon then the person must drink two liters.

Some small corrections:

> If a person drives a car then the person must have its hands on the car's n:steering-wheel.

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.


> Every person who kicks a ball must balance its body.

The anaphor "its body" is resolved to "body of the ball" which is not meant. Use instead

Every person who kicks a ball must balance his/her own body.


> If a person runs a marathon then the person must drink two liters.

I would prefer

If a person runs a marathon then the person must drink a lot of some water.

or 

If a person runs a marathon then the person must drink at least 2 l of water.

Regards.

   --- nef