Assertion list
heavy (primary) → HasProperty
Results from Ascent++: 3
heavy → HasProperty → slow 0.55
heavy → HasProperty → good 0.16
heavy → HasProperty → strong 0.16