From lojban+bncCIywt_XDCRD_zv3dBBoEijK5fQ@googlegroups.com Fri Apr 09 10:44:57 2010 Received: from mail-gy0-f189.google.com ([209.85.160.189]) by chain.digitalkingdom.org with esmtp (Exim 4.71) (envelope-from ) id 1O0IGC-0003JZ-7j for lojban-list-archive@lojban.org; Fri, 09 Apr 2010 10:44:56 -0700 Received: by gyd5 with SMTP id 5sf1873683gyd.16 for ; Fri, 09 Apr 2010 10:44:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:message-id:x-ymail-osg:received :x-mailer:references:date:from:subject:to:in-reply-to:mime-version :x-original-authentication-results:x-original-sender:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :x-thread-url:x-message-url:sender:list-subscribe:list-unsubscribe :content-type:content-transfer-encoding; bh=ckad2gxvbrVkRef9PCexDBj9h2WVX7tW+7RzmVibHwk=; b=qXvXFGRFblECY9A0f4mwS8WSXV6pDGmBjCS154sHwU8hKjuhGiBdCMpsAQUY33weEQ /T5MfUZlFNd5EUM0EWzYQCVwUYDRWdFrzPtMsJ2g2lBx/RKDk9/b/yR7vvj/MdLwG58h dptdPfgsrhio/r+uT87O0xYn0hlWSVezfLfVg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:message-id:x-ymail-osg:x-mailer:references :date:from:subject:to:in-reply-to:mime-version :x-original-authentication-results:x-original-sender:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :x-thread-url:x-message-url:sender:list-subscribe:list-unsubscribe :content-type:content-transfer-encoding; b=W6t+3a3iy4Hg2KqZAkLPSWKUriW8JhjPqkh/Of6ppASRIA9zezqSc0bK0CEf6kcjWr /Yzb7rbXYO2F+G+oKZykBMEA1p3bl3JMwT3mPb3IO7dwgw/SpsZqROzILJJ2PAWvAEqj 9aQrdGi984BJKrMt+8GvHXZVGx4r7IPu8r+Y8= Received: by 10.91.91.6 with SMTP id t6mr108610agl.14.1270835071036; Fri, 09 Apr 2010 10:44:31 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.91.66.23 with SMTP id t23ls80326agk.6.p; Fri, 09 Apr 2010 10:44:30 -0700 (PDT) Received: by 10.91.110.12 with SMTP id n12mr731072agm.12.1270835066529; Fri, 09 Apr 2010 10:44:26 -0700 (PDT) Received: by 10.91.110.12 with SMTP id n12mr730954agm.12.1270835062995; Fri, 09 Apr 2010 10:44:22 -0700 (PDT) Received: from web81307.mail.mud.yahoo.com (web81307.mail.mud.yahoo.com [68.142.199.123]) by gmr-mx.google.com with SMTP id 19si77013yxe.11.2010.04.09.10.44.21; Fri, 09 Apr 2010 10:44:21 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 68.142.199.123 as permitted sender) client-ip=68.142.199.123; Received: (qmail 49975 invoked by uid 60001); 9 Apr 2010 17:44:21 -0000 Message-ID: <571569.49464.qm@web81307.mail.mud.yahoo.com> X-YMail-OSG: DQMasbIVM1l2B5NupcFl7WTtY9JVUo3LgVwhy0u6Aw2baQd owSbJsA1Zd99T41wM9AGCihWzrj9CEGinlVcvp2Eqpd9ldkdYj7zEhnvoURr 9_4IZC7GmXQKmvRYvhAfPlKhVsQqkY7vbvjhBsrurN7SNJ1Ww.fB568uB4xe 8cmesz2XoGIKpf5FQUCvMX702xF004kt2o0UTJe.sezo63LTB95mASxfw7vs FuejMJGDw4l1alzyksp6UieSLCtjhWnBbpSqNuH7ZT3S1lkOq0rschieXAxr 5R9wRieVmu3LRXM51hWpPum1SC4G_jDggKomVGIFMu7qztkzz9ET5IKXnE6d 5JsHZiCWM7nKSalND.cnhBzW9K4zciTRyUIpyEA-- Received: from [71.14.73.129] by web81307.mail.mud.yahoo.com via HTTP; Fri, 09 Apr 2010 10:44:21 PDT X-Mailer: YahooMailRC/348.3 YahooMailWebService/0.8.100.260964 References: <307349.63432.qm@web81302.mail.mud.yahoo.com> Date: Fri, 9 Apr 2010 10:44:21 -0700 (PDT) From: John E Clifford Subject: Re: [lojban] Some possibly helpful notes from LoCCan3 To: lojban@googlegroups.com In-Reply-To: MIME-Version: 1.0 X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 68.142.199.123 as permitted sender) smtp.mail=kali9putra@yahoo.com; dkim=pass (test mode) header.i=@yahoo.com X-Original-Sender: kali9putra@yahoo.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: X-Thread-Url: http://groups.google.com/group/lojban/t/94a19f2fe13bca77 X-Message-Url: http://groups.google.com/group/lojban/msg/f569616cb89045e6 Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Sorry, Right Hand End e.g. ) or ku ----- Original Message ---- From: Michael Turniansky To: lojban@googlegroups.com Sent: Fri, April 9, 2010 11:32:26 AM Subject: Re: [lojban] Some possibly helpful notes from LoCCan3 On Wed, Apr 7, 2010 at 3:04 PM, John E Clifford wrot= e: > > 6. The transformation > of predicate logic to LoCCan seems to involve only a few thing...d, possi= bly most significantly, dropping > RHE markers =93where they are not needed.=94 Okay, I give up -- "RHE" is ___? --gejyspa --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den. =20 --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.