Export also synset definition