Assertion list
red wolf (subgroup of wolf ) → IsA
Results from Ascent++: 1
red wolf → IsA → mexican gray wolf 0.32