Received: from mail-pz0-f61.google.com ([209.85.210.61]:41818)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOTEtqyUDhCi1Zj3BBoE_cS6cQ@googlegroups.com>)
	id 1Ra8fk-0008RW-8q; Mon, 12 Dec 2011 08:24:21 -0800
Received: by dajx4 with SMTP id x4sf6593982daj.16
        for <multiple recipients>; Mon, 12 Dec 2011 08:24:06 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:date:from:to:subject:message-id:references
         :mime-version:in-reply-to:x-pgp-key:x-pgp-keyid:x-cunselcu'a-valsi
         :user-agent: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-disposition;
        bh=OoUanCik1ZLGw56Bd9eaypXJoP72rFvZeZAfsWC9/U8=;
        b=4ZBstBjBpTcOrTMTQ2zGO8e6DtP/7oU22x89tPLfr63ki/Sp0h6P4fEV3cfaWMIz7w
         30dBpXsn6U/Y3K+e88lgoNmsQfd8mM3iNJyuQrOFlSBL6fIMxhcxc3tMzAuLhCfXaGGE
         bv1bBM95vqOlqL11xSZz7gqbuw/moldNd8w34=
Received: by 10.68.75.135 with SMTP id c7mr2177937pbw.6.1323707042317;
        Mon, 12 Dec 2011 08:24:02 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.32.131 with SMTP id j3ls9855827pbi.3.gmail; Mon, 12 Dec
 2011 08:24:01 -0800 (PST)
Received: by 10.68.213.71 with SMTP id nq7mr9695811pbc.2.1323707041474;
        Mon, 12 Dec 2011 08:24:01 -0800 (PST)
Received: by 10.68.213.71 with SMTP id nq7mr9695809pbc.2.1323707041461;
        Mon, 12 Dec 2011 08:24:01 -0800 (PST)
Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19])
        by gmr-mx.google.com with ESMTPS id j5si26220022pbi.0.2011.12.12.08.24.01
        (version=TLSv1/SSLv3 cipher=OTHER);
        Mon, 12 Dec 2011 08:24:01 -0800 (PST)
Received-SPF: pass (google.com: best guess record for domain of mbays@sdf.org designates 192.94.73.19 as permitted sender) client-ip=192.94.73.19;
Received: from gonzales.homelinux.org (IDENT:root@sverige.freeshell.org [192.94.73.4])
	by sdf.lonestar.org (8.14.5/8.14.3) with ESMTP id pBCGO0gU017980
	for <lojban@googlegroups.com>; Mon, 12 Dec 2011 16:24:01 GMT
Received: from martin by gonzales.homelinux.org with local (Exim 4.77)
	(envelope-from <mbays@sdf.org>)
	id 1Ra8fY-0007bp-7l
	for lojban@googlegroups.com; Mon, 12 Dec 2011 11:24:00 -0500
Date: Mon, 12 Dec 2011 11:24:00 -0500
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] semantic parser - tersmu-0.1rc1
Message-ID: <20111212162400.GA11272@gonzales>
References: <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>
 <AF87551F-C30D-4F73-BD01-4B5A4C306C21@yahoo.com>
MIME-Version: 1.0
In-Reply-To: <AF87551F-C30D-4F73-BD01-4B5A4C306C21@yahoo.com>
X-PGP-Key: http://mbays.freeshell.org/pubkey.asc
X-PGP-KeyId: B5FB2CD6
X-cunselcu'a-valsi: dansu
User-Agent: Mutt/1.5.21 (2010-09-15)
X-Original-Sender: mbays@sdf.org
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 best guess record for domain of mbays@sdf.org designates 192.94.73.19 as
 permitted sender) smtp.mail=mbays@sdf.org
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:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Disposition: inline
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

* Monday, 2011-12-12 at 09:16 -0600 - John E. Clifford <kali9putra@yahoo.com>:

> Well, point one goes against orthodoxy for languages in general and
> certainly 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 easier than the reverse, but even that may be
> illusory.

I'm not sure what you're getting at here. FOL to Lojban is entirely
trivial. Assuming a relational language and that every relation is
the interpretation of some selbri: use {su'o da zo'u} and {ro da zo'u}
for the quantifiers, and use geks for the boolean operations. There are
no issues at all.

Martin

> 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 
> >> acceptable -- to provide a rule for a means of converting some logical 
> >> expression into each Lojban sentence.  So, in particular, it has to provide a 
> >> systematic explanation for even those sentences which are problematic to the 
> >> back conversion.
> > 
> > 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.
> > 
> > -- 
> > 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@googlegroups.com.
> > For more options, visit this group at http://groups.google.com/group/lojban?hl=en.
> > 
> 
> -- 
> 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@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/lojban?hl=en.
> 

-- 
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@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.