implement function load and refactor insertSynset