O'Reilly NLTK bookの Chapter 10に見られるように、「ボブはアリスを愛している」という文の構文ツリーをモデル化したい場合、つまり
一次論理ラムダ式に変換すると、次のようになります。
左側に型のツリーがあり、右側に λ 式のツリーがあります。Bob と Alice の両方を型上げすることにしました。
私の質問は次のとおりです。タイプのツリーから、「愛」のタイプが でなければならないことを簡単に計算できますが、<<<e,t>,t>,<e,t>>これから対応する λ 式が
λR.λx.R(λy.loves(x,y))
構文ツリーの葉の λ 式をその型と周囲の λ 式から取得する方法はありますか?