Assertion list
disappointment (primary) → ReceivesAction
Results from Ascent++: 3
disappointment → ReceivesAction → forgotten 0.57
disappointment → ReceivesAction → handled 0.41
disappointment → ReceivesAction → expected 0.22