Assertion list for term "one of six colored symbols".

Results from Ascent++: 1
hexagon HasAone of six colored symbols 0.25