Re: [lojban] Re: Beginner's take on the open/closed gismu debate (was: Re: emotions)

[John Cowan <jcowan@reutershealth.com>]

tk1@despammed.com scripsit:

> 	forall x (nanmu(x) <=> (remna(x) /\ exists y exists z nakni(x, y, z)))

	roda zo'u da nanmu .ijo tu'e da remna .ija de di zo'u da de di nakni

> (Ah! I think I got it.) I tried reading up Chapter 16 of the Reference
> Grammar to see how to put the above into Lojban, but apparently the material
> is incomplete -- there is no mention on how to group subexpressions, what
> scopes quantifiers have, etc.

Quantifiers scope from their position to the end of the tu'e-tu'u group
(sentence logical parens) or to the next .i, ni'o, etc.

-- 
He made the Legislature meet at one-horse       John Cowan
tank-towns out in the alfalfa belt, so that     jcowan@reutershealth.com
hardly nobody could get there and most of       http://www.reutershealth.com
the leaders would stay home and let him go      http://www.ccil.org/~cowan
to work and do things as he pleased.    --Mencken, _Declaration of Independence_

------------------------ Yahoo! Groups Sponsor ---------------------~-->
Get A Free Psychic Reading! Your Online Answer To Life's Important Questions.
http://us.click.yahoo.com/Lj3uPC/Me7FAA/CNxFAA/GSaulB/TM
---------------------------------------------------------------------~->

To unsubscribe, send mail to lojban-unsubscribe@onelist.com 

Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/