Changed r->told_subsumers and r->told_subsumees to Set.