Assertion list
bake cookie (subgroup of cookie ) → HasProperty
Results from Ascent++: 2
bake cookie → HasProperty → easy 0.43
bake cookie → HasProperty → perfect 0.24