Sentence:  Since * * f and p <WSD>divides</WSD> * * f for * * f , we have * * f . 
Meaning of the word marked with <WSD> tags:  perform a division