Received: from mail-pd0-f189.google.com ([209.85.192.189]:32955)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.80.1)
	(envelope-from <bpfk-list+bncBCK5RNPX7QBBBWOB66RQKGQER7LAVQI@googlegroups.com>)
	id 1XvpnD-0007GW-F5; Tue, 02 Dec 2014 07:55:13 -0800
Received: by mail-pd0-f189.google.com with SMTP id r10sf1972562pdi.6
        for <multiple recipients>; Tue, 02 Dec 2014 07:55:05 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=date:from:to:message-id:in-reply-to:references:subject:mime-version
         :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=P7fQAtNQTi9dSAGefJmtNDu9Y2/VaQz6OgEyOUGi0b4=;
        b=ogUPv85XjBJ/KA6Hob2itj2EczcflFzpc1xre6TLtoENlHdaY8rHKK91dKijcHKXEx
         SNbaD8/dmmREUgkF9qrPDwjXC4A1vXvR1VZ2YiYJxIPw7i4eyOyE0UBH3oPitL7TYIAY
         Fy51rgoqnKdeqrwcPIz20f2EYitAWKdUly3+M29UnZ5S3wXNWIdz2iL09sw8xfwsKIwA
         2meTQCe9zAHfIOfgHKx7qTRlN6KExO3HxcoZYnPt+1xPPdzkGikOdgPPDeqRB+bhXGeA
         YV9Onc6Zux4+JwmRDiAHNAVx/Xq2nbKaWJDpupFantS34oamPm5likuZ9TOvavl5C/Lc
         Zwag==
X-Received: by 10.140.104.145 with SMTP id a17mr712qgf.16.1417535705089;
        Tue, 02 Dec 2014 07:55:05 -0800 (PST)
X-BeenThere: bpfk-list@googlegroups.com
Received: by 10.140.17.70 with SMTP id 64ls214910qgc.19.gmail; Tue, 02 Dec
 2014 07:55:04 -0800 (PST)
X-Received: by 10.236.105.137 with SMTP id k9mr21264yhg.14.1417535704731;
        Tue, 02 Dec 2014 07:55:04 -0800 (PST)
Received: from mail-qg0-x234.google.com (mail-qg0-x234.google.com. [2607:f8b0:400d:c04::234])
        by gmr-mx.google.com with ESMTPS id jw4si2388699qcb.3.2014.12.02.07.55.04
        for <bpfk-list@googlegroups.com>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Tue, 02 Dec 2014 07:55:04 -0800 (PST)
Received-SPF: pass (google.com: domain of durka42@gmail.com designates 2607:f8b0:400d:c04::234 as permitted sender) client-ip=2607:f8b0:400d:c04::234;
Received: by mail-qg0-f52.google.com with SMTP id a108so9217267qge.25
        for <bpfk-list@googlegroups.com>; Tue, 02 Dec 2014 07:55:04 -0800 (PST)
X-Received: by 10.140.35.231 with SMTP id n94mr72009130qgn.17.1417535704567;
        Tue, 02 Dec 2014 07:55:04 -0800 (PST)
Received: from [2607:f470:6:400d:3007:ff0c:100::] ([2607:f470:6:400d:fcdc:c012:7536:a6a9])
        by mx.google.com with ESMTPSA id c104sm20661909qgd.30.2014.12.02.07.55.03
        for <bpfk-list@googlegroups.com>
        (version=TLSv1 cipher=RC4-SHA bits=128/128);
        Tue, 02 Dec 2014 07:55:03 -0800 (PST)
Date: Tue, 2 Dec 2014 10:55:02 -0500
From: Alex Burka <durka42@gmail.com>
To: bpfk-list@googlegroups.com
Message-ID: <36BA0C99AB974E36BE0D758D5E80AF6B@gmail.com>
In-Reply-To: <CAO7bV+jBqJ+8NegJb79D594rge_xHUkbLiX1iuK7szYqQOvxYg@mail.gmail.com>
References: <CAO7bV+jBqJ+8NegJb79D594rge_xHUkbLiX1iuK7szYqQOvxYg@mail.gmail.com>
Subject: Re: [bpfk] BPFK Pages: DAhO
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="547de0d6_66ef438d_c3a6"
X-Original-Sender: durka42@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com;       spf=pass
 (google.com: domain of durka42@gmail.com designates 2607:f8b0:400d:c04::234
 as permitted sender) smtp.mail=durka42@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: 6214

--547de0d6_66ef438d_c3a6
Content-Type: text/plain; charset=UTF-8
Content-Disposition: inline

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. 
> > 
> 
> 
> 
> -- 
> 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 (mailto:bpfk-list+unsubscribe@googlegroups.com).
> To post to this group, send email to bpfk-list@googlegroups.com (mailto: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.

--547de0d6_66ef438d_c3a6
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline


                <div>Note: everything you pasted is from the "proposal to c=
hange {da'o}" section, not its main definition. It's not clear to me how cl=
ose the proposal is to being implemented.
                </div>
                <div></div>
                =20
                <p style=3D"color: #A0A0A8;">On Tuesday, December 2, 2014 a=
t 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">http://www.lojba=
n.org/tiki/BPFK+Section%3A+Reference+Regulators</a><br></div><blockquote st=
yle=3D"margin:0 0 0 40px;border:none;padding:0px"><blockquote style=3D"marg=
in:0 0 0 40px;border:none;padding:0px"><div><div><b>1) da'o is moved to sel=
ma'o UI. DAhO is almost UI anyway.&nbsp;</b></div></div></blockquote></bloc=
kquote><div><div><br></div><br></div><blockquote style=3D"margin:0px 0px 0p=
x 40px;border:none;padding:0px"><blockquote style=3D"margin:0px 0px 0px 40p=
x;border:none;padding:0px"><div><b>3) da'inai means this: the variable da'o=
nai is attached to retains its assignment and all other variables are clear=
ed.&nbsp;</b></div></blockquote></blockquote><div>This is a mistype. It sho=
uld be {da'onai}</div><div><br></div></div></div></div></span></blockquote>=
<div>Yep.&nbsp;</div><blockquote type=3D"cite" style=3D"border-left-style:s=
olid;border-width: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:none;padding:0px"><blockquote style=3D"margin:0 0 0 40px;borde=
r:none;padding:0px"><div><b>4) da'oda'o means that all variables have their=
 assignments cleared.</b></div></blockquote></blockquote>This contradicts w=
ith how UI work. This can no longer be UI or UI becomes impractical from th=
e viewpoint of parsers.<br><blockquote style=3D"margin:0px 0px 0px 40px;bor=
der:none;padding:0px"><blockquote style=3D"margin:0px 0px 0px 40px;border:n=
one;padding:0px"><br></blockquote></blockquote></div></div></div></span></b=
lockquote><div>It's a semantics issue, not a parser issue. Seems fine to me=
.&nbsp;</div><blockquote type=3D"cite" style=3D"border-left-style:solid;bor=
der-width:1px;margin-left:0px;padding-left:10px;"><span><div><div><div dir=
=3D"ltr"><blockquote style=3D"margin:0px 0px 0px 40px;border:none;padding:0=
px"><blockquote style=3D"margin:0px 0px 0px 40px;border:none;padding:0px"><=
/blockquote></blockquote></div>

<p></p>

-- <br>
You received this message because you are subscribed to the Google Groups "=
BPFK" 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>
</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">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 />

--547de0d6_66ef438d_c3a6--