Assertion list
healthy colon (subgroup of colon ) → IsA

Results from Ascent++: 1
healthy colonIsA the key 0.59