add predicate.py