Gravar-mail: Wrestling with SUMO and bio-ontologies