Received: from mail-qy0-f189.google.com ([209.85.216.189]:39343)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCIywt_XDCRC2tJj3BBoE9VS8mA@googlegroups.com>)
	id 1Ra7Zx-0007bo-NQ; Mon, 12 Dec 2011 07:14:16 -0800
Received: by qcsr14 with SMTP id r14sf89724qcs.16
        for <multiple recipients>; Mon, 12 Dec 2011 07:14:03 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:x-yahoo-newman-id:x-yahoo-newman-property
         :x-ymail-osg:x-yahoo-smtp:references:in-reply-to
         :x-apple-yahoo-original-message-folder:mime-version:message-id
         :x-mailer:from:x-apple-yahoo-replied-msgid:subject:date:to
         :x-original-sender:x-original-authentication-results:reply-to
         :precedence:mailing-list:list-id:x-google-group-id:list-post
         :list-help:list-archive:sender:list-subscribe:list-unsubscribe
         :content-type:content-transfer-encoding;
        bh=MufHISjBszaVMExdTfM7+bbp7DnaTCGCjaguRGc9fyU=;
        b=dRWaug0SOfGxeFmPrYMNv233YS8gjiv5GaNBq/2m9lYVVROyNGodswuTDiQ2BxL6Uz
         Yc+s2MK52lk6Uqa85c+RYFbswukDnxIKRYe8kwD2OADd6ehcHvX1kHa+e091XIW/sU0h
         Zl/7wDABWRsz5+B5FtSGvjETPAhWsWTh4wUAI=
Received: by 10.229.41.131 with SMTP id o3mr370453qce.1.1323702838981;
        Mon, 12 Dec 2011 07:13:58 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.224.188.82 with SMTP id cz18ls17071154qab.1.gmail; Mon, 12 Dec
 2011 07:13:58 -0800 (PST)
Received: by 10.224.213.10 with SMTP id gu10mr30136374qab.6.1323702838453;
        Mon, 12 Dec 2011 07:13:58 -0800 (PST)
Received: by 10.224.213.10 with SMTP id gu10mr30136371qab.6.1323702838440;
        Mon, 12 Dec 2011 07:13:58 -0800 (PST)
Received: from nm20.bullet.mail.bf1.yahoo.com (nm20.bullet.mail.bf1.yahoo.com. [98.139.212.179])
        by gmr-mx.google.com with SMTP id ev41si11061119qcb.3.2011.12.12.07.13.58;
        Mon, 12 Dec 2011 07:13:58 -0800 (PST)
Received-SPF: pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 98.139.212.179 as permitted sender) client-ip=98.139.212.179;
Received: from [98.139.212.153] by nm20.bullet.mail.bf1.yahoo.com with NNFMP; 12 Dec 2011 15:13:58 -0000
Received: from [98.139.212.236] by tm10.bullet.mail.bf1.yahoo.com with NNFMP; 12 Dec 2011 15:13:58 -0000
Received: from [127.0.0.1] by omp1045.mail.bf1.yahoo.com with NNFMP; 12 Dec 2011 15:13:58 -0000
X-Yahoo-Newman-Id: 193784.43234.bm@omp1045.mail.bf1.yahoo.com
Received: (qmail 74526 invoked from network); 12 Dec 2011 15:13:58 -0000
X-Yahoo-Newman-Property: ymail-3
X-YMail-OSG: NPkcsi0VM1mqbbEgEzweN9P2FztIfTwxeqm1SrYcXWqmuo0
 vstytU4t6JcJCvWkRM7a7UP61IdZkEZRYwG4.FmB1RK9p7t_3uvtpJib2bE7
 uxTuixwXChqNpU3pUyWQovAO3LCiUwLRONLXv6mc0MmzFe56ngzbHGlWxjbG
 20H7wHCII1MvARSm5ixFn4ndW50ttOrbKdhRwdHc1Y.oar7O6Fsq_mkorhGL
 Ye46dSPIrO_ImHBp.34JImjvMfoHS5zixMLOD69_gPfciVdnvY73esjBLpzK
 Ao2oM2VqvvIgf3SBuy8h2z_AgHUfGVGxleIfUY8Y_Fi5mkUAOd64Kbc2NXng
 2uW6VaiY8v9zgc8_Ts2_iYkmeSwjs2bncdYtcvlP.wwC5jvWcj6P8BVt9f5s
 LgAn6mXJ2z2DxPKhAJnuvwue7ZRrqpldV8Z5CdRGovhAszMSIZkN.KLzJux6
 .dQldWQV34U3cGzhS.8weYJ_8q.5FVTjEf1nUtcElhHooiJssRQ--
