Assertion list for term "solve in math".

Results from Ascent++: 1
problem (aspect of child) CapableOfsolve in math 0.32