Assertion list
whipping (primary) → HasProperty
Results from Ascent++: 5
whipping → HasProperty → easy 0.35
whipping → HasProperty → cruel 0.26
whipping → HasProperty → quick 0.20
whipping → HasProperty → easier 0.16
whipping → HasProperty → fun 0.16