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

[Gabriele Kahlout]

I tried the editor for the FOL of 'A customer inserts a VisaCard or inserts
a MasterCard' but the below representation is not familiar to me:

exists(A, &(object(A, customer, countable, na, eq, 1)-1/2, v(exists(B,
exists(C, &(object(B, 'MasterCard', countable, na, eq, 1)-1/5, predicate(C,
insert, A, B)-1/3))), exists(D, exists(E, &(object(D, 'VisaCard', countable,
na, eq, 1)-1/9, predicate(E, insert, A, D)-1/7))))))

Is there any documentation for it?

As XOR I'd have written it as:

∃x. IsCustomer(x) ∧ (Inserts(x,VisaCard) ∨ Inserts(x,MasterCard)) ∧
¬(Inserts(x,Visacard) ∧ Inserts(x,MasterCard))

-- 
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/20100710/29ce7c05/attachment.htm>