A Tool for Investigating the Synonymy Relation in a Sense Disambiguated Thesaurus