Data Independence with Generalised Predicate Symbols