Received: from mail-fa0-f64.google.com ([209.85.161.64]:44939) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1Tsi3y-0007SL-OQ; Tue, 08 Jan 2013 14:54:41 -0800 Received: by mail-fa0-f64.google.com with SMTP id s10sf469239fas.19 for ; Tue, 08 Jan 2013 14:54:23 -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=dgHvBRTMbeOyzZ4SgExlbTHEwaDJeE6wsueZ9vim8Zs=; b=UXwYAMWyWHrqKNB/l7QJf3EvyagwHdLLhGKjHSrD16mVaHSPjQV3xnAa2TSxZEmpqT NaTMKfMkkJqFFhFlHqSSYUulzwD4XlYqkilZ/LDb/Km2yts+sw91oLbDH9ZHKZj7w3/F LRF5OwP9IMgwcyEGj7qI0MYQ9T4o5CdD0hyd3l46YPI7HhoPcD8KfNSIuKB1bZ95pgF/ 9woFqk7ZyZtPdFEGJ0HxUHlgW4PE7Uw1YnscNn9NCOLMVQ8aM8cWT3iD/1UU2dIli+go yXEdIgaJdCjwj+h2Zogo7f4jm+pioXle8U6HKXKzUT39cf1+8LOd4YsaBI6klpjj7Uow dE7w== X-Received: by 10.180.105.167 with SMTP id gn7mr2510025wib.3.1357685662678; Tue, 08 Jan 2013 14:54:22 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.180.97.9 with SMTP id dw9ls614378wib.42.gmail; Tue, 08 Jan 2013 14:54:21 -0800 (PST) X-Received: by 10.14.208.198 with SMTP id q46mr82196396eeo.0.1357685661647; Tue, 08 Jan 2013 14:54:21 -0800 (PST) X-Received: by 10.14.208.198 with SMTP id q46mr82196395eeo.0.1357685661633; Tue, 08 Jan 2013 14:54:21 -0800 (PST) Received: from dd17822.kasserver.com (dd17822.kasserver.com. [85.13.138.119]) by gmr-mx.google.com with ESMTPS id z44si24698622een.0.2013.01.08.14.54.21 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 08 Jan 2013 14:54:21 -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 E4B48865050 for ; Tue, 8 Jan 2013 23:54:20 +0100 (CET) Date: Tue, 8 Jan 2013 23:54:20 +0100 From: v4hn To: lojban@googlegroups.com Subject: Re: [lojban] searching Message-ID: <20130108225420.GA14601@samsa.fritz.box> References: <1357670696.88472.YahooMailNeo@web184401.mail.bf1.yahoo.com> <50EC7255.7000808@gmx.de> <1357673481.26665.YahooMailNeo@web184401.mail.bf1.yahoo.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="qDbXVdCdHGoSgWSk" Content-Disposition: inline In-Reply-To: <1357673481.26665.YahooMailNeo@web184401.mail.bf1.yahoo.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: 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: / --qDbXVdCdHGoSgWSk Content-Type: text/plain; charset=us-ascii Content-Disposition: inline On Tue, Jan 08, 2013 at 11:31:21AM -0800, John E Clifford wrote: > Always could; existence is a predicate, being there is the UD. > So, {lo pavyseljirna cu broda} always implies {da pavyseljirna} > but never (directly) {da poi pavyseljirna cu zasti}. Could you please elaborate on that a bit? Neither do I agree that existence is a predicate(not on the level of semantical analysis), nor do I agree with the implications you derive from {lo brode cu broda}. But maybe I just didn't get you... v4hn --qDbXVdCdHGoSgWSk Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlDso5wACgkQMBKLZs4+wjyRvACdEenbJGyWO+VhS/jnZntjJ5vQ J1wAnjSxiva9UfdVyS0iczjmqGozkzyF =3t7F -----END PGP SIGNATURE----- --qDbXVdCdHGoSgWSk--