<div dir="ltr"><div>Hi everyone,</div><div><br></div><div>I've noticed that RACE can make some questionable inferences given axioms containing proper names.</div><div><br></div><div>I tried the following using the RACE client at <a href="http://attempto.ifi.uzh.ch/race/">http://attempto.ifi.uzh.ch/race/</a>:</div><div><br></div><div>Input:</div><div>Axioms: Chicago is a city. Detroit is a city.</div><div>Theorems: Every city is Chicago.</div><div><br></div><div>Output: True.</div><div><br></div><div>Both axioms need to be present in order for RACE to conclude that the theorems follow; "Chicago is a city." alone is not enough for RACE to conclude that every city is Chicago. The axioms "Chicago is a city. Chicago is a city." also don't suffice, but if I give it "Chicago is a city. A city is Chicago.", that *is* enough for it to conclude that every city is Chicago.</div><div><br></div><div>A similar problem occurs if I mention multiple different types of objects:</div><div><br></div><div>Input:</div><div>Axioms: 
Chicago is a city. France is a country</div><div>Theorems: France is a city.</div><div><br></div><div>Output: True.</div><div><br></div><div>All of these counterintuitive theorems are said to be true because of "Prolog Axiom transcompadj2: Transitivity of comparative adjectives."</div><div><br></div><div>Am I misunderstanding what proper names mean to RACE, or is this a bug?</div><div><br></div><div>Tanner Swett<br>

</div></div>