Процесс перефразирования высказываний, изменяющий предикаты одной системы представления на предикаты другой. (Смотри также: Предикаты).