Assertion list for term "pull decreasing".

Results from Ascent++: 1
contraction CapableOfpull decreasing 0.28