[XQuery] XQ-IBM-006: Context of a function body

(IBM-XQ-006) Section 3.1.5 (Function Calls): This section states that a 
function does not inherit a focus (in other words, the context item, 
context position, and context length are initially undefined inside the 
body of a function). The section should also say something about the other 
parts of the static and dynamic context. Are these inherited from the 
module in which the function is defined (as opposed to the calling 
module)? Are there any consistency rules between the contexts of the 
defining and calling modules? For example, can they have different default 
collations or default namespaces? Must their current date/time and 
implicit timezones be consistent? Can a variable that is assigned a value 
in the calling module be seen inside a function body? Can a document that 
is in the available documents of the calling module be seen inside a 
function body?
--Don Chamberlin