Assertion list for term "the smallest marine mammal".

Results from Ascent++: 1
sea otter IsAthe smallest marine mammal 0.25