Assertion list for term "stay in optimal working condition".

Results from Ascent++: 1
elevator CapableOfstay in optimal working condition 0.25