Paper: examples for synset problems