Assertion list
stenosis (primary) → HasProperty
Results from Ascent++: 1
stenosis → HasProperty → severe 0.16