From sentto-44114-23564-1104689177-lojban-in=lojban.org@returns.groups.yahoo.com Sun Jan 02 10:06:55 2005 Received: with ECARTIS (v1.0.0; list lojban-list); Sun, 02 Jan 2005 10:06:56 -0800 (PST) Received: from n3a.bulk.scd.yahoo.com ([66.94.237.37]) by chain.digitalkingdom.org with smtp (Exim 4.34) id 1ClA7s-0006GJ-7y for lojban-in@lojban.org; Sun, 02 Jan 2005 10:06:48 -0800 Received: from [66.218.69.2] by n3.bulk.scd.yahoo.com with NNFMP; 02 Jan 2005 18:06:17 -0000 Received: from [66.218.66.29] by mailer2.bulk.scd.yahoo.com with NNFMP; 02 Jan 2005 18:06:17 -0000 X-Yahoo-Newman-Property: groups-email X-Sender: a.rosta@v21.me.uk X-Apparently-To: lojban@yahoogroups.com Received: (qmail 73136 invoked from network); 2 Jan 2005 18:06:10 -0000 Received: from unknown (66.218.66.167) by m23.grp.scd.yahoo.com with QMQP; 2 Jan 2005 18:06:10 -0000 Received: from unknown (HELO heineken.flexi-surf.co.uk) (62.41.128.20) by mta6.grp.scd.yahoo.com with SMTP; 2 Jan 2005 18:06:10 -0000 Received: from oemcomputer (host81-7-57-216.surfport24.v21.co.uk [81.7.57.216]) by heineken.flexi-surf.co.uk (8.11.6/8.11.6) with SMTP id j02G7of23861; Sun, 2 Jan 2005 16:07:51 GMT Message-ID: <027101c4f0f5$929c7f40$f7390751@oemcomputer> To: , References: <20041225202752.GD20429@chain.digitalkingdom.org> X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1437 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441 X-eGroups-Remote-IP: 62.41.128.20 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, 2 Jan 2005 15:38:50 -0000 Subject: [lojban] Re: Holiday Present from the BPFK: The gadri Proposal Has Been Completed Content-Type: text/plain; charset=ISO-8859-1 X-archive-position: 9146 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@v21.me.uk Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list Well done, BPFK! Is there somewhere I can read more about outer quantifiers of lo/le? (I'm curious about how the subtype/instance/member distinction got handled.) > I've written a tutorial on the new gadri setup: > > http://www.lojban.org/tiki/tiki-index.php?page=How+to+use+xorlo > > Feel free to go to the main proposal page as well: > > http://www.lojban.org/tiki/tiki-index.php?page=BPFK+Section%3A+gadri > > But I warn you that it's a mite technical. > > I hope you all enjoy/appreciate it. Very much indeed. --And. To unsubscribe, send mail to lojban-unsubscribe@onelist.com Yahoo! Groups Links <*> To visit your group on the web, go to: http://groups.yahoo.com/group/lojban/ <*> To unsubscribe from this group, send an email to: lojban-unsubscribe@yahoogroups.com <*> Your use of Yahoo! Groups is subject to: http://docs.yahoo.com/info/terms/