a building with a covered patio