finished awk script for synset.txt