Sentence:  A <WSD>predicate</WSD> is either valid, satisfiable, or unsatisfiable. 
Meaning of the word marked with <WSD> tags:  A term of a statement, where the statement may be true or false depending on whether the thing referred to by the values of the statement's variables has the property signified by that (predicative) term.