<span style="font-family: Monospace; font-size: 11px;">I tried the editor for the FOL of &#39;</span>A customer inserts a VisaCard or inserts a MasterCard&#39; but the below representation is not familiar to me:<br><span style="font-family: Monospace; font-size: 11px;"><br>
exists(A,
 &amp;(object(A, customer, countable, na, eq, 1)-1/2, v(exists(B, 
exists(C, &amp;(object(B, &#39;MasterCard&#39;, countable, na, eq, 1)-1/5, 
predicate(C, insert, A, B)-1/3))), exists(D, exists(E, &amp;(object(D, 
&#39;VisaCard&#39;, 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&#39;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 &quot; ACK&quot; 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>