三段论规则可以区分为构造规则、一般规则和导出规则 ，它们在层次上是不同的 ；

The syllogistical rules may be analyzed into constitutive ones, general ones and educed ones, which are stratified differently.

youdao

您将注意到该选项卡显示出一个目录(树)，您可以在上面选择或取消选择分析元素，并且该选项卡包含用于导入或导出规则选择的额外按钮。

You will notice that this TAB displays a directory (tree) where you can select or deselect analysis elements, and that this TAB includes additional buttons for importing and exporting rule selections.

youdao