X-Yahoo-SMTP: xvGyF4GswBCIFKGaxf5wSjlg3RF108g-
Received: from [192.168.1.68] (kali9putra@99.92.108.41 with xymcookie)
        by smtp107-mob.biz.mail.bf1.yahoo.com with SMTP; 12 Dec 2011 07:13:57 -0800 PST
References: <1323373742.18817.YahooMailRC@web81306.mail.mud.yahoo.com> <CAO7tK2dghkmpansUrBCZY7HkcH0sBGWzDpv+d8hB7ge9MuV9Ag@mail.gmail.com> <C261B304-A8BC-4955-9016-72D1F24B5471@yahoo.com> <CAO7tK2eRL4D7Yy-Sz=JUcTtnwuyKt_tnBx9XjhRkzpgQmB2igw@mail.gmail.com> <857BF1E4-628A-4E05-BC02-A90D15C6895E@yahoo.com> <CAO7tK2eWxBL9QdUnunoDY63GTV82=aX+B+zsQDOFj3axED4fWg@mail.gmail.com> <1323554331.43014.YahooMailRC@web81305.mail.mud.yahoo.com> <CAO7tK2eiu5Haj+fz-GV4z+JaH6G+Vz9hQXt51_i4Yk4_kB35Uw@mail.gmail.com> <1323633014.33678.YahooMailRC@web81308.mail.mud.yahoo.com> <CAO7tK2cBXd4WP2DbHS8ZS2vbbHX8QCt5trg_9UxjNqHyAQiLTA@mail.gmail.com> <5291628E-3707-4DE5-9EEE-7FD3772C3F96@yahoo.com> <CAO7tK2ekm2A+AU9aa8jS-tzrae1VF0Hb8eB30K1j=5qcPZypTA@mail.gmail.com> <1323660683.21871.YahooMailRC@web81302.mail.mud.yahoo.com> <4EE576E4.60308@gmail.com>
In-Reply-To: <4EE576E4.60308@gmail.com>
X-Apple-Yahoo-Original-Message-Folder: AAlojbanery
Mime-Version: 1.0 (iPad Mail 8G4)
Message-Id: <AF87551F-C30D-4F73-BD01-4B5A4C306C21@yahoo.com>
X-Mailer: iPad Mail (8G4)
From: "John E. Clifford" <kali9putra@yahoo.com>
X-Apple-Yahoo-Replied-Msgid: 1_12211063_AHvHjkQAAEkyTuV28g2G4neeGCc
Subject: Re: [lojban] semantic parser - tersmu-0.1rc1
Date: Mon, 12 Dec 2011 09:16:06 -0600
To: "lojban@googlegroups.com" <lojban@googlegroups.com>
X-Original-Sender: kali9putra@yahoo.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 best guess record for domain of kali9putra@yahoo.com designates
 98.139.212.179 as permitted sender) smtp.mail=kali9putra@yahoo.com; dkim=pass
 (test mode) header.i=@yahoo.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

Well, point one goes against orthodoxy for languages in general and certain=
ly for Lojban in particular.  Point two is generally true, but much harder =
is not impossible.  In general, the move from FOL to Lojban ought to seem e=
asier than the reverse, but even that may be illusory.

Sent from my iPad

On Dec 11, 2011, at 9:37 PM, vitci'i <celestialcognition@gmail.com> wrote:

> On 12/11/2011 09:31 PM, John E Clifford wrote:
>> Wait.  If we have a means of converting FOL into Lojban, it has -- to be=
=20
>> acceptable -- to provide a rule for a means of converting some logical=
=20
>> expression into each Lojban sentence.  So, in particular, it has to prov=
ide a=20
>> systematic explanation for even those sentences which are problematic to=
 the=20
>> back conversion.
>=20
> That doesn't follow. There may be some well-formed Lojban expressions
> that are not produced by converting any FOL expression. Alternatively,
> there exist some relations which are much harder to compute in one
> direction than the other.
>=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@googlegr=
oups.com.
> For more options, visit this group at http://groups.google.com/group/lojb=
an?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.