Gravar-mail: The Integration of Compiled and Explicit Causal Knowledge for Diagnostic Reasoning