Assertion list for term "done with minor parts replacement".

Results from Ascent++: 1
round ReceivesActiondone with minor parts replacement 0.25