[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Toward a {ce'u} record
pycyn@aol.com scripsit:
> I don't know; I didn't think of it. Is it legal? I don't see why not
> immediately. Is it generalizable? Less clear, because of the vaguenss of
> the {rV} series,
Actually, "ri" is sharp; only "ra" and "ru" are vague.
> Are there rules about anaphora of bound variables other than repetition
> within scope?
In general, "ri" skips things where the meaning is the same on repetition:
"ri" skips "mi" and "do" and "ko'a" and "da". But it certainly should
not skip "ce'u", since repeating "ce'u" is something quite different.
--
John Cowan http://www.ccil.org/~cowan cowan@ccil.org
Please leave your values | Check your assumptions. In fact,
at the front desk. | check your assumptions at the door.
--sign in Paris hotel | --Miles Vorkosigan