Assertion list
war elephant (subgroup of elephant ) → IsA
Results from Ascent++: 1
war elephant → IsA → elephant 0.68