Assertion list
different color (subgroup of color ) → IsA
Results from Ascent++: 1
different color → IsA → configurable to operate 0.25