yüklem simgesi anlamı İng. predicate symbol, predicate variable Alm. Praedikatenvariable Fr. variable de prédicat
Olağan yorumda değer alanı bir sözeden dilin n-li yüklemlerinden oluşan dizimsel sözeden dil değişkeni: (…) || Anl. dizimsel yüklem değişkeni.