Assertion list
growing pumpkin (subgroup of pumpkin ) → HasProperty
Results from Ascent++: 2
growing pumpkin → HasProperty → easy 0.59
growing pumpkin → HasProperty → fun 0.16