Received: from mail-lb0-f191.google.com ([209.85.217.191]:40927)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.80.1)
	(envelope-from <bpfk-list+bncBCRZPH6MCMIJLT7XUMCRUBEZIFXFQ@googlegroups.com>)
	id 1XvqF3-0007se-0C; Tue, 02 Dec 2014 08:23:58 -0800
Received: by mail-lb0-f191.google.com with SMTP id u10sf1118199lbd.18
        for <multiple recipients>; Tue, 02 Dec 2014 08:23:49 -0800 (PST)
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
         :content-type: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;
        bh=7ma0/s4kWItVeE4VgyItQThbbbLvN+0bP2t/E0/1N2M=;
        b=esLvIs97Uo54BrZ6rysa02WV7D3UiakuSbRD8oN3SAiPgS7v/qgQOxBOjQCevOASBk
         lPKj+ALYI1mGSp7TL52OPKPXcwoI9RUQRb0Z8qGZKfjpIWVPF02xDWuQSiWV3dfWjwEe
         e7IPyv9B3Zv92BRQ2Mc5Bym9H+ldcBwuZPXE+0tSpouSdbBg3GagdXy1bGInv9XRzj8m
         AD19UWx04T58g7OqR2Pc0V56n0OlX4+cpTWQ3aQ2GCsCGf5cHN8cwHHe8+eX69mSojeU
         SBByB0usXxZpcZKhEKHpG1hlcwt7oElE445w3vJu3SrOvsIWqwiRNBrzr1K240sJPmjM
         jBcQ==
X-Received: by 10.153.7.165 with SMTP id dd5mr1933lad.17.1417537429969;
        Tue, 02 Dec 2014 08:23:49 -0800 (PST)
X-BeenThere: bpfk-list@googlegroups.com
Received: by 10.152.242.161 with SMTP id wr1ls49120lac.48.gmail; Tue, 02 Dec
 2014 08:23:49 -0800 (PST)
X-Received: by 10.112.32.163 with SMTP id k3mr23710lbi.17.1417537429184;
        Tue, 02 Dec 2014 08:23:49 -0800 (PST)
Received: from mail-wg0-x22d.google.com (mail-wg0-x22d.google.com. [2a00:1450:400c:c00::22d])
        by gmr-mx.google.com with ESMTPS id h10si1004781wiw.2.2014.12.02.08.23.49
        for <bpfk-list@googlegroups.com>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Tue, 02 Dec 2014 08:23:49 -0800 (PST)
Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c00::22d as permitted sender) client-ip=2a00:1450:400c:c00::22d;
Received: by mail-wg0-f45.google.com with SMTP id b13so17498436wgh.4
        for <bpfk-list@googlegroups.com>; Tue, 02 Dec 2014 08:23:49 -0800 (PST)
MIME-Version: 1.0
X-Received: by 10.194.150.148 with SMTP id ui20mr113378wjb.90.1417537428773;
 Tue, 02 Dec 2014 08:23:48 -0800 (PST)
Received: by 10.194.87.229 with HTTP; Tue, 2 Dec 2014 08:23:48 -0800 (PST)
In-Reply-To: <36BA0C99AB974E36BE0D758D5E80AF6B@gmail.com>
References: <CAO7bV+jBqJ+8NegJb79D594rge_xHUkbLiX1iuK7szYqQOvxYg@mail.gmail.com>
	<36BA0C99AB974E36BE0D758D5E80AF6B@gmail.com>
Date: Tue, 2 Dec 2014 19:23:48 +0300
Message-ID: <CAO7bV+hK-QTaL5w2J9P6dZemhf69iWwUQpXXvoHSH+pYNGpFNQ@mail.gmail.com>
Subject: Re: [bpfk] BPFK Pages: DAhO
From: Gleki Arxokuna <gleki.is.my.name@gmail.com>
To: bpfk-list@googlegroups.com
Content-Type: multipart/alternative; boundary=089e01175e21e5e0d805093e2654
X-Original-Sender: gleki.is.my.name@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com;       spf=pass
 (google.com: domain of gleki.is.my.name@gmail.com designates
 2a00:1450:400c:c00::22d as permitted sender) smtp.mail=gleki.is.my.name@gmail.com;
       dkim=pass header.i=@gmail.com;       dmarc=pass (p=NONE dis=NONE) header.from=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: <bpfk-list.googlegroups.com>
