document-type information Deductions legal instrument has part document-type information ⇐ (legal instrument is subclass of document), (document has part document-type information)