Any result grove satisfies the following requirements:

• A node in the result grove does not exhibit a value for a property with a declared data type that is nodal unless the property is a subnode property. |

• A node in the result grove never exhibits a value for a property that is in the derived category. |

• If n is the root of the result grove, then Vn shall be the root of the verification grove. |

• For each distinct m and n in the result grove, Vm shall be distinct from Vn. |

• For each n in the result grove, Vn shall have the same class as n. |

• For each node n in the result grove, and each non-intrinsic property p with a non-nodal declared data type for which Vn exhibits a null value, n shall exhibit a null value for p unless p is in the derived or optional category. |

• For each node n in the result grove, and each non-intrinsic property p for which Vn exhibits a non-null, non-nodal value, n shall exhibit a value for p unless p is in the derived or optional category. |

• A node in the verification grove shall be grounded if its class is not in the mayadd category and either |

• any of its siblings are grounded, or |

• the origin of the node is grounded, and |

• the origin-to-subnode relationship property of its origin is not in the optional category. |

• For each node n in the result grove, and for each non-intrinsic property p for which n exhibits a null value, Vn shall exhibit a null value for p. |

• For each node n in the result grove, and for each non-intrinsic non-nodal property p for which n exhibits a non-null value, np shall be equal, after any applicable string normalization specified for the property by the property set, to Vnp. |

• For each node n in the result grove and each subnode property p with a declared data type of node for which n exhibits a non-null value, Vnp shall be equal to Vnp. |

• For each node n in the result grove and each subnode property p with a declared data type of nodelist or nmndlist for which n exhibits a non-null value, and for each node s in np, Vs shall be in Vnp. |

• For each node n in the result grove and each subnode property p with a declared data type of nodelist for which n exhibits a value, and for any nodes r and s in np, if r precedes s in the result grove, Vr shall precede Vs in the verification grove. |