Received: from mail-ob0-f187.google.com ([209.85.214.187]:47424) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1VpVsO-0005hL-AT for lojban-list-archive@lojban.org; Sat, 07 Dec 2013 20:22:07 -0800 Received: by mail-ob0-f187.google.com with SMTP id wo20sf650141obc.4 for ; Sat, 07 Dec 2013 20:21:46 -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 :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=SEwZfZdIlWugXn9l5UcUoGCdDrBr0V4/BsJK7uk6ZEE=; b=JIwpAbKY0eC55cm+XDPJf3jwYFg404eN82yIUBZKVZmUAQLajXqVWh37YbImJ1guO+ ViIF1kITy4o8M9L7COfWz5OHgpIFZU3d7KFvpjGR2NZzgfjipMg3+9SzLAfIOleTRi7X y6sZ+5KqwxOPalu/nYwsJ3gJt99QXcVX7i/5XP6ECDkUh7WLMvXC2ufhJim6EJHySyw+ QR/JJhbSnTLizdpoXdpX3hMmQW4kyB8C6+8pclC5pbC1OdVPbw31xZ81bWTYj6vkAeJQ qx+UHGFQdLaXYYiwBhC3J0G1ZOW1Jpv7UYlrBJh5inI0SGuMWPtRjjxbnacO8ILI+YYI Nv6Q== X-Received: by 10.50.80.78 with SMTP id p14mr177673igx.6.1386476506129; Sat, 07 Dec 2013 20:21:46 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.50.126.5 with SMTP id mu5ls1196567igb.30.canary; Sat, 07 Dec 2013 20:21:45 -0800 (PST) X-Received: by 10.66.161.195 with SMTP id xu3mr6576357pab.33.1386476505388; Sat, 07 Dec 2013 20:21:45 -0800 (PST) Received: from mail-qa0-x22e.google.com (mail-qa0-x22e.google.com [2607:f8b0:400d:c00::22e]) by gmr-mx.google.com with ESMTPS id t6si1228280qcj.3.2013.12.07.20.21.45 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sat, 07 Dec 2013 20:21:45 -0800 (PST) Received-SPF: pass (google.com: domain of mturniansky@gmail.com designates 2607:f8b0:400d:c00::22e as permitted sender) client-ip=2607:f8b0:400d:c00::22e; Received: by mail-qa0-f46.google.com with SMTP id f11so1714139qae.19 for ; Sat, 07 Dec 2013 20:21:45 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.49.127.205 with SMTP id ni13mr21477500qeb.40.1386476505259; Sat, 07 Dec 2013 20:21:45 -0800 (PST) Received: by 10.96.19.193 with HTTP; Sat, 7 Dec 2013 20:21:45 -0800 (PST) In-Reply-To: References: Date: Sat, 7 Dec 2013 23:21:45 -0500 Message-ID: Subject: Re: [lojban] Re: Confused about Abstractions From: Michael Turniansky To: lojban@googlegroups.com X-Original-Sender: mturniansky@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of mturniansky@gmail.com designates 2607:f8b0:400d:c00::22e as permitted sender) smtp.mail=mturniansky@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=047d7b6d80aa95e5fc04ecfe3749 X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / --047d7b6d80aa95e5fc04ecfe3749 Content-Type: text/plain; charset=ISO-8859-1 Perhaps this does not answer your question, but bridi do not operate on bridi, they operate on sumti. There is a way to turn a bridi into a sumti, of course, which is with abstractions (lo nu broda kei ku, for example). As for "usefulness", I'm not sure what extra functionally you are seeking beyond what already exists within lojban? --gejyspa On Sat, Dec 7, 2013 at 12:00 AM, wrote: > I see! Thank you. But is there a way to nest bridi like this? Would that >> not be very useful and a tool to be expected as it would work logically >> work just fine? >> > -- > 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/groups/opt_out. > -- 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/groups/opt_out. --047d7b6d80aa95e5fc04ecfe3749 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
=A0 Perhaps this does not answer your question, but bridi = do not operate on bridi, they operate on sumti. =A0There is a way to turn a= bridi into a sumti, of course, which is with abstractions (lo nu broda kei= ku, for example).

=A0 =A0As for "usefulness", I'm not sure what = extra functionally you are seeking beyond what already exists within lojban= ?

=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0--gejyspa



On Sat,= Dec 7, 2013 at 12:00 AM, <wolf.finster@gmail.com> wro= te:

I see! Thank= you. But is there a way to nest bridi like this? Would that not be very us= eful and a tool to be expected as it would work logically work just fine?

--
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+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/groups/opt_out.

--
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+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/groups/opt_out.
--047d7b6d80aa95e5fc04ecfe3749--