Assertion list for term "pushed for corner".

Results from Ascent++: 1
shot ReceivesActionpushed for corner 0.37