Assertion list for term "solve above-described problem".

Results from Ascent++: 1
embodiment CapableOfsolve above-described problem 0.31