to shorten, reduce, curtail; to abridge, summarise, abbreviate