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

RECORD: more on quantifiers and connectives



To reenforce the rule that these get their scopes in strict left-to-right 
order, notice that
{da cmene mi .e do} expands to {da cmene mi .ije da cmene do}, with the same 
{da} in both places, while {mi .e do se cmene da} is {mi se cmene da .je do 
se cmene de} with different ones.