Title: Toward the logic of tense and aspect in English