Assertion list
guide dog (subgroup of dog ) → IsA
Results from Ascent++: 1
guide dog → IsA → working dog 0.25