Үүнийг мессежээр илгээх: Data independence with predicate symbols