Assertion list
sperm donor (subgroup of donor ) → IsA
Results from Ascent++: 1
sperm donor → IsA → man 0.25