Assertion list for term "slide on the rail".

Results from Ascent++: 1
gate CapableOfslide on the rail 0.26