I have an email from Norbert from 2014 in which he mentioned that he was working on RACE. What is the status of this reasoner ? Thanks, Dave Whitten 713-870-3834 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20210528/9acad2cd/attachment.html>