Assertion list for term "unlikely to settle".

Results from Ascent++: 1
utility ReceivesActionunlikely to settle 0.16