Assertion list for term "lean on problem".

Results from Ascent++: 1
vocabulary CapableOflean on problem 0.25