Having reached the court system's mandatory retirement age, the lifelong Newton resident left the courtroom.
She had worked 28 years and reached mandatory retirement age.
mnli hypothesis: She had worked 28 years and reached mandatory retirement age. premise: Having reached the court system's mandatory retirement age, the lifelong Newton resident left the courtroom.