What is a predicate in the context of predicate logic?

a$)$ A statement involving variables.

b$)$ A statement that is either true or false.

c$)$ An operation that returns a boolean value.

d$)$ None of the above.