Assertion list
beach ball (primary) → HasProperty
Results from Ascent++: 1
beach ball → HasProperty → fun 0.59