Assertion list
bind (primary) → HasProperty
Results from Ascent++: 1
bind → HasProperty → successful 0.34