Assertion list
shortcut (primary) → HasProperty
Results from Ascent++: 4
shortcut → HasProperty → useful 0.37
shortcut → HasProperty → distinguishable 0.35
shortcut → HasProperty → valid 0.29
shortcut → HasProperty → dangerous 0.21