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

[Gabriele Kahlout]

2010/7/11 Norbert E. Fuchs <fuchs at ifi.uzh.ch>

>
> On 11 Jul 2010, at 09:12, Gabriele Kahlout wrote:
>
> > So this could mean that a customer could insert 2 cards before inserting
> a code  in
> > A customer inserts a VisaCard or inserts a MasterCard, and inserts a
> code.
> > Wasn't natural language or mostly xor?
>
> Not in our experience. We checked naturally occurring "either-or" on the
> web, and found that in most cases it did not mean exclusive or, but
> emphasis.
>
> That's interesting, is there a report on this research?
http://en.wikipedia.org/wiki/Exclusive_or#Exclusive_.E2.80.9Cor.E2.80.9D_in_natural_language


So in this case one should have written "the customer inserts a VisaCard or
inserts a MasterCard, and not both and inserts a code.
But there is no support for both, so how could mutual exclusiveness be
expressed?

"No card is inserted while another card is inserted. The customer inserts a
VisaCard or inserts a MasterCard, and inserts a code."
but function words while and another don't exist. So:
"If a card is inserted then no other card is inserted. ..."
but other also doesn't exist:
"If a card X1 is inserted then no card is inserted except X1. ..."
but except doesn't exist:
"If a card X1 is inserted then exactly X1 is inserted. ..."
exactly meaning that no other card is inserted.

Is the last the most natural way to express xor in ACE for the example
sentence?

-- 
Regards,
K. Gabriele

--- unchanged since 25/1/10 ---
P.S. Unless a notification (LON), please reply either with an answer OR with
" ACK" appended to this subject within 48 hours. Otherwise, I might resend.
In(LON, this) ∨ In(48h, TimeNow) ∨ ∃x. In(x, MyInbox) ∧ IsAnswerTo(x, this)
∨ (In(subject(this), subject(x)) ∧ In(ACK, subject(x)) ∧
¬IsAnswerTo(x,this)) ⇒ ¬IResend(this).

Also note that correspondence may be received only from specified a priori
senders, or if the subject of this email ends with a code, eg. -LICHT01X,
then also from senders whose reply contains it.
∀x. In(x, MyInbox) ⇒ In(senderAddress(x), MySafeSenderList) ∨ (∃y. In(y,
subject(this) ) ∧ In(y,x) ∧ isCodeLike(y, -LICHT01X) ).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20100711/2735ef0d/attachment-0001.htm>