a group of buildings with pointed roofs