Received: from mail-oa0-f56.google.com ([209.85.219.56]:47341) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1X4G1G-0006Kh-Of for lojban-list-archive@lojban.org; Mon, 07 Jul 2014 14:00:16 -0700 Received: by mail-oa0-f56.google.com with SMTP id l6sf1348017oag.11 for ; Mon, 07 Jul 2014 14:00:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=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; bh=AVt8HNoQW0P2mXmAlg2gW6IKaP6Hdt4Wz2pgHoG1yZQ=; b=dVgpUz3ZiewbRd8MKt56LDrEoEVCN8sQUA6eeEIqmRCxtyXv+GdFz7+b7tg9XW+/B2 oEYBnTSVk1ynW77CVh88hz3UnouKtVwYmKcnXjeMLt4/7sbvJA7DPg74jOc2xdBSx0gg HOAzdzKgCy7d0YdTfwi3BVhu7eumqxvfd/vwAC58e6KAC9QoZ/6M7s7gYr15qRGe5h9Q 3OTzbWyE1k8vdfK5ePX6TuaQlen+8npxEEKW+MxiW2mZXs1haI4USIAfuaQWLEP9R5Na d4XPyHUEcF6Hg/CTOYz5aIAiAMlk24OK/aPBBfn/v6/HaD/PwLt3TptepfZw3Nph0hVH hNjQ== X-Received: by 10.50.4.36 with SMTP id h4mr1556031igh.9.1404766803538; Mon, 07 Jul 2014 14:00:03 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.50.57.3 with SMTP id e3ls2585896igq.36.gmail; Mon, 07 Jul 2014 14:00:03 -0700 (PDT) X-Received: by 10.66.144.228 with SMTP id sp4mr15138293pab.5.1404766802987; Mon, 07 Jul 2014 14:00:02 -0700 (PDT) Received: from mail-ve0-x22d.google.com (mail-ve0-x22d.google.com [2607:f8b0:400c:c01::22d]) by gmr-mx.google.com with ESMTPS id m18si1846968vdg.0.2014.07.07.14.00.02 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 07 Jul 2014 14:00:02 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c01::22d as permitted sender) client-ip=2607:f8b0:400c:c01::22d; Received: by mail-ve0-x22d.google.com with SMTP id db11so4726973veb.32 for ; Mon, 07 Jul 2014 14:00:02 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.52.123.232 with SMTP id md8mr25045160vdb.10.1404766802829; Mon, 07 Jul 2014 14:00:02 -0700 (PDT) Received: by 10.220.170.73 with HTTP; Mon, 7 Jul 2014 14:00:02 -0700 (PDT) In-Reply-To: References: <5378CE5C.3040702@gmail.com> Date: Mon, 7 Jul 2014 18:00:02 -0300 Message-ID: Subject: Re: [lojban] cidja From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= 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 2607:f8b0:400c:c01::22d as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com 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: multipart/alternative; boundary=bcaec52bf2a946688b04fda0c2cd X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --bcaec52bf2a946688b04fda0c2cd Content-Type: text/plain; charset=UTF-8 On Mon, Jul 7, 2014 at 5:32 PM, Michael Turniansky wrote: > Why, are you insinuating that ti karce no da makes what I'm pointing > not, in fact a car? > If the statement is true, then it may still be a car, but it won't karce. You are saying that it doesn't karce anything. Or a vacant office can't be a "briju no da"? > Of course it can, "briju no da" just means that it doesn't briju anything. Both a vacant office and an elephant briju no da. > The fact that nothing can fill the x2 place doesn't necessarily take > something out of the realm of it being whatever the x1 specifies, vau ru'a > A brivla specifies a relationship between its arguments, it doesn't specify each of its arguments. So if nothing can fill one of the arguments, then that brivla won't be satisfied by any argument n-tuple, In those cases you need a brivla with fewer arguments, which is what "zi'o" gets you. This is one of the reasons why bloated gismu are such a nuisance. mu'o mi'e xorxes -- You received this message because you are subscribed to the Google Groups "lojban" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout. --bcaec52bf2a946688b04fda0c2cd Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable



On Mon, Jul 7, 2014 at 5:32 PM, Michael Turniansky <mturniansk= y@gmail.com> wrote:
=C2=A0 Why, are you insinua= ting that ti karce no da makes what I'm pointing not, in fact a car?

If the statement is true, then it may still be a car, b= ut it won't karce. You are saying that it doesn't karce anything.= =C2=A0

=C2=A0 Or a vacant office can't be a "briju = no da"?

Of course it can,= "briju no da" just means that it doesn't briju anything. Bot= h a vacant office and an elephant briju no da.
=C2=A0
=C2= =A0The fact that nothing can fill the x2 place doesn't necessarily take= something out of the realm of it being whatever the x1 specifies, vau ru&#= 39;a

A brivla specifies a relationship be= tween its arguments, it doesn't specify each of its arguments. So if no= thing can fill one of the arguments, then that brivla won't be satisfie= d by any argument n-tuple, In those cases you need a brivla with fewer argu= ments, which is what "zi'o" gets you. This is one of the reas= ons why bloated gismu are such a nuisance.

mu'o mi'e xorxes

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http:= //groups.google.com/group/lojban.
For more options, visit http= s://groups.google.com/d/optout.
--bcaec52bf2a946688b04fda0c2cd--