Update predicate.txt