pub fn format_imported( path: &Path, schema_version: u32, imported_knowledge: u32, contradictions: u32, warning: Option<&str>, ) -> String