我想构建一个生成合理三段论的工具。三段论的一个例子是：所有A都是B。所有C都是A。所有C都是B）。我希望三元组（A，B，C）以三段论所描述的方式在语义上相互关联。也就是说，我希望我的工具能够生成 'a=humans; b=凡人；c=greeks' 而不是 'a=chickens; b=汉堡；c=青蛙'。

在线有一个三段论生成器（http://krypton.mnsu.edu/~jp5985fj/courses/609/Logic/Silly%20Syllogisms.htm），但它不会生成语义相关的三段论，它会为 A 生成随机术语， B和C可能相关也可能不相关。

我的问题是，在 NLP 中，是否有任何研究论文可以生成语义上有效的三段论？我需要研究哪些主题来构建这个工具？