Moved from GitHub ratel/17
Posted by paulftw:
Most nodes in the same class will have same lists of known predicates. By correlating predicates and identifying strongly connected parts of a predicate list we could in theory identify implied node classes.