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

[Joshua TAYLOR]

On Mon, Mar 26, 2012 at 4:13 PM, Norbert E. Fuchs <fuchs at ifi.uzh.ch> 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.

Ah, thanks for these corrections!  I was aiming to demonstrate the
MUST DRSs, and wasn't sure what the third person singular pronouns
were supposed to be.  (I tried using "their", as is common is
colloquial usage, but ACE (understandably) doesn't accept that.)  I
also wasn't sure how to get "of water". I tried "two liters of water",
but I see now the correct version is "2 l of water".

As an aside, I was very pleased when ACE introduced
obligation/requirement.  I'm glad to see someone else using it, too.
:)

//JT

-- 
Joshua Taylor, http://www.cs.rpi.edu/~tayloj/