Gravar-mail: An Automated Reasoning Framework for Translational Research