From nobody@digitalkingdom.org Tue Jan 29 05:38:18 2008 Received: with ECARTIS (v1.0.0; list lojban-beginners); Tue, 29 Jan 2008 05:38:18 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.68) (envelope-from ) id 1JJqfJ-0006CF-LR for lojban-beginners-real@lojban.org; Tue, 29 Jan 2008 05:38:18 -0800 Received: from fg-out-1718.google.com ([72.14.220.157]) by chain.digitalkingdom.org with esmtp (Exim 4.68) (envelope-from ) id 1JJqfE-0006C7-TE for lojban-beginners@lojban.org; Tue, 29 Jan 2008 05:38:17 -0800 Received: by fg-out-1718.google.com with SMTP id e12so2060181fga.0 for ; Tue, 29 Jan 2008 05:38:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=RbwyARUhBIKYL3duorl87UzUS6lqysKnRNAEj9WNPtM=; b=tE1Gru51D96vfzVABrrCxPaVn6WOyYUDBAOoHhK/9Vensr4OUUbFTixbCD297WY3XdATwPd8KyviI7HUiHPKmzZYEeHsd3PVvi+QfuCs7flG3ZhZc6PJO1yu4VE5ElWiA4/Uj5ftq3bBwKdxCU13yeW96wwcxwuZ1IRFLAyfejc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=lJFGGp1SFoHUMAiJ4AAwwtW5h/LLI0uYVCqiKpRqIQ6jX+VI9SJ435jQaI9IID1LX9DJv707qzcTSPbbfl1nZpVCK2QGr25SIyeB0JRLm7LV/zEFfCKzoznA4T2LN5S6vmV/qlEF3GjdhvosbcYn0bkibED/CmpUE8+zXEUnuF4= Received: by 10.86.62.3 with SMTP id k3mr6427364fga.24.1201613886167; Tue, 29 Jan 2008 05:38:06 -0800 (PST) Received: by 10.86.33.18 with HTTP; Tue, 29 Jan 2008 05:38:06 -0800 (PST) Message-ID: <925d17560801290538w765909c7h6405a5b97b10b6ba@mail.gmail.com> Date: Tue, 29 Jan 2008 10:38:06 -0300 From: "=?ISO-8859-1?Q?Jorge_Llamb=EDas?=" To: lojban-beginners@lojban.org Subject: [lojban-beginners] Re: How do you make a rule? In-Reply-To: <728405.83103.qm@web27710.mail.ukl.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <728405.83103.qm@web27710.mail.ukl.yahoo.com> X-Spam-Score: 0.0 X-Spam-Score-Int: 0 X-Spam-Bar: / X-archive-position: 310 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@lojban.org Errors-to: lojban-beginners-bounce@lojban.org X-original-sender: jjllambias@gmail.com Precedence: bulk Reply-to: lojban-beginners@lojban.org X-list: lojban-beginners On 1/29/08, Isen hand wrote: > <> > > The x3 place of moi does state, according to the definition of > moi, that it is a rule so we don't have to assume that. We could just say "size" > and know that the set is ordered by size? Well, that's the thing, could we? Definitions were sometimes written sloppily without giving much thought as to how they would be used, sometimes interpreted sloppily without taking what the definition says at face value, and sometimes a bit of both. A rule and a property are somewhat different things. If a "rule" is what goes in x3, {lo ka ...} is not quite the right thing to use there. If {lo ka ...} is what goes in x3, then describing it as a "rule" is not quite right. In that case the definition should have been something more like: x1 is (n)th among x2 ordered by how much property x3 they have. > We could then add "smallest first" or "largest > first" to specify the rule in more detail? Add it where and how? mu'o mi'e xorxes