Assertion list
sprained ankle (subgroup of ankle ) → HasProperty
Results from Ascent++: 1
sprained ankle → HasProperty → painful 0.16