Assertion list
bull shark (subgroup of shark ) → IsA
Results from Ascent++: 2
bull shark → IsA → large powerful shark 0.25
bull shark → IsA → the shark 0.16