Assertion list
good cholesterol (subgroup of cholesterol ) → HasProperty
Results from Ascent++: 1
good cholesterol → HasProperty → low 0.72