Question: what day is the federal holiday for Martin Luther King Jr.?
Would "It is observed on the third Monday of January each year, which is around the time of King's birthday, January 15." be a reasonable answer? 