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

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

Re: [engelang] Xorban Development

Jorge Llamb�as, On 02/09/2012 03:54:

On Sat, Sep 1, 2012 at 10:34 PM, And Rosta<and.rosta@hidden.email>  wrote:

Jorge Llamb�as, On 01/09/2012 22:02:


gV F1 F2 := je ri mnikV ja F1 F2 je si mnikV F1 si mnikV F2

where F1 and F2 are normally expected to both have V as a free variable.


I should have written:

gV F1-V F2-V := je ri mnikV ja F1-i F2-i je si mnikV F1-i si mnikV F2-i


Will "gV F1 gV F2 F3" mean, as we would want, "je ri mnikV ja F1 ja F2 F3
je si mnikV F1 je si mnikV F2 si mnikV F3"?

A crude expansion of "gV F1 gV F2 F3" is:
"je ri mnikV ja F1 je ri mnikV ja F2 F3 je si mnikV F2 si mnikV F3 je si
mnikV F1 si mnikV je ri mnikV ja F2 F3 je si mnikV F2 si mnikV F3"
Now, wtf does that mean. Ah, no, I think that doesn't work. It means
either everything is F1 or everything is F2 or F3, whereas we want
everything to be either F1, F2 or F3.


With the corrected definition:

ga xnra ga blna plxa
= ga xnra (je (ri mnika (ja blni plxi)) (je (si mnika blni) (si mnika plxi)))
= je (ri mnika (ja xnri
                          (je (ro mnoki (ja blno plxo))
                               (je (so mnoki blno)
                                    (so mnoki plxo)))
        je (si mnika xnri)
           (si mnika (je (ro mnoki (ja blno plxo))
                               (je (so mnoki blno)
                                    (so mnoki plxo)))

I think it does say what we want.


So do I now you've done the thinking for me.

--And.