added logical predicate extensions