Received: from mail-gh0-f189.google.com ([209.85.160.189]:53782) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1TRAmq-0004dJ-Cs; Wed, 24 Oct 2012 16:55:12 -0700 Received: by mail-gh0-f189.google.com with SMTP id f15sf753867ghb.16 for ; Wed, 24 Oct 2012 16:54:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-beenthere:received-spf:message-id:date:from:user-agent :mime-version:to:subject:references:in-reply-to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type; bh=0gUqE2ozqSZcL6d24uzIQ+I8xG5yH+c/MxJ1Vvqedck=; b=d9eq0S1mgZV7vrCnti8iI+OopHzTvjKmo/YfM3br+wTTlXZyz4xn6YJUQyBsX+wBCw YgXDTvUsy/CFQ4cI2lqFFHsSFIADXnx+7zjD/ngci/z2hE4EpuiYnZvt2uY0n4BSbzBm hjcgcdaVDSmrqacQnqNS8lTBVM4MQlRH0j+UofSV03j1OyYXMtt8X5cGT3ehFwTczyDq tyVkx6ZSQrEKGaVFhO6IJSgQZdd42m2HQARDn54ejPL5h4tcCOcz8PAit2lSK8PzKJCN GZlDvdwa1UuJQXyurvNct+3AI6P49ygeuI4O0/XSI9zYVh/Fb4C2arfdcK9f0HNoi5jN as1Q== Received: by 10.50.217.196 with SMTP id pa4mr1640247igc.5.1351122893898; Wed, 24 Oct 2012 16:54:53 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.50.150.208 with SMTP id uk16ls5518922igb.2.gmail; Wed, 24 Oct 2012 16:54:53 -0700 (PDT) Received: by 10.42.57.79 with SMTP id c15mr9726649ich.33.1351122893311; Wed, 24 Oct 2012 16:54:53 -0700 (PDT) Received: by 10.42.57.79 with SMTP id c15mr9726648ich.33.1351122893302; Wed, 24 Oct 2012 16:54:53 -0700 (PDT) Received: from mail-ia0-f182.google.com (mail-ia0-f182.google.com [209.85.210.182]) by gmr-mx.google.com with ESMTPS id us14si579264igb.3.2012.10.24.16.54.53 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 24 Oct 2012 16:54:53 -0700 (PDT) Received-SPF: pass (google.com: domain of celestialcognition@gmail.com designates 209.85.210.182 as permitted sender) client-ip=209.85.210.182; Received: by mail-ia0-f182.google.com with SMTP id k10so1113444iag.13 for ; Wed, 24 Oct 2012 16:54:53 -0700 (PDT) Received: by 10.50.5.239 with SMTP id v15mr4346653igv.41.1351122893160; Wed, 24 Oct 2012 16:54:53 -0700 (PDT) Received: from [10.0.1.103] (76-76-236-67.lisco.net. [76.76.236.67]) by mx.google.com with ESMTPS id x5sm3047844igc.14.2012.10.24.16.54.52 (version=SSLv3 cipher=OTHER); Wed, 24 Oct 2012 16:54:52 -0700 (PDT) Message-ID: <50887FCB.20302@gmail.com> Date: Wed, 24 Oct 2012 18:54:51 -0500 From: vitci'i User-Agent: Mozilla/5.0 (X11; Linux i686; rv:15.0) Gecko/20120912 Thunderbird/15.0.1 MIME-Version: 1.0 To: lojban@googlegroups.com Subject: Re: [lojban] The fire's hotness References: In-Reply-To: X-Original-Sender: celestialcognition@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of celestialcognition@gmail.com designates 209.85.210.182 as permitted sender) smtp.mail=celestialcognition@gmail.com; dkim=pass header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / On 10/24/2012 04:01 PM, Mike S. wrote: > Given: > > .i lo se mupli be lo vi fagri be'o je ka glare cu pluka mi > > "The instantiated-by-this-fire property-of-being-hot is pleasant to me." > = "This fire's hotness is pleasant to me." > > I am trying to encode what are sometimes called "tropes", properties as > they are instantiated in particular cases. Does the Lojban capture that > the way I think it does? > > Is there any way to shorten this expression without losing the logical form? > .i lo ka glare be gau lo vi fagri cu pluka mi -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.