WikiDiscuss

WikiDiscuss


BPFK Section: gadri

Some corrections.
lo2 : {lo broda na brode} neither implies nor is implied by {lo broda naku brode}; the first fails when there are no broda, the second because of the vagueness of how many broda are required for {lo broda}. {lo broda} is also not transparent to other connectives — the contradiction problem.
lo3: Whether this is transparent depends upon just what {lo broda cu brode} means: subsumption or overlap. Each has advantages. If both {lo2} and {lo3} are used, {lo3} would be subsumption, since {lo2} (and {lo1}, which is derivable from either) covers intersections better. In that case, {lo3} is transparent to all and, indeed, behaves like a constant (which it is, after all).

To the proposal:
I do not now think that median and mode need their own gadri, since they are real things and so can be handled using {le} and some suitable predicates, probably {midju} or a lujvo on it for "median" and maybe {fadni} or a compound for "mode."