Assertion list for term "lean against the e".

Results from Ascent++: 1
rhino CapableOflean against the e 0.28