Assertion list for term "reduce the work load".

Results from Ascent++: 1
check valve (subgroup of valve) CapableOfreduce the work load 0.25