dock

1 to make less in extent or duration the editorial was docked by about a hundred words to make it fit on the page Synonyms abbreviate, abridge, curtail, cut back, dock, elide, syncopate, truncateRelated Words abstract, digest, encapsulate, epitomize, recapitulate, summarize, sum up; abate, compress, constrict, contract, cut, cut down, pare, prune, trim; decrease, de-escalate, deflate, diminish, downsize, dwindle, lessen, lower, moderate, modify, reduce, retrench, shrink, slash, subtract (from), taperNear Antonyms enlarge, expand, supplement; add, aggrandize, amplify, augment, balloon, boost, dilate, escalate, heighten, increase, maximize, pump up, raise; blow up, distend, inflate, swellAntonyms elongate, extend, lengthen, prolong, protract

2 to make (something) shorter or smaller with the use of a cutting instrument the boxer's tail was docked soon after birth Synonyms bob, crop, cut, cut back, dock, lop (off), nip, pare, poll, prune, shave, shear, snip, trimRelated Words skive, whittle; manicure, mow; pinch, stump; curtail, shortenNear Antonyms elongate, extend, lengthen

to stop at or near a place along the shore the cruise ship docked at the first port of call early the next morning Synonyms anchor, dockRelated Words berth, moor, tie up; beach, ground; harbor; arrive, reach, show up, turn up; debark, disembarkNear Antonyms embark, launch, sail