added symbol predicate
Added or option to predicates