Displaying similar documents to “A selection-based formal description of an environment”