Assertion list
healthy person (subgroup of person ) → HasProperty
Results from Ascent++: 1
healthy person → HasProperty → free 0.30