Toward the Logic of Tense and Aspect in English