Без заголовка

Речь идет именно про два последних дерева -- препятствий и перехода (даже не оговорок!). Причем это именно что деревья (как я понимаю, чем дальше по уровням в этот лес, тем больше деревья становятся деревьями). Там особенность -- логика двух типов: достаточности (причин и следствий, if ... then ... because...) и необходимости (in order to ...., we must... because...). Корень же у всех веток один -- достижение текущей цели (желаемой ситуации).