parse predicate symbols