Received: from mail-bk0-f62.google.com ([209.85.214.62]:51221) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1UwajP-0004XX-4K; Tue, 09 Jul 2013 09:25:48 -0700 Received: by mail-bk0-f62.google.com with SMTP id jg1sf1072040bkc.17 for ; Tue, 09 Jul 2013 09:25:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-beenthere:mime-version:in-reply-to:references:from:date :message-id:subject:to: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=OsEkuICgCsDB98/hqCuvBj2gB1dXiqdZIVPvQAXQqs8=; b=X29Va8NpJTu2UNzsyBUSKfhtfT1JLtO3tvng29129AkUdQ9Wawa08GpDSFgoA4aq1r Ym76mbYjcHUmDXLGTuaNlDb+NJjMiKFJicGdjXBfIUjquXewQAHazc9FP2TBHlhSE9vo XPV5Iy96jR+ahxwZYs3MIkNIwnBOvi3CCcE0iKxJNMerwP1Up3cpIFJt+Db6UpcFFC4x FHDpfzGDjxT+vOp7/aPN9h2GkTSKZe9Zy0qeb0gdWeVPko59xhpSAnLpi1F40zeDY2hV jSXSAKTm6BZXhag2AotoBo5JeBZYRn3dvCiSWSibtMn8PUn/T2kr5KxlqAQdLFHXnNVS U+RQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-beenthere:mime-version:in-reply-to:references:from:date :message-id:subject:to: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=OsEkuICgCsDB98/hqCuvBj2gB1dXiqdZIVPvQAXQqs8=; b=BSEACyemostKcuKaiCszOPbkBnzJjdMRmQaAjK+t1R874AIGVjM+87c/ZyPkaCEgqU O/mATiEW7DYOazJmu73I1gJJD8mQWNOefH48oiHqP5p8g5GE5rFscXikmDUOK8Yy8AXl Vv48NeH1MTZqyM4ILXhJGpoGLIQPK2l4kP9qsEYT3owD0HwilnQwqJUMxiCplqb4yYJq vPJAHITI65T4181oNbedq/uB5PuEZjnqO/lPbZPgqL6vyDBBs61v1HbBeNBmFogH4hHX zk9x8d/utCjsT3W+T1RAXOjoJd5iU1LArhZFBs92Qnj4LriGXW4qmHfEyfnTJttUvkKf UM0g== X-Received: by 10.180.74.176 with SMTP id u16mr837545wiv.6.1373387127398; Tue, 09 Jul 2013 09:25:27 -0700 (PDT) X-BeenThere: bpfk-list@googlegroups.com Received: by 10.180.13.209 with SMTP id j17ls1322704wic.45.gmail; Tue, 09 Jul 2013 09:25:26 -0700 (PDT) X-Received: by 10.180.37.143 with SMTP id y15mr7875454wij.2.1373387126012; Tue, 09 Jul 2013 09:25:26 -0700 (PDT) Received: from mail-ve0-x244.google.com (mail-ve0-x244.google.com [2607:f8b0:400c:c01::244]) by gmr-mx.google.com with ESMTPS id o5si1612874wiy.0.2013.07.09.09.25.25 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 09 Jul 2013 09:25:26 -0700 (PDT) Received-SPF: pass (google.com: domain of adamlopresto@gmail.com designates 2607:f8b0:400c:c01::244 as permitted sender) client-ip=2607:f8b0:400c:c01::244; Received: by mail-ve0-f196.google.com with SMTP id da11so1141703veb.7 for ; Tue, 09 Jul 2013 09:25:24 -0700 (PDT) X-Received: by 10.58.154.34 with SMTP id vl2mr11015118veb.35.1373387124787; Tue, 09 Jul 2013 09:25:24 -0700 (PDT) MIME-Version: 1.0 Received: by 10.58.245.97 with HTTP; Tue, 9 Jul 2013 09:25:04 -0700 (PDT) In-Reply-To: <20130709161957.GA16990@stodi.digitalkingdom.org> References: <20130709161957.GA16990@stodi.digitalkingdom.org> From: Adam Lopresto Date: Tue, 9 Jul 2013 11:25:04 -0500 Message-ID: Subject: Re: [bpfk] Fiat Attempt #2 To: bpfk-list@googlegroups.com X-Original-Sender: adamlopresto@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of adamlopresto@gmail.com designates 2607:f8b0:400c:c01::244 as permitted sender) smtp.mail=adamlopresto@gmail.com; dkim=pass header.i=@gmail.com Reply-To: bpfk-list@googlegroups.com Precedence: list Mailing-list: list bpfk-list@googlegroups.com; contact bpfk-list+owners@googlegroups.com List-ID: X-Google-Group-Id: 972099695765 List-Post: , List-Help: , List-Archive: Sender: bpfk-list@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=047d7b672038b655c304e1169b71 X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / --047d7b672038b655c304e1169b71 Content-Type: text/plain; charset=ISO-8859-1 We finally have an experimental PA for "elliptical/unspecified number": {xo'e}. I've been saying for a while that {xo'e} would make a much better default for all of the operator-like-PA than their current hardcoded values. Perhaps with the note that in most contexts, the obvious value for {xo'e} would be either {pa} or {ro}, as previously defined. (In the same way that {ca ku} acts like {ca zo'e}, but the value of {zo'e} is usually assumed to be "now", except when it's not.) On Tue, Jul 9, 2013 at 11:19 AM, Robin Lee Powell < rlpowell@digitalkingdom.org> wrote: > > I would like to define the defaults for {za'u} and {me'i} to be > "contextually specified, usually the current value for the thing > under discussion", rather than {pa}. > > Two reasons: > > 1. {za'u} and {su'o} mean almost exactly the same thing as > currently defined, similarily {me'i} and {su'e}. Freaking annoying. > > 2. Everybody uses them that way anyways; see {za'u re'u}, which is > very common, and has almost no meaning without this change: > http://corpus.lojban.org/corpus/search/za'ure'u?showall=y and > http://corpus.lojban.org/corpus/search/za'u%20re'u?showall=y > > In addition, it would give me a clean way to say "I need more flour > for this cake", or whatever. > > -Robin > > -- > http://intelligence.org/ : Our last, best hope for a fantastic future. > .i ko na cpedu lo nu stidi vau loi jbopre .i danfu lu na go'i li'u .e > lu go'i li'u .i ji'a go'i lu na'e go'i li'u .e lu go'i na'i li'u .e > lu no'e go'i li'u .e lu to'e go'i li'u .e lu lo mamta be do cu sofybakni > li'u > > -- > You received this message because you are subscribed to the Google Groups > "BPFK" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to bpfk-list+unsubscribe@googlegroups.com. > To post to this group, send email to bpfk-list@googlegroups.com. > Visit this group at http://groups.google.com/group/bpfk-list. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- You received this message because you are subscribed to the Google Groups "BPFK" group. To unsubscribe from this group and stop receiving emails from it, send an email to bpfk-list+unsubscribe@googlegroups.com. To post to this group, send email to bpfk-list@googlegroups.com. Visit this group at http://groups.google.com/group/bpfk-list. For more options, visit https://groups.google.com/groups/opt_out. --047d7b672038b655c304e1169b71 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
We finally have an experimental PA for "elliptical/un= specified number": {xo'e}. I've been saying for a while that {= xo'e} would make a much better default for all of the operator-like-PA = than their current hardcoded values. Perhaps with the note that in most con= texts, the obvious value for {xo'e} would be either {pa} or {ro}, as pr= eviously defined. (In the same way that {ca ku} acts like {ca zo'e}, bu= t the value of {zo'e} is usually assumed to be "now", except = when it's not.)


On Tue,= Jul 9, 2013 at 11:19 AM, Robin Lee Powell <rlpowell@digitalking= dom.org> wrote:

I would like to define the defaults for {za'u} and {me'i} to be
"contextually specified, usually the current value for the thing
under discussion", rather than {pa}.

Two reasons:

1. =A0{za'u} and {su'o} mean almost exactly the same thing as
currently defined, similarily {me'i} and {su'e}. =A0Freaking annoyi= ng.

2. =A0Everybody uses them that way anyways; see {za'u re'u}, which = is
very common, and has almost no meaning without this change:
http://corpus.lojban.org/corpus/search/za'ure&#= 39;u?showall=3Dy and
http://corpus.lojban.org/corpus/search/za'u%2= 0re'u?showall=3Dy

In addition, it would give me a clean way to say "I need more flour for this cake", or whatever.

-Robin

--
http://intelligence.= org/ : =A0Our last, best hope for a fantastic future.
.i ko na cpedu lo nu stidi vau loi jbopre .i danfu lu na go'i li'u = .e
lu go'i li'u .i ji'a go'i lu na'e go'i li'u .e = lu go'i na'i li'u .e
lu no'e go'i li'u .e lu to'e go'i li'u .e lu lo mam= ta be do cu sofybakni li'u

--
You received this message because you are subscribed to the Google Groups &= quot;BPFK" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to bpfk-li= st+unsubscribe@googlegroups.com.
To post to this group, send email to bpfk-list@googlegroups.com.
Visit this group at http://groups.google.com/group/bpfk-list.
For more options, visit https://groups.google.com/groups/opt_out.



--
You received this message because you are subscribed to the Google Groups &= quot;BPFK" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to bpfk-list+unsubscribe@googlegroups.com.
To post to this group, send email to bpfk-list@googlegroups.com.
Visit this group at ht= tp://groups.google.com/group/bpfk-list.
For more options, visit https://groups.google.com/groups/opt_out.
 
 
--047d7b672038b655c304e1169b71--