Received: from mail-bw0-f61.google.com ([209.85.214.61]:38953)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJ2UzZHuDRDv6pT3BBoEn0IYyA@googlegroups.com>)
	id 1RZsLL-0008EO-Ew; Sun, 11 Dec 2011 14:58:04 -0800
Received: by bkat2 with SMTP id t2sf18313919bka.16
        for <multiple recipients>; Sun, 11 Dec 2011 14:57:55 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:in-reply-to:references:date
         :message-id:subject:from: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=LUKCIQlWO09zXGs0hwKht0VJ14qFsquqqLkhJF4Q2ks=;
        b=AwMZ+uuztPiU4tGQCfVVRyiKZEsgbcUeG1xI7F+tNrn6CRR3sx/jz6rUS4Z9H8JAef
         eFRSpoUOGnLRx7hgSDvX9x7TZ91aBwKod7jwPpMyQEOGtPr9BHkjN+jkflVXzYaemhbK
         JDEDWi430KuRkUXMN0jhgQziLlvGZZWlmo2Cs=
Received: by 10.205.136.210 with SMTP id il18mr1239656bkc.3.1323644271882;
        Sun, 11 Dec 2011 14:57:51 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.204.56.81 with SMTP id x17ls15701645bkg.1.gmail; Sun, 11 Dec
 2011 14:57:50 -0800 (PST)
Received: by 10.205.124.10 with SMTP id gm10mr532142bkc.8.1323644270818;
        Sun, 11 Dec 2011 14:57:50 -0800 (PST)
Received: by 10.205.124.10 with SMTP id gm10mr532141bkc.8.1323644270805;
        Sun, 11 Dec 2011 14:57:50 -0800 (PST)
Received: from mail-lpp01m010-f49.google.com (mail-lpp01m010-f49.google.com [209.85.215.49])
        by gmr-mx.google.com with ESMTPS id t6si8546503bkz.0.2011.12.11.14.57.50
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 11 Dec 2011 14:57:50 -0800 (PST)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.215.49 as permitted sender) client-ip=209.85.215.49;
Received: by lahc1 with SMTP id c1so222002lah.22
        for <lojban@googlegroups.com>; Sun, 11 Dec 2011 14:57:50 -0800 (PST)
MIME-Version: 1.0
Received: by 10.152.146.100 with SMTP id tb4mr10639635lab.0.1323644270421;
 Sun, 11 Dec 2011 14:57:50 -0800 (PST)
Received: by 10.152.19.198 with HTTP; Sun, 11 Dec 2011 14:57:50 -0800 (PST)
In-Reply-To: <5291628E-3707-4DE5-9EEE-7FD3772C3F96@yahoo.com>
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>
Date: Sun, 11 Dec 2011 19:57:50 -0300
Message-ID: <CAO7tK2ekm2A+AU9aa8jS-tzrae1VF0Hb8eB30K1j=5qcPZypTA@mail.gmail.com>
Subject: Re: [lojban] semantic parser - tersmu-0.1rc1
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of jjllambias@gmail.com designates 209.85.215.49 as permitted sender)
 smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.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: /

On Sun, Dec 11, 2011 at 7:37 PM, John E. Clifford <kali9putra@yahoo.com> wr=
ote:
> On Dec 11, 2011, at 2:52 PM, Jorge Llamb=EDas <jjllambias@gmail.com> wrot=
e:
>>
>> Converting FOL into Lojban is trivial.
>
> Not obviously, since you are about to introduce expressions which are mor=
e remote from FOL and thus,

Converting FOL into Lojban is not the same thing as converting Lojban
into FOL. The first is trivial, the other has some complications.
Lojban has expressions that do not convert into FOL without some
manipulation, whereas FOL expressions convert into Lojban directly and
rather trivially.

> even if arbitrary and conventional, subject to things like unintended con=
sequences (omitted arguments, {zo'e}, and, I assume, all the descriptions a=
re the currently interesting cases).

But that's not a part of converting FOL into Lojban.

mu'o mi'e xorxes

--=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.