Assertion list for term "pushed to corner".

Results from Ascent++: 1
wheel CapableOfpushed to corner 0.40