Assertion: elevator's passenger | /r/HasProperty | displayed above button
Facets:
Source sentences:
text: Passengers key in their desired floor number and the number will be displayed above the buttons.