Ascent++
Search
growing grape
subgroup of
grape
,
1
assertions
HasProperty
1
difficult
0.75