x1 is a material conditional/'IF' statement (logical statement) saying that x2 (du'u) logically implies x3 (du'u) ("x3 is true if x2 is true; if x2, then x3; x2 being true is sufficient to guarantee the truth of x3").
Beware the order of x3 (the consequent) and x2 (the antecedent/sufficient condition). This word is to "na ja" approximately as kanxe is to je. See also: kanxe, vlina, ribga, naja, .ifle, fi'ei.