Как видно из книги O'Reilly NLTK , глава 10, когда я хочу смоделировать синтаксическое дерево предложения «Боб любит Алису», а именно:
в логи первого порядка c лямбда-выражения, я получаю следующее:
где слева у меня дерево типов, а справа дерево λ-выражений. Я выбрал тип-рейз как Боба, так и Алисы.
Мой вопрос следующий: из дерева типов я легко могу посчитать, что тип "любит" должен быть <<<e,t>,t>,<e,t>>, но как я могу сделать вывод из этого следует, что соответствующее λ-выражение должно быть
λR.λx.R (λy.loves (x, y))
Существует ли какой-либо метод для получения λ-выражения отпуска синтаксического дерева по его типу и из окружающих λ-выражений?