Assertion list
sperm (aspect of donor ) → HasProperty
Results from Ascent++: 1
sperm → HasProperty → healthy 0.35