Attached is the latest version of the algorithms for speculative parsing described in simple pseudo code. The algorithm has be partially verified against WTX. The major question to be answered is how far the validation of a simple types needs to go: for example to include facets. This can only be answered by testing against a set of standard formats. The following are not yet in the algorithms - Disciminator semantices - xs:any Alan Powell MP 211, IBM UK Labs, Hursley, Winchester, SO21 2JN, England Notes Id: Alan Powell/UK/IBM email: alan_powell@uk.ibm.com Tel: +44 (0)1962 815073 Fax: +44 (0)1962 816898 Unless stated otherwise above: IBM United Kingdom Limited - Registered in England and Wales with number 741598. Registered office: PO Box 41, North Harbour, Portsmouth, Hampshire PO6 3AU