Gravar-mail: Unintended consequences of existential quantifications in biomedical ontologies