Assertion list for term "arise in practice".

Results from Ascent++: 1
problem CapableOfarise in practice 0.46