x_{1} are the result of mapping x_{2} using function x_{3} (2-ary ka)

The first and second places of x_{3} correspond respectively to the first and second places of menkini. See also menre, ckini

- porkifa'u
- x
_{1}is a sequence of sequences, whose elements are related respectively by x_{2}(property, arity is length of x_{1})