НЛТК: Какие предложения e3.simplify() упрощают функцию?

Question

import nltk
from nltk.sem.logic import *
read_expr = nltk.sem.Expression.fromstring
e1 = read_expr('\\x. exists y. love(x,y)')
e2 = read_expr('pat')
e3 = nltk.sem.ApplicationExpression(e1, e2)
print(e3.simplify())

Выход:

exists y.love(pat, y)

Я хочу знать, какое предложение будет формироваться путем объединения e1 + e2, что упрощается e3.simplify() функция.(глянец предложения, которое возвращает e3.simplify())