Semantics, tense, and time