This chapter deals with the automated formal analysis of a specfic interpretation of fictive motion named the "virtual traveler", involved for instance in the French equivalents of a sentence like The path descends for two hours where it is possible that no-one actually descends. Our analysis in computational semantics yields the intended logical formula in the framework of the Discourse Representation Theory. It relies on a framework, the Montagovian Generative Lexicon that integrates lexical semantics into compositional semantics.