Assertion list
shelter dog (subgroup of dog ) → IsA
Results from Ascent++: 2
shelter dog → IsA → stray 0.39
shelter dog → IsA → the best dogs 0.23