Clause-embedding predicates workshop