您是否知道任何对英语句子进行逻辑形式转换的工具？

Question

我正在寻找能够对英语句子进行逻辑形式转换的工具。我知道Boxer和我试图寻找其他系统，有什么建议吗？