Re: [lojban] What gets into 'lo broda'

[Jorge Llambías <jjllambias@gmail.com>]

On Sun, Apr 25, 2010 at 11:38 AM, John E Clifford <kali9putra@yahoo.com> wrote:
>
>   [btw how to read 'broda cimei' (or whichever mVV i mean) "A triad of things that broda": is it the things or the triads that broda?]

This is how I would define "PA mei":

First we define "pamei", "x1 is one":

 ko'a pamei .ijo ro'oi da poi ke'a me ko'a zo'u da du ko'a
 "A is one iff for any X among A: X = A"

then we define "(n+1)mei" using "(n)mei":

ko'a (n+1)mei .ijo su'oi da poi pamei zo'u su'oi de poi (n)mei zo'u ge
da na me de gi ro'oi di poi ke'a me ko'a zo'u ga di me da gi di me de
"A are n+1 iff there's some X which is one and some Y which are n such
that X is not among Y and for every Z among A, Z is X or Z are among
Y"

So by induction we now have (n)mei for every n. "su'o PA mei" is then:

ko'a su'o(n)mei .ijo su'oi da poi (n)mei zo'u da me ko'a
"A are at least n iff there's some X which are n such that X are among A"

su'e, me'i, za'u, ro are equally easy.

Now, "(n)mei" actually has an x2 place, "x1 are n of x2". In the above
definitions the x2 is assumed to be everything, but the restriction to
some particular x2 is:

ko'a pamei ko'e .ijo ge ko'a me ko'e gi ko'a pamei
A is one of B iff A is among B and A is one (as above)

Now, "broda cimei" is a tanru, and tanru are never well defined, but
for "cimei be lo broda", "x1 are three of the broda", it should mean
that x1 are three and that they are among the broda.

"broda cimei", as usual for tanru, is ambiguous between "cimei be lo
broda" and "broda je cimei" (and possibly any number of other things).

Just like "cinfo kalte" can be a hunter of lions of a lion that hunts,
"broda cimei" can be a threesome of brodas or a threesome that brodas.

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.