Assertion list for term "push against the rim".

Results from Ascent++: 1
prop CapableOfpush against the rim 0.29