Assertion list for term "hold in practice".

Results from Ascent++: 1
conservatism CapableOfhold in practice 0.31