Assertion: elevator | /r/HasSubgroup | space efficient elevator
Facets:
Source sentences: