From lojban+bncCPieuJrRARC58-TiBBoEu1dFZg@googlegroups.com Wed Aug 04 02:58:52 2010 Received: from mail-gy0-f189.google.com ([209.85.160.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Ogak7-0006c8-Rq; Wed, 04 Aug 2010 02:58:52 -0700 Received: by gyb13 with SMTP id 13sf12484017gyb.16 for ; Wed, 04 Aug 2010 02:58:29 -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:received:mime-version:received:from :date:message-id:subject:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=+Z1MO1gIzhjfQoeRd9ZM4cDhd0512JJYhDWB9zPDNZg=; b=zf1x2LcszIxfx6SNFEAj9/EKq/Lbkx3JmjUE68VsT7KOVFUXRwlnSTDO2rry1RtSMu EzAJwjInopJMs9///eqADJWBLgrhSk4FdVNMu8vLwuF8W6SNvVUmyXFoZcS5FKlgxs7M t3XunKXPT9hliQ1vRDF8MPU9uZ1OhdLe+Oz1E= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:from:date:message-id:subject :to:x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; b=D3Nf+hNZTsPjrEkDBnNyY0gql6gNGhyRUCAuDVLqyzmsTQ4ldXhZjcHMz0B1gYYpjA kEu2u0SfDjRyd+x3UjICGps2ZOMdNGSAJZUSqeaXi5579qxBbvHbu5AV9xsL4zLIrl94 Nnyrowq63KAobH3sno2xL5Eag4UBZOQS1NVos= Received: by 10.100.235.38 with SMTP id i38mr1106973anh.7.1280915897604; Wed, 04 Aug 2010 02:58:17 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.101.146.2 with SMTP id y2ls394934ann.6.p; Wed, 04 Aug 2010 02:58:17 -0700 (PDT) Received: by 10.100.151.16 with SMTP id y16mr5492699and.7.1280915897125; Wed, 04 Aug 2010 02:58:17 -0700 (PDT) Received: by 10.100.151.16 with SMTP id y16mr5492698and.7.1280915897089; Wed, 04 Aug 2010 02:58:17 -0700 (PDT) Received: from mail-vw0-f53.google.com (mail-vw0-f53.google.com [209.85.212.53]) by gmr-mx.google.com with ESMTP id 11si6584270ano.3.2010.08.04.02.58.16; Wed, 04 Aug 2010 02:58:16 -0700 (PDT) Received-SPF: pass (google.com: domain of purpleposeidon@gmail.com designates 209.85.212.53 as permitted sender) client-ip=209.85.212.53; Received: by vws15 with SMTP id 15so4410199vws.40 for ; Wed, 04 Aug 2010 02:58:15 -0700 (PDT) Received: by 10.220.158.71 with SMTP id e7mr6102777vcx.124.1280915895815; Wed, 04 Aug 2010 02:58:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.220.163.65 with HTTP; Wed, 4 Aug 2010 02:57:55 -0700 (PDT) From: purpleposeidon Date: Wed, 4 Aug 2010 02:57:55 -0700 Message-ID: Subject: [lojban] (to all coders) what's missing: semantic analysis To: lojban X-Original-Sender: purpleposeidon@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of purpleposeidon@gmail.com designates 209.85.212.53 as permitted sender) smtp.mail=purpleposeidon@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: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 A Dandy Gentleman Wrote: > I've got somewhere a list of what > selma'o I think are atomic. Will share later. I can't find the list, so I'll make it up. I, IJE, SE, tanru, TUhE, TUhU, atomic sumti tanru: would have JE broken up, and also BE ripped out. CO might be untangled, but would be kind of useless because tanru are pretty vague anyways. But it might be nice to determine that "le slaka lerfu" and "le lerfu co slaka" could refer to the same thing. atomic sumti: zo ratni, da, zoi gy. Canada! .gy., and lots of other stuff for things like joi-masses. In Timo's examples: > mi pinxe ki'u lo du'u mi taske <-> mi pinxe i ki'u bo mi taske the decomposition na gerna. (And also, I don't really know how to use bo.) What I'd go for is {mi pinxe .i krinu go'ixi-1 .i go'ixi-1 .i mi taske} > lo gerku e mi e do cu klama lo ricfoi <-> lo gerku cu klama lo ricfoi i > je mi klama lo ricfoi i je do klama lo ricfoi { .i daxi0 ricfoi .itu'u daxi1 gerku .i daxi1 klama .i daxi0 se klama tu'e .ijetu'u mi klama .i daxi0 se klama tu'e .ijetu'u do klama .i daxi0 se klama tu'e } (do and friends actually wouldn't be used that way, they'd be a daxiny. to current listener or whoever -- that's how I'd do it, anyways) So, actually implementing it. .ysai Some preprocessing *may* be required. This might involve some portion of daxiny.-ing atomic sumti, untangling FA and SE, ... . I'm not certain how much of this is necessary. For doing the Action step, I'm pretty sure the best thing to do is to have an Annotated Grammar. I'll attempt to make some pseudo-code out of a few complicated rules. The <> apply to the previous construct. selbri-4 = (selbri-5 [ (joik-jek selbri-5 ) | (joik [stag] KE # selbri-3 /KEhE#/ ) ] ... ) bridi-tail = bridi-tail-1 [gihek [stag] KE # bridi-tail /KEhE#/ tail-terms] sumti-tail = ([sumti-6 [relative-clauses]] sumti-tail-1 )". Put sumti-tail-1 into the x1, and sumti-6 into the x2. And if relative-clauses: Define sumti-6 as ke'a and let it run wild> | (relative-clauses sumti-tail-1 ) A semantoid-cluster seems to be something that has a bunch of terms, and a tanru; whereas a vanilla semantoid would have only a single term and a SE tanru. They'll have to be written with much more care than I've put into them. For example, sumti-6 must certainly work when accessed via sumti-5, but it also must work from sumti-tail. I was hoping that some simple markup could go inside the <>'s, but it will probably have to be code. ALSO: I have a question for jbocevni and jbosampla: BNF or PEG? Camxes is PEG, and everybody loves camxes. But it is in Java, and I don't know Java (and I think timos doesn't either; I dunno about other Lojbanists). However, ba'e zirsam .o'a uses BNF, so I am much more familiar with the BNF. mu'o mi'e .timos. si .djeims. -- 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.