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