Changes to entails for superclass search