Received: from mail-wi0-f189.google.com ([209.85.212.189]:51854) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1Tsj9D-0007qR-RC; Tue, 08 Jan 2013 16:04:15 -0800 Received: by mail-wi0-f189.google.com with SMTP id hj13sf89180wib.6 for ; Tue, 08 Jan 2013 16:03:52 -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=P0lhUtKz2PdiuwM5I+HXxnuXNznF7TZFqaWP4qgeraM=; b=slSZSMAO1x1Dc3FBXeV8DWs+JSwdpeoWYylG8+dPuRHW2Qwsi2gn0VfvyqIcJPzCZ8 20qMCpooIiY6jUzAVUbs0ainXM7uaTjk4b3o0+KV8RF2P++q9mRQGkRoCfC4yyS2DKdJ ZFAoAA1TXIWHezTgl73/bb5gUzFQVLG4VZkrUXDhM9ntIXjCeuimP6PJhsRY/0wRMJgR saEw55xFXukWN00WjEzLERsah5Low4Avuq52en5cQqJhfcGgdNQzrn5bumwwviBUdAud 9ln4p5Gn1NbJ7ufuVIA0BBpSJi92RAgQ4iqME8gTQWcr7AnK2MFdB/DqCJHUF8/Y3E6H 3pnA== X-Received: by 10.181.11.164 with SMTP id ej4mr2575170wid.4.1357689832157; Tue, 08 Jan 2013 16:03:52 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.180.90.176 with SMTP id bx16ls2003369wib.16.canary; Tue, 08 Jan 2013 16:03:51 -0800 (PST) X-Received: by 10.14.179.198 with SMTP id h46mr82249750eem.4.1357689831654; Tue, 08 Jan 2013 16:03:51 -0800 (PST) X-Received: by 10.14.179.198 with SMTP id h46mr82249749eem.4.1357689831644; Tue, 08 Jan 2013 16:03:51 -0800 (PST) Received: from dd17822.kasserver.com (dd17822.kasserver.com. [85.13.138.119]) by gmr-mx.google.com with ESMTPS id g9si10539720eeo.1.2013.01.08.16.03.51 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 08 Jan 2013 16:03:51 -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-4d0cceb4.pool.mediaWays.net [77.12.206.180]) by dd17822.kasserver.com (Postfix) with ESMTPA id DCF9E86504A for ; Wed, 9 Jan 2013 01:03:50 +0100 (CET) Date: Wed, 9 Jan 2013 01:03:50 +0100 From: v4hn To: lojban@googlegroups.com Subject: Re: [lojban] searching Message-ID: <20130109000350.GB14601@samsa.fritz.box> References: <50EC7334.8040607@gmx.de> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="gj572EiMnwbLXET9" Content-Disposition: inline In-Reply-To: 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: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , X-Spam-Score: -0.0 (/) X-Spam_score: -0.0 X-Spam_score_int: 0 X-Spam_bar: / --gj572EiMnwbLXET9 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline On Tue, Jan 08, 2013 at 06:56:09PM -0500, Ian Johnson wrote: > It's not that it doesn't, only that it needn't. Specifying explicitly that > it doesn't isn't possible. va'i xorlo doesn't really "fix" this per se, in > that under the modified "x1 looks for x2 at x3" definition, you can't > explicitly say "I'm looking for a green thing, I don't care which one", at > least not without introducing another bridi. ... And we are back to the "any" discussion. This, however, has not really anything to do with {sisku} /per se/. I agree with selpa'i in that it should work out quite well to use lo(also le for e.g. "my keys") here (using the modified definition) and that this change makes a lot of sense due to xorlo. v4hn --gj572EiMnwbLXET9 Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlDss+YACgkQMBKLZs4+wjwp3gCgkQakrIUHBoXl6mJieiuJn4mT /MUAnjwJIr5u/0dqo8IORlY0XCsq1pbx =aC1K -----END PGP SIGNATURE----- --gj572EiMnwbLXET9--