Assertion list
choking (primary) → HasProperty
Results from Ascent++: 3
choking → HasProperty → complete 0.59
choking → HasProperty → partial 0.59
choking → HasProperty → scary 0.16