Hello,<br>I'm wondering why "There are 3 cards" is not paraphrased in any 'intelligent' way, eg. "There is a card X1. There is a card X2. There is a card X3." <br>In English I would then unambiguously refer to "the first card [of the 3 cards]" and then "the only red card in the 3 cards/them" and "a card of the 3 cards". My hope is that ACE could express (at least conceptually) every thing unambiguous english could. <br>
<br>Is it because paraphrasing "there are 10000000 cards" is expensive?<br>If so, no cheap alternatives exist?<br>Could this be one:<br>If the parser encounters "the first card [of the 3 cards]" and it's the first encounter then the parser backtracks and adds "there is a card Xn". Then the first card could be paraphrased as The card X1 [...].<br>
<br>"the only red card in the 3 cards/them": <br>(Is the lack of support for only a matter of time/priority or a technical difficulty?)<br>There is a card Xn. The card Xn is a red card.<br><br>"a card of the 3 cards":<br>
There is a card Xn. The card Xn [...]. <br>Xn could then actually be Xn-1 for instance. <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>