El lenguaje de la interrogación: una gramática formal para la recuperación de la información.