Assertion list
spinner dolphin (subgroup of dolphin ) → AtLocation
Results from Ascent++: 1
spinner dolphin → AtLocation → family groups 0.81