From jkominek@miranda.org Wed Aug 25 16:41:48 2004 Received: with ECARTIS (v1.0.0; list lojban-beginners); Wed, 25 Aug 2004 16:41:48 -0700 (PDT) Received: from miranda.org ([209.58.150.153] ident=qmailr) by chain.digitalkingdom.org with smtp (Exim 4.34) id 1C07Om-0005MG-0k for lojban-beginners@chain.digitalkingdom.org; Wed, 25 Aug 2004 16:41:48 -0700 Received: (qmail 16767 invoked by uid 534); 25 Aug 2004 23:41:48 -0000 From: jkominek@miranda.org Date: Wed, 25 Aug 2004 17:41:48 -0600 To: lojban-beginners@chain.digitalkingdom.org Subject: [lojban-beginners] broda (was: Re: Re: logical proofs?) Message-ID: <20040825234148.GO14716@miranda.org> References: <20040823183626.GM3257@chain.digitalkingdom.org> <000101c48afb$6c347ca0$774a883e@crh37> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <000101c48afb$6c347ca0$774a883e@crh37> Accept-Language: jbo, en User-Agent: Mutt/1.5.6i X-archive-position: 747 X-Approved-By: jkominek@miranda.org X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@chain.digitalkingdom.org Errors-to: lojban-beginners-bounce@chain.digitalkingdom.org X-original-sender: jkominek@miranda.org Precedence: bulk Reply-to: lojban-beginners@chain.digitalkingdom.org X-list: lojban-beginners On Thu, Aug 26, 2004 at 12:29:51AM +0100, Chris Howlett wrote: > What does broda do, and how does it work? My wordlist gives it as > "predicate var 1: 1st assignable variable predicate (context determines > place structure)", which makes it sound like a pro-bridi. So why not > just use the bridi itself? The bridi itself might be something longish, such as: remna zmadu mencre prenu (thanks robin) which you don't care to repeat over and over during the course of a conversation. So you bind it to broda the first time, and save yourself a lot of time later. -- Jay Kominek X is the second worst windowing system in the world, but all the others are tied for first.