Denotation analysis