terytraduki'yterytraduki lujvo

tP₃ is a translation of tP₂=tZ₃ by tP₁, the source being a translation of tZ₂ by tZ₁.

tP and tZ refer to the left and right traduki, respectively. See xelfanvyxelfanva.

jbovlaste

In notes:

xelfanvyxelfanva: x₁=fP₅ is a translation of translation x₂=fP₂=fZ₅ from (intermediate) language x₃=fP₃=fZ₄ to (final) language x₄=fP₄ by x₅=fP₁, with intermediate translation source x₆=fZ₂ from (starting) language x₇=fZ₃ by x₈=fZ₁.