The order between xsi:type and element declaration

It's not clear what should happen if both an element declaration is 
available and an xsi:type is specified. A broader question is in what 
order should a processor try to find something (an element declaration or 
a type definition) to validate an EII. The possibilities include:
1. a processor-stipulated declaration
2. a context-determined declaration
3. a global declaration with matching name/namespace
4. a process-stipulated type definition
5. an xsi:type attribute

I believe the spec needs to be clear on the order.  Something like the 
following could work:
- only one of 1, 2, and 4 can be available, so the order among them 
doesn't matter
- 1, 2, and 4 should have precedence over 3 and 5
- 3 should have precedence over 5

Thanks,
Sandy Gao
Software Developer, IBM Canada
(1-905) 413-3255
sandygao@ca.ibm.com