From a.rosta@lycos.co.uk Wed Jul 30 14:56:28 2003 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 82421 invoked from network); 30 Jul 2003 21:56:28 -0000 Received: from unknown (66.218.66.216) by m1.grp.scd.yahoo.com with QMQP; 30 Jul 2003 21:56:28 -0000 Received: from unknown (HELO digitalkingdom.org) (64.81.49.134) by mta1.grp.scd.yahoo.com with SMTP; 30 Jul 2003 21:56:28 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.12) id 19hyvr-0006wp-00 for lojban@yahoogroups.com; Wed, 30 Jul 2003 14:56:27 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by digitalkingdom.org with esmtp (Exim 4.12) id 19hyvc-0006wU-00; Wed, 30 Jul 2003 14:56:12 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 30 Jul 2003 14:56:10 -0700 (PDT) Received: from lmsmtp04.st1.spray.net ([212.78.202.114]) by digitalkingdom.org with esmtp (Exim 4.12) id 19hyvQ-0006vz-00 for lojban-list@lojban.org; Wed, 30 Jul 2003 14:56:01 -0700 Received: from oemcomputer (host81-7-63-44.surfport24.v21.co.uk [81.7.63.44]) by lmsmtp04.st1.spray.net (Postfix) with ESMTP id 4A58647EAF for ; Wed, 30 Jul 2003 23:55:27 +0200 (MEST) Message-ID: <00d501c356e5$4c6e4360$3f3d0751@oemcomputer> To: References: <20030730123834.80685.qmail@web41902.mail.yahoo.com> Subject: [lojban] Re: le du Date: Wed, 30 Jul 2003 19:41:30 +0100 Organization: Livagian Consulate MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2615.200 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 X-archive-position: 6006 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: a.rosta@lycos.co.uk Precedence: bulk X-list: lojban-list From: "And Rosta" Reply-To: a.rosta@lycos.co.uk X-Yahoo-Group-Post: member; u=122260811 X-Yahoo-Profile: andjamin X-Yahoo-Message-Num: 20488 xorxes: > --- Jordan DeLong wrote: > > On Tue, Jul 29, 2003 at 11:11:25AM -0700, Jorge Llambmas wrote: > > > Is there any brivla with even less content that will do instead? > > [...] > > > > Yes. {co'e}. > > But {co'e} is heavily context dependant. {ro da du de} is always > true. {ro da co'e de} may be true or false, depending on context: > before we can evaluate it we need to work out what co'e stands for > in this case and then see whether it holds for everything. The original question can be reposed as: What fills the gap in the following pattern? go'a-series : ra-series broda-series : ke'a-series bu'a-series : da-series co'e : ??????? > Another possibility we have not yet considered is {le bu'a}. We have not considered the more general question of what bu'a means when not quantified in the prenex. Personally, I would see it as the brivla equivalent of ce'u, in which case it wouldn't be equivalent to {le du}. --And.