他の言語によくある構文で

if c1 then
if c2 then true2 else false2 endif
else
else1
endif

と言うケースではc1の判定の後にc2の判定が行われますが、

_{
_{ ." true2" } _{ ." false2" } _{ c2 true = } :if
} _{ ." false1" } _{ c1 true = } :if

とc2が先に来てしまうと言うことです。