Assertion list
deer mouse (subgroup of mouse ) → IsA
Results from Ascent++: 1
deer mouse → IsA → small mouse 0.25