From jcowan@reutershealth.com Thu Oct 17 06:09:41 2002
Return-Path: <lojban-out@lojban.org>
X-Sender: lojban-out@lojban.org
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-8_2_2_1); 17 Oct 2002 13:09:38 -0000
Received: (qmail 80845 invoked from network); 17 Oct 2002 13:09:38 -0000
Received: from unknown (66.218.66.216)
  by m9.grp.scd.yahoo.com with QMQP; 17 Oct 2002 13:09:38 -0000
Received: from unknown (HELO digitalkingdom.org) (204.152.186.175)
  by mta1.grp.scd.yahoo.com with SMTP; 17 Oct 2002 13:09:40 -0000
Received: from lojban-out by digitalkingdom.org with local (Exim 4.05)
  id 182ATv-0006x6-00
  for lojban@yahoogroups.com; Thu, 17 Oct 2002 06:14:31 -0700
Received: from digitalkingdom.org ([204.152.186.175] helo=chain)
  by digitalkingdom.org with esmtp (Exim 4.05)
  id 182ATM-0006wo-00; Thu, 17 Oct 2002 06:13:57 -0700
Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 17 Oct 2002 06:13:56 -0700 (PDT)
Received: from [65.246.141.151] (helo=mail2.reutershealth.com)
  by digitalkingdom.org with esmtp (Exim 4.05)
  id 182ATI-0006wf-00
  for lojban-list@lojban.org; Thu, 17 Oct 2002 06:13:52 -0700
Received: from skunk.reutershealth.com (IDENT:cowan@[10.65.117.21])
  by mail2.reutershealth.com (Pro-8.9.3/Pro-8.9.3) with SMTP id JAA19910;
  Thu, 17 Oct 2002 09:20:13 -0400 (EDT)
Message-Id: <200210171320.JAA19910@mail2.reutershealth.com>
Received: by skunk.reutershealth.com (sSMTP sendmail emulation); Thu, 17 Oct 2002 09:07:20 -0400
Subject: [lojban] Re: zil
To: arosta@uclan.ac.uk
Date: Thu, 17 Oct 2002 09:07:20 -0400 (EDT)
Cc: lojban-list@lojban.org (lojban-list)
In-Reply-To: <sdaebe99.011@gwise-gw1.uclan.ac.uk> from "And Rosta" at Oct 17, 2002 01:43:43 PM
X-Mailer: ELM [version 2.5 PL6]
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-archive-position: 2239
X-ecartis-version: Ecartis v1.0.0
Sender: lojban-list-bounce@lojban.org
Errors-to: lojban-list-bounce@lojban.org
X-original-sender: jcowan@reutershealth.com
Precedence: bulk
X-list: lojban-list
From: John Cowan <jcowan@reutershealth.com>
Reply-To: jcowan@reutershealth.com
X-Yahoo-Group-Post: member; u=8122456
X-Yahoo-Profile: john_w_cowan

And Rosta scripsit:

> The meaning/effect of zi'o itself turns out to be a tad controversial.

What is the controversy?

> According to me, it serves to redefine the selbri so that it needn't
> express a relation in which the zihoed place plays a part.

And according to me. To be precise, zi'o provides the operation of the
relational algebra called "projection", whereby an n-place relation
becomes an (n-1)-place relation.

> An example:
> 
> pikta
> x1 is a ticket entitling x2 to entitlement/privilege x3 under conditions x4
> 
> zilpikta (< zilpavypikta)
> x1 has right/entitlement/privilege x2 under conditions x3

An excellent example!

-- 
John Cowan jcowan@reutershealth.com
http://www.reutershealth.com http://www.ccil.org/~cowan
Humpty Dump Dublin squeaks through his norse
Humpty Dump Dublin hath a horrible vorse
But for all his kinks English / And his irismanx brogues
Humpty Dump Dublin's grandada of all rogues.
--Cousin James




