Assertion list
fresh blueberry (subgroup of blueberry ) → HasProperty
Results from Ascent++: 1
fresh blueberry → HasProperty → expensive 0.16