Fixed: predicate names example typo

Simple typo fix