个点变数与一个线变数为参数的二元重合关系"E"。这个语言的预期解释有其范围为欧氏平面上所有点的点变数、范围为平面上所有线的线变数，及重合关系"E"("p","l") 会成立，若且唯若点"p" 在线"l" 上。
高阶谓词逻辑.高阶谓词逻辑的形式语言看起来很像一阶逻辑的形式语言。不同之处在于，高阶谓词逻辑有许多不同类型的变数。一些变数相对至论域的元素，如一阶逻辑一般。其他的变数对应至较高的类型：论域的子集、论域的函数、取论域的子集为参数，传回从论域映射至论域子集之函数的函数、…等。所有