Assertion list
secondary rainbow (subgroup of rainbow ) → ReceivesAction
Results from Ascent++: 1
secondary rainbow → ReceivesAction → caused by double reflection of … 0.16