Completed predicates assignements