Assertion list for term "service all three floors".

Results from Ascent++: 1
elevator CapableOfservice all three floors 0.16