Assertion list for term "know to solve problem".

Results from Ascent++: 1
engineer Desiresknow to solve problem 0.25