1.3.7. РЕЗУЛЬТАТНЫЕ ВЫРАЖЕНИЯ В КАЧЕСТВЕ ИСТОЧНИКОВ

Всякое результатное выражение Re является источником, а значит - и тропой. Приписав к нему запятую, получаем хвост

Вычисление источников вида Re сводится к вычислению результатного выражения Re. Если при этом получается объектное выражение Oe, то Oe считается результатом источника.