Assertion list
second round (subgroup of round ) → HasProperty
Results from Ascent++: 2
second round → HasProperty → complete 0.52
second round → HasProperty → open 0.25