Assertion list for term "problem number".

Results from Ascent++: 1
acquiring CapableOfproblem number 0.30