From jjllambias@hotmail.com Fri Aug 09 12:06:48 2002 Return-Path: X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_7_4); 9 Aug 2002 19:06:48 -0000 Received: (qmail 47382 invoked from network); 9 Aug 2002 19:06:48 -0000 Received: from unknown (66.218.66.218) by m5.grp.scd.yahoo.com with QMQP; 9 Aug 2002 19:06:48 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.73) by mta3.grp.scd.yahoo.com with SMTP; 9 Aug 2002 19:06:48 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Fri, 9 Aug 2002 12:06:48 -0700 Received: from 200.49.74.2 by lw8fd.law8.hotmail.msn.com with HTTP; Fri, 09 Aug 2002 19:06:47 GMT To: lojban@yahoogroups.com Bcc: Subject: Re: [lojban] x3 of dasni Date: Fri, 09 Aug 2002 19:06:47 +0000 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 09 Aug 2002 19:06:48.0144 (UTC) FILETIME=[E91F0D00:01C23FD7] From: "Jorge Llambias" X-Originating-IP: [200.49.74.2] X-Yahoo-Group-Post: member; u=6071566 X-Yahoo-Profile: jjllambias2000 la djan cusku di'e >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. That does make sense. Either "x1 wears x2 as if it were an instance of type x3", in which case I would use {lo'e} for the type, or "x1 wears x2 as if it were a member of set x3". The current wording suggests the former, but the latter would have the same meaning. > > 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? I would say any place that contains both galaxies. mu'o mi'e xorxes _________________________________________________________________ Chat with friends online, try MSN Messenger: http://messenger.msn.com