<div class="axioms">
<div>Hello there,<br>     <br>    I have been trying to work with RACE and am facing some difficulties. For the foll. axiom, the output is as given.<br></div>
<br>
</div>



<div id="tabsRace" class="yui-navset yui-navset-top"><div class="yui-content"><div class="yui-hidden"><table class="layout"><tbody><tr><td></td>
                        <td><span id="buttonProve" class="yui-button yui-push-button"><span class="first-child"></span></span></td>
                        </tr></tbody></table>
                </div>
                <div class="queryTab">
                        <div>Query</div>
                        <table class="layout"><tbody><tr>
                        <td><textarea name="textareaAnswerQuery" id="textareaAnswerQuery" cols="40" rows="1">Who is a man and is a human?</textarea></td>
                        <td><span id="buttonAnswerQuery" class="yui-button yui-push-button"><span class="first-child"></span></span><br></td>
                        </tr></tbody></table>
                </div>
    </div>
</div>

<div class="infoBox">overall time: 2.406 sec; RACE time: 0.271 sec</div><div class="in"><p><b>Axioms</b>:
 Every man is a human. Every woman is a human. Mary is a woman. John is a
 man. Fido is a dog. No dog is a human. John is a male. Fido is a male. </p><p><b>Query</b>: Who is a man and is a human?</p><p><b>Parameters</b>: </p></div><p>The following minimal subsets of the axioms answer the query:</p>
Subset 1<ul><li>1: Every man is a human.</li><li>4: John is a man.</li><li>Substitution: who = John</li></ul><br><br><br><br>However, when I am changing it to:<br><br><p><b>Axioms</b>: p:Delhi is a city. It  is located in p:India.</p>
<p><b>Query</b>: Where is p:Delhi located?</p><p><br></p><p>The error that is given is:</p><p>Query cannot be answered from axioms.</p><p><br></p><p>Please help. Thank you.<br></p><br>