Original: In logic and formal semantics, denotation always attracts the extension meaning of the intension \/O/ extension pair, but the other element genuinely varies.
Simplified: In logic and semantics, denotational always attracts the extension meaning "in the pair", but the other element genuinely varies.