Assertion list
blood orange (subgroup of orange ) → HasA
Results from Ascent++: 1
blood orange → HasA → streaks of red 0.71