Assertion list
white tuna (subgroup of tuna ) → IsA

Results from Ascent++: 1
white tunaIsA albacore 0.82