标签: nlp
你如何减少这个?
VP =λx(Ǝe(关闭(e)^关闭(e,x)))(λQ(餐厅(x)^ Q(x))))
我有类似
Ǝe(关闭(e)^关闭(e,λQ(Ǝx(餐厅(x)^ Q(x)))))
但我不确定这是否正确