Assertion list for term "operate within specified load".

Results from Ascent++: 1
elevator CapableOfoperate within specified load 0.25