Predicates And Their Truth Sets