Moving predicate examples back to predicates page.  It's consistent with
the examples in the other pages in that section, and easier to maintain.