la xorxes. cusku di'e > Then we're missing an important predicate: "x1 maps value x2 to > value x3". That is 'mapti' I think. ('x1 is mapped to x2 by rule/function x3') Of course, mapti doesn't claim that the mapping is a function, but if that is important then 'fancu mapti' should work. mu'o mi'e .adam.