Assertion list
sperm (primary) → AtLocation
Results from Ascent++: 1
sperm → AtLocation → the ejaculate 0.09