Assertion list
health condition (subgroup of condition ) → HasA
Results from Ascent++: 1
health condition → HasA → symptom 0.23