English Dictionary

Graduate students often struggle to translate natural-language assertions into predicate calculus when the domain contains infinitely many objects.

大学院生は、自然言語の主張を「あるxが存在する」や「任意のxについて成り立つ」といった量化子を扱う論理学の分野（述語論理）に翻訳するのに苦労することが多い。対象領域に無限の要素が含まれる場合は特にそうだ。