add predicate constrctor.