Assertion list
little penguin (subgroup of penguin ) → IsA

Results from Ascent++: 1
little penguinIsA the smallest species of penguin 0.35