Assertion list
ache (primary) → ReceivesAction
Results from Ascent++: 3
ache → ReceivesAction → treated 0.29
ache → ReceivesAction → dealt at early phase 0.25
ache → ReceivesAction → relieved 0.25