Assertion list
right whale (subgroup of whale ) → HasProperty
Results from Ascent++: 1
right whale → HasProperty → vulnerable 0.24