Assertion list for term "solve many problems".

Results from Ascent++: 2
ai CapableOfsolve many problems 0.26
smile CapableOfsolve many problems 0.16