Assertion list
fin (aspect of whale ) → HasProperty
Results from Ascent++: 1
fin → HasProperty → small 0.68