From jcowan@reutershealth.com Fri Aug 09 11:23:05 2002
Return-Path: <jcowan@reutershealth.com>
X-Sender: jcowan@reutershealth.com
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-8_0_7_4); 9 Aug 2002 18:23:04 -0000
Received: (qmail 91874 invoked from network); 9 Aug 2002 18:23:04 -0000
Received: from unknown (66.218.66.217)
  by m5.grp.scd.yahoo.com with QMQP; 9 Aug 2002 18:23:04 -0000
Received: from unknown (HELO mail2.reutershealth.com) (65.246.141.151)
  by mta2.grp.scd.yahoo.com with SMTP; 9 Aug 2002 18:23:04 -0000
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 OAA01568;
  Fri, 9 Aug 2002 14:33:55 -0400 (EDT)
Message-Id: <200208091833.OAA01568@mail2.reutershealth.com>
Received: by skunk.reutershealth.com (sSMTP sendmail emulation); Fri, 9 Aug 2002 14:20:32 -0400
Subject: Re: [lojban] x3 of dasni
To: jjllambias@hotmail.com (Jorge Llambias)
Date: Fri, 9 Aug 2002 14:20:32 -0400 (EDT)
Cc: lojban@yahoogroups.com
In-Reply-To: <F548dyDd3OJXsNQptgF00023687@hotmail.com> from "Jorge Llambias" at Aug 09, 2002 03:46:06 PM
X-Mailer: ELM [version 2.5 PL3]
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
From: John Cowan <jcowan@reutershealth.com>
X-Yahoo-Group-Post: member; u=8122456
X-Yahoo-Profile: john_w_cowan

Jorge Llambias scripsit:

> You say that there is a coat x (even if we don't care which one,
> and even if we can't find it) such that that coat x is in
> relationship {dasni} with ko'a and the blanket. I don't want
> to say there is any such coat. If you present any coat to me
> and ask whether he is wearing the blanket as that coat, I would
> tend to say no, he is not wearing it as that coat.

That is, for each coat, it is false that he is wearing the blanket as
*that coat*. I think this is entirely correct.

If I have been participating less in Lojban List discussions of late, it is
because either 1) the answer is easy, and I know that there are plenty of
other people who can give it, or else 2) the answer is hard, and I don't
know what to say!

Perhaps dasni3 ought to be a set; the gismu list calls it a "type", and types
are sets of tokens (or values). So:

ko'a dasni le boxfo lo'i kosta

meaning that he1 wears the (specific) blanket as if it belonged to the
set of coats.

> Yes, I go with the event too. I thought that the place where an
> event took place had to contain all the participants of the event.

I agree, although that makes place hard to set for some
predicates, like "zmadu". If I say that the Andromeda Galaxy is
more massive than the Milky Way Galaxy, where does the event occur?

-- 
John Cowan <jcowan@reutershealth.com>
http://www.ccil.org/~cowan http://www.reutershealth.com
Charles li reis, nostre emperesdre magnes,
Set anz totz pleinz ad ested in Espagnes.

