Assertion list
soak (primary) → ReceivesAction
Results from Ascent++: 2
soak → ReceivesAction → updated 0.25
soak → ReceivesAction → nestled in the hillside 0.16