什么是 portico？A porch or walkway with a roof supported by columns, often leading to the entrance of a building.