我們可以將這些句子的共同點用符號. 表示成「P﹍」，其中的空格標示出可以嵌入個體常元的位置。 為了討論上的方便，我們改用英文小寫字母w, x, y, z 等，不再使用空格。