Assertion list
navel (primary) → ReceivesAction
Results from Ascent++: 2
navel → ReceivesAction → repositioned 0.68
navel → ReceivesAction → closed 0.38