Update predicates.html