Assertion list
leatherback turtle (subgroup of turtle ) → IsA
Results from Ascent++: 1
leatherback turtle → IsA → the largest sea turtle 0.16