updated readme to list predicates