added syntax for predicates