Received: with ECARTIS (v1.0.0; list lojban-beginners); Wed, 25 Aug 2004 16:44:58 -0700 (PDT)
Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.34)
	id 1C07Rp-0005PU-Sk
	for lojban-beginners@chain.digitalkingdom.org; Wed, 25 Aug 2004 16:44:58 -0700
Date: Wed, 25 Aug 2004 16:44:57 -0700
To: lojban-beginners@chain.digitalkingdom.org
Subject: [lojban-beginners] Re: logical proofs?
Message-ID: <20040825234457.GR16339@chain.digitalkingdom.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>
User-Agent: Mutt/1.5.6+20040722i
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
X-archive-position: 748
X-Approved-By: rlpowell@digitalkingdom.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: rlpowell@digitalkingdom.org
Precedence: bulk
Reply-to: lojban-beginners@chain.digitalkingdom.org
X-list: lojban-beginners
Content-Length: 826

On Thu, Aug 26, 2004 at 12:29:51AM +0100, Chris Howlett wrote:
> > 
> > The rest of you should note that this isn't even *close* to
> > begginer Lojban.
> >
> 
> I concur - although the maths is quite fun (I'm a maths grad). But
> I do have one lojban query:
> 
> What does broda do, and how does it work? 

Loosely, {<incredibly long tanru> cei broda} assigns broda to the
meaning of the incredibly long tanru.

> My wordlist gives it as
> "predicate var 1: 1st assignable variable predicate (context
> determines place structure)", which makes it sound like a
> pro-bridi. 

Pretty much, yeah.

> So why not just use the bridi itself?

In this case, because it was ji'i 7 syllables.  :-)

-Robin

-- 
http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/
Reason #237 To Learn Lojban: "Homonyms: Their Grate!"