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