Assertion: document | /r/HasProperty | valid
Facets:
Source sentences:
text: In order to determine if a document is valid, the XML processor must read the entire document type declaration (both internal and external subsets).
text: Given the preceding discussion of type declarations, it follows that some documents are valid and some are not.
text: A document is valid if it can be reduced to a single, specific rule, with no input left, by repeated application of the rules.