Assertion list for term "turned out to be satisfying".

Results from Ascent++: 1
retirement ReceivesActionturned out to be satisfying 0.25