trajije fu'ivla

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.

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. See also: "simsaje".

In notes:

dunlije
x1 is equal/congruent/as much as x2 in property/quality/aspect x3 (ka), and each of x1 and (necessarily) x2 actually has/attains property (vel sim.) x3 according to standard x4.
simsaje
x1 is similar to/appears like/seems like x2 in quality/property/aspect x3 (ka), and the argument(s) in the x4th (li; 1 or 2) sumti slot(s) of this word actually attains/has the said quality (vel sim.) x3 according to standard x5.