Assertion list for term "likely to encountered".

Results from Ascent++: 1
short circuit ReceivesActionlikely to encountered 0.54