Assertion list
red blood cell (subgroup of blood cell ) → HasProperty
Results from Ascent++: 1
red blood cell → HasProperty → smaller 0.26