Sentence:  Thus f <WSD>satisfies</WSD> * * f if and only if f has the form * * f . 
Meaning of the word marked with <WSD> tags:  meet the requirements or expectations of