Assertion list
secondary rainbow (subgroup of rainbow ) → HasProperty
Results from Ascent++: 1
secondary rainbow → HasProperty → fainter 0.71