被取走，剩下了伪句子“苏是哲”。其作用为描述「苏」和「哲」之关系。这常意味着每个语法运算均应与一个语义运算相对应，后者作用于由该语法运算结合的各组成部分的意义之上。作为构造语义理论的原理，在唐纳德·戴维森的有影响力的语言哲学着作中，它一般意味着所有的语法构造应当关联着T-模式的从句，它带有在指定整个表达式如何通过语法规则构造自组件的语义中的一个算子。在某些一般数学理论（特别是符合蒙塔古语法传统的）中，这个原理意味着要理解一种语言，则必须给出其语法表现及其语义对象的代数结构之间的同态。这个原理有时叫做