NLTK 中的 FCFG 错误,Python。语法问题

FCFG error in NLTK, Python. Grammar Issue

我使用 NLTK 在 Python 中编写的基于特征的上下文无关语法中的一行给出了以下错误。

Error parsing feature structure
ADJ[SEM=<\x.x(\y.(some(y))>] -> 'some'
         ^ Expected logic expression

我以为SEM=后面的表达式是逻辑表达式。

错误来自 NLTK 如何实现类型 lambda 演算。

 \x.x(\y.some(y)) 

它期望小写字母的类型为 <e>,大写字母的类型为 <e,t>。也就是说小写字母不能表示谓词。

以下解析:\X.X(\y.some(y))

顺便说一句,"some"在"some X are Y"中的概念用连词表示如下:

 \X Y.(X(x) & Y(x))

换句话说,有些X是Y在逻辑上等同于有些物品同时具有X和Y质量