. . . . . "a tool resembling a hammer but with a large head (usually wooden); used to drive wedges or ram down paving stones or for crushing or beating or flattening or smoothing" . . "Wordnet Synset 03720925-n" . .