a lobby is an area in a building for greeting visitors