Received-SPF: pass (google.com: domain of seladwa@gmx.de designates 212.227.15.18 as permitted sender) client-ip=212.227.15.18;
Message-ID: <52C98461.20200@gmx.de>
Date: Sun, 05 Jan 2014 17:12:17 +0100
From: selpa'i <seladwa@gmx.de>
User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:24.0) Gecko/20100101 Thunderbird/24.2.0
MIME-Version: 1.0
To: lojban@googlegroups.com
Subject: Re: [lojban] [oz] Logical connectives
References: <CALMa68oYy61FYmv32h5QSbF1ah_Ps1W_SpT8pGd7wOo0f9eL-A@mail.gmail.com>
In-Reply-To: <CALMa68oYy61FYmv32h5QSbF1ah_Ps1W_SpT8pGd7wOo0f9eL-A@mail.gmail.com>
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

la'o me. Felipe Gon=E7alves Assis .me cusku di'e
> I was puzzled by the use of logic connectives in several passages. E.g.
>
> (1) {z=E0sti fa no sai dr=F9sro je no lolnitk=F9'a}
> (2) {no tr=ECcu je no zd=E0ni cu zv=E0ti}

Ah right, these must have slipped through during my search and replace=20
marathon. They should use {.e} instead of {je}. If you find more such=20
examples, please let me know.

> I see there is some consistency in their correlation with quantifiers,
> but still I don't get it. What is the logic behind them?

Logically, {je} is the same as {.e}, but {je} can't connect sumti under=20
official rules. At some point, the text used GIJA, or the connective=20
unification grammar, but I reverted to the standard grammar. That's why=20
you might still find some {je} that connect sumti; they are leftovers.

> They are rejected by both camxes and jboski, but accepted by the parser
> you indicated. Nevertheless, the parser also understands {ko'a je ko'e
> broda} just like {ko'a .e ko'e broda}. Is it related to expansion order?

The parser is overly lenient by treating all connectives as=20
interchangeable. Not only can you use {je} to connect sumti (as was the=20
idea of the (not so) Mad Proposals), but you can also use {.e} to=20
connect tanru units. None of this (should) happen in my Oz translation.

mi'e la selpa'i mu'o

--=20
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 e=
mail 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/groups/opt_out.