Received: from mail-ee0-f56.google.com ([74.125.83.56]:61865) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1Tsv17-000609-Cl; Wed, 09 Jan 2013 04:44:38 -0800 Received: by mail-ee0-f56.google.com with SMTP id d17sf730813eek.1 for ; Wed, 09 Jan 2013 04:44:18 -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=5YnkJ+WGacl0chtWmn9p6Mi0e6qiOMlx8sLOJOsAyGE=; b=M/2K+B/PixIA/BifW4zvOEV/PNl1h6OgcCKX6zqpqOIjIyI/47IKJfm9/CMdeVzDn2 CP3uw9Qeiq/UmnxglFICweHD+TPrmcmBDolqYv75wImo1yA/kAMvw1GYO955Q1sVSTBK 0rc7ZLtVq0qO2Qt21xa0wjDIl5lOZTtdqA/x1nB/0He3APoYFKoc5GiU0C3FOMFzCjEq fNTOT6bB7fwnpxYw+eECuW5A3iPQqFIVURXCi8oNbzc7i8wOMxVwgwgRxWiLnqImR/LQ Ax+JNFOnBgm40sTgTgF3Z0uWzPHy3VmB4msJ+X2SbVqrhyXK2QIpS9yHCv25tl7x25YE bPjw== X-Received: by 10.180.100.228 with SMTP id fb4mr275002wib.17.1357735457641; Wed, 09 Jan 2013 04:44:17 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.180.73.114 with SMTP id k18ls1930576wiv.15.canary; Wed, 09 Jan 2013 04:44:16 -0800 (PST) X-Received: by 10.14.224.201 with SMTP id x49mr84875326eep.5.1357735456131; Wed, 09 Jan 2013 04:44:16 -0800 (PST) X-Received: by 10.14.224.201 with SMTP id x49mr84875324eep.5.1357735456110; Wed, 09 Jan 2013 04:44:16 -0800 (PST) Received: from dd17822.kasserver.com (dd17822.kasserver.com. [85.13.138.119]) by gmr-mx.google.com with ESMTPS id g9si11484797eeo.1.2013.01.09.04.44.15 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 09 Jan 2013 04:44:16 -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-4dbc2981.pool.mediaWays.net [77.188.41.129]) by dd17822.kasserver.com (Postfix) with ESMTPA id 43C128650A0 for ; Wed, 9 Jan 2013 13:44:15 +0100 (CET) Date: Wed, 9 Jan 2013 13:44:14 +0100 From: v4hn To: lojban@googlegroups.com Subject: Re: [lojban] searching Message-ID: <20130109124414.GD14601@samsa.fritz.box> References: <50EC7334.8040607@gmx.de> <50ECB7C1.2020501@gmx.de> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="3Gf/FFewwPeBMqCJ" 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: / --3Gf/FFewwPeBMqCJ Content-Type: text/plain; charset=us-ascii Content-Disposition: inline On Wed, Jan 09, 2013 at 02:10:28AM -0500, Ian Johnson wrote: > Because {lo crino} can very well mean "that blade of grass over there". What's the problem here? If you're just looking for something green and your universe of discourse includes blades of grass, then this is perfectly valid. > It's not specific either way, and unlike with definiteness there isn't a > way to add quantifiers or anything to make it so. I don't get the rest.. If you are looking for a green shirt and your UD includes more things than shirts, you can always say {mi sisku lo crino creka} v4hn --3Gf/FFewwPeBMqCJ Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlDtZh4ACgkQMBKLZs4+wjyRMACdFzRzIuWZ2DVvT80kQLQ2J/TI tqQAn3dnilfRnthqedcGLhuDcnLIo7lW =whh+ -----END PGP SIGNATURE----- --3Gf/FFewwPeBMqCJ--