From lojban-out@lojban.org Sun Jan 02 12:21:33 2005 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 31666 invoked from network); 2 Jan 2005 20:21:31 -0000 Received: from unknown (66.218.66.218) by m11.grp.scd.yahoo.com with QMQP; 2 Jan 2005 20:21:31 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta3.grp.scd.yahoo.com with SMTP; 2 Jan 2005 20:21:31 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.34) id 1ClCCi-0008CL-FN for lojban@yahoogroups.com; Sun, 02 Jan 2005 12:19:56 -0800 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.34) id 1ClCCD-0008Bs-Nv; Sun, 02 Jan 2005 12:19:25 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Sun, 02 Jan 2005 12:19:22 -0800 (PST) Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.34) id 1ClCC2-0008Bj-MH for lojban-list@lojban.org; Sun, 02 Jan 2005 12:19:14 -0800 Date: Sun, 2 Jan 2005 12:19:14 -0800 Message-ID: <20050102201914.GX2596@chain.digitalkingdom.org> Mail-Followup-To: lojban-list@lojban.org References: <20041225202752.GD20429@chain.digitalkingdom.org> <027101c4f0f5$929c7f40$f7390751@oemcomputer> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <027101c4f0f5$929c7f40$f7390751@oemcomputer> User-Agent: Mutt/1.5.6+20040907i X-archive-position: 9147 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: rlpowell@digitalkingdom.org X-list: lojban-list To: lojban@yahoogroups.com X-eGroups-Remote-IP: 64.81.49.134 X-eGroups-From: Robin Lee Powell From: Robin Lee Powell Reply-To: rlpowell@digitalkingdom.org Subject: [lojban] Re: Holiday Present from the BPFK: The gadri Proposal Has Been Completed X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 23542 On Sun, Jan 02, 2005 at 03:38:50PM -0000, And Rosta wrote: > > 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.) [snip] > > Feel free to go to the main proposal page as well: > > > > http://www.lojban.org/tiki/tiki-index.php?page=BPFK+Section%3A+gadri You mean other than the main proposal? Umm, the "discuss" button on that page, I guess? -Robin -- http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/ Reason #237 To Learn Lojban: "Homonyms: Their Grate!" Proud Supporter of the Singularity Institute - http://singinst.org/