Eliminating unnecessary verbosity of legal documents