a covered arcade or portico often surrounding a courtyard, providing shade and shelter for circulation and gatherings