From nobody@digitalkingdom.org Wed Jun 01 05:31:48 2005
Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 01 Jun 2005 05:31:50 -0700 (PDT)
Received: from nobody by chain.digitalkingdom.org with local (Exim 4.50)
	id 1DdSNf-0002Rz-KR
	for lojban-list-real@lojban.org; Wed, 01 Jun 2005 05:31:31 -0700
Received: from web81301.mail.yahoo.com ([206.190.37.76])
	by chain.digitalkingdom.org with smtp (Exim 4.50)
	id 1DdSNF-0002Rd-VM
	for lojban-list@lojban.org; Wed, 01 Jun 2005 05:31:31 -0700
Message-ID: <20050601123104.2779.qmail@web81301.mail.yahoo.com>
Received: from [68.88.37.184] by web81301.mail.yahoo.com via HTTP; Wed, 01 Jun 2005 05:31:04 PDT
Date: Wed, 1 Jun 2005 05:31:04 -0700 (PDT)
From: John E Clifford <clifford-j@sbcglobal.net>
Subject: [lojban] Re: li ci mo lu'i ci da
To: lojban-list@lojban.org
In-Reply-To: 6667
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Spam-Score: -2.6 (--)
X-archive-position: 10097
X-ecartis-version: Ecartis v1.0.0
Sender: lojban-list-bounce@lojban.org
Errors-to: lojban-list-bounce@lojban.org
X-original-sender: clifford-j@sbcglobal.net
Precedence: bulk
Reply-to: lojban-list@lojban.org
X-list: lojban-list


--- Kevin Reid <kpreid@mac.com> wrote:
> Hello.
> 
> I mentioned this on #lojban IRC and rlpowell
> asked me to ask this list.
> 
> What's the appropriate selbri for "x1 is the
> number of
> members/cardinality of set x2"?
> 
> {mei} is obvious, but does not have an ordinary
> place for the number, so
> can't be used directly for a sumti referring to
> the number.

But there is a weasel: {sy xomei} allows the
answer {li PA}
 
> So far, I see:
> 
>   lo se zilkancu be sy.
>   
>   lo se klani be sy.   -- what's the x3?
> 
>   da poi de vei mo'e ke'a ve'o mei sy. ku'o
> 
> -- 
> Kevin Reid                           
> <http://homepage.mac.com/kpreid/>
> 
> 
> 
>