Add more examples to the documentation of the term-expansion predicates