Assertion list for term "proved to be inadequate".

Results from Ascent++: 1
measure ReceivesActionproved to be inadequate 0.61