Completed predicates assignement