Assertion list
crush (primary) → HasProperty
Results from Ascent++: 2
crush → HasProperty → cute 0.27
crush → HasProperty → fun 0.27