Assertion list
healthy ferret (subgroup of ferret ) → IsA
Results from Ascent++: 1
healthy ferret → IsA → happy ferret 0.59