Assertion: elevator's button | /r/HasProperty | located above the one
Facets:
value: with call buttons
type: OTHER
Source sentences:
text: However, with call buttons, the button designating the up direction must be located above the one indicating the down direction (§407.2.1.4).