Syntactic Time Theory