README updated for adding predicates.