Assertion list
goliath frog (subgroup of frog ) → IsA

Results from Ascent++: 1
goliath frogIsA the largest frog 0.59