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