From rlpowell@digitalkingdom.org Sun Jan 02 12:19:22 2005
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
To: lojban-list@lojban.org
Subject: [lojban] Re: Holiday Present from the BPFK: The gadri Proposal Has Been Completed
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
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
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
Precedence: bulk
Reply-to: lojban-list@lojban.org
X-list: lojban-list

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/