Expression of XML Implicit Semantics