Assertion: html's element | /r/HasProperty | defined in external documents
Facets:
Source sentences:
text: These elements are defined in external documents called DTDs (Document Type Descriptions).