Assertion list
blue eye (subgroup of eye ) → HasA
Results from Ascent++: 1
blue eye → HasA → less pigment 0.25