add synset propagation support, not tested