double meaning vs pun

double meaning

noun
  • A deliberate construction that plays on two separate meanings of a word or words; a pun. 

  • The situation in which a word or phrase has two different, often opposite, meanings. For example, wicked can mean both "good" and "bad". 

pun

noun
  • A joke or type of wordplay in which similar definitions or sounds of two words or phrases, or different definitions of the same word, are deliberately confused. 

verb
  • To make or tell a pun; to make a play on words. 

  • To beat; strike with force; to ram; to pound, as in a mortar; reduce to powder, to pulverize. 

How often have the words double meaning and pun occurred in a corpus of books? (source: Google Ngram Viewer )