Assertion: elevator's option | /r/HasProperty | wp
Facets:
Source sentences:
text: The options remaining, as I understand it, are WP:3O and WP:RFC.