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