Move predicates examples to other sections