<div class="gmail_quote">2010/7/12 Gabriele Kahlout <span dir="ltr"><<a href="mailto:gabriele@mysimpatico.com">gabriele@mysimpatico.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"> 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></blockquote><div><br></div> <div>First your proposed paraphrase is not semantically correct ACE (and FOL).</div><div>There is no garanty that the 3 variables are distinct.</div><div><br></div><div>A possible ACE paraphrase would be :</div><div>./ape.exe -guess -text 'p:X1 is a card. p:X2 is a card. p:X3 is a card. ' -solo paraphrase</div> <div><div>X1 is a card.</div><div>X2 is a card.</div><div>X3 is a card.</div><div><br></div><div>A proper noun ( p: prefix ) is the way to "instanciate" a unique object.</div></div><div><br></div></div>-- <br>Jean-Marc Vanel<br> Consulting, services, training,<br>Rule-based programming, Semantic Web<br><a href="http://jmvanel.free.fr/">http://jmvanel.free.fr/</a><br>EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore, Java bytecode<br> +33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16<br>( we rarely listen to voice messages, please send a mail instead )<br>