Assertion list
fin whale (subgroup of whale ) → HasProperty
Results from Ascent++: 1
fin whale → HasProperty → migratory 0.47