From jjllambias@hotmail.com Thu Oct 17 08:57:46 2002
Return-Path: <jjllambias@hotmail.com>
X-Sender: jjllambias@hotmail.com
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-8_2_2_1); 17 Oct 2002 15:57:46 -0000
Received: (qmail 39314 invoked from network); 17 Oct 2002 15:57:46 -0000
Received: from unknown (66.218.66.216)
  by m13.grp.scd.yahoo.com with QMQP; 17 Oct 2002 15:57:46 -0000
Received: from unknown (HELO hotmail.com) (216.33.241.4)
  by mta1.grp.scd.yahoo.com with SMTP; 17 Oct 2002 15:57:46 -0000
Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC;
	 Thu, 17 Oct 2002 08:57:46 -0700
Received: from 200.49.74.2 by lw8fd.law8.hotmail.msn.com with HTTP;
	Thu, 17 Oct 2002 15:57:45 GMT
To: lojban@yahoogroups.com
Bcc: 
Subject: Re: [lojban] Re: zil
Date: Thu, 17 Oct 2002 15:57:45 +0000
Mime-Version: 1.0
Content-Type: text/plain; format=flowed
Message-ID: <F4QdCgnre8gH8NbG4H400000202@hotmail.com>
X-OriginalArrivalTime: 17 Oct 2002 15:57:46.0041 (UTC) FILETIME=[EF343A90:01C275F5]
From: "Jorge Llambias" <jjllambias@hotmail.com>
X-Originating-IP: [200.49.74.2]
X-Yahoo-Group-Post: member; u=6071566
X-Yahoo-Profile: jjllambias2000
X-Yahoo-Message-Num: 16726


la djan cusku di'e

>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.

This serves as a superficial analogy, but it's not quite the same thing.
zi'o expands the meaning of a selbri, a projection doesn't. A projection
just fixes the value of one of the arguments, or restricts in some way
the relationship between the arguments. zi'o goes the other way.
It would be more appropriate to say that the zi'o-less selbri is a
projection of the zi'o-selbri. Only a subset of the arguments that
satisfy the zi'o-selbri will satisfy the zi'o-less one.

> > 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!

Yes, very good. {pikta} is a projection of {zilpikta}, from all 
relationships
of entitlement to only those relationships involving tickets.

Also:

zilrelpikta
x1 is a ticket giving entitlement/privilege x2 under conditions x3

To include tickets that are not personalized.

and:

zilreljvecibypikta
x1 is a ticket under conditions x2

To include tickets that don't necessarily entitle privileges.

(It is still a mystery to me why some gismu have an "under conditions"
place and others don't.)

mu'o mi'e xorxes


_________________________________________________________________
Protect your PC - get McAfee.com VirusScan Online 
http://clinic.mcafee.com/clinic/ibuy/campaign.asp?cid=3963