file down
verb- To reduce the size of something by filing (using the abrasive effects of a file).
Learn file down in real texts
With a free account, hover any word in the library for its meaning, hear it read aloud, save words for review timed to your memory, and see how much of each book you already know.