One of the clearest examples of the new type of knowledge inferred from research into the extension of machine reasoning is the expression of time and spatial relationships in language. Whereas for twenty-five centuries mathematics and physics, when dealing with the perception and expression of time and space, have tried to purge any traces of subjectivity related to individual experience, approximation and instability due both to the limits of our sensory organs and to those of ordinary language, work on the formalisation of natural language (NL) semantics, evolving today at the confluence of computer science, linguistics and logic, is trying, in a way which at first seems rather astonishing, to introduce scientific game rules into the analysis of something which seemed to oppose the application of these same rules for describing the objective world.