Definition, synonyms and related words
To reduce the size of something by filing (using the abrasive effects of a file).