Assertion list for term "stop in emergency".

Results from Ascent++: 1
elevator CapableOfstop in emergency 0.16