Assertion list
choke (primary) → HasProperty
Results from Ascent++: 3
choke → HasProperty → open 0.58
choke → HasProperty → effective 0.29
choke → HasProperty → generic 0.25