[Attempto] or is interpreted as inclusive or , or xor?

[George Herson]

A brilliant solution, agreed, but something that requires brilliance is only 
usable by the consistently brilliant.  I would like to see a tool that allows 
users to paste in normal English and stepwise translate it into ACE.  Unless 
that's known to be too difficult it would also be really interesting (and thesis 
worthy) to try.  Attempto, its authors will agree, is an existance proof that 
audacious experiments can resolve in the affirmative.

George
________________________________
From: Norbert E. Fuchs <fuchs at ifi.uzh.ch>
To: Gabriele Kahlout <gabriele at mysimpatico.com>
Cc: attempto at lists.ifi.uzh.ch
Sent: Sun, July 11, 2010 10:46:04 AM
Subject: Re: [Attempto] or is interpreted as inclusive or , or xor?


On 11 Jul 2010, at 16:40, Gabriele Kahlout wrote:

> While the 2nd solution is brilliant. The paraphrase of it is:
> If a thing X1 is inserted and a thing X2 is inserted then the thing X2 is the 
>thing X1.
> This paraphrase is the same for inserted prefixed with a lexicon or not.
> I take this 2nd solution as to be the way to express exclusiveness of the kind 

>in Attempto (until I find other ways, possibly more natural). 
>

Is this more natural?

If something X and something Y are inserted then X is Y.

   --- nef
_______________________________________________
attempto mailing list
attempto at lists.ifi.uzh.ch
https://lists.ifi.uzh.ch/listinfo/attempto