在动词短语中,本例只含有一个动词is。它总是和一个形容词或一个介词短语合用。当用一个形容词时,我们有规则:
    Is Adj(λx φ(x)) → VP(λx φ(x))
  在这个规则中,φ是一个一元关系常量,表示该形容词的相关属性。(本例中没有涉及)
  下面说明一个名词短语和一个动词短语如何组合成为一个句子:
    NP(φ(s))VP(λx ψ(x)) → S((λx ψ(x)∧φ(s))s)
  其中ψ是任何关系常量,当应用λ表达式时,ψ的λ变量x被约束。这个组合通过把来自动词短语的一个λ表达式应用到由名词短语给出的对象常量上面获得。
  经过精简后得到:
    NP(φ(σ))VP(λx ψ(x)) → S(ψ(σ)∧φ(σ))
  应用此规则会产生:
    NP(Block(B)) is on NP(Block(C)) Conj(∧) NP(Block(B)) VP(λx Clear(x))
    NP(Block(B)) is on NP(Block(C)) Conj(∧) S(Clear(B)∧Block(B))