Enviar aquest missatge de text: Data independence with predicate symbols