Assertion list
cyanosis (primary) → HasProperty
Results from Ascent++: 1
cyanosis → HasProperty → severe 0.27