synset and definitions