|
|
1
1
错误来自NLTK如何实现lambda演算类型。
它要求小写字母具有类型
以下解析:\X.X(\y.some(y)) 顺便说一句,“一些X是Y”中的“一些”的概念用以下连词表示:
换句话说, 有些X是Y 逻辑上等同于 有些项目同时具有X和Y质量 . |