Received: from mail-ea0-f190.google.com ([209.85.215.190]:37054) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1Tsx6D-000854-K3; Wed, 09 Jan 2013 06:58:20 -0800 Received: by mail-ea0-f190.google.com with SMTP id i1sf886054eaa.7 for ; Wed, 09 Jan 2013 06:57:41 -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 :x-authenticated:x-provags-id:message-id:date:from:user-agent :mime-version:to:subject:references:in-reply-to:x-y-gmx-trusted :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 :content-type; bh=QmaECgk9Tq8XSP7cuINO6LXXJ6rm1iq+UpQrnZVP6tw=; b=BzR5bI2XWiOuKKYszDYA6za9c690Dzt/jq69D7LAtccUrbfopoovYXMAbzyLnI5Rz3 LzU70KNXHpzniSne/xQ3IhJZlEqBIqGnEEMy7ywKpsyUE4tkL+60ueVlN0pTVa2NONR4 lipYrqD4Hwd5R/Ub1GPZC6J6Dmco3sC5k4eaeiFEFi7g7NWIIQmRi8A48A1Gm3U9aG28 pFoOyDHTYRwWb7XZH6reDZpgL/T3BRYEa+jH7DDhtTPmZzRVIUtU2GEXoG9wo1QNTPUn 9nhykdrUD8hB9x2eTn5cJDGHKGrPLZSGVGcjzHVYHEqVyVYbn2S/9RCYGfI4mJ9oOK81 LCfw== X-Received: by 10.181.13.106 with SMTP id ex10mr392998wid.18.1357743461774; Wed, 09 Jan 2013 06:57:41 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.180.75.102 with SMTP id b6ls2240094wiw.19.canary; Wed, 09 Jan 2013 06:57:39 -0800 (PST) X-Received: by 10.14.179.198 with SMTP id h46mr85343230eem.4.1357743459094; Wed, 09 Jan 2013 06:57:39 -0800 (PST) X-Received: by 10.14.179.198 with SMTP id h46mr85343226eem.4.1357743459078; Wed, 09 Jan 2013 06:57:39 -0800 (PST) Received: from mout.gmx.net (mout.gmx.net. [212.227.17.20]) by gmr-mx.google.com with ESMTP id g9si11654494eeo.1.2013.01.09.06.57.39; Wed, 09 Jan 2013 06:57:39 -0800 (PST) Received-SPF: pass (google.com: domain of seladwa@gmx.de designates 212.227.17.20 as permitted sender) client-ip=212.227.17.20; Received: from mailout-de.gmx.net ([10.1.76.35]) by mrigmx.server.lan (mrigmx002) with ESMTP (Nemesis) id 0MVXXN-1TU3Q53cGV-00Z19R for ; Wed, 09 Jan 2013 15:57:38 +0100 Received: (qmail invoked by alias); 09 Jan 2013 14:57:38 -0000 Received: from p54AF410A.dip0.t-ipconnect.de (EHLO [192.168.2.100]) [84.175.65.10] by mail.gmx.net (mp035) with SMTP; 09 Jan 2013 15:57:38 +0100 X-Authenticated: #54293076 X-Provags-ID: V01U2FsdGVkX1/BIR55KW7BbQf+PRDC2NhO+P/T5Xv6WpdpHNZzzp F5UkAQXLh5s4zy Message-ID: <50ED8563.9080100@gmx.de> Date: Wed, 09 Jan 2013 15:57:39 +0100 From: selpa'i User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20130107 Thunderbird/17.0.2 MIME-Version: 1.0 To: lojban@googlegroups.com Subject: Re: [lojban] searching References: <50EC7334.8040607@gmx.de> <50ECB7C1.2020501@gmx.de> <1357701141.19115.YahooMailNeo@web184403.mail.bf1.yahoo.com> In-Reply-To: <1357701141.19115.YahooMailNeo@web184403.mail.bf1.yahoo.com> X-Y-GMX-Trusted: 0 X-Original-Sender: seladwa@gmx.de X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of seladwa@gmx.de designates 212.227.17.20 as permitted sender) smtp.mail=seladwa@gmx.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: , Content-Type: text/plain; charset=ISO-8859-1; format=flowed X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / la .pycyn. cu cusku di'e > What if the extension of {crino} is null? Of course it can't be if {mi > sisku lo crino} is accepted in the proposed sense, but that is > questionbegging. I don't think we're making claims about the extension of {crino} when saying {lo crino}. lo is an intensional article. The deer example makes this quite clear, we can be looking for deer even if none exist. So there is no problem if the extension is null. mu'o mi'e la selpa'i -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.