Assertion list
growing strawberry (subgroup of strawberry ) → HasProperty
Results from Ascent++: 2
growing strawberry → HasProperty → easy 0.59
growing strawberry → HasProperty → fun 0.16