Todo

change InheritanceLink b/n PredicateNodes into ImplicationLink