<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br>On 26 Aug 2014, at 14:15 , Pierre-Alexandre Voye <<a href="mailto:ontologiae@gmail.com">ontologiae@gmail.com</a>> wrote:<br><br><blockquote type="cite">I'm probably too optimistic, but I tested this :<br><br>Axioms :<br>Marc gives 1 piece to Mary.<br>Jean gives 2 pieces to Mary.<br><br>Answer :<br>How many pieces have Mary ?<br><br>Results : <br>Query cannot be answered from axioms.<br><br><br>It's probably out of scope because, it implies to attributes a thing to an "agent"... <br></blockquote><div><br></div>Pierre-Alexandre <div><br></div><div>Well, some important information is missing, namely that when somebody gives something to Mary then Mary has this something. You assumed this information, but RACE does not have it. <div><br></div><div>So let's see what we get with this information using RACE's web-client:<div><br></div><div><img height="403" width="1143" apple-width="yes" apple-height="yes" apple-inline="yes" id="CD8D97C1-2ADF-4669-8F85-C7FC3C35CF97" src="cid:BD7CDCA8-C9D0-42EA-9E32-F26DD9CFD3F8@uzh.ch"><br><div><br></div><div>Please note that RACE interprets "N noun" as "at least N noun".</div><div><br></div><div>As you see, the answer is "(at least 2) pieces" since there is no information that the piece given by Marc and the 2 pieces given by Jean are distinct. So we can only safely assume that there are 2 pieces. </div><div><br></div><div>Let's make the pieces distinct:</div><div><br></div><div><img height="330" width="1148" apple-width="yes" apple-height="yes" apple-inline="yes" id="33F58EC2-68A9-4A94-9887-E5C8D6BF408F" src="cid:68087C39-AF31-48CE-BA2F-76A770CD266F@uzh.ch"></div><div><br></div><div>Now we get the expected answer "(at least 3) pieces".</div><div><br></div><div>For reasons that I do not understand right away, the axiom "If somebody gives something Z to Mary then Mary has Z." does not show up in this result. This is probably a bug.<br><div><br><blockquote type="cite">Thank you for your great job.</blockquote><div><br></div>You are welcome.</div><div><br></div><div> --- nef<br><br></div></div></div></div></div></body></html>