Let be the predicate .
Determine the truth set for .