例句：张三笑了
方案一：
引入事件算子e，改造谓词
[[笑]]=λx[laugh(x)]改造为[[笑]]=λx.λe.laugh(x,e)
[[了]]=λP.λe.[P(e)∧completed(e)]
[[笑了]]=λx.(λP.λe.[P(e)∧completed(e)])(λe.laugh(x,e))
=λx(λe.[(λe.laugh(x,e))(e)∧completed(e)])
=λx.λe.[laugh(x,e)∧completed(e)]
[[张三]]=z
[[张三笑了]]=λe.[laugh(z,e)∧completed(e)]
=∃e[laugh(z,e)∧completed(e)]
方案二：
动词“笑”作为函数的定义，即：laugh:Individual→Event
[[笑]]=λx.elaugh(x)
[[了]]=λe.completed(e)
[[笑了]]=λx.completed(elaugh(x))
[[张三]]=z
[[张三笑了]]= λx.completed(elaugh(x))(z)
= completed(elaugh(z))