The logical structure underlying temporal references in natural language