Assertion list
bunny (primary) → IsA
Results from Ascent++: 1
bunny → IsA → rabbit 0.25