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