Sentence:  Thus f satisfies * * f if and only if f <WSD>has</WSD> the form * * f . 
Meaning of the word marked with <WSD> tags:  have as a feature