[FS] Normalization of Quantified expression

XQuery 1.0 and XPath 2.0 Formal Semantics
W3C Working Draft 20 February 2004

I think the normalization rules for some and every are incorrrect: the 
call of the function fn:boolean is missing in the satisfies clause. I 
would write the normalization rule like this:

[some VarRef1 in Expr1, ..., VarRefn in Exprn satisfies Expr]Expr
==
some VarRef1 in [Expr1]Expr satisfies
   some VarRef2 in [Expr2]Expr satisfies
         ...
     some VarRefn in [Exprn]Expr satisfies
      fn:boolean([Expr]Expr)


Same for every.


Minor typo: the two last 'satisfies' keyword are mispelled: satist
fies(note the t before f)

Best regards,
Lionel