Assertion list
mitosis (primary) → HasProperty
Results from Ascent++: 1
mitosis → HasProperty → complete 0.36