X-Google-Group-Id: 972099695765
List-Post: <http://groups.google.com/group/bpfk-list/post>, <mailto:bpfk-list@googlegroups.com>
List-Help: <http://groups.google.com/support/>, <mailto:bpfk-list+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/bpfk-list
Sender: bpfk-list@googlegroups.com
List-Subscribe: <http://groups.google.com/group/bpfk-list/subscribe>, <mailto:bpfk-list+subscribe@googlegroups.com>
List-Unsubscribe: <mailto:googlegroups-manage+972099695765+unsubscribe@googlegroups.com>,
 <http://groups.google.com/group/bpfk-list/subscribe>
X-Spam-Score: -1.9 (-)
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -
Content-Length: 8643

--089e01175e21e5e0d805093e2654
Content-Type: text/plain; charset=UTF-8

2014-12-02 18:55 GMT+03:00 Alex Burka <durka42@gmail.com>:

> Note: everything you pasted is from the "proposal to change {da'o}"
> section, not its main definition. It's not clear to me how close the
> proposal is to being implemented.
>
> On Tuesday, December 2, 2014 at 5:26 AM, Gleki Arxokuna wrote:
>
> http://www.lojban.org/tiki/BPFK+Section%3A+Reference+Regulators
>
> *1) da'o is moved to selma'o UI. DAhO is almost UI anyway. *
>
>
>
> *3) da'inai means this: the variable da'onai is attached to retains its
> assignment and all other variables are cleared. *
>
> This is a mistype. It should be {da'onai}
>
> Yep.
>
>
> *4) da'oda'o means that all variables have their assignments cleared.*
>
> This contradicts with how UI work. This can no longer be UI or UI becomes
> impractical from the viewpoint of parsers.
>
>
> It's a semantics issue, not a parser issue. Seems fine to me.
>

Depends on what parser you are talking about.
It create a new semantic class, the behavior of which is completely new and
unique. That's what the problem.

It's better not to smash everything into one selma'o if they differ in
behavior.

>  --
> 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/d/optout.
>
>
>  --
> 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/d/optout.
>

-- 
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/d/optout.

--089e01175e21e5e0d805093e2654
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">2014-12-02 18:55 GMT+03:00 Alex Burka <span dir=3D"ltr">&lt;<a href=3D"=
mailto:durka42@gmail.com" target=3D"_blank">durka42@gmail.com</a>&gt;</span=
>:<br><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-l=
eft:1px #ccc solid;padding-left:1ex">
                <div>Note: everything you pasted is from the &quot;proposal=
 to change {da&#39;o}&quot; section, not its main definition. It&#39;s not =
clear to me how close the proposal is to being implemented.
                </div><span class=3D"">
                <div></div>
                =20
                <p style=3D"color:#a0a0a8">On Tuesday, December 2, 2014 at =
5:26 AM, Gleki Arxokuna wrote:</p>
                <blockquote type=3D"cite" style=3D"border-left-style:solid;=
border-width:1px;margin-left:0px;padding-left:10px">
                    <span><div><div><div dir=3D"ltr"><div><a href=3D"http:/=
/www.lojban.org/tiki/BPFK+Section%3A+Reference+Regulators" target=3D"_blank=
">http://www.lojban.org/tiki/BPFK+Section%3A+Reference+Regulators</a><br></=
div><blockquote style=3D"margin:0 0 0 40px;border:none;padding:0px"><blockq=
uote style=3D"margin:0 0 0 40px;border:none;padding:0px"><div><div><b>1) da=
&#39;o is moved to selma&#39;o UI. DAhO is almost UI anyway.=C2=A0</b></div=
></div></blockquote></blockquote><div><div><br></div><br></div><blockquote =
style=3D"margin:0px 0px 0px 40px;border:none;padding:0px"><blockquote style=
=3D"margin:0px 0px 0px 40px;border:none;padding:0px"><div><b>3) da&#39;inai=
 means this: the variable da&#39;onai is attached to retains its assignment=
 and all other variables are cleared.=C2=A0</b></div></blockquote></blockqu=
ote><div>This is a mistype. It should be {da&#39;onai}</div><div><br></div>=
</div></div></div></span></blockquote></span><div>Yep.=C2=A0</div><span cla=
ss=3D""><blockquote type=3D"cite" style=3D"border-left-style:solid;border-w=
idth:1px;margin-left:0px;padding-left:10px"><span><div><div><div dir=3D"ltr=
"><div></div><div><br></div><blockquote style=3D"margin:0 0 0 40px;border:n=
one;padding:0px"><blockquote style=3D"margin:0 0 0 40px;border:none;padding=
:0px"><div><b>4) da&#39;oda&#39;o means that all variables have their assig=
nments cleared.</b></div></blockquote></blockquote>This contradicts with ho=
w UI work. This can no longer be UI or UI becomes impractical from the view=
point of parsers.<br><blockquote style=3D"margin:0px 0px 0px 40px;border:no=
ne;padding:0px"><blockquote style=3D"margin:0px 0px 0px 40px;border:none;pa=
dding:0px"><br></blockquote></blockquote></div></div></div></span></blockqu=
ote></span><div>It&#39;s a semantics issue, not a parser issue. Seems fine =
to me.=C2=A0</div></blockquote><div><br></div><div>Depends on what parser y=
ou are talking about.</div><div>It create a new semantic class, the behavio=
r of which is completely new and unique. That&#39;s what the problem.</div>=
<div><br></div><div>It&#39;s better not to smash everything into one selma&=
#39;o if they differ in behavior.</div><blockquote class=3D"gmail_quote" st=
yle=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span=
 class=3D"HOEnZb"><font color=3D"#888888"><blockquote type=3D"cite" style=
=3D"border-left-style:solid;border-width:1px;margin-left:0px;padding-left:1=
0px"><span><div><div><div dir=3D"ltr"><blockquote style=3D"margin:0px 0px 0=
px 40px;border:none;padding:0px"><blockquote style=3D"margin:0px 0px 0px 40=
px;border:none;padding:0px"></blockquote></blockquote></div>

<p></p>

-- <br>
You received this message because you are subscribed to the Google Groups &=
quot;BPFK&quot; group.<br>
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:bpfk-list+unsubscribe@googlegroups.com" target=3D=
"_blank">bpfk-list+unsubscribe@googlegroups.com</a>.<br>
To post to this group, send email to <a href=3D"mailto:bpfk-list@googlegrou=
ps.com" target=3D"_blank">bpfk-list@googlegroups.com</a>.<br>
Visit this group at <a href=3D"http://groups.google.com/group/bpfk-list" ta=
rget=3D"_blank">http://groups.google.com/group/bpfk-list</a>.<br>
For more options, visit <a href=3D"https://groups.google.com/d/optout" targ=
et=3D"_blank">https://groups.google.com/d/optout</a>.<br>
</div></div></span>
                =20
                =20
                =20
                =20
                </blockquote>
                =20
                <div>
                    <br>
                </div>
           =20

<p></p>

-- <br>
You received this message because you are subscribed to the Google Groups &=
quot;BPFK&quot; group.<br>
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:bpfk-list+unsubscribe@googlegroups.com" target=3D=
"_blank">bpfk-list+unsubscribe@googlegroups.com</a>.<br>
To post to this group, send email to <a href=3D"mailto:bpfk-list@googlegrou=
ps.com" target=3D"_blank">bpfk-list@googlegroups.com</a>.<br>
Visit this group at <a href=3D"http://groups.google.com/group/bpfk-list" ta=
rget=3D"_blank">http://groups.google.com/group/bpfk-list</a>.<br>
For more options, visit <a href=3D"https://groups.google.com/d/optout" targ=
et=3D"_blank">https://groups.google.com/d/optout</a>.<br>
</font></span></blockquote></div><br></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;BPFK&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:bpfk-list+unsubscribe@googlegroups.com">bpfk-list=
+unsubscribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:bpfk-list@googlegrou=
ps.com">bpfk-list@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/bpfk-list">ht=
tp://groups.google.com/group/bpfk-list</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--089e01175e21e5e0d805093e2654--