pub const DOCUMENT_COVERAGE_SYMBOL: &str = "document-text-coverage";
Reserved derived graph fact carrying document-local text coverage to publication.