So to use a predicate as a variable is to have it occupy the place of a name which only individual variables should occupy.
所以要使用一个谓词作为变量就要让它占据只有个别的变量可以占据的一个名字的位置。