частичное извлечение

Горн. partial extraction