Assertion list
color orange (subgroup of orange ) → IsA
Results from Ascent++: 1
color orange → IsA → the worst color 0.40