Assertion list
rainbow (primary) → HasA
Results from Ascent++: 3
rainbow → HasA → seven colors 0.57
rainbow → HasA → all the colors 0.41
rainbow → HasA → smaller radius 0.25