Synsets implemented in program and unit tests