Assertion list for term "use for solution".

Results from Ascent++: 1
expansion CapableOfuse for solution 0.16