Assertion list
bullfrog (primary) → IsA
Results from Ascent++: 1
bullfrog → IsA → the largest frog 0.56