Assertion list
african elephant (subgroup of elephant ) → IsA
Results from Ascent++: 1
african elephant → IsA → larger than asian elephants 0.56