Tense and aspect in truth-conditional semantics · Study