From phma@webjockey.net Wed Apr 14 05:41:32 2004
Return-Path: <phma@ixazon.dynip.com>
X-Sender: phma@ixazon.dynip.com
X-Apparently-To: lojban@yahoogroups.com
Received: (qmail 98391 invoked from network); 14 Apr 2004 12:41:31 -0000
Received: from unknown (66.218.66.172)
  by m21.grp.scd.yahoo.com with QMQP; 14 Apr 2004 12:41:31 -0000
Received: from unknown (HELO blackcat.ixazon.lan) (208.150.110.21)
  by mta4.grp.scd.yahoo.com with SMTP; 14 Apr 2004 12:41:31 -0000
Received: by blackcat.ixazon.lan (Postfix, from userid 1001)
	id 645F42C67; Wed, 14 Apr 2004 12:41:29 +0000 (UTC)
Organization: dis
To: lojban@yahoogroups.com
Date: Wed, 14 Apr 2004 08:41:27 -0400
User-Agent: KMail/1.5
References: <194.2732bc22.2dadade0@wmconnect.com> <20040414044901.GB603@ccil.org>
In-Reply-To: <20040414044901.GB603@ccil.org>
MIME-Version: 1.0
Content-Type: text/plain;
  charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Message-Id: <200404140841.27846.phma@webjockey.net>
X-eGroups-Remote-IP: 208.150.110.21
From: Pierre Abbat <phma@webjockey.net>
Subject: Re: [lojban] the 17 tallest men
X-Yahoo-Group-Post: member; u=92712300
X-Yahoo-Message-Num: 22021

On Wednesday 14 April 2004 00:49, John Cowan wrote:
> The standard first-order logic expression is unreasonably hairy.
> It's something like "The set of A and B and ... and P and Q, such that A
> is not B and A is not C and ... and B is not C and ... and P is not Q, and
> A is not shorter than B and B is not shorter than C and ... and P is not
> shorter than Q and A is a man and B is a man and ... and Q is a man and
> there does not exist Z such that Z is a man and Z is not shorter than Q."
>
> This can probably be improved on, but it obviously doesn't scale.

But Lojban has grammatical setness and massness, so we can say "The subset 
which, considered as a mass, is tallest among the 17-element subsets". Since 
the place structure of pazemei is "x1 is the mass of set x2 which has 17 
members x3", {le clarai ke nanmu pazemei} refers to the mass and {le clarai 
ke nanmu te pazemei} to the individuals.

phma
-- 
li fi'u vu'u fi'u fi'u du li pa