Assertion list for term "less time-consuming".

Results from Ascent++: 1
process HasPropertyless time-consuming 0.38