On the grounds, a group of people in costumes waved their arms while singing in a neat chorus.