Assertion list
seal pup (subgroup of pup ) → IsA
Results from Ascent++: 1
seal pup → IsA → clubbed to death 0.16