From lojban-out@lojban.org Tue May 31 19:32:35 2005 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 82328 invoked from network); 1 Jun 2005 02:32:35 -0000 Received: from unknown (66.218.66.167) by m30.grp.scd.yahoo.com with QMQP; 1 Jun 2005 02:32:35 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta6.grp.scd.yahoo.com with SMTP; 1 Jun 2005 02:32:34 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.50) id 1DdJ22-0000u7-0E for lojban@yahoogroups.com; Tue, 31 May 2005 19:32:34 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.50) id 1DdJ0n-0000t7-Sa; Tue, 31 May 2005 19:31:20 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 31 May 2005 19:31:14 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.50) id 1DdJ0Z-0000sm-Pp for lojban-list-real@lojban.org; Tue, 31 May 2005 19:31:03 -0700 Received: from mta9.adelphia.net ([68.168.78.199]) by chain.digitalkingdom.org with esmtp (Exim 4.50) id 1DdJ0X-0000sY-KH for lojban-list@lojban.org; Tue, 31 May 2005 19:31:03 -0700 Received: from [10.0.0.204] (really [69.169.188.143]) by mta9.adelphia.net (InterMail vM.6.01.04.01 201-2131-118-101-20041129) with ESMTP id <20050601023055.DLMY8952.mta9.adelphia.net@[10.0.0.204]> for ; Tue, 31 May 2005 22:30:55 -0400 Date: Tue, 31 May 2005 22:30:55 -0400 Message-ID: <1gxfzw1.1vq6qi71spv8amM%kpreid@mac.com> User-Agent: MacSOUP/2.6 (Mac OS X version 10.3.8) X-Spam-Score: -2.6 (--) X-archive-position: 10096 X-ecartis-version: Ecartis v1.0.0 Errors-to: lojban-list-bounce@lojban.org X-original-sender: kpreid@mac.com X-list: lojban-list X-Spam-Score: -2.6 (--) To: lojban@yahoogroups.com X-Originating-IP: 64.81.49.134 X-eGroups-Msg-Info: 1:12:0 X-eGroups-From: kpreid@mac.com (Kevin Reid) From: lojban-out@lojban.org Reply-To: kpreid@mac.com Subject: [lojban] li ci mo lu'i ci da X-Yahoo-Group-Post: member; u=116389790; y=gam3Htgec4BNjtkd7_g8pvnDjaDX3ggap7VSS7oTaSqUAucuUQ X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 24466 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. 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