Hello,<br><br>Could I read the specs written in ACE of the ATM mentioned in the documentation?<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>