Assertion list
healthy ego (subgroup of ego ) → HasProperty
Results from Ascent++: 1
healthy ego → HasProperty → necessary 0.59