Sentence:  Throughout this section, we shall assume the existence of finitely presented <WSD>groups</WSD> with unsolvable word problem. 
Meaning of the word marked with <WSD> tags:  A set with an associative binary operation, under which there exists an identity element, and such that each element has an inverse.