Assertion list
sole (primary) → IsA
Results from Ascent++: 2
sole → IsA → fish 0.28
sole → IsA → flatfish 0.25