Formal Analysis of Recognition Scenes in the %22Odyssey%22.pdf