Received: from mail-yw0-f141.google.com ([209.85.211.141])
	by chain.digitalkingdom.org with esmtp (Exim 4.71)
	(envelope-from <lojban-beginners+bncCJ2UzZHuDRDF7YvfBBoEnxaiMw@googlegroups.com>)
	id 1OA4Vj-0008B6-Og; Thu, 06 May 2010 10:05:29 -0700
Received: by ywh5 with SMTP id 5sf71448ywh.25
        for <multiple recipients>; Thu, 06 May 2010 10:05:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=domainkey-signature:received:x-beenthere:received:received:received
         :received:received-spf:received:mime-version:received:received
         :in-reply-to:references:date:message-id:subject:from:to
         :x-original-authentication-results:x-original-sender:reply-to
         :precedence:mailing-list:list-id:list-post:list-help:list-archive
         :sender:list-subscribe:list-unsubscribe:content-type;
        bh=JOs2aagR5hjxzAdeVGs70ROWibZM+/Ij4r++eLt5nZA=;
        b=ffA7qqpFNFgnukdMJWQ/K9XYJm0tD3kt55MqaTDtHy83rf88iXV2u6WpueQyzf3dVY
         xJ+Ht4FXEaU8Ol2y34DQUgDtJJrOz66vI+desuNHzpO9Zdk7YJZKLUKK+GL2zNMCNGDj
         2oeT/VGNoNFgbzADlc1/3WulTGmUGjUo7KUJ0=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:x-original-authentication-results
         :x-original-sender:reply-to:precedence:mailing-list:list-id
         :list-post:list-help:list-archive:sender:list-subscribe
         :list-unsubscribe:content-type;
        b=HCS+2a56vArxWc/CakcVVx2y6TK28/Q5iQk8ipdL0xXfy6up8UYCqhDMTYARJKWCE1
         YLol2ITkvEZCLamALBAQoevf7uLzcaufYTknz0jtZZ12hq0cx6xDkoKnVY2OJvSIAP7p
         aWC37EIcNmaeZAhZaykfH2dgAIo1/KwAaJYUo=
Received: by 10.150.87.3 with SMTP id k3mr20309ybb.37.1273165509378;
        Thu, 06 May 2010 10:05:09 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.150.19.36 with SMTP id 36ls5707374ybs.3.p; Thu, 06 May 2010 
	10:05:06 -0700 (PDT)
Received: by 10.151.16.35 with SMTP id t35mr984286ybi.19.1273165506215;
        Thu, 06 May 2010 10:05:06 -0700 (PDT)
Received: by 10.151.16.35 with SMTP id t35mr984284ybi.19.1273165506195;
        Thu, 06 May 2010 10:05:06 -0700 (PDT)
Received: from mail-qy0-f197.google.com (mail-qy0-f197.google.com [209.85.221.197])
        by gmr-mx.google.com with ESMTP id 12si109347gxk.6.2010.05.06.10.05.05;
        Thu, 06 May 2010 10:05:05 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.221.197 as permitted sender) client-ip=209.85.221.197;
Received: by qyk35 with SMTP id 35so234431qyk.15
        for <lojban-beginners@googlegroups.com>; Thu, 06 May 2010 10:05:05 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.224.65.234 with SMTP id k42mr921083qai.322.1273165504508; Thu, 
	06 May 2010 10:05:04 -0700 (PDT)
Received: by 10.229.82.11 with HTTP; Thu, 6 May 2010 10:05:04 -0700 (PDT)
In-Reply-To: <r2j1f1080831005060932l4e23f59aq5aa5d06e57e383f9@mail.gmail.com>
References: <2035EAA2-54C5-4259-BC7C-497A1CA2A4F5@mac.com>
	 <n2r4de8c3931005020204vb8b15beckad10e4e0b8c59b71@mail.gmail.com>
	 <y2h702226df1005050645h34cd2c57ga3d005b1288e3ca7@mail.gmail.com>
	 <u2r1f1080831005051225w371865bcsb5427dff66bc1888@mail.gmail.com>
	 <w2k925d17561005051809gbf4b8a2ehb8ba4d623e48b74b@mail.gmail.com>
	 <t2s1f1080831005051821k83602adau2dc71e62fa4b22df@mail.gmail.com>
	 <z2x925d17561005051842r2f3b79d4x9e929b1cc2eaacb4@mail.gmail.com>
	 <n2h1f1080831005060638zc286539flacb8a97329b564ea@mail.gmail.com>
	 <v2h925d17561005060746yfc9f251fs8fda969c4090ba07@mail.gmail.com>
	 <r2j1f1080831005060932l4e23f59aq5aa5d06e57e383f9@mail.gmail.com>
Date: Thu, 6 May 2010 14:05:04 -0300
Message-ID: <l2r925d17561005061005z626ff09cr3451cec87d7268f7@mail.gmail.com>
Subject: Re: [lojban-beginners] Proposed change to smart.fm items
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban-beginners@googlegroups.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: 
	domain of jjllambias@gmail.com designates 209.85.221.197 as permitted sender) 
	smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com
X-Original-Sender: jjllambias@gmail.com
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact 
	lojban-beginners+owners@googlegroups.com
List-ID: <lojban-beginners.googlegroups.com>
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, 
	<mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
Sender: lojban-beginners@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>, 
	<mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>, 
	<mailto:lojban-beginners+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Length: 906

On Thu, May 6, 2010 at 1:32 PM, Ian Johnson <blindbravado@gmail.com> wrote:
>
> Hmm...a relevant question:
> .i ko'a goi lo fasnu .i ko'e goi lo fasnu
>
> Does {ko'a du ko'e} have a defined truth value now? If so, what is it? (I
> suspect that it doesn't have a truth value yet.)

Pragmatically, I would expect it to be false (why would anyone assign
the same referent(s) to two different variables, and one just right
after the other). But that's just from pragmatic considerations, not
because there's any rule involved.

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.