Received: from mail-ea0-f188.google.com ([209.85.215.188]:41015)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncBDUNF3UDXIJBBEXTRODQKGQEO6OYLEI@googlegroups.com>)
	id 1Tq3IY-0000fG-TQ; Tue, 01 Jan 2013 06:58:48 -0800
Received: by mail-ea0-f188.google.com with SMTP id l12sf5625464eaa.5
        for <multiple recipients>; Tue, 01 Jan 2013 06:58:27 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-received:x-beenthere:x-received:x-received:received-spf:date:from
         :to:subject:message-id:references:mime-version:content-type
         :content-disposition:in-reply-to:user-agent: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;
        bh=gzKaSGFj1t+ZHuSIAhHGuiukkJk8Ir6Gaphi2OZEQ9k=;
        b=KzIpLzT4bva9B6N4BAOGOO/LmFIg32IaMA6wwdXc5KgoaMz//K8vB62L0bVnTbxzST
         XCZmFj763bmDrbVMI1CuqqgSumlasyJvB09e6azIcY6dIBJkSd4m50B/bxKPjr5fjWC5
         RTn5eaitOUCn2nvFnsK0sHJ4cgM5UTmDzEJrifctT3SyK31mTq3P8R749c906zj8xAKU
         GOR/M6mQ7MYdllvwM9UUR/xF9GnCBvZdMU0oxDMU1KsGRBV7nXBSM+DX0Ni+oKSud0jy
         CqZohmJYBr5wwAojiWIrVEX/Vklb/RUPXVEjUXLf+QAkkVyxiQMZqHz5KY5j/K7wooJX
         5RmA==
X-Received: by 10.180.74.204 with SMTP id w12mr7122523wiv.7.1357052307060;
        Tue, 01 Jan 2013 06:58:27 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.180.87.230 with SMTP id bb6ls5196066wib.12.gmail; Tue, 01 Jan
 2013 06:58:26 -0800 (PST)
X-Received: by 10.14.180.2 with SMTP id i2mr54476018eem.1.1357052306333;
        Tue, 01 Jan 2013 06:58:26 -0800 (PST)
X-Received: by 10.14.180.2 with SMTP id i2mr54476017eem.1.1357052306322;
        Tue, 01 Jan 2013 06:58:26 -0800 (PST)
Received: from dd17822.kasserver.com (dd17822.kasserver.com. [85.13.138.119])
        by gmr-mx.google.com with ESMTPS id g9si1698726eeo.1.2013.01.01.06.58.26
        (version=TLSv1/SSLv3 cipher=OTHER);
        Tue, 01 Jan 2013 06:58:26 -0800 (PST)
Received-SPF: neutral (google.com: 85.13.138.119 is neither permitted nor denied by best guess record for domain of me@v4hn.de) client-ip=85.13.138.119;
Received: from samsa (brln-d9ba69d0.pool.mediaWays.net [217.186.105.208])
	by dd17822.kasserver.com (Postfix) with ESMTPA id 8C2AB8637A6
	for <lojban@googlegroups.com>; Tue,  1 Jan 2013 15:58:25 +0100 (CET)
Date: Tue, 1 Jan 2013 15:58:25 +0100
From: v4hn <me@v4hn.de>
To: lojban@googlegroups.com
Subject: Re: [lojban] Re: Distinguishing between free and bound variables
Message-ID: <20130101145825.GF32434@samsa.fritz.box>
References: <CALm==BVT4A0=3-kNhfORYDZLKhOvESVxpg69vgAF_cGDo8MCYg@mail.gmail.com>
 <f29b6ffd-f7ad-4df3-924e-5d9262e2d74b@googlegroups.com>
 <1356899917.25852.76.camel@thomas>
 <20121231122731.GD32434@samsa.fritz.box>
 <CALm==BXERyLe65=evwHSTBqiOE8XiEU+H0g=j8fvUGF6+sd6DA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="4f28nU6agdXSinmL"
Content-Disposition: inline
In-Reply-To: <CALm==BXERyLe65=evwHSTBqiOE8XiEU+H0g=j8fvUGF6+sd6DA@mail.gmail.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-Original-Sender: me@v4hn.de
X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com:
 85.13.138.119 is neither permitted nor denied by best guess record for domain
 of me@v4hn.de) smtp.mail=me@v4hn.de
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
X-Spam-Score: -0.0 (/)
X-Spam_score: -0.0
X-Spam_score_int: 0
X-Spam_bar: /


--4f28nU6agdXSinmL
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Mon, Dec 31, 2012 at 11:31:22AM -0500, .arpis. wrote:
> > Hopefully in binary at least, that would at least increase the bound to
> > 31..
> > That sentence is not difficult at all in my opinion. {.u'i}
>=20
> I was thinking that, but I didn't reply because it would have been unprod=
uctive.
> {lo banli pensi vo'a se pensi simsa} (great minds think alike)

{u'isai} If you say so.

> >  Maybe
> > {ju'o do na skudji lonu ba'e broda}
> > "Surely you don't mean to say -something unspecified-"
> > works?

> That doesn't work for the same reason as {ko'a}; I may have used {cei}
> somewhere to bind it.

> If I say "You are not allowed to say things like 'X is stupid'", I don't
> mean that you're not allowed to call a particular person stupid but that
> you're not allowed to call anyone stupid; however, I'm not using {da} to
> bind to the referent of your insult. Instead I'm providing a template for
> making a bridi and telling you not to use any bridi that could be made
> using that template.
>=20
> > I can't find a scenario in which the /X/ would
> > not take a specific value depending on context.

Fair enough.
Still, in quotations broda/ko'a should work out,
because _your_ usage of {cei} should not influence the quote.

{tolcurmi lonu do cusku lu ko'a bebna li'u}
"it's not allowed that you say '/X/ is silly'"
works out in my opinion, for the speaker would use {losedu'u ko'a bebna}
if he would mean a specific (bound) {ko'a}.

If you would like to avoid these assignables,
{tolcurmi lonu do cusku lu li'o bebna li'u}
might do the trick..?


v4hn

--4f28nU6agdXSinmL
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAlDi+ZEACgkQMBKLZs4+wjzK8wCePtpbTVBbnz8q+JaBkG9jSeUf
2ZcAn39dh38NHBMDq0mTqyTiXd89aVLY
=/1p8
-----END PGP SIGNATURE-----

--4f28nU6agdXSinmL--