From jcowan@reutershealth.com Wed Sep 26 13:57:24 2001 Return-Path: X-Sender: jcowan@reutershealth.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_3_2_2); 26 Sep 2001 20:56:35 -0000 Received: (qmail 91389 invoked from network); 26 Sep 2001 20:56:35 -0000 Received: from unknown (10.1.10.142) by 10.1.1.223 with QMQP; 26 Sep 2001 20:56:35 -0000 Received: from unknown (HELO mail.reutershealth.com) (204.243.9.36) by mta3 with SMTP; 26 Sep 2001 20:57:23 -0000 Received: from reutershealth.com (IDENT:cowan@[192.168.3.11]) by mail.reutershealth.com (Pro-8.9.3/Pro-8.9.3) with ESMTP id QAA06982; Wed, 26 Sep 2001 16:58:54 -0400 (EDT) Message-ID: <3BB24124.4030906@reutershealth.com> Date: Wed, 26 Sep 2001 16:57:08 -0400 User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.4) Gecko/20010913 X-Accept-Language: en-us MIME-Version: 1.0 To: rob@twcny.rr.com Cc: lojban@yahoogroups.com Subject: Re: [lojban] zipf computations & experimental cmavo References: <3BB22C20.2050008@reutershealth.com> <20010926161232.B781@twcny.rr.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit From: John Cowan Rob Speer wrote: > (For those who don't see the problem with symmetry: names are assignable. > Pro-sumti are assignable. What gets assigned if you say {la djan. goi ko'a}?) If you know what ko'a means, then la djan. is defined to mean whatever ko'a means. If you know what la djan. means, then ko'a is defined to mean whatever la djan. means. If you don't know what either means, then they mean the same, but *what* they mean will arrive in future. If you know what both mean, and they already mean the same thing, the goi-phrase is unnecessary. If you know what both mean, and they mean different things, *bzzzzzt*, semantic error. This is called "unification" in Prolog. -- Not to perambulate || John Cowan the corridors || http://www.reutershealth.com during the hours of repose || http://www.ccil.org/~cowan in the boots of ascension. \\ Sign in Austrian ski-resort hotel