From nobody@digitalkingdom.org Thu Jan 18 02:39:27 2007 Received: with ECARTIS (v1.0.0; list lojban-beginners); Thu, 18 Jan 2007 02:39:30 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.63) (envelope-from ) id 1H7Ug1-0008JP-FF for lojban-beginners-real@lojban.org; Thu, 18 Jan 2007 02:39:26 -0800 Received: from ug-out-1314.google.com ([66.249.92.175]) by chain.digitalkingdom.org with esmtp (Exim 4.63) (envelope-from ) id 1H7Ufd-0008IS-CD for lojban-beginners@lojban.org; Thu, 18 Jan 2007 02:39:20 -0800 Received: by ug-out-1314.google.com with SMTP id m3so139625uge for ; Thu, 18 Jan 2007 02:38:54 -0800 (PST) DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type; b=nZBhXDsMio3ldLc7oz+g2hGLc6OFlqDOe0Zd0wapLP/BA007sTt6zviZLVmkvcmntWRwUzGz6Ns5nzBIgixG9y0Fw4Q80yA/GDisKUhhyCRSmpj8vNkQDGDK7zXrn5Suehppks8lfvAyVuoz3bHAiAbTT/MFue3V/tNH7Q244K4= Received: by 10.67.97.18 with SMTP id z18mr1037416ugl.1169116734629; Thu, 18 Jan 2007 02:38:54 -0800 (PST) Received: by 10.66.233.14 with HTTP; Thu, 18 Jan 2007 02:38:54 -0800 (PST) Message-ID: <4a7850f70701180238n5d288464k76c00b7225078cb7@mail.gmail.com> Date: Thu, 18 Jan 2007 02:38:54 -0800 From: "Gabriel R" To: lojban-beginners@lojban.org Subject: [lojban-beginners] Re: conversion to first-order logic? MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_4830_27667730.1169116734532" X-Spam-Score: -1.8 X-Spam-Score-Int: -17 X-Spam-Bar: - X-archive-position: 3901 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@lojban.org Errors-to: lojban-beginners-bounce@lojban.org X-original-sender: grecchia@gmail.com Precedence: bulk Reply-to: lojban-beginners@lojban.org X-list: lojban-beginners ------=_Part_4830_27667730.1169116734532 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline (Apparently my English needs practice as well -- I meant to say "I have the parser and I can see that it makes various parenthetizations, but it doesn't seem to explicitly reduce Lojban sentences to FOL syntax"). ------=_Part_4830_27667730.1169116734532 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline (Apparently my English needs practice as well -- I meant to say "I have the parser and I can see that it makes various parenthetizations, but it doesn't seem to explicitly reduce Lojban sentences to FOL syntax").

------=_Part_4830_27667730.1169116734532--