Assertion list
starvation (primary) → HasProperty
Results from Ascent++: 3
starvation → HasProperty → rampant 0.59
starvation → HasProperty → harmful 0.43
starvation → HasProperty → rare 0.27