fanva gismu

x1 translates text/utterance x2 to language x3 from language x4 with translation result x5.

See also cusku, bangu.


In notes:

jbocmefanva
f1=c3 translates non-Lojban name c1=f2 (text) from language f4 to (lojbanic) cmevla / lojbanized name f5=l1 (text).
zilfanva
x1 (text/utterance) in language x2 translates in language x3 to x4 (text)
traduce
x1 translates x2 (text) to x3 (text); x1 translates x2 (text) producing x2 (text)