[FS] 4.1.5 Function Calls: eval of imported function

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

4.1.5 Function Calls
Dynamic Evaluation
rule 2 (imported function)

The last premise is incorrect. It would re-evaluate the whole function
call in the imported module's environment. Instead, it should be more
like:
    dynEnv1 |- expanded-QName( Value1', ..., Valuen' ) => Value'

-Michael Dyck