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