доизвлечение 1. спец. действие по значению гл. доизвлекать, доизвлечь; дополнительное извлечение Источник: Wiktionary.org