addClasses( classes );
addClasses( m_Names.getAllAnons() );
Reasoner reasoner = new GenericRuleReasoner(new ArrayList<Rule>(m_Rules));
InfGraph inf = reasoner.bind( m_Facts );
inf.prepare();
MultiValueMap<ATermAppl, ATermAppl> subsumers = getSubsumptions(inf);
for( ATermAppl c : classes ) {
subsumers.add( ATermUtils.BOTTOM, c );