Assertion list for term "ride down to marina".

Results from Ascent++: 1
elevator CapableOfride down to marina 0.28