add examples to explain synset