Assertion list
rocker (primary) → HasProperty
Results from Ascent++: 4
rocker → HasProperty → smooth 0.29
rocker → HasProperty → fun 0.16
rocker → HasProperty → solid 0.16
rocker → HasProperty → strong 0.16