[YG Conlang Archives] > [engelang group] > messages [Date Index] [Thread Index] >


[Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: [engelang] Xorban Development



On Sun, Aug 26, 2012 at 10:53 PM, Jorge Llambías <jjllambias@hidden.email> wrote:

Let's see:

"na bra" could be an abbreviation of "le brafe jtfe".

"je bra cre" could be an abbreviation of "li brafi lo crefo knxiko"
(using "knxiko":"i and o are both true" instead of the less useful
Lojban definition of "kanxe"). Similarly for other connectives.

"ra bra cra" could be an abbreviation of "la bra le cre mnake", "the
br's are among the cr's".

Then:

sa bra cra
= na ra bra na cra
= na ra bra le crafe jtfe
= na li bri lo le crofe jtfe mniko
= lu li bri lo le crofe jtfe mnikofu jtfu
"it is false that the br's are among the things of which it is false
that the cr's are among"

Certainly worth having the abbreviation there. :)

I don't think that "la bra cra" could be an abbreviation of anything,
since (in our grammar so far) we can't have sentences without
variables, and we can't have meaning with unbound variables, so we
need at least one primitive binder.

That's interesting.  Do you know of any way to transform things differently, so that given an arbitrary formula the primitive binder could be "s-" or "r-"?