Assertion list
growing grape (subgroup of grape ) → HasProperty
Results from Ascent++: 1
growing grape → HasProperty → difficult 0.75