Assertion list
king salmon (subgroup of salmon ) → IsA
Results from Ascent++: 1
king salmon → IsA → the largest salmon 0.16