A play on words, often comic, resulting from a word having more than one meaning, or two words with the different meanings having the same sound. This second form of punning is called homophony; compare, for example Dickens’ novel Great Expectations with a fireplace shop that could be called ‘Grate Expectations’.