lookup_synset(POS, Word, Synonyms, Gloss, Hyp):-
	% look up the synsetID for the given word
	s(ID, _, Word, POS, _, _),
	% find all words in a synset
	findall(Wi, s(ID, _, Wi, POS,_,_), Synonyms),
	% get the gloss of the synset
	g(ID, Gloss),
	{
	hyp(ID, HypID),
	s(HypID,_,Hyp,_,_,_);
	Hyp = []
	}.