Assertion list
red blood cell (subgroup of blood cell ) → HasA
Results from Ascent++: 1
red blood cell → HasA → hemoglobin 0.40