XMLVALIDATE uses the XML schema argument to validate the XML type instance. You can optionally specify the actual element declaration to be used for validation. The validation is basically an evaluation of the XQuery expression:
validate strict {$seq}
where $seq is a sequence containing the items to be validated (that is, the sequence returned by the XML_value_expr).