Added predicate explanation to the readme