From a.rosta@v21.me.uk Sun Jan 02 10:06:11 2005
Return-Path: <a.rosta@v21.me.uk>
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: <rlpowell@digitalkingdom.org>, <lojban@yahoogroups.com>
References: <20041225202752.GD20429@chain.digitalkingdom.org>
Date: Sun, 2 Jan 2005 15:38:50 -0000
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
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" <a.rosta@v21.me.uk>
Subject: Re: [lojban] Holiday Present from the BPFK: The gadri Proposal Has Been Completed
X-Yahoo-Group-Post: member; u=175222075
X-Yahoo-Profile: andjamin
X-Yahoo-Message-Num: 23541

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.