Definition:Predicate Symbol