Assertion list
ellipsoid (primary) → ReceivesAction
Results from Ascent++: 2
ellipsoid → ReceivesAction → specified 0.45
ellipsoid → ReceivesAction → formed 0.25