mekna'u lujvo

x1 is the value of expression x2 in base/convention x3.

See also ju'u