Received: from mail-yk0-f191.google.com ([209.85.160.191]:34143) by stodi.digitalkingdom.org with esmtps (TLSv1.2:AES128-GCM-SHA256:128) (Exim 4.85) (envelope-from ) id 1ZHDHk-0002Ha-1a for lojban-list-archive@lojban.org; Mon, 20 Jul 2015 08:47:43 -0700 Received: by ykax123 with SMTP id x123sf60219745yka.1 for ; Mon, 20 Jul 2015 08:47:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :content-type:x-original-sender:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe; bh=0ckrWudO6fDKPFjkKpuKsWRtkrzWxGAq6Prrpd6792A=; b=Yt7SQAwmpT56RymqIR4pSN0gRPmcFSu61E4DJlKx2fo7eIT6/LsB7z0iMTCk4WUx++ 3MSoWhXeguVtHyhFtpi7HLT/iz6HYw2wFSH8Yxeqy4LL/DEM90M5afiu6BT91s3nKkv9 jSiqLRuieCYll1e3ZqmuRYlIlR0uG8CoVC8wm3NAI6NOQ0/hkLx/3kJoQ4YLAtrfOAiF voSwhMqAmWX6ocLAmtKeZ276R2fKt/F7xvahF9NG+yjDIqZA/wToCUWWrX9BTWGE3kdX 1YLoZWAUjrl9hlqSwpmugfmVPT8qIZPxN5ENsJGRhScyX0pOTd00TW7Ct4/0v3ATSqOr 7Pvw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :content-type:x-original-sender:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe; bh=0ckrWudO6fDKPFjkKpuKsWRtkrzWxGAq6Prrpd6792A=; b=tobYLS/lUU/0y9SmBLY2ez0bsha8cQWyy51Zz1L5EQ+xrn2waV8omEB0VD2YtA5Qhc +516NB5u4Mf19pg41AVduooWJmIcxMQGptxk9MZAQ2B8mva79eP3AapV45jM7EvAw2uc u/4x/aXrih/Kl7H70V3a32iMaf7cYXjsMOJh3ff+lzCAvJcjZvvuyRaC6liFadbcyxrB H/aM9OqTk+vVRJelG49CXJ6AkI884d72MmqNNEqU6brI5RbjpAdebRiO/m+GSb1XNA4Y cG+4tjdqJyUSun1bq3Bk4VY4YAQid6ucae/5DbVUHVsCVBkmFrlJPcghAlRZYi19nMS2 N4TA== X-Received: by 10.50.62.10 with SMTP id u10mr172974igr.12.1437407234202; Mon, 20 Jul 2015 08:47:14 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.107.9.138 with SMTP id 10ls2056855ioj.6.gmail; Mon, 20 Jul 2015 08:47:13 -0700 (PDT) X-Received: by 10.50.50.243 with SMTP id f19mr171170igo.0.1437407233980; Mon, 20 Jul 2015 08:47:13 -0700 (PDT) Date: Mon, 20 Jul 2015 08:47:12 -0700 (PDT) From: "Spheniscine (la zipcpi)" To: lojban@googlegroups.com Message-Id: In-Reply-To: References: <111fbfc0-49f0-4ff0-9c88-31e0383cd3f9@googlegroups.com> Subject: [lojban] Re: {tu'e...tu'u} in NU MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_801_1623934320.1437407233011" X-Original-Sender: spheniscine@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Spam-Checked-In-Group: lojban@googlegroups.com X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -2.0 (--) X-Spam_score: -2.0 X-Spam_score_int: -19 X-Spam_bar: -- ------=_Part_801_1623934320.1437407233011 Content-Type: multipart/alternative; boundary="----=_Part_802_1840172264.1437407233011" ------=_Part_802_1840172264.1437407233011 Content-Type: text/plain; charset=UTF-8 > > > Your example shows necessity of adding a term string that spans over the > statement to the left. I think it is not very difficult to implement > grammatically zo'au-clause: just creating a structure like prenex, and make > it elidible famyma'o of a statement. > > However, zo'au-clause will produce more complex semantics than the current > for the following reason: > logical items like negation, numbers and bound variables semantically span > over the following items, and "postnex" should break the logical structure > of the leading statement when it appears at the end of the statement. > > It is not good for me, and I don't intend to implement "postnex" to la > zantufa for now. > > An alternative idea is to use {no'a} with SEI (or experimental _new_ SOI > of la ilmentufa): > tu'e lo mabla cu fasnu .i lo zabna cu fasnu tu'u sei ca lo nu mi stuvi'e > le sralygu'e cu no'a > > {zo'u} is used for more than logical prenexes though; it's also used as a "topic marker" with an unspecified logical connection. e.g. {le lojbo cecmu zo'u (lo broda cu brode)}. Thus {zo'au} might be useful for an afterthought topic marker, sort of like hashtags. How a logical postnex should scope is a problem though, but I don't feel qualified to deal with that. -- You received this message because you are subscribed to the Google Groups "lojban" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout. ------=_Part_802_1840172264.1437407233011 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Your example shows necessity of adding a term string that spans over= the statement to the left. I think it is not very difficult to implement g= rammatically zo'au-clause: just creating a structure like prenex, and m= ake it elidible famyma'o of a statement.=C2=A0

However, zo'au-clause will produce more complex semantics than the cur= rent for the following reason:=C2=A0
logical items like negation,= numbers and bound variables semantically span over the following items, an= d "postnex" should break the logical structure of the leading sta= tement when it appears at the end of the statement.=C2=A0

It is not good for me, and I don't intend to implement "po= stnex" to la zantufa for now.

An alternative = idea is to use {no'a} with SEI (or experimental _new_ SOI of la ilmentu= fa):
tu'e lo mabla cu fasnu .i lo zabna cu fasnu tu'u sei= ca lo nu mi stuvi'e le sralygu'e cu no'a=C2=A0
<= br>

{zo'u} is used for more= than logical prenexes though; it's also used as a "topic marker&q= uot; with an unspecified logical connection. e.g. {le lojbo cecmu zo'u = (lo broda cu brode)}. Thus {zo'au} might be useful for an afterthought = topic marker, sort of like hashtags.

How a logical= postnex should scope is a problem though, but I don't feel qualified t= o deal with that.

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http:= //groups.google.com/group/lojban.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_802_1840172264.1437407233011-- ------=_Part_801_1623934320.1437407233011--