Gravar-mail: Markov Logic Networks in the Analysis of Genetic Data