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

[Theodore H. Smith]

Very impressive Joshua and Norbert.

That's answered my question entirely.

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

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