0 a humorous use of a word or phrase that has several meanings or that sounds like another word: --
1 to make a pun --
2 an amusing use of a word or phrase that has several meanings or that sounds like another word: --
This riddle is solved by the realisation that each line contains a pun.
Political puns and jokes were heard there until 1984/1985.
Rather than what sometimes seems like a list of numbers interspersed by puns, one would like to see their undoubted analytical powers deployed more vigorously.
One of the more admirable things about this collection of papers is how the authors resist the almost overwhelming temptation to employ food-related, lip-smacking puns.
Though the punning element is usually at the end of the phrase, instances are not uncommon where the pun is formed on the first element.
This is an elaborate and extensive pun on the hexachord in which the syllables are gradually assembled, line by line.
Too clever by half - and yet punning is simply putting things together in a witty and unexpected way.
This is a vicious circle (pardon the pun).