From: "Apache" <apache@digitalkingdom.org>
Date: Tue, 19 Jun 2012 12:53:24 -0700
To: webmaster@lojban.org, blindbravado@gmail.com
Subject: [jvsw] Definition Added At Word ce'ai -- By latros
Bcc: jbovlaste-admin@lojban.org
Message-ID: <4fe0d8b4.RHTKiXR/49fzlzpK%webmaster@lojban.org>
User-Agent: Heirloom mailx 12.5 7/5/10
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Spam_score: 2.0
X-Spam_score_int: 20
X-Spam_bar: ++
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has
 identified this incoming email as possible spam.  The original message
 has been attached to this so you can view it (if it isn't spam) or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  In jbovlaste, the user latros has added a definition of "ce'ai"
    in the language "English". New Data: Definition: lambda variable prenex;
   marks the end of introduction of lambda-scope variables. [...] 
 
 Content analysis details:   (2.0 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  1.6 RCVD_IN_BRBL_LASTEXT   RBL: RCVD_IN_BRBL_LASTEXT
                             [173.13.139.235 listed in bb.barracudacentral.org]
  0.4 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS


In jbovlaste, the user latros has added a
definition of "ce'ai" in the language "English".

New Data:

	Definition:
		lambda variable prenex; marks the end of introduction of lambda-scope variables.

	Notes:
		Cf. {zo'u}. Simple, pointless example: mi zmadu do lo ni ko'a ce'ai ko'a galtu}. Many nontrivial uses are in formal definitions, where many places may be involved and using {ce'u} may require subscripting (cf. {xi}). A nontrivial use that is impossible without this word is nested properties; in "lo ka broda lo ka ce'u brode" there is no way to tell which ka binds the ce'u. This problem cannot be corrected by subscripting.

	Jargon:
		

	Gloss Keywords:
		Word: end lambda prenex, In Sense: 

	Place Keywords:


You can go to <http://jbovlaste.lojban.org/dict/ce'ai> to see it.