Assertion list
sick (primary) → HasProperty
Results from Ascent++: 1
sick → HasProperty → pro 0.25