Sentence:  predicate <WSD>calculus</WSD> 
Meaning of the word marked with <WSD> tags:  Any formal system in which symbolic expressions are manipulated according to fixed rules.