denotation analysis results