我目前正在处理通过时态逻辑（例如LTL）形式化自然语言文本内容的问题。
一个例子就是短语
“火车驶近时，火车最终将横穿马路”，
应与LTL规范相对应，例如
G（火车接近---> F（火车穿越））
我想将此问题视为从自然语言到LTL的翻译任务。为了训练翻译模型，除其他外，我需要一个适当的训练集，其中每个实例都应由自然语言文本表示，并与相应的LTL（或另一种时间逻辑）公式配对。 / p>
我已经找到了以下资源：
当然，总体目标是处理完整逻辑，但是我可能还会着重于基于时间逻辑的模式的子集。
您知道我可以用作训练数据的任何其他数据集吗？