From sentto-44114-15989-1032693323-lojban-in=lojban.org@returns.groups.yahoo.com Sun Sep 22 04:18:09 2002 Received: with ECARTIS (v1.0.0; list lojban-list); Sun, 22 Sep 2002 04:18:09 -0700 (PDT) Received: from n7.grp.scd.yahoo.com ([66.218.66.91]) by digitalkingdom.org with smtp (Exim 4.05) id 17t4kV-0002xj-01 for lojban-in@lojban.org; Sun, 22 Sep 2002 04:18:03 -0700 X-eGroups-Return: sentto-44114-15989-1032693323-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.192] by n7.grp.scd.yahoo.com with NNFMP; 22 Sep 2002 11:15:23 -0000 X-Sender: a.rosta@lycos.co.uk X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_1_1_3); 22 Sep 2002 11:15:22 -0000 Received: (qmail 45913 invoked from network); 22 Sep 2002 11:15:22 -0000 Received: from unknown (66.218.66.218) by m10.grp.scd.yahoo.com with QMQP; 22 Sep 2002 11:15:22 -0000 Received: from unknown (HELO mailbox-3.st1.spray.net) (212.78.202.103) by mta3.grp.scd.yahoo.com with SMTP; 22 Sep 2002 11:15:22 -0000 Received: from oemcomputer (host213-121-66-147.surfport24.v21.co.uk [213.121.66.147]) by mailbox-3.st1.spray.net (Postfix) with SMTP id 6DDB0172A1 for ; Sun, 22 Sep 2002 13:15:20 +0200 (DST) To: Message-ID: X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) Importance: Normal In-Reply-To: X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 From: "And Rosta" X-Yahoo-Profile: andjamin MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Sun, 22 Sep 2002 12:17:02 +0100 Subject: [lojban] Re: Sets and classes Content-Type: text/plain; charset=US-ASCII X-archive-position: 1479 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: a.rosta@lycos.co.uk Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list Jorge: > la djorden cusku di'e > > > {zilselcmi} should cover all sets though, including the empty one. > > > >I think selcmi should also. > > Only if it can be interpreted as {selcmi be zi'o}, which may very > well end up being what happens. It's a reasonable suggestion, given that (i) selcmima should differ in meaning from se cmima, and (ii) "x1 is cardinality of set x2" is a useful predicate. > Perhaps the rule should be changed so that unfilled sumti places > should by default be filled with {zi'o} rather than {zo'e}? It > would certainly make some things more intuitive. Ignoring the baseline violation issue, it's an interesting idea, which would probably in and of itself improve most people's usage a great deal. In an ideal world, though, I think it would be better to have the current rule, plus better (i.e. more parsimonious) place structures, plus much greater rigour in usage (so that place structures are actually heeded). --And. ------------------------ Yahoo! Groups Sponsor ---------------------~--> Sell a Home with Ease! http://us.click.yahoo.com/SrPZMC/kTmEAA/ySSFAA/GSaulB/TM ---------------------------------------------------------------------~-> To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/