This demonstration goes along with information-artifact-ontology/ontology-metadata#194 to show what happens when ROBOT tries to convert an ontology that has hierarchical synonym type properties.
Unfortunately, it doesn't appear to write the child property in OBO. This is probably because the parser
only looks for direct children of oboInOwl:SynonymTypeProperty