Assertion list
curler (primary) → HasProperty
Results from Ascent++: 2
curler → HasProperty → lightweight 0.27
curler → HasProperty → perfect 0.27