11.4.1. Verification Mapping

Any result grove satisfies the following requirements:

The verification mapping, V, maps each node in the result grove to a node in the verification grove. V(n) denotes the result of applying V to the node n; n[p] denotes the value that n exhibits for property p. A node n' in the verification grove is said to be grounded if and only if there is a node n in the result grove such that V(n) is n'.

V shall satisfy the following requirements:

The transliteration property described in “Transliteration” is not considered in the verification mapping.

As an exception to these rules, a node in the verification grove of class attribute-assignment need not be grounded if the rules of ISO 8879 that apply with an SGML declaration that specified SHORTTAG YES would not require the attribute to be specified.