An extensible compositional semantics for temporal annotation