Assertion list for term "show red".

Results from Ascent++: 1
light CapableOfshow red 0.62