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 ((x5)^2)th (li; 1 or 2) argument [see note] of this selbri actually has/is/attains said property x2 according to standard x6.
Being the most extreme in a given property amongst some population does not imply that one actually has that property; for example, the oldest child in a kindergarten class is not necessarily 'old'. For the purposes of x5, whatsoever is submitted to x1 becomes a member of a singleton set and x5 = 1 means that this whole member is drawn as the referent of the clause in the definition which begins with "moreover"; however, for the purposes of x5, the argument of x4, which inherently must be set or similar, is left bare - meaning that at least one of its members, rather than the set as whole (being treated as a member of a singleton), is the referent of the clause in the definition which begins with "moreover"; in fact, if x5 = 2, then the set from which the referent is being drawn is actually the relative complement of Singleton(x1) in x4 (see: "kleivmu"). So, if x1 is a set or a complicated sumti string composed via connectives, then x5 = 1 constructs a singleton set containing x1 and then the referent drawn is, necessarily, x1; meanwhile, if x5 = 2, then some member of x4 itself, excluding x1 (whatsoever it may be), is the referent which is drawn; for the purposes of x5, x1 and x4 are treated asymmetrically, for the sake of utility and minimal complication. An analog of many of the notes in "zmaduje" will apply here (but recall that x3 may be either "ka zmadu" or "ka mleca"!). If negated, then it means "either x1 is not the most extreme (in said property amongst said set) at the x3 end of the scale, or the ((x5)^2)th argument does not attain the said property (by the said standard)", where x5 works as previously described, the "or" is inclusive, and both of the "not"s are the ones specified by the negation (such as "na", "na'e", "to'e", etc.); the negation does not specify which clause is untrue, only that at least one is so.