Re: [lojban] Re: "pu" versus "pu ku" and LR(1)

[jcowan@reutershealth.com]

Robin Lee Powell scripsit:

> Heh.  Too late:
> 
> da poi cribe roroi xagji
> ({da <poi [cribe ({<ro roi> KU} VAU)] KU'O>} {xagji VAU})

Okay, make it "da poi cribe cu roroi xagji", then.  I always have the tendency
to skip "cu" when a tense is present, despite the dangers of that course.

> > Consider these four sentences:
> > 
> > 1)	da poi cribe roroiku zo'u da xagji
> > 2)	roroiku da poi cribe zo'u da xagji
> > 3)	da poi cribe cu roroi xagji
> > 4)	roroi xagji fa da poi cribe
> > 
> > There is no doubt that 1 means there's a bear that's always hungry
> > (false) and that 2 means there's always a hungry bear somewhere
> > (true), and that 4 is the same as 2.  The question is, is 3 the same
> > as 2 or the same as 1? 
> 
> I'm sorry, I honestly don't understand ordering issues well at all.

Think of them as nested loops (sometimes looping over all instances, sometimes
looping over just one).  Example #1 means:

	for (b = a certain bear)
		foreach t (all times)
			at time t, b is hungry

i.e. "there is a bear who is always hungry".  Probably false.

Example #2 means:

	foreach t (all times)
		for (b = a certain bear)
			at time t, b is hungry

i.e. "there is always some hungry bear".  Probably true.

Now in #3 and #4 the ordering is the same as in #1 and #2 respectively, and
presumably #3 = #1 and #4 = #2.  However, #3 and #4 use tenses on the selbri
rather than free-floating tense+KU.  If we apply the selbri-NA vs. NAKU rules,
then #3 = #2 because the tense moves to the front of the prenex (outermost
loop).

-- 
Knowledge studies others / Wisdom is self-known;      John Cowan
Muscle masters brothers / Self-mastery is bone;       jcowan@reutershealth.com
Content need never borrow / Ambition wanders blind;   www.ccil.org/~cowan
Vitality cleaves to the marrow / Leaving death behind.    --Tao 33 (Bynner)