Assertion list
basking shark (subgroup of shark ) → IsA
Results from Ascent++: 2
basking shark → IsA → the second largest fish 0.59
basking shark → IsA → the largest shark 0.33