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