Gravar-mail: Evaluation of Probabilistic and Logical Inference for a SNP Annotation System