<span style="font-family: Monospace; font-size: 11px;">I tried the editor for the FOL of '</span>A customer inserts a VisaCard or inserts a MasterCard' but the below representation is not familiar to me:<br><span style="font-family: Monospace; font-size: 11px;"><br>
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))))))<br><br>Is there any documentation for it?<br><br>As XOR I'd have written it as:<br><br></span>∃x. IsCustomer(x) ∧ (Inserts(x,VisaCard) ∨ Inserts(x,MasterCard)) ∧ ¬(Inserts(x,Visacard) ∧ Inserts(x,MasterCard)) <br clear="all">
<br>-- <br>Regards, <br>K. Gabriele<br><br>--- unchanged since 25/1/10 ---<br>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.<br>
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).<br><br>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.<br>
∀x. In(x, MyInbox) ⇒ In(senderAddress(x), MySafeSenderList) ∨ (∃y. In(y, subject(this) ) ∧ In(y,x) ∧ isCodeLike(y, -LICHT01X) ).<br><br>