从O'Reilly NLTK 书的第 10 章中可以看出，当我想对句子“Bob love Alice”的句法树进行建模时，即
进入一阶逻辑 lambda 表达式，我得到以下信息：
左边是类型树，右边是 λ 表达式树。我选择对 Bob 和 Alice 进行类型加注。
我的问题如下：从类型树中，我可以很容易地计算出“爱”的类型必须是<<<e,t>,t>,<e,t>>，但是我如何从中推断出相应的 λ 表达式必须是
λR.λx.R(λy.loves(x,y))
是否有某种方法可以从语法树的类型和周围的 λ 表达式中获取其叶子的 λ 表达式？