Assertion list
cakewalk (primary) → HasProperty
Results from Ascent++: 1
cakewalk → HasProperty → free 0.16