Sentence:  <WSD>virtually</WSD> Haken 
Meaning of the word marked with <WSD> tags:  Of a covering space of finite index.