Let be the predicate .

Determine the truth set for .