Assertion list
mitosis (primary) → HasSubevent

Results from Ascent++: 1
mitosisHasSubevent identical daughter cells 0.25