Input (grade 12): The national anthem of the Netherlands, Het Wilhelmus, was originally a propaganda song for William.
Output (grade 7): The Dutch national anthem, the Wilhelmus, is about William.