Assertion list
dearth (primary) → ReceivesAction
Results from Ascent++: 1
dearth → ReceivesAction → developed for explicit purpose 0.16