Describir: A deductive theory of space and time