[YG Conlang Archives] > [engelang group] > messages [Date Index] [Thread Index] >
Jorge Llamb�as, On 01/09/2012 22:02:
On Sat, Sep 1, 2012 at 5:06 PM, And Rosta<and.rosta@hidden.email> wrote:The way I'd do this would be with a binary 'union' operator "gV", "gV A B" = "V is the union of A and B": la je nmpda ga le sme nnle le sme nxle sngaThe problem is that "le sme nnle" and "le sme nxle" are closed formulas, they don't define any sets to union.
I'm genuinely staggered at my own obtuseness. "Wtf was I thinking", I keep asking myself.
"ga nnla nxla" = "je ri mnika ja nnli nxli je si mnika nnli si mnika nxli" = "each among A is either boy or girl& some among A is boy& some among A is girl". In general: 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.
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. Let's take a step back. How do we do lists? How do we say "Alice, Bob and Carol arrived"? Thinking aloud: ga F1-A F2-A = A is union of group of things that are F1 and group of things that are F2 la ga ''als'a ga ''bob'a ''karl'a klma = "Alice, Bob and Carol went" la je nmpda ga nnla nxla snga twelve boys and girls sang la nxla ga cmla snga the girls laughed and sang [=some of the girls laughed and some sang] la csna ga mslfa ma xrxe me and xorxes discuss --And.