Assertion list for term "stop on door".

Results from Ascent++: 1
elevator CapableOfstop on door 0.25