Supplemental data for submission "Bridging between LegalRuleML and TPTP for Automated Normative Reasoning"

These files are supplementary material to the submission<br> Bridging between LegalRuleML and TPTP for Automated Normative Reasoning<br> by<br> Alexander Steen and David Fuenmayor<br> submitted to the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), 2022. Files ex1.lrml.xml and ex2.lrml.xml are two example LegalRuleML files.<br> Files ex1.dsl.p and ex2.dsl.p are two examples from above translated to the NMF DSL.<br> The files ex1.output.X.p and ex2.output.X.p are the translations of the NMF files into the concrete logic X (X = SDL or X = cJ (Carmo Jones) or X = aqvist (system E)). Alexander Steen, &lt;[e-mail]&gt;本文件为下述投稿的补充材料： 《面向自动化规范推理的法律规则标记语言（LegalRuleML）与TPTP衔接》 作者为Alexander Steen与David Fuenmayor，该投稿已提交至2022年第6届规则与推理国际联合会议（RuleML+RR 2022）。 其中ex1.lrml.xml与ex2.lrml.xml为两份LegalRuleML示例文件。 ex1.dsl.p与ex2.dsl.p为上述示例转换为NMF DSL后的文件。 文件ex1.output.X.p与ex2.output.X.p为将NMF格式文件转换为具体逻辑系统X后的结果，其中X可取值为SDL、cJ（Carmo-Jones系统）或aqvist（系统E）。 联系人：Alexander Steen，邮箱：<[e-mail]>