Something is such that both x_{1} and x_{2} are related to it by predicate x_{3}. x_{4} [quantifier] thing to which x_{1} is related by predicate x_{3} is such that x_{2} is related to it by predicate x_{3}.

The first definition is equivalent to the second definition with lo ka ce'u ce'u kancusu'oi in x_{4}. See dunli, ckini, me'au, dunlixu, dunlija, dunlini, .utka