A group of boys played on the lawn, one of them doing a series of martial arts moves, with a cheerful background music playing.