Assertion list for term "ready to stamp".

Results from Ascent++: 1
concrete ReceivesActionready to stamp 0.25