可以得到： 　　　NP(Block(B)) is Prep(λxy On(x, y)) NP(Block(C)) Conj(∧) S(Clear(B)∧Block(B)) 　　　NP(Block(B)) is PP(λx On(x, C))∧(Block(C)) Conj(∧) S(Clear(B)∧Block(B)) 　　　NP(Block(B)) VP(λx On(x, C))∧(Block(C)) Conj(∧) S(Clear(B)∧Block(B)) 　　　S(Block(B)∧(Block(C) ∧On(B,C)) Conj(∨) S(Clear(B)∧Block(B)) 　　最后应用连接两个句子的规则： 　　　S(γ1)Conj(∧) S(γ2) → S(γ1 ∧γ2) 　　得到： 　　　S(On(B,C)∧Clear(B)∧Block(B)∧Block(C)) 　　就得到了我们应该分析的语义结果。 　　图中，谓词演算公式显示在相邻的对应节点上。