Assertion list
coyote (primary) → IsA
Results from Ascent++: 1
coyote → IsA → wolf 0.50