Assertion list
healthy person (subgroup of person ) → IsA
Results from Ascent++: 2
healthy person → IsA → someone 0.62
healthy person → IsA → happy person 0.16