下面处理介词和介词短语： 　　　On → Prep(λxy On(x, y)) 　　注意：on引入一个二元谓词，而lambda变量所跟踪的变量就是要求的变量。 　　　Prep(λxy ψ(x,y))NP(φ(σ)) → PP(λx(λy ψ(x ,y)∧φ(σ))σ) 　　经过简化可以得出： 　　　Prep(λxy ψ(x,y))NP(φ(σ)) → PP(λx ψ(x ,σ)∧φ(σ)) 　　其中ψ是与介词相关的任何二元关系常量。 　　然后后应用关于动词短语的规则和以上说明的其它规则： 　　　Is PP(λx ψ(x ,σ)) → VP(λx ψ(x,σ))