update readme
change fact-generator predicates