Assertion: elevator's button | /r/HasProperty | released
Facets:
Source sentences:
text: Both the RUN and a direction button must be held to move the car in that direction, and the elevator will stop moving as soon as the buttons are released.