1099 label symbols in obo sentences

Shall fix #1099.

However a test on develop.ontohub.org for the migration was not possible, as the obo-ontologies there seem broken.