Something is such that both x1 and x2 are related to it by predicate x3. x4 [quantifier] thing to which x1 is related by predicate x3 is such that x2 is related to it by predicate x3.
The first definition is equivalent to the second definition with lo ka ce'u ce'u kancusu'oi in x4. See dunli, ckini, me'au, dunlixu, dunlija, dunlini, .utka