"semantic: correct and expected when the colon is a punctuation, but" . . . .