Assertion list
growing carrot (subgroup of carrot ) → HasProperty
Results from Ascent++: 1
growing carrot → HasProperty → easy 0.59