From lojban+bncCJ2UzZHuDRDz3bfmBBoEU9QPwg@googlegroups.com Sun Oct 31 15:34:43 2010 Received: from mail-wy0-f189.google.com ([74.125.82.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PCgU3-00088M-3Q; Sun, 31 Oct 2010 15:34:43 -0700 Received: by wyb38 with SMTP id 38sf3044166wyb.16 for ; Sun, 31 Oct 2010 15:34:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:mime-version:received:received :in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; bh=YT58448jI91YU+KughehmKLYgP1FJzODaRbdYB+cNR8=; b=x/Y2jtg7rLFzDF2Ujh+lMcR2+CGvdJvobzMse8ryZarhwXfU1Kw7pcQb/9DwmMoiuY 7bddoQJjEHtRD8jHhdQOt8k9D7hvC8v2acqFBrt5u6chXBJ37zYWQuLH2VppzM7+kFhg u1AF/NVi8MQKoGWire23rvUCfnjRQMp8Lgr9I= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; b=XtLxldpT35wnu6w5Jv2S8tI0ltsMQUWUCbAbODH+CRBC63AKWJmbA0sYWo4J2VB7sh tkPYuxy7yh8L/0d9SdplJdlAAtoAL4r8SsNFUvPKrVaGjhREkRNQTvDB0i1tANg4b2pn n29HvGSI17ExDBHxuyPJLXiapfO5bcIOZMM9I= Received: by 10.216.236.90 with SMTP id v68mr2102814weq.7.1288564467907; Sun, 31 Oct 2010 15:34:27 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.216.5.203 with SMTP id 53ls2043776wel.3.p; Sun, 31 Oct 2010 15:34:26 -0700 (PDT) Received: by 10.216.162.144 with SMTP id y16mr107512wek.14.1288564466762; Sun, 31 Oct 2010 15:34:26 -0700 (PDT) Received: by 10.216.162.144 with SMTP id y16mr107511wek.14.1288564466739; Sun, 31 Oct 2010 15:34:26 -0700 (PDT) Received: from mail-wy0-f182.google.com (mail-wy0-f182.google.com [74.125.82.182]) by gmr-mx.google.com with ESMTP id o31si1636265wej.2.2010.10.31.15.34.25; Sun, 31 Oct 2010 15:34:25 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.182 as permitted sender) client-ip=74.125.82.182; Received: by wyb42 with SMTP id 42so5372210wyb.41 for ; Sun, 31 Oct 2010 15:34:25 -0700 (PDT) MIME-Version: 1.0 Received: by 10.227.146.147 with SMTP id h19mr7519027wbv.197.1288564464811; Sun, 31 Oct 2010 15:34:24 -0700 (PDT) Received: by 10.227.32.140 with HTTP; Sun, 31 Oct 2010 15:34:24 -0700 (PDT) In-Reply-To: References: <995110.82874.qm@web81303.mail.mud.yahoo.com> Date: Sun, 31 Oct 2010 19:34:24 -0300 Message-ID: Subject: Re: [lojban] Re: mi kakne lo bajra From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.182 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 On Sun, Oct 31, 2010 at 7:22 PM, Ian Johnson wrote: > And the idea that one argument of a predicate should be able to define the > types of the others is interesting, but then you start talking about trying > to implement a full-fledged type inference system in a spoken language if > you want everything to really make sense. I don't know if that's reasonable > (though it would be awesome if we pulled it off.) That a "ka" argument determines the type of another argument is really unavoidable. In "ko'a broda lo ka ce'u brode", assuming that "ce'u" points to the place where "ko'a" is (and that is determined by the meaning of "broda") then obviously the type of ko'a will necessarily have to be the type of the x1 of brode. Otherwise "ko'a" won't be able to have the property "lo ka ce'u brode". mu'o mi'e xorxes -- 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.