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

[Norbert E. Fuchs]

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