Input (grade 6): The judges are elected for a 12-year term, but they must retire when reaching the age of 68.
Output (grade 4): The judges have a 12-year term, but they must retire when reaching the age of 68.