Assertion list
shelter dog (subgroup of dog ) → HasA
Results from Ascent++: 1
shelter dog → HasA → numerous opportunities 0.16