Assertion list for term "push at the base".

Results from Ascent++: 1
arch CapableOfpush at the base 0.30