x1 is a logical 'NOT' statement resulting from the (multiplicative) negation of/applying the 'NOT' operator to x2 (du'u); x1 is the logical negation/negative of x2.
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").
head-final content clause relativizer: it turns the current clause into a subordinate content clause, binds it to the {ke'a} pronoun, and restart the current clause afresh (as if its previous content was erased or moved into a hidden prenex).
x1 (set) and x2 (set) are sets which have non-empty mutual intersection and mutual relative complements (set subtraction; both orders of operands/directions considered); id est: x1 and x2 share at least one element, but also have a mutual symmetric difference such that neither is a subset of the other.
x1=traji1 is superlative in property x2=traji2, the x3=traji3 extrema (ka; default: ka zmadu), among set/range x4=traji4, and -- moreover -- (there exists at least one member of) the x52th (li; must be 1 or 2) argument [see note] of this selbri (which) actually has/is/attains said property x2 according to standard x6.