But the rule for logically connected sumti at top level is the same rule
as for logical connectives in various other places, e.g. bridi tails,
abstractions, tags, operators, operands. Roughly, that rule is: you
substitute in each of the connected possibilities, yielding two
propositions, then logically connect those propositions.
For sumti-tail there's an obvious choice: {lo [quantifier] [sumti]}
could be equivalent to {lo [quantifier] me [sumti]} for complex sumti as
well as for simple sumti.
For {me}, I'm not sure... is there something {ko'a me ko'e .e ko'i}
could mean other than {ko'a me ko'e .i je ko'a me ko'i}?
As for {mo'e}, I suppose we could use a relation "is the value
corresponding to"? But it really does seem to me much simpler to just
have {mo'e ko'a .e ko'e} be equivalent to {mo'e ko'a .e mo'e ko'e}.
I believe it's the same as "na ku ge broda gi brode".