Adds predicates to rules