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

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

Re: [jboske] zo'au, vau

In a message dated 10/27/2002 4:54:11 PM Central Standard Time, jjllambias@hidden.email writes:

<<
. I was thinking
whether the "trailing prenex" (should that be called a
"postnex"?) should really reverse the order of quantifiers
or just have general precedence over the body but still in
the usual order. That way we can think of it as an
afterthought continuation of the prenex.

>>
With strict RPN, which this sorta emulates, the order would be smallest scope to largest left to right -- the reverse of the prenex situation.  But I think that IS to confusing and the story "afterthought continuation of prenex" (even if there is no visible prenex at all) is probably going to be the most usable.  I do think the ida of having such a device is desirable -- and feasible withon even Lojban.