Assertion list
forest elephant (subgroup of elephant ) → HasProperty
Results from Ascent++: 1
forest elephant → HasProperty → extinct 0.16