Assertion list
zygote (primary) → HasA
Results from Ascent++: 1
zygote → HasA → soul 0.25