Assertion list
frog (primary) → IsA
Results from Ascent++: 1
frog → IsA → amphibian 0.56