Assertion list
second wave (subgroup of wave ) → HasProperty
Results from Ascent++: 2
second wave → HasProperty → complete 0.37
second wave → HasProperty → the largest 0.25