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 .