add predicate